FCT
2011
Springer
12 years 8 months ago
2011
Springer
FCT
2011
Springer
12 years 8 months ago
2011
Springer
CMSB
2011
Springer
12 years 8 months ago
2011
Springer
Reversible structures are computational units that may progress forward and backward. We study weak coherent structures that are primarily inspired by dna circuits and may be comp...
CMSB
2011
Springer
12 years 8 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...
CMSB
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. This paper tackles theoretically the question of the structural stability of biological regulation networks subjected to the influence of their environment. The model of...
CIE
2011
Springer
12 years 8 months ago
2011
Springer
CIE
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. In [She82], it is shown that four of its basic functional properties are enough to characterize plain Kolmogorov complexity, hence obtaining an axiomatic characterization...
CIE
2011
Springer
12 years 8 months ago
2011
Springer
Automatic classes are classes of languages for which a finite automaton can decide whether a given element is in a set given by its index. The present work studies the learnabilit...
CF
2011
ACM
12 years 8 months ago
2011
ACM
Ubiquitous computing has become a very popular paradigm. The most suitable technological solution for those systems consists of using hybrid processors able to operate at high vol...
CF
2011
ACM
12 years 8 months ago
2011
ACM
Dynamic Information Flow Tracking (DIFT) is a powerful technique that can protect unmodified binaries from a broad range of vulnerabilities such as buffer overflow and code inj...