360 search results - page 27 / 72 » Scalable Analysis of Linear Systems Using Mathematical Progr... |
137
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: Recent technological advances in high-throughput data collection allow for experimental study of increasingly complex systems on the scale of the whole cellular genome...
123
click to vote
CASC
2010
Springer
15 years 1 months ago
2010
Springer
We discuss the algorithms which, given a linear difference equation with rational function coefficients over a field k of characteristic 0, compute a polynomial U(x) ∈ k[x] (a ...
113
click to vote
PDP
2005
IEEE
15 years 8 months ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
140
click to vote
AUTOMATICA
2007
15 years 2 months ago
2007
Stability in presence of bounded uncertain time-varying delays in the feedback loop of a system is studied. The delay parameter is assumed to be an unknown time-varying function f...
144
click to vote
TIC
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...