572 search results - page 56 / 115 » Formal Properties of Metrical Structure |
BIOINFORMATICS
2008
13 years 10 months ago
2008
Motivation: Finding a good network null model for protein-protein interaction (PPI) networks is a fundamental issue. Such a model would provide insights into the interplay between...
LICS
2009
IEEE
14 years 4 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— Families of differential operators, like those defining affine, generally nonlinear, control systems are known to have natural Hopf algebra structures. These provide ...
CAV
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
CSMR
2004
IEEE
14 years 2 months ago
2004
IEEE
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...