Sciweavers

13977 search results - page 385 / 2796
» Evolution in complex systems
Sort
View
SCP
2010
96views more  SCP 2010»
15 years 5 months ago
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
Johan Brichau, Andy Kellens, Sergio Castro, Theo D...
LFCS
2007
Springer
16 years 29 days ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer
ICES
2003
Springer
108views Hardware» more  ICES 2003»
16 years 1 days ago
A Morphogenetic Evolutionary System: Phylogenesis of the POEtic Circuit
Abstract. This paper describes a new evolutionary mechanism developed specifically for cellular circuits. Called morphogenetic system, it is inspired by the mechanisms of gene exp...
Daniel Roggen, Dario Floreano, Claudio Mattiussi
ENTCS
2007
135views more  ENTCS 2007»
15 years 6 months ago
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
André Platzer
TWC
2010
15 years 1 months ago
Transmit diversity vs. spatial multiplexing in modern MIMO systems
A contemporary perspective on transmit antenna diversity and spatial multiplexing is provided. It is argued that, in the context of most modern wireless systems and for the operati...
A. Lozano, N. Jindal