Results 31 to 40 of about 11,550,945 (305)
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
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
Theoretical solar models [PDF]
Symposium - International Astronomical Union, 1997 In the last two decades the large amount of accurate helioseismic data has open a new possibility to sound the stellar interiors and to test the stellar evolution theory. This has particularly impulsed a critical reexamination of the basic assumptions and physical inputs in solar modelling.
openaire +1 more source
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
, 2021 Game theory is a tool to model and discover social mechanisms. The aim of this chapter is to show how the tool can be used by engaging the reader's interest in the game-theoretic modelling of social dilemmas. Social dilemmas are situations in which several agents face a decision conflict because of their interdependence.
openaire +1 more source
Theoretical and practical models of recreation preferences.
, 2023 Theoretical and practical models of recreation preferences.
Qi Kang (2414137) +4 more
core +1 more source
Control Theoretic Models of Pointing [PDF]
ACM Transactions on Computer-Human Interaction, 2017 This article presents an empirical comparison of four models from manual control theory on their ability to model targeting behaviour by human users using a mouse: McRuer’s Crossover, Costello’s Surge, second-order lag (2OL), and the Bang-bang model.
Müller, Jörg +3 more
openaire +6 more sources
On Game-Theoretic Models of Networks [PDF]
, 2001 In this paper, we study the complexity of deciding which player has a winning strategy in certain types of McNaughton games. These graph games can be used as models for computational problems and processes of infinite duration. We consider the cases (1) where the first player wins when vertices in a specified set are visited infinitely often and ...
Hans L. Bodlaender +2 more
openaire +3 more sources
ON MODEL-THEORETIC CONNECTED GROUPS
The Journal of Symbolic Logic, 2023 AbstractWe introduce and study the model-theoretic notions of absolute connectedness and type-absolute connectedness for groups. We prove that groups of rational points of split semisimple linear groups (that is, Chevalley groups) over arbitrary infinite fields are absolutely connected and characterize connected Lie groups which are type-absolutely ...
openaire +1 more source
Internal solitons in laboratory experiments: Comparison with theoretical models
, 2005 Nonlinear internal solitary waves observed in laboratory experiments are discussed from the standpoint of their relation to different soliton theories, from the classical integrable models such as the Korteweg-de Vries, Gardner, Benjamin-Ono, and Joseph ...
Ostrovsky, L A. +3 more
core +1 more source