Sciweavers

1400 search results - page 5 / 280
» Dynamic Galois Theory
Sort
View
ENTCS
2008
64views more  ENTCS 2008»
13 years 7 months ago
General Refinement, Part Two: Flexible Refinement
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
Steve Reeves, David Streader
EOR
2006
123views more  EOR 2006»
13 years 7 months ago
Double-layered dynamics: A unified theory of projected dynamical systems and evolutionary variational inequalities
In this paper we continue the study of the unified dynamics resulting from the theory of projected dynamical systems and evolutionary variational inequalities, initiated by Cojocar...
Monica-Gabriela Cojocaru, Patrizia Daniele, Anna N...
AMC
2000
94views more  AMC 2000»
13 years 7 months ago
Elements of a theory of simulation II: sequential dynamical systems
We study a class of discrete dynamical systems that is motivated by the generic structure of simulations. The systems consist of the following data: (a) a
Christopher L. Barrett, Henning S. Mortveit, Chris...
LICS
2012
IEEE
11 years 9 months ago
The Complete Proof Theory of Hybrid Systems
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
André Platzer
STACS
2005
Springer
14 years 26 days ago
Dynamic Complexity Theory Revisited
Dynamic complexity investigates the required effort to maintain knowledge about a property of a structure under changing operations. This article introduces a refined notion of ...
Volker Weber, Thomas Schwentick