... is a peer-reviewed online-only medical journal covering mathematical and theoretical ... "Theoretical Biology and Medical Modelling". 2018 Journal Citation Reports. Web of Science (Science ed.). Clarivate Analytics. ... Mathematical and theoretical biology journals, General medical journals, Online-only journals, All stub articles, Medical ...

Modeling Biology. Structures, Behaviors, Evolution. Manfred D. Laubichler and Gerd B. Müller (Eds.), 2007. Biological ... The Vienna Series in Theoretical Biology is a book series published by MIT Press and devoted to advances in theoretical biology ... By promoting the formulation and discussion of new theoretical concepts, the series intends to help fill the gaps in our ... The Vienna Series grew out of the Altenberg Workshops in Theoretical Biology organized by the Konrad Lorenz Institute for ...

Dayan, P; Abbott, LF (2005). "Ch.7: Network models". Theoretical Neuroscience. MIT Press. ISBN 978-0-262-54185-5. Averbeck, BB ... Computational neurogenetic modeling is concerned with the study and development of dynamic neuronal models for modeling brain ... So, brain models that don't reflect this are too abstract to be representative of brain operation; models that do try to ... other models attempt to incorporate data about the biophysical properties of real neurons. No model on any level is yet ...

Begain, K.; Bolch, G.; Herold, H. (2001). "Theoretical Background". Practical Performance Modeling. pp. 9. doi:10.1007/978-1- ... The model appears in Ronald A. Howard's book. The models are often studied in the context of Markov decision processes where a ... The Markov Reward Model Checker tool can be used to numerically compute transient and stationary properties of Markov reward ... Features of interest in the model include expected reward at a given time and expected time to accumulate a given reward. ...

Mechanistic models: model the underlying processes directly, with functions and distributions that are based on theoretical ... Markov chain models are stochastic. Species can be modelled in continuous or discrete time. Continuous time is modelled using ... Many system dynamics models are deterministic. Stochastic models allow for the direct modeling of the random perturbations that ... One class of computational models that is becoming increasingly popular are the agent-based models. These models can simulate ...

Modelling Structure and Reactivity. 7th World Congress of the World Association of Theoretically Oriented Chemists" (PDF). ... particularly theoretical chemistry and computational chemistry. It was originally called the World Association of Theoretical ... The World Association of Theoretical and Computational Chemists (WATOC) is a scholarly association founded in 1982 "in order to ... The association awards two yearly medals: the Schrödinger Medal to "outstanding theoretical and computational chemist", and the ...

Molecular and Cellular Modeling (MCM) The Molecular and Cellular Modeling group detects and simulates the behavior of molecules ... Theoretical Astrophysics (TAP) The TAP group started in March 2013 at HITS under the group leader Volker Springel. Springel ... "Molecular and Cellular Modeling". Retrieved 22 January 2017. "Natural Language Processing". Retrieved 22 January 2017. "H-ITS ... The Heidelberg Institute for Theoretical Studies (HITS gGmbH) was established in 2010 by SAP co-founder Klaus Tschira through ...

DIT has since built a rich tradition of theoretical models over the past two decades. However, there has not been a comparable ... Model-based biases result when an individual is biased to choose a particular "cultural model" to imitate. There are four major ... This agenda, outlined below, called for the development of both theoretical models and empirical research. ... These models were to form the basis for subsequent work on DIT, heralded by the publication of three seminal books in the 1980s ...

Theoretical Computer Science. 41: 95-104. doi:10.1016/0304-3975(85)90062-3. C.P.J. Koymans (1982). "Models of the lambda ... For this reason the Karoubi envelope is used in the study of models of the untyped lambda calculus. The Karoubi envelope of an ... extensional lambda model (a monoid, considered as a category) is cartesian closed. The category of projective modules over any ...

Robinson, R.A. (1982). "Theoretical resistance models". Durable Resistance in Crops. Plenum Press, New York and London. pp. 45- ...

