Systems Theory. 3 (2): 186-192. doi:10.1007/BF01746527. Semenov, A. L. (1977). "Presburgerness of predicates regular in two ... Systems Theory. 6: 164-192. doi:10.1007/BF01706087. Lothaire, M. (2005). Applied combinatorics on words. Encyclopedia of ... Point, F.; Bruyère, V. (1997). "On the Cobham-Semenov theorem". Theory of Computing Systems. 30 (2): 197-220. doi:10.1007/ ... Automata and transcendence". In Baker, A. New Advances in Transcendence Theory. Cambridge University Press. pp. 215-228. ISBN 0 ...
Systems Theory. 3: 186-192. doi:10.1007/BF01746527. Semenov, A. L. (1977). "Presburgerness of predicates regular in two number ... This approach is the basis of at least five proof-of-correctness systems for computer programs, beginning with the Stanford ... Presburger arithmetic is the first-order theory of the natural numbers with addition, named in honor of Mojżesz Presburger, who ... For example, the Coq proof assistant system features the tactic omega for Presburger arithmetic and the Isabelle proof ...
Systems Theory. 3 (2): 186-192. doi:10.1007/BF01746527. Allouche, Jean-Paul; Shallit, Jeffrey (1992), "The ring of k-regular ... Prior to this, Berstel and Reutenauer studied the theory of rational series, which is closely related to k-regular sequences. ... Theory, Applications, Generalizations. Cambridge University Press. ISBN 978-0-521-82332-6. Zbl 1086.11015. ...
Bailey, Kenneth D. (2006). "Systems Theory". In Jonathan H. Turner. Handbook of Sociological Theory. New York, NY: Springer ... "chaos theory" and "complexity theory" which, in turn, renewed interest in understanding complex physical and social systems ... PhD program in Systems Science Portland State, MS program in Systems Science UCD, PhD Program in Complex Systems and ... Systems Biology (including behavioral sciences) Univ. of Michigan, Minor in Complex Systems Systems Sciences Programs List, ...
Systems Theory. 3: 186-192. doi:10.1007/BF01746527. Semenov, A. L. (1977). "Presburgerness of predicates regular in two number ... the first-order theory of V k {\displaystyle V_{k}} and + {\displaystyle +} . Otherwise, an arithmetic theory with both V k {\ ... Büchi arithmetic of base k is the first-order theory of the natural numbers with addition and the function V k ( x ) {\ ... Unlike Peano arithmetic, Büchi arithmetic is a decidable theory. This means it is possible to effectively determine, for any ...
Hedlund, G. A. (1969). "Endomorphisms and automorphisms of the shift dynamical system". Math. Systems Theory. 3 (4): 320-3751. ... systems in thermodynamic equilibrium, (2) spatially/temporally uniform systems, (3) chaotic systems, and (4) complex far-from- ... "Compression-based investigation of the dynamical properties of cellular automata and other systems" (PDF). Complex Systems. 19 ... The general equation for such a system of rules is kks, where k is the number of possible states for a cell, and s is the ...
The Department of Theory and Bio-Systems, headed by Reinhard Lipowsky, investigates the structure and dynamics of molecules, ... "Theory bio-systems". Retrieved April 23, 2014. Max Planck Institute, Munich. "Interfaces". Retrieved April 23, 2014. Max Planck ... colloids and nanoparticles in biological and biomimetic systems. The molecular building blocks of these systems assemble "by ... Single molecular systems cannot do this, due to their lack of complexity. An example for this is skin: There is no synthetic ...
"The Equivalence of Four Extensions of Context-Free Grammars". Mathematical Systems Theory. 27 (6): 511-546. doi:10.1007/ ... on Switching and Automata Theory (SWAT). pp. 131-142. Sheila A. Greibach (1970). "Full AFL's and Nested Iterated Substitution ... Hopcroft, John E.; Jeffrey D. Ullman (1979). Introduction to Automata Theory, Languages, and Computation. Addison-Wesley. ISBN ... Natural Language Parsing and Linguistic Theories. Studies in linguistics and philosophy. 35. D. Reidel Publishing Company. pp. ...
Mathematical Systems Theory. 17 (1): 13-27. doi:10.1007/BF01744431. MR 0738749. See proof Santhanam, Rahul (2007). "Circuit ... Mathematical Systems Theory. 17 (1): 13-27. doi:10.1007/bf01744431. Håstad, Johan (1987), Computational limitations of small ... doi:10.1002/j.1538-7305.1949.tb03624.x. Smolensky, Roman (1987). "Algebraic methods in the theory of lower bounds for Boolean ... In theoretical computer science, circuit complexity is a branch of computational complexity theory in which Boolean functions ...
Mathematical Systems Theory. 10: 99-127. doi:10.1007/BF01683268. ...
Jacobi integral Lunar theory Natural units Numerical model of the Solar System Stability of the Solar System Few-body systems ... It is a type of smoothed-particle hydrodynamics approximation suitable for large systems. In astrophysical systems with strong ... Ergodic Theory Dynam. Systems. 5: 1521-1582. Heggie, Douglas; Hut, Piet (2003). The Gravitational Million-Body Problem, A ... the radius containing half the mass of the system), then the critical time for a system to settle down to a dynamic equilibrium ...
Mathematical Systems Theory. 24: 101-116. doi:10.1007/bf02090393. Codish, Michael; Cruz-Filipe, Luís; Ehlers, Thorsten; Müller ... It is also possible, in theory, to construct networks of logarithmic depth for arbitrary size, using a construction called the ... Proceedings of the fifteenth annual ACM symposium on Theory of computing. pp. 1-9. doi:10.1145/800061.808726. ISBN 0-89791-099- ... Despite the simplicity of sorting nets, their theory is surprisingly deep and complex. Sorting networks were first studied ...
Leonard Kleinrock (1976). Queueing Systems: Theory. Wiley. ISBN 978-0-471-49110-1. A. Baddeley; I. Bárány; R. Schneider (26 ... For example, it is possible for an event not happening in the queueing theory sense to be an event in the probability theory ... D.J. Daley; David Vere-Jones (12 November 2007). An Introduction to the Theory of Point Processes: Volume II: General Theory ... D.J. Daley; David Vere-Jones (12 November 2007). An Introduction to the Theory of Point Processes: Volume II: General Theory ...
Ergodic Theory Dynam. Systems. 25 (4): 1209-1220. arXiv:math.DG/0410312 . doi:10.1017/S0143385704001014. MR 2158402. Katz, ...
Ecological systems theory considers a child's development within the context of the systems of relationship that form his or ... Examples of systems are health systems, education systems, food systems, and economic systems. Drawing from natural ecosystems ... In his initial theory, Bronfenbrenner postulated that in order to understand human development, the entire ecological system in ... In his original theory, Bronfenbrenner postulated that in order to understand human development, the entire ecological system ...
Mathematical Systems Theory. 17 (1): 13-27. doi:10.1007/BF01744431. MR 0738749. Cook, Stephen; Nguyen, Phuong (2010). Logical ... In computational complexity theory, the complexity class of all regular languages is sometimes referred to as REGULAR or REG ... on Theory of computing (STOC). ACM. pp. 1-9. Hopcroft, Ullman (1979), Corollary p.353 Furst, Merrick; Saxe, James B.; Sipser, ... see the proof in the Syntactic monoid article, and see p.160 in Holcombe, W.M.L. (1982). Algebraic automata theory. Cambridge ...
Rose, L.T., & Fischer, K.W. (2009). Dynamic systems theory. In R. Shweder, T. Bidell, A. Dailey et al. (Eds.), The child: An ... He is a scientist in developmental psychology known for his work applying dynamical systems principles to the study of ...
Math Systems Theory. 2 (1): 1-6. doi:10.1007/bf01691341. John E. Hopcroft; Jeffrey D. Ullman (1979). Introduction to Automata ... In theoretical computer science, in particular in formal language theory, Greibach's theorem states that certain properties of ... Various approaches are known from formal language theory to denote a formal language by a finite description, such as a formal ... Theory, Languages, and Computation. Addison-Wesley. ISBN 0-201-02988-X. p.205-206 Hopcroft, Ullman, 1979, p.205, Theorem 8.15 ...
Mathematical Systems Theory. 10 (1): 363-385. doi:10.1007/BF01683285. Archived from the original (PDF) on 12 December 2013. ... In 1994 Hazewinkel was elected member of the International Academy of Computer Sciences and Systems. Hazewinkel has authored ... On invariants, canonical forms and moduli for linear, constant, finite dimensional, dynamical systems. With Rudolf E. Kalman. ... Articles, a selection: Hazewinkel, Michiel (1976). "Moduli and canonical forms for linear dynamical systems II: The topological ...
A Century of Crisis and Conflict in the International System: Theory and Evidence, Palgrave-Macmillan (U.S.), 2017. 341 pages ... Foreign policy theory; International systems; the Middle East; South Asia international relations. ... Paperback and CD-ROM edition, 2000) Crises in World Politics: Theory and Reality, Oxford: Pergamon Press, 1993. Editor and ... Professor Brecher researches on; Theory of crisis, conflict and war; Protracted conflicts/enduring rivalries; ...
Mathematical Systems Theory. 29: 375-386. doi:10.1007/BF01192693. Bounds between functions Σ and S. Ben-Amram, A. M.; Petersen ... The Busy Beaver Game has implications in computability theory, the halting problem, and complexity theory. The concept was ... Theory of Computing Systems. 35: 1-11. doi:10.1007/s00224-001-1052-0. Improved bounds. Lafitte, G.; Papazian, C. (June 2007). " ... Many open problems in mathematics could in theory, but not in practice, be solved in a systematic way given the value of S(n) ...
Mathematical Systems Theory. 2 (1). A book devoted to tree grammars is: Nivat, Maurice; Podelski, Andreas (1992). Tree Automata ... In theoretical computer science and formal language theory, a regular tree grammar (RTG) is a formal grammar that describes a ... Gilleron, R.; Tison, S.; Tommasi, M. (1993). "Solving Systems of Set Constraints using Tree Automata". 10th Annual Symposium on ... doi:10.1016/s0019-9958(68)90917-0. Thatcher, J.W.; Wright, J.B. (1968). "Generalized Finite Automata Theory with an Application ...
Systems theory has long been concerned with the study of complex systems (in recent times, complexity theory and complex ... Chaos theory Command and Control Research Program Complex systems Complexity theory (disambiguation page) Cyclomatic complexity ... theory Novelty theory Occam's razor Process architecture Programming Complexity Sociology and complexity science Systems theory ... social systems. One such interdisciplinary group of fields is relational order theories. The behavior of a complex system is ...
Euler, Leonhard (1985). "An essay on continued fractions". Mathematical Systems Theory. 18: 295-398. doi:10.1007/bf01699475. ...
Mathematical Systems Theory. 10: 99-127. doi:10.1007/BF01683268. Implementations at https://github.com/varnish/Varnish-Cache/ ...
GENESIS, a general neural simulation system.. Conferences[edit]. *Computational and Systems Neuroscience (COSYNE) - a ... Michael A. Arbib; Shun-ichi Amari; Prudence H. Arbib (2002). The Handbook of Brain Theory and Neural Networks. Cambridge, ... Abbott, L. F.; Dayan, Peter (2001). Theoretical neuroscience: computational and mathematical modeling of neural systems. ... In some cases the complex interactions between inhibitory and excitatory neurons can be simplified using mean field theory, ...