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

81
Published 2020
Springer International Publishing
Table of Contents: ...Program Verification -- SAT and SMT -- Timed and Dynamical Systems -- Verifying Concurrent Systems...

82
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... Analysis of Piecewise-Linear Dynamical Systems -- Maximal Safe Set Computation for Idle Speed Control...

83
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... automata -- Computation based on chaos and dynamical systems -- Massive parallel computation -- Collective...

84
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... and Homeostatic Behaviours of Boolean Dynamical Systems...

85
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... and verification of an industrial press -- Abstract verification of structured dynamical systems -- Design...

86
Published 2022
Springer International Publishing
Table of Contents: ... Projection with h-scaling -- Dynamical Systems -- An Algorithm for the Formal Reduction of Differential...

87
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... -- Searching for Emergent Representations in Evolved Dynamical Systems -- Modular Design of Irreducible Systems...

88
Published 2016
Springer International Publishing
Table of Contents: ... -- Dynamical systems -- PDE....

89
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... -- On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems -- A Specification Language and a...

90
by Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo
Published 2012
Springer Berlin Heidelberg
Table of Contents: ... Modeling Problem -- Chap. 4 Dynamical Systems -- Chap. 5 Time in Hardware Modeling and Design -- Chap. 6...

91
Published 1997
Springer US
Table of Contents: ... Exercises -- 10 Parallel Computation of Variational Inequalities and Projected Dynamical Systems...

92
Published 2018
Springer International Publishing
... such as hypercomputation; chaos and dynamical systems based computing; granular, fuzzy and rough computing; mechanical...

93
Published 2012
Springer Berlin Heidelberg
... are organized in 4 technical sessions, covering topics of hypercomputation, chaos and dynamical systems based...

94
by Zhang Yi
Published 2004
Springer US
... to RNNs being regarded as dynamical systems. RNNs can be described by continuous time differential systems...

95
Published 2006
Springer Berlin Heidelberg
Table of Contents: ...Chaos, Periodicity and Complexity on Dynamical Systems -- Foundations of Nonextensive Statistical...

96
Published 2015
Springer International Publishing
Table of Contents: ... One-Way Cellular Automata -- Cycle Equivalence of Finite Dynamical Systems Containing Symmetries...

97
Published 2022
Springer Nature Switzerland
Table of Contents: ...Hybrid, timed, cyber-physical and dynamical systems -- From Hybrid Automata to DAE-based modeling...

98
Published 2019
Springer International Publishing
Table of Contents: ... Dynamical Systems -- Static Detection of Event-Driven Races in HTML5-Based Mobile Apps -- Analyzing Security...

99
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Universality in Symbolic Dynamical Systems -- Real Recursive Functions and Real Extensions of Recursive...

100
Published 2001
Springer London
Table of Contents: ... advances in robust control, feedback and learning -- Hybrid dynamical systems: Stability and chaos -- Multi...