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 1993
Springer London
Table of Contents: ... Partial Deduction -- Algebraic Semantics of Objects -- A Semantic Model for Dynamic Systems -- An Order...

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

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

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

67
Published 2024
Springer Nature Switzerland
Table of Contents: ... -- From Static Models to Dynamic Systems: The Evolution of Business Process Simulation to Digital Twins...

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

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

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

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

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

73
Published 2003
Springer New York
Table of Contents: ... -- 7 Aspects of system description -- 8 Modelling architectures for dynamic systems -- 9 “What is a...

74
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... -- Optimized Live Heap Bound Analysis -- Dynamic Systems -- Complexity of Nesting Analysis in Mobile Ambients...

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

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

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

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

79
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Management -- Dynamic Systems Development Method, The Standard for Rapid Application Development -- I.2...

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