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
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
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
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
Lecture Notes in Computer Science
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  . ...doi:10.1007/978-3-642-22438-6_25 fatcat:jk55poh3pngizejzvn2j55ihfy
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. ...
In addition, Leskovec et al.  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
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
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
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  showed that coordinated sources broadcasting information using superposition coding  always outperform other schemes based on orthogonal channel assignments, such ...arXiv:0901.2270v1 fatcat:tx5coq32onfflk6z4rw25vi4wq
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. ...
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
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
Journal of Sedimentary Petrology
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. ...
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
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