Did you mean: dynamicdynamics

search result

Cover von Long-term and dynamical aspects of information security
emerging trends in information and communication security
Search for this author
Year: 2007
Publisher: Hauppage, Nova Science Publishers
Media group: MONOGRAPHIE
Cover von Applied dynamic programming for optimization of dynamical systems
Search for this author
Year: 2005
Publisher: Philadelphia, SIAM
Series: Advances in design and control; 9
Media group: MONOGRAPHIE
Cover von Approximation of large-scale dynamical systems
Author: Antoulas, Athanasios C. Search for this author
Year: 2005
Publisher: Philadelphia, SIAM
Series: Advances in design and control
Media group: MONOGRAPHIE
Cover von Simulating, analyzing, and animating dynamical systems
a guide to XPPAUT for researchers and students
Author: Ermentrout, Bard Search for this author
Year: 2002
Publisher: Philadelphia, SIAM
Series: Software, environments, tools; 14
Media group: MONOGRAPHIE
Cover von On Expansions of Monadic Second-Order Logic with Dynamical Predicates

On Expansions of Monadic Second-Order Logic with Dynamical Predicates

Year: 2025
Media group: LIPIcs
Cover von Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space

Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space

Year: 2025
Media group: LIPIcs
Cover von Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers

Year: 2025
Media group: LIPIcs
Cover von Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and Precision

Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and Precision

Year: 2024
Media group: LIPIcs
Cover von Combining Cubic Dynamical Solvers with Make/Break Heuristics to Solve SAT

Combining Cubic Dynamical Solvers with Make/Break Heuristics to Solve SAT

Year: 2023
Media group: LIPIcs
Cover von Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications

Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications

Author: Ouaknine, Joël; Purser, David; Whiteland, Markus A.
Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0