Theoretical Computer Science. 126 (2): 183-235. doi:10.1016/0304-3975(94)90010-8. Behrmann, Gerd; David, Alexandre; Larsen, Kim ... In model checking, a subfield of computer science, a clock is a mathematical object used to model time. More precisely, a clock ... In a model of some particular program, the value of the clock may either be the time since the program was started, or the time ... Generally, the model of a system uses many clocks. Those multiple clocks are required in order to track a bounded number of ...

"Algorithmic Model Theory" Fagin, Ronald (1993). "Finite-model theory - a personal perspective" (PDF). Theoretical Computer ... Finite model theory is a subarea of model theory. Model theory is the branch of logic which deals with the relation between a ... finite model theory is quite different from model theory in its methods of proof. Central results of classical model theory ... Wikibooks has a book on the topic of: Finite Model Theory Libkin, Leonid (2009). "The finite model theory toolbox of a database ...

Getz, W. M.; Kaitala, V. (1989). "Ecogenetic models, competition, and heteropatry". Theoretical Population Biology. 36: 34-58. ... A number of models have been proposed for alternative modes of sympatric speciation. The most popular, which invokes the ... They assert that this definition should be useful in modeling. They also state that under this definition, sympatric speciation ... Evolutionary theory as well as mathematical models have predicted some plausible mechanisms for the divergence of species ...

A theoretical model". Biophys. J. 60 (5): 1120-1127. Bibcode:1991BpJ....60.1120M. doi:10.1016/S0006-3495(91)82147-6. PMC ... Spring-like Tether model: In this model a spring-like tether is attached directly to the MS channel and can be present in ... Lipid bilayer Tension or stretch model: In this model tension in the lipid bilayer triggers conformational changes, thus ... Channels open in response to two different mechanisms: the prokaryotic model and the mammalian hair cell model. Stretch- ...

Watterson, GA (1975). "On the number of segregating sites in genetical models without recombination". Theoretical Population ... The Infinite sites model (ISM) is a mathematical model of molecular evolution first proposed by Motoo Kimura in 1969. Like ... Tajima, F (1996). "Infinite-allele model and infinite-site model in population genetics". Journal of Genetics. 75: 27-31. doi: ... The four gamete rule can be applied to the data to ensure that they do not violate the model assumption of no recombination. ...

Alur, Rajeev; Dill, David (1994). "A theory of itmed automata". Theoretical Computer Science. 126: 190. (Model checking). ... In model checking, a subfield of computer science, a timed word is an extension of the notion of words, in a formal language, ... A timed-word may be passed to a model, such as a timed automaton, which will decide, given the letters or actions which already ...

This theoretical model proposed by William Berz (1995) is based on the Baddeley and Hitch model. However, Berz modified the ... Berz W. L. (1995). "Working Memory in Music; A Theoretical Model". Music Perception. 12 (3): 353-364. doi:10.2307/40286188. ... He also proposed another loop to include other sensory inputs that were disregarded in the Baddeley and Hitch model. In a model ... A test of the phonological loop model and the feature model". Psychonomic Bulletin & Review. 10 (2): 435-444. doi:10.3758/ ...

