Filters








93,611 Hits in 3.5 sec

Model Completeness, Uniform Interpolants and Superposition Calculus

Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2021 Journal of automated reasoning  
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]

Matthias Horbach, Christoph Weidenbach
2009 arXiv   pre-print
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

Matthias Horbach, Christoph Weidenbach
2010 ACM Transactions on Computational Logic  
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]

Matthias Horbach
2011 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 [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  
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

Fei Yan, ShaoWei Cai, Ming Zhang, GuoJun Liu, ZhiHong Deng
2012 Science China Information Sciences  
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

Andreas Malecki, Guillaume Potdevin, Thomas Biernath, Elena Eggl, Eduardo Grande Garcia, Thomas Baum, Peter B. Noël, Jan S. Bauer, Franz Pfeiffer, Randen Lee Patterson
2013 PLoS ONE  
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

Vincent Dorleans, Franck Lauro, Rémi Delille, Sylvain Treutenaere, Delphine Notta-Cuvier, Bruno Bennani, Grégory Haugou, Benjamin Bourel, Eric Michau, Jean-David Thoby, E. Buzaud, A. Cosculluela (+2 others)
2018 EPJ Web of Conferences  
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]

Robert Morelos-Zaragoza
2009 arXiv   pre-print
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  
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

Sascha Grusche
2015 Physics Education  
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

Tommi Borg, Esko J. Pääkkönen, Albert Co, Gary L. Leal, Ralph H. Colby, A. Jeffrey Giacomin
2008 AIP Conference Proceedings  
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  
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  
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

Klaus Schenk, Barbara Drossel, Franz Schwabl
2002 Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics  
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