Sciweavers

1526 search results - page 130 / 306
» Computer algebra in systems biology
Sort
View
IJFCS
2007
93views more  IJFCS 2007»
15 years 7 months ago
Modelling and Analysis of PKI-Based Systems Using Process Calculi
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
Benjamin Aziz, Geoff Hamilton
CDC
2008
IEEE
108views Control Systems» more  CDC 2008»
16 years 1 months ago
On the state-space design of optimal controllers for distributed systems with finite communication speed
— We consider the problem of designing optimal distributed controllers whose impulse response has limited propagation speed. We introduce a state-space framework in which such co...
Makan Fardad, Mihailo R. Jovanovic
DATE
2007
IEEE
114views Hardware» more  DATE 2007»
16 years 1 months ago
Fast positive-real balanced truncation of symmetric systems using cross Riccati equations
We present a computationally efficient implementation of positive-real balanced truncation (PRBT) for symmetric multiple-input multiple-output (MIMO) systems. The solution of a p...
Ngai Wong
EBERNBURG
1990
15 years 11 months ago
Problems of Autonomy and Discontexturality in the Theory of Living Systems
In the theory of living systems any description of self-organizing processes is confronted by a very central problem concerning the role of the system's boundary, i.e., there...
Rudolf Kaehr, E. von Goldammer
FGCS
2006
83views more  FGCS 2006»
15 years 7 months ago
Memory-efficient Kronecker algorithms with applications to the modelling of parallel systems
We present a new algorithm for computing the solution of large Markov chain models whose generators can be represented in the form of a generalized tensor algebra, such as network...
Anne Benoit, Brigitte Plateau, William J. Stewart