Sciweavers

4196 search results - page 603 / 840
» Supporting the development of network programs
Sort
View
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 2 months ago
Towards A Shape Analysis for Graph Transformation Systems
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
HYBRID
2011
Springer
14 years 3 months ago
Resource constrained LQR control under fast sampling
We investigate a state feedback Linear Quadratic Regulation problem with a constraint on the number of actuation signals that can be updated simultaneously. Such a constraint aris...
Jerome Le Ny, Eric Feron, George J. Pappas
ERSHOV
2009
Springer
15 years 10 months ago
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+
Kohn’s Molecular Interaction Maps (MIMs) are a graphical notation for describing bioregulatory networks at the molecular level. Even if the meaning of Kohn’s diagrams can be of...
Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Sc...
126
Voted
ICCCN
2007
IEEE
15 years 10 months ago
Enhancing Robustness Under Dual-Link Failures
—In this paper, we show that minimizing the product of path lengths results in minimizing the probability of connection failure between a source and destination given two links h...
Sandeep Kour Ahuja, Srinivasan Ramasubramanian
110
Voted
IJCNN
2006
IEEE
15 years 10 months ago
Real-Time Implementation of an Optimal Transient Neurocontroller for a GCSC
—This paper presents the design of an optimal Auxiliary Transient Neurocontroller (ATNC) for the Gate Controlled Series Capacitor (GCSC) in a multi-machine power system. GCSC is ...
Swakshar Ray, Ganesh K. Venayagamoorthy