Search alternatives:
"dynamic systems" » "economic systems"
"dynamical systems" » "dynamics systems"

61
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... -- Recursive Model Predictive Control for Fast Varying Dynamic Systems -- Distributed Optimization and State...

62
Published 2021
Springer International Publishing
Table of Contents: ... for Machine Learning -- Exploiting Variable Sparsity in Computing Equilibria of Biological Dynamical Systems...

63
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... and Cells -- The Mortality Threshold for Partially Monotonic Automata -- Sturmian Words: Dynamical Systems...

64
Published 1993
Springer London
Table of Contents: ...) -- Animating LU -- Dynamical Systems, Measures and Fractals via Domain Theory (Extended Abstract) -- Self...

65
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems --...

66
Published 1991
Springer Berlin Heidelberg
Table of Contents: ...: An institution for dynamic systems -- A 2-category approach to critical pair completion -- A kernel specification...

67
Published 1999
Springer Berlin Heidelberg
Table of Contents: .../Negative Conditional Term Rewriting with Applications to Software Renovation Factories -- Dynamic Systems...

68
Published 1993
Springer London
Table of Contents: ... Partial Deduction -- Algebraic Semantics of Objects -- A Semantic Model for Dynamic Systems -- An Order...

69
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... -- SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems -- Solving the Petri Nets...

70
Published 1992
Springer Berlin Heidelberg
Table of Contents: ....4 Dynamical Systems, Instability of Motion and Information Processing -- III.5 Pragmatic Information...

71
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... Representation of Linear Conjunctive Languages -- On-Line Odometers for Two-Sided Symbolic Dynamical Systems...

72
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... -- Specification and verification of constraint-based dynamic systems -- GSAT and dynamic backtracking...

73
Published 2023
Springer Nature Switzerland
Table of Contents: ... Systems Models in Reinforcement Learning -- Conservative Safety Monitors of Stochastic Dynamical Systems...

74
by Nutaro, James
Published 2011
Wiley
... programs, and as a collection of specific algorithms for simulating dynamic systems"--Provided by publisher...

75
Published 2019
Springer International Publishing
Table of Contents: ... Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations...

76
Published 2019
Springer International Publishing
Table of Contents: ... in Equivariant Dynamical Systems for their Safety Verification -- Parametric Timed Model Checking...

77
Published 2007
Springer Berlin Heidelberg
Table of Contents: ...-Time Coordination Model for Mobile Computing -- Dynamic System Reconfiguration Via Service Composition...

78
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... of Comprehensive Boolean Gröbner Bases -- On Invariant Manifolds of Dynamical Systems in Lie Algebras --...

79
Published 2015
Springer Berlin Heidelberg
Table of Contents: ... Logics of Verification -- An argument for Permissivism from safespots -- Model Transformers for Dynamical...

80
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... in Description Logic Based Dynamic Systems -- Towards an Efficient Algorithm to Reason over Description Logics...