1,595,094 Hits in 11.4 sec

On the Complexity of Model Expansion [chapter]

Antonina Kolokolova, Yongmei Liu, David Mitchell, Eugenia Ternovska
2010 Lecture Notes in Computer Science  
We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a given formula.  ...  We present results on both data and combined complexity of MX for several fragments and extensions of FO that are relevant for this purpose, in particular the guarded fragment GF k of FO and extensions  ...  Acknowledgments The authors are grateful to the Natural Sciences and Engineering Council of Canada and to the Pacific Institute for Mathematical Sciences for financial support.  ... 
doi:10.1007/978-3-642-16242-8_32 fatcat:3rbwgsab3ba6fifzkw4v6d4vmq

Topological Expansion in the Complex Cubic Log–Gas Model: One-Cut Case

Pavel Bleher, Alfredo Deaño, Maxim Yattselev
2016 Journal of statistical physics  
The complex cubic log-gas model exhibits two phase regions on the complex $t$-plane, with one cut and two cuts, separated by analytic critical arcs of the two types of phase transition: split of a cut  ...  The common point of the critical arcs is a tricritical point of the Painlev\'e I type. In the present paper we prove the topological expansion for $\log Z_N(t)$ in the one-cut phase region.  ...  This leads us to a precise description of the phase diagram of the cubic model on the complex t-plane. • In Section 4 we present the main results of the paper: the topological expansion in the one-cut  ... 
doi:10.1007/s10955-016-1621-x fatcat:yl6aw3usivhalerymk6u2v4dny

The Complex-Number Mortality Model (CNMM) based on orthonormal expansion of membership function

Andrzej Szymański, Agnieszka Rossa
2021 Statistics in Transition New Series  
Based on this approach, a new fuzzy mortality model -CNMM -is formulated using orthonormal expansions of the inverse exponential membership functions of the model components.  ...  The paper includes numerical findings based on a case study with the use of the new mortality model compared to the results obtained with the standard LC model.  ...  Acknowledgements Authors gratefully acknowledge that their research was supported by a grant from the National Science Centre, Poland, under contract UMO-2015/17/B/HS4/00927.  ... 
doi:10.21307/stattrans-2021-026 fatcat:w7dboczxbrgffhsmloruewdsp4

A CaMn4O2 model of the biological oxygen evolving complex: synthesis via cluster expansion on a low symmetry ligand

Heui Beom Lee, Emily Y. Tsui, Theodor Agapie
2017 Chemical Communications  
A pentanuclear CaMn4O2 cluster with the same metal stoichiometry as the biological OEC was prepared from a tetranuclear Mn precursor.  ...  S2 Crystal and refinement data for complexes 2 and 3. ESI−MS spectrometry Figure S9. ESI−MS of 1−Mn.  ...  Space groups were determined on the basis of systematic absences and intensity statistics using XPREP.  ... 
doi:10.1039/c7cc02313h pmid:28480467 pmcid:PMC5508601 fatcat:okth6frx7jeb5fyywtoiyvwyye

Modeling potential flow using Laurent series expansions and boundary elements

T.R. Dean, T.V. Hromadka, Thomas Kastner, Michael Phillips
2010 Numerical Methods for Partial Differential Equations  
Acknowledgments are paid to the United States Military Academy at West Point, New York, the Department of Mathematical Sciences at West Point, and the several faculty and Cadets who have guided and encouraged  ...  the research effort leading to this work.  ...  The scheme used in this work is to set a grid of test points located outside of the study region, and then to work with each test point, one by one, and determine the respective modeling error in fitting  ... 
doi:10.1002/num.20636 fatcat:7lxsqen5hnfwfnmm4g2vkwseim

Social complexity and linguistic diversity in the Austronesian and Bantu population expansions

R. S. Walker, M. J. Hamilton
2010 Proceedings of the Royal Society of London. Biological Sciences  
Phylogenetic methods based on language diversity provide a means to reconstruct pre-historic events and model the transition rates of cultural change through time.  ...  We model and compare the evolution of social complexity in Austronesian (n ¼ 88) and Bantu (n ¼ 89) societies, two of the world's largest language families with societies representing a wide spectrum of  ...  M.J.H. was funded by NSF and the Rockefeller Foundation.  ... 
doi:10.1098/rspb.2010.1942 pmid:20961903 pmcid:PMC3061144 fatcat:s35ybpjccbh65lhdxfrritpqja

Logic programming and autoepistemic logics: New relations and complexity results [chapter]

Marco Schaerf
1993 Lecture Notes in Computer Science  
In this paper we show a one-to-one mapping between the positivistic models and moderately-grounded expansions of autoepistemic logic and a one-to-one correspondence between the minimally-supported models  ...  These relations are then used to prove the computational complexity of reasoning with the positivistic and minimally-supported model semantics, as well as new complexity results for restricted subsets  ...  The most important complexity result obtained is the following one: reasoning w. r. t. positivistic models is a problem at the second level of the polynomial hierarchy.  ... 
doi:10.1007/3-540-57292-9_51 fatcat:xdadvkjmybemrex5qpetraiiwm

"hello, (Modelica) world": Automated documentation of complex simulation models exemplified by expansion valves