Danos V, Laneve C (2004). "Formal molecular biology". Theoretical Computer Science. 325: 69-110. doi:10.1016/j.tcs.2004.03.065 ... A model (or part of a model) is represented as a Python programme. This allows users to store higher-order biochemical ... The models can be simulated and analysed using Python libraries, but PySB models can also be exported into BNGL, kappa, and ... Multiscale modeling Rule-based modeling This article was adapted from the following source under a CC BY 4.0 license (2014) ( ...

Robin Milner (1973). "Models of LCF" Plotkin, Gordon D. (1977). "LCF considered as a programming language" (PDF). Theoretical ... "A type-theoretical alternative to ISWIM, CUCH, OWHY". Theoretical Computer Science, 121:411-440, 1993. Annotated version of the ... Programming Computable Functions (PCF), small theoretical programming language by Gordon Plotkin. Dana S. Scott. " ...

Theoretical Chemistry Accounts. 125 (3-6): 643-50. doi:10.1007/s00214-009-0656-3. S2CID 95593331. Marti-Renom, MA; Stuart, AC; ... Homology modeling, also known as comparative modeling of protein, refers to constructing an atomic-resolution model of the " ... John, B; Sali, A. (2003). "Comparative protein structure modeling by iterative alignment, model building and model assessment ... Regions of the model that were constructed without a template, usually by loop modeling, are generally much less accurate than ...

Theoretical Chemistry Accounts. 120 (1-3): 37-43. doi:10.1007/s00214-007-0303-9. S2CID 95326309. Dremin, Anatoliĭ Nikolaevich ( ... The ZND detonation model is a one-dimensional model for the process of detonation of an explosive. It was proposed during World ... This model admits finite-rate chemical reactions and thus the process of detonation consists of the following stages. First, an ...

To model the dynamics of transposable elements (TEs) within a genome, one has to realize that the elements behave like a ... Third, theoretical work has shown that the greater linkage disequilibrium in selfing compared to outcrossing genomes may in ... It was observed early on that the rate of jumping of many TEs varies with copy number, and so the first models simply used an ... Mathematical models allow the assumptions and the rules to be given a priori for establishing mathematical statements about the ...

Deutsch & Deutsch's late selection model that was proposed in 1963 is a competing model to Broadbent's early selection model. ... Deutsch JA, Deutsch D (January 1963). "Some theoretical considerations". Psychological Review. 70: 80-90. doi:10.1037/h0039515 ... notably the early selection model, late selection model, and attenuation model. Early researches on selective auditory ... Broadbent's model contradicts with the cocktail party phenomenon because Broadbent's model predicts that people would never ...

Turelli, Michael (2017-12-01). "Commentary: Fisher's infinitesimal model: A story for the ages". Theoretical Population Biology ... The infinitesimal model, also known as the polygenic model, is a widely used statistical model in quantitative genetics. ... The model allows genetic variance to be assumed to remain constant even when natural selection is occurring, because each locus ... The model served to reconcile Mendelian genetics with the continuous distribution of quantitative traits documented by Francis ...

Peccoud, J. & Ycart, B. (1995). "Markovian Modelling of Gene Product Synthesis". Theoretical Population Biology. 48 (2): 222- ... A canonical model for noise gene expression, where the processes of DNA activation, transcription and translation are all ... Paulsson, J. (2005). "Models of stochastic gene expression". Phys. Life Rev. 2 (2): 157-175. Bibcode:2005PhLRv...2..157P. doi: ... Regarding the two-state model, a moment-based method was described for parameters inference from mRNAs distributions. Kaern, M ...

He served as editorial advisor to the scientific journals Information and Computation, SIAM Journal on Computing, Theoretical ... "ACM bestows Kanellakis Award for development of 'symbolic model checking,' used in testing computer system designs" (Press ... Grumbach, Stéphane; Su, Jianwen (1997). "Queries with arithmetical constraints". Theoretical Computer Science. 173 (1): 151-181 ... 1997). Descriptive Complexity and Finite Models. American Mathematical Society. ISBN 9780821870761. Kanellakis, Paris C.; ...

Post, Brechtje (2000). "Theoretical background: modeling". Tonal and Phrasal Structures in French Intonation (PDF). LOT ... "a model of meticulous investigation and recording", writing in 1945 that it should "serve as a model" for subsequent work on ... Orwin, Martin (1996). "A Moraic Model of the Prosodic Phonology of Somali". In Hayward, R. J.; Lewis, I. M. (eds.). Voice and ...

Emerson, E. Allen (1996). "Model Checking and the Mu-calculus". Descriptive Complexity and Finite Models. American Mathematical ... In theoretical computer science, the modal μ-calculus (Lμ, Lμ, sometimes just μ-calculus, although this can have a more general ... Models of (propositional) μ-calculus are given as labelled transition systems ( S , R , V ) {\displaystyle (S,R,V)} where: S {\ ... Finite model theory Alternation-free modal μ-calculus Scott, Dana; Bakker, Jacobus (1969). "A theory of programs". Unpublished ...

doi:10.1016/S0304-3975(02)00027-0. Hamburger, Henry; Dana S. Richards (2002). Logic and Language Models for Computer Science. ... doi:10.1016/S0304-3975(00)00285-1. Géraud Sénizergues (2002). "L(A) = L(B)? A simplified decidability proof". Theoretical ... Géraud Sénizergues (2001). "Fundamental study: L(A) = L(B)? decidability results from complete formal systems". Theoretical ...

Daniel Kahneman also proposed a model of attention, but it differs from previous models in that he describes attention not in ... Deutsch JA, Deutsch D (January 1963). "Some theoretical considerations". Psychological Review. 70 (I): 80-90. doi:10.1037/ ... They adopted a position in line with late selection models of attention such as the Treisman or Deutsch-Norman models, ... It is important to note that Kahneman's model doesn't necessarily contradict selection models, and thus can be used to ...

In 1883, foreign missionaries opened two small nursing schools, based on Western models to give theoretical training to nurses ... Both theoretical study and clinical practice are required. Upon completion of studies a national examination administered by ... Initially introduced only in Tokyo in the late 1860s, small schools utilizing Western models were being opened by the late ...

Cardenas, M. Bayani (2009). "A model for lateral hyporheic flow based on valley slope and channel sinuosity". Water Resources ... Freeze, R. Allan; Witherspoon, P. A. (1967). "Theoretical analysis of regional groundwater flow: 2. Effect of water-table ... Researchers use tools such as wells and piezometers, conservative and reactive tracers, and transport models that account for ... A transient storage model". Water Resources Research. 19 (3): 718-724. Bibcode:1983WRR....19..718B. doi:10.1029/WR019i003p00718 ...

Klapper, Andrew; Xu, Jinzhong (17 September 1999). "Algebraic Feedback Shift Registers" (PDF). Theoretical Computer Science. ... ACM Transactions on Modeling and Computer Simulation. 13 (4): 310-321. CiteSeerX 10.1.1.22.9007. doi:10.1145/945511.945514. ...

... calculations can be made based on these theoretical models for simplicity. Thus there is only a certain distance where a line ... In short, the geometry of real-world audio line arrays as used in public address systems can only be modeled approximately by ... Nexo offer their 3D modelling software, NS1. The design process starts by entering the dimensions of the room and the required ...

Thus, additional research is required, using a more complex model of crime and control to include variables such as ... A theoretical and empirical analysis". American Sociological Review, 50, 317-32. Clarke, Ronald R. (ed.) (1997). Situational ...

Their theoretical framework focuses on data governance and privacy, and proposes that the core components of digital self- ... Assimilation into the tech products, models, and ideologies of foreign powers constitutes a colonization of the internet age. ... Gasser, Urs; Almeida, Virgilio A.F. (November 2017). "A Layered Model for AI Governance". IEEE Internet Computing. 21 (6): 58- ... In this view, the increasing competition for users' limited attention, especially when relying on advertising revenue models, ...

Historical geography is the study of the human, physical, fictional, theoretical, and "real" geographies of the past. ... spatial modeling, and positivist approaches are still important to many branches of human geography. Well-known geographers ... relational and theoretical aspects of settlement. That is the study of areas which have a concentration of buildings and ... geographers in the mid-20th century began to apply statistical and mathematical models in order to solve spatial problems. Much ...

Within the HR model, unpleasant feelings or emotions, or stressful feelings, indicate that one's thinking is based on ... 1] L. L. Halcón, C. L. Robertson, K. A. Monson, & C. C. Claypatch A Theoretical Framework for Using Health Realization to ... According to the HR model, people are already whole and healthy. The traumas of the past are only important to the extent that ... The HR model has also found application in police departments, prisons, mental health clinics, community health clinics and ...

Models that have been used in the study of CCS-like systems: History monoid Actor model Robin Milner: A Calculus of ... Electronic Notes in Theoretical Computer Science. Combined Proceedings of the Second International Workshop on Coordination and ... Between these models, bisimilarity is used as a semantic equivalence. Given a set of action names, the set of CCS processes is ... Its actions model indivisible communications between exactly two participants. The formal language includes primitives for ...

Human PANO1 protein has a molecular weight of 22.8 kb and a theoretical, isoelectric point of 12.21. From an analysis of the ... A possible cleavage site was identified between amino acids 33 and 34 as depicted in the PANO1 protein model. As mentioned ...

In theoretical physics, explicit symmetry breaking is the breaking of a symmetry of a theory by terms in its defining equations ... The base Hamiltonian might be chosen to provide a starting point close to the system being modelled. Mathematically, the ...

Often modeled upon violent FPS games, non-violent FPSes such as Chex Quest or the newer Sherlock Holmes games,[specify] may ... Theoretical explanations for these types of effects have been explained in myriad theories including social cognitive theory, ... modeled after the biblical Jezebel) that shoot rays out of their nose, or alien Nazis (a mocking reference to Raëlian religious ... The time has come to retire the General Aggression Model" (PDF). Aggression and Violent Behavior. 17 (3): 220-228. doi:10.1016/ ...

This fact leads to the existence of a theoretical upper bound on the strongest wind speed that a tropical cyclone can attain. ... Journal of Advances in Modeling Earth Systems. 5 (2): 447-458. Bibcode:2013JAMES...5..447E. doi:10.1002/jame.20032. Woolnough, ... The maximum potential intensity of a tropical cyclone is the theoretical limit of the strength of a tropical cyclone. Due to ...

The base model includes an optical disc drive compatible with Ultra HD Blu-ray discs. The Digital Edition lacks this drive, ... The GPU has 36 compute units running at a variable frequency capped at 2.23 GHz, making it capable of a peak theoretical ... "THE NEW PS5 MODEL HAS ARRIVED IN AUSTRALIA FIRST AGAIN AND HERE'S THE FIRST DETAILS". August 29, 2022. Retrieved August 29, ... The console launched with two models: a base version with an Ultra HD Blu-ray compatible optical disc drive for retail game ...

Essentially, the process model illustrates that the interview is not an isolated interaction, but rather a complex process that ... although some theoretical work suggests interviewers may still show biases even in these types of interviews. Employers are ... Stone, Dianna L.; Colella, Adrienne (April 1996). "A Model of Factors Affecting the Treatment of Disabled Individuals in ... Fletch, 1990 Levashina, Julia; Campion, Michael A. (15 November 2006). "A Model of Faking Likelihood in the Employment ...

Part I: Theoretical Model and Barotropic Results". Journal of Atmospheric and Oceanic Technology. 14 (4): 897-909. doi:10.1175/ ... Woodgate, Rebecca A.; Killworth, Peter D. (1997-08-01). "The Effects of Assimilation on the Physics of an Ocean Model. ... Woodgate's early research centered on data assimilation in models and currents near Greenland. She has examined physical ...

... can be modeled by the Belt friction equation. In practice, the theoretical tension acting on the belt or rope ... The equation used to model belt friction is, assuming the belt has no mass and its material is a fixed composition: T 2 = T 1 e ...

... established in 2013 at the University of São Paulo that is dedicated to integrating mathematical modeling and theoretical ... In the first article on the model, in 2013, they called it a model of a "system with interacting stochastic chains with memory ... NeuroMat has been involved in the development of what has been called the Galves-Löcherbach model, a model with intrinsic ... This model of spiking neurons was developed by mathematicians Antonio Galves and Eva Löcherbach. ...

Breslin Michael J., Alan Lewis Christopher (2008). "Theoretical Models of the Nature of Prayer and Health: A Review". Mental ... Fowler's model has inspired a considerable body of empirical research into faith development, although little of such research ... Many have looked at stage models, like those of Jean Piaget and Lawrence Kohlberg, to explain how children develop ideas about ... The best-known stage model of spiritual or religious development is that of James W. Fowler, a developmental psychologist at ...

In AI planning, planners typically input a domain model (a description of a set of possible actions which model the domain) as ... Theoretical Artificial Intelligence. 11 (1): 23--45. CiteSeerX 10.1.1.107.1065. doi:10.1080/095281399146607. Neufeld, Xenija ... Models and policies must be adapted. Solutions usually resort to iterative trial and error processes commonly seen in ... In known environments with available models, planning can be done offline. Solutions can be found and evaluated prior to ...

... follows these principles specifying the MAS meta-models that define its modeling language and allow generating ... This allows researchers focusing on the theoretical tasks of deciding what are the relevant concepts, relationships and ... approach.Model-driven engineering (MDE) organizes developments around the specification of systems through models that are ... supports this automated development from meta-models of model editors, modules for checking and validation, and generators for ...

Transportation engineering dealt with the basics of travel demand modelling, activity based travel modelling and advanced tools ... There were theoretical as well as practical sessions, teaching the participants the importance, background, latest techniques, ... Every team had to come up with an idea and had to showcase it into a working or a scale model of the same. WaterGEMS provided ... A summit involves discussion of various topics and dealt with protocols Similar to a Model United Nations conference. The ...

Nisha Sharma was portrayed as a youth icon and a role model for other women. However, it was later found that the Nisha had ... India is a party to several international human rights instruments which provide theoretical remedies to the dowry problems. ...

Insofar Weber's model was "a Prussian inspired model" just like Weber himself was a nationalist and per se anti-democratic. He ... Steiffert mentions Diamant as one of the noteworthy theoretical contributors to the debate in the 1960s. In the 1960s, it was ... Discussing the German model which allowed trade-union representatives to sit on the board of corporations in the name of joint ... Schrader called Diamant's Models of Bureaucracy and Development "an important, relevant work". At least one of Diamant's ...

... (or Hahn's question) refers to the theoretical challenge of building general equilibrium models where money does ...

... determined the observed brightness of three Cepheids and compared it with the actual brightness predicted by theoretical models ... From a theoretical point of view, astronomers have hypothesised the existence of young dwarf galaxies in a cold dark matter- ... These models were calculated specifically for I Zwicky 18's deficiency in heavy elements, indicating the galaxy's stars formed ...

Theoretical models are important in rehabilitation psychology for understanding and explaining impairments, aiding treatment ... Models help organize, understand, explain, and predict phenomena. The models used integrate information from a number of ... Biopsychosocial model: The biopsychosocial model examines the interaction of medical conditions, psychological stressors, the ... The somatopsychological model is derived from Lewin's field theory and holds that the environment can either aid or hinder an ...

Theoretical Framework and Chinese Context. BRILL. p. 123. ISBN 978-90-04-26051-1. Joachim Gentz (4 September 2013). Religious ... Rites of Zhou were subsequently canonized by Confucius among his Confucian Chinese classics as a model precedent in principles ...

Robert J. Johnson makes the theoretical claim that audience awareness is central to technical communication as a practice, but ... Aviva Freedman and Christine Adam view the traditional classroom model as detrimental to students/future employees, because the ... Collaborative pedagogy pushes back against the Current-Traditional model of writing, as well as other earlier theories ... Print., p.365 - 367 Johnson, Robert J. "Audience Involved: Toward a Participatory Model of Writing." College Composition and ...

These models are now used in network analysis, to classify human diseases into groups that share common proteins or metabolites ... Theoretical reconstruction of the stoichiometry of ATP and NADH producing systems". Bulletin of Mathematical Biology. 63 (1): ... Many models have been proposed to describe the mechanisms by which novel metabolic pathways evolve. These include the ... An alternative model comes from studies that trace the evolution of proteins' structures in metabolic networks, this has ...