Results 21 to 30 of about 27,750,649 (274)
Linear Encodings of Bounded LTL Model Checking [PDF]
Logical Methods in Computer Science, 2006 We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound.
Armin Biere +4 more
doaj +1 more source
Disease Models & Mechanisms, 2011 The close correspondence between energy intake and expenditure over prolonged time periods, coupled with an apparent protection of the level of body adiposity in the face of perturbations of energy balance, has led to the idea that body fatness is ...
J. Speakman +24 more
semanticscholar +1 more source
Theoretical Models for Neutrino Masses [PDF]
, 2012 The recent measurements of the neutrino reactor angle require a re-examination of flavour models based on discrete groups. Indeed, when these models deal with the Tri-Bimaximal, the Bimaximal and the Golden Ratio mixing patterns, some tensions arise in ...
Merlo, Luca
core +2 more sources
Eco‐evolutionary feedbacks—Theoretical models and perspectives [PDF]
Functional Ecology, 2018 Theoretical models pertaining to feedbacks between ecological and evolutionary processes are prevalent in multiple biological fields. An integrative overview is currently lacking, due to little crosstalk between the fields and the use of different ...
Lynn Govaert +13 more
semanticscholar +1 more source
Development of a chlamydia infection model for evaluating costs and outcomes of health interventions
GMS Medizinische Informatik, Biometrie und Epidemiologie, 2017 Introduction: Chlamydia is a very common bacterial sexual transmitted infection (STI) among young adults. High numbers of asymptomatic cases hamper a timely treatment start, whereas the treatment itself is efficient and cheap.
Sailer, Fabian +2 more
doaj +1 more source
Comparison of Theoretical Starburst Photoionisation Models for Optical Diagnostics [PDF]
, 2019 We study and compare different examples of stellar evolutionary synthesis input parameters used to produce photoionisation model grids using the MAPPINGS V modelling code.
Byler, Nell +7 more
core +2 more sources
Synthetic Symbiosis under Environmental Disturbances
mSystems, 2020 By virtue of complex ecologies, the behavior of mutualisms is challenging to study and nearly impossible to predict. However, laboratory engineered mutualistic systems facilitate a better understanding of their bare essentials.
Jai A. Denton, Chaitanya S. Gokhale
doaj +3 more sources
Scaling properties of the redshift power spectrum: theoretical models [PDF]
, 2000 We report the results of an analysis of the redshift power spectrum $P^S(k,\mu)$ in three typical Cold Dark Matter (CDM) cosmological models, where $\mu$ is the cosine of the angle between the wave vector and the line-of-sight.
Ballinger W. E. +16 more
core +2 more sources
Dark energy cosmology: the equivalent description via different theoretical models and cosmography tests [PDF]
, 2012 We review different dark energy cosmologies. In particular, we present the ΛCDM cosmology, Little Rip and Pseudo-Rip universes, the phantom and quintessence cosmologies with Type I, II, III and IV finite-time future singularities and non-singular dark ...
K. Bamba +3 more
semanticscholar +1 more source
The Biosemiotic Approach in Biology : Theoretical Bases and Applied Models [PDF]
, 2011 Biosemiotics is a growing fi eld that investigates semiotic processes in the living realm in an attempt to combine the fi ndings of the biological sciences and semiotics. Semiotic processes are more or less what biologists have typically referred to as “
El-Hani, Charbel +3 more
core +1 more source