Results 231 to 240 of about 323,193 (266)

Completions and Complete Representations

2013
The title of this chapter indicates a rather technical topic, but it can also be thought of as a foundational issue in logic. The question to be considered is this: to what extent can we use an abstract mathematical language to express and reason about relations?
Robin Hirsch, Ian Hodkinson
openaire   +1 more source

Completely automatic completion of VLSI designs

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1990
Most VLSI designs consist of a number of blocks, like RAMs, ROMs, data paths, and random logic, which ultimately must be integrated. Methods for performing this integration have generally required manual intervention, such as the iterative operation of placement programs and routing programs.
openaire   +1 more source

8. Pre-completion procedures and completion

2014
This chapter begins with a discussion of pre-completion procedures, covering pre-completion when acting for the seller; pre-completion when acting for the buyer; pre-completion searches; and completion statements. It then focuses on completion, covering date, time, and place for completion; when the client is both selling and buying; and the mechanics ...
Robert M. Abbey, Mark B. Richards
openaire   +1 more source

Complete groups are complete co-analytic

Archive for Mathematical Logic, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Arithmetical completeness versus relative completeness

Studia Logica, 1988
By using nonstandard models for arithmetics and Skolemization techniques, the author shows that as far as finitistic proof systems for dynamic logic are concerned, we cannot expect more than D. Harel's arithmetical completeness.
openaire   +2 more sources

Completing the Completive:

2023
openaire   +1 more source

Complete details for a complete review

Lab Animal, 2018
Courtney P, Nesline, Emily, Weston
openaire   +2 more sources

Intelligent Drilling and Completion: A Review

Engineering, 2022
Xianzhi Song, Zhaopeng Zhu
exaly  

Robust Matrix Completion With Column Outliers

IEEE Transactions on Cybernetics, 2022
Feiping Nie, Ziheng Li, Zhanxuan Hu
exaly  

Value complete, column complete, predicate complete.

VLDB J., 2008
Theo Härder, Andreas Bühmann
openaire   +2 more sources