Christian Vering, Sven Hinrichs, Moritz Lauster, Dirk Müller
2019 Proceedings Name  
Thereby, we contribute to an increase of simulation model quality as well as simplifying the entry in the world of Modelica. ADoCSM and the expansion valve model are freely available on GitHub:  ...  The constantly increasing computing power enables the implementation of complex simulation models. Therefore, it is possible to create more detailed models to predict system behavior more accurately.  ...  All these points simplify the understanding of complex simulation models.  ... 
doi:10.3384/ecp19157709 dblp:conf/modelica/VeringHLM19 fatcat:nd73znjrrvfjjmegf4ucgomcdi

A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems

Alireza Ensan, Eugenia Ternovska, Heng Liu
2018 Conference on Automated Deduction  
The main technical contribution is an analysis of the impact of preferences on the computational complexity of model expansion.  ...  The uniformity of the modeltheoretic approach allows us to link preferences and computations by introducing a framework of a prioritized model expansion.  ...  Since the model expansion is in Σ P k , the complexity of model checking of ψ is in Π P k−1 .  ... 
dblp:conf/cade/EnsanTL18 fatcat:vvta5rtxd5fahc4neljiccblx4

Deformations at the craniofacial complex depending on the hyrax device design

Sergei Bosiakov, Anastasiya Vinakurava, Andrei Dosta
2015 Scientific Letters of Rzeszow University of Technology - Mechanics  
Finite element model of craniofacial complex and supporting teeth are obtained on the basis of tomographic data.  ...  A lot of finite element studies were carried out to assess the influence of the rapid maxillary expansion on the bone structures of the craniofacial complex and the supporting teeth in patients with and  ... 
doi:10.7862/rm.2015.1 fatcat:rvwrwoynojelfgzl2ngdizuxwy

Karhunen-Loeve expansion of the WSSUS channel output and its application to efficient simulation

K.W. Yip, T.-S. Ng
1997 IEEE Journal on Selected Areas in Communications  
His research interest is on spread-spectrum communications, channel and system modeling for the purpose of efficient simulation, and theory and techniques for communications over frequency-selective fading  ...  (Hons) and Ph.D. degrees in electrical engineering from The University of Bradford, England, in 1991 and the University of Hong Kong in 1995, respectively.  ...  ACKNOWLEDGMENT The authors would like to thank one of the anonymous reviewers for indicating that it is also possible to carry out efficient simulation in the frequency domain using the K-L expansion derived  ... 
doi:10.1109/49.585774 fatcat:l6jata67kzfsznl6wtagwlw6ou

Sperm-dependent parthenogens delay the spatial expansion of their sexual hosts

K. Janko, J. Eisner
2009 Journal of Theoretical Biology  
In our study we were interested in the effect of sexual-asexual coexistence on the speed of spatial expansion of the whole complex.  ...  We expand previously published Lotka-Volterra model of the coexistence of sexual and gynogenetic forms of spined loach (Cobitis; Teleostei) hybrid complex by diffusion.  ...  The model Although spatial expansion of biological systems including current asexual complexes involves more than one dimension, we present a simplifying assumption of expansion in one-dimensional space  ... 
doi:10.1016/j.jtbi.2009.08.012 pmid:19698721 fatcat:napxb5hcizc3tkmtx5zsyvsyiy

Displacements prediction from 3D finite element model of maxillary protraction with and without rapid maxillary expansion in a patient with unilateral cleft palate and alveolus

Dan Zhang, Li Zheng, Qiang Wang, Li Lu, Jia Ma
2015 BioMedical Engineering OnLine  
A force of 2.45 N on each loading point was directed on the anatomic height of contour on the lingual side of the first premolar and the first molar to simulate the expansion of the palate.  ...  The aim of the study is to establish a threedimensional finite element model of the craniomaxillary complex with unilateral cleft palate and alveolus to simulate maxillary protraction with and without  ...  We also thank professor Yang Zhang (School of Stomatology, China Medical University, Shenyang, China) for her contribution in polishing the manuscript.  ... 
doi:10.1186/s12938-015-0074-9 pmid:26285822 pmcid:PMC4541727 fatcat:ijq55p2mlfarzcgedd5qeo5jee

Ecological benefits assessment and spatial modeling of urban ecosystem for controlling urban sprawl in Eastern Beijing, China

Wenrui Yang, Feng Li, Rusong Wang, Dan Hu
2011 Ecological Complexity : An International Journal on Biocomplexity in the Environment and Theoretical Ecology  
Acknowledgements This research was financially supported by the National Natural Science Foundation of China (70803050 and 30970507), and the Key Supporting Project of Ministry of Science and Technology  ...  of PR China (2009BADC2B03, 2008BAJ10B05, and 2007BAC28B04).  ...  Definition of urban expansion scenarios The study area The neural-network-based CA model was used to simulate the expansion of Eastern Beijing, the capital city of China, and one of the oldest and most  ... 
doi:10.1016/j.ecocom.2011.01.004 fatcat:mwb73syozzfcvhnkj6tabndm7q

Wide-angle FD and FFD migration using complex Padé approximations

Daniela Amazonas, Jessé C. Costa, Jörg Schleicher, Reynam Pestana
2007 Geophysics  
The implementations are validated on the Marmousi model dataset and SEG/EAGE salt model data.  ...  The dispersion relation and the impulsive response of the migration operator provide criteria to select the number of terms and coefficients in the Padé expansion.  ...  ACKNOWLEDGMENTS This research has been supported by FINEP, CNPq, CENPES/PETROBRAS and the sponsors of the Wave Inversion Technology (WIT) Consortium.  ... 
doi:10.1190/1.2785813 fatcat:cukpdmyxhfhohf3hxbgndfp5e4
« Previous Showing results 1 — 15 out of 1,595,094 results