A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Model Completeness, Uniform Interpolants and Superposition Calculus
2021
Journal of automated reasoning
Preserved Fulltext
In this paper, we show how covers are strictly related to model completions, a well-known topic in model theory. ...
We also investigate the computation of covers within the Superposition Calculus, by adopting a constrained version of the calculus and by defining appropriate settings and reduction strategies. ...
Theorem 5.6, thanks to the relationship between model completions and covers stated in Theorem 3.2, proves also the existence of the model completion of EUF. ...
doi:10.1007/s10817-021-09596-x
fatcat:zwbdnvp4f5drpdhimvutlvofke
Superposition for Fixed Domains
[article]
2009
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
This calculus is sound and refutationally complete in the limit for a first-order fixed domain semantics. ...
For saturated Horn theories and classes of positive formulas, we can even employ the calculus to prove properties of the minimal model itself, going beyond the scope of known superposition-based approaches ...
Then N has a Herbrand model over F if and only if A N is not covering. ...
arXiv:0809.0922v3
fatcat:ybzzuppolvd2dm3mtjsgny6pma
Superposition for fixed domains
2010
ACM Transactions on Computational Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This calculus is sound and refutationally complete in the limit for a first-order fixed domain semantics. ...
For saturated Horn theories and classes of positive formulas, we can even employ the calculus to prove properties of the minimal model itself, going beyond the scope of known superposition-based approaches ...
Matthias Horbach and Christoph Weidenbach are supported by the German Transregional Collaborative Research Center SFB/TR 14 AVACS. ...
doi:10.1145/1805950.1805957
fatcat:huz52p5ouvadvlwwgqg747j5xi
System Description: SPASS-FD
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Using a constrained superposition calculus and a disunification procedure, it is possible to employ superposition-based first-order reasoners for reasoning not only about all models of a first-order theory ...
, but also about all models over a specific finite domain and often as well about the perfect models of the theory (or the unique minimal model in case of a Horn theory), both of which are second-order ...
Analogous to the first-order case, a saturated clause set is not covering iff it has a Herbrand model [9] . ...
doi:10.1007/978-3-642-22438-6_25
fatcat:jk55poh3pngizejzvn2j55ihfy
Page 1343 of American Society of Civil Engineers. Collected Journals Vol. 122, Issue ST11
[page]
1996
American Society of Civil Engineers. Collected Journals
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Superposition was used to combine the results of the two phases for cover plate end geometry and through-thickness effects. ...
Albrecht and Yamada (1977) suggested a simpli- fied method based on the superposition approach. ...
A clique-superposition model for social networks
2012
Science China Information Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In addition, Leskovec et al. [18] developed a complete
network evolution model, consisting of node arrivals, edge initiation, and edge destination selection pro-
cess. ...
-4526-y
superposition model is a realistic social network generative model. ...
doi:10.1007/s11432-011-4526-y
fatcat:lp2deocg6nh4zc37rzuml3a6vq
Coherent Superposition in Grating-Based Directional Dark-Field Imaging
2013
PLoS ONE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
For thick samples, however, where the x-ray beam may pass structures of many different orientations and dimensions, this simple assumption in general does not hold and a quantitative description of the ...
Here we present a description of the signal formation for thick samples with many overlying structures and show its validity in experiment. ...
Acknowledgments We acknowledge fruitful discussions with Martin Bech and Pierre Thibault.
Author Contributions ...
doi:10.1371/journal.pone.0061268
pmid:23637802
pmcid:PMC3634061
fatcat:glda6tijbfhunnlxcj5ybkzdqi
Time temperature equivalence for a mineral filled polymer for automotive applications
2018
EPJ Web of Conferences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The main objective is to be able to model the complete variety of the behaviour in order to predict the risk of failure under dynamic loadings. ...
It is therefore necessary to well understand and to anticipate the complex mechanical behaviour of the polymers. ...
To cover this wide range of behaviour, the model developed by Balieu [1, 2] is used as it allows taking the viscoelasticity-viscoplasticity behaviour with a non associative approach and a non local damage ...
doi:10.1051/epjconf/201818304011
fatcat:77vknrtei5fa7huyed5cvecbka
A Plotkin-Alamouti Superposition Coding Scheme for Cooperative Broadcasting in Wireless Networks
[article]
2009
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
This paper deals with superposition coding for cooperative broadcasting in the case of two coordinated source nodes, as introduced in the seminal work of Bergmans and Cover in 1974. ...
Bergmans and Cover referred to this as over-the-air mixing. ...
In 1974, Bergmans and Cover [8] showed that coordinated sources broadcasting information using superposition coding [9] always outperform other schemes based on orthogonal channel assignments, such ...
arXiv:0901.2270v1
fatcat:tx5coq32onfflk6z4rw25vi4wq
Page 8893 of Mathematical Reviews Vol. , Issue 2000m
[page]
2000
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Summary: “We solve a long-standing open problem by showing that strict superposition—that is, superposition without equality factoring—is refutationally complete. ...
ISBN 1-56881-087-3
In ten lucid chapters these five authors cover theoretical model- ing of, and simulation experimentation on, images derived from human faces. ...
Seeing lens imaging as a superposition of multiple views
2015
Physics Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2015 pre-print arXiv:1510.05992v1 fatcat:2m52hv7l3bdehgzx4jslnz2qry
To answer this need, lens imaging is reinterpreted as a superposition of sharp images from different viewpoints. ...
These so-called elemental images are uncovered by covering the lens with a pinhole array. Rays are introduced to connect elemental images. ...
Jan-Peter Meyn and Dr. Oliver Passon. I am grateful to Prof. Dr. Florian Theilmann for providing useful feedback throughout my research. ...
doi:10.1088/0031-9120/51/1/015006
fatcat:4flgvr6qbfe7tepzwtlpdjsz2m
Start-Up and Transient Flow Effects From the Molecular Weight Distribution
2008
AIP Conference Proceedings
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
As an example of practical application, injection molding for producing a cellular-phone cover were modeled to obtain the pressure loss and orientation level for every element in finite element models, ...
This study extends the start-up, and transient effects of linear viscoelasticity on stress and viscosity from the novel viewpoint of the classical Boltzmann superposition principle. ...
Superposition Principle for Shear Viscosity Now we rewrite the Boltzmann superposition principle for shear viscosity and molecular orientation: the total effect of applying several shear deformations ...
doi:10.1063/1.2964724
fatcat:kpohqm4jfnefrhzpusbru7bs7a
Page 1202 of Journal of Sedimentary Petrology Vol. 50, Issue 4
[page]
1980
Journal of Sedimentary Petrology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Two models, the superposition of facies and the Dorag model, adequately account for the dolomitization of Late Silurian subtidal car- bonates. ...
This process was pro- bably less complete and more erratic than either the sabkha model or evaporitic pumping and hence resulted in a lesser intensity of dolomitization, often as low as 33 percent. ...
Book reports
1991
Computers and Mathematics with Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The superposition operator in symmetric spaces. 6. The superposition operator in the spaces C and BV. 7. The superposition operator in HSlder spaces. 8. ...
Induced and coinduced uniform structures. 3. The uniform topology. 4. Completeness
and completion. 5. Topological groups. 6. Uniform transformation groups. 7. Uniform spaces over a base.
8. ...
doi:10.1016/0898-1221(91)90126-o
fatcat:4m6wep4p7fe6ngkmo2jolqpfam
Self-organized critical forest-fire model on large scales
2002
Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2001 pre-print arXiv:cond-mat/0105121v1 fatcat:jugjddvf6jh6fkdc7kp47muwp4
We support our arguments by computer simulations of a coarse-grained model, by scaling arguments and by analyzing states that are created artificially by superimposing the two types of fires. ...
We discuss the scaling behavior of the self-organized critical forest-fire model on large length scales. ...
Identical shapes cannot be expected, since the coarse-grained model is not completely identical to the original model on larger scales. ...
doi:10.1103/physreve.65.026135
pmid:11863615
fatcat:eiuodn7d2rcmllqew5emj3z2oq
« Previous
Showing results 1 — 15 out of 93,611 results