Sciweavers

FCT
2011
Springer
13 years 6 days ago
Parameterized Complexity of Vertex Deletion into Perfect Graph Classes
Pinar Heggernes, Pim van 't Hof, Bart M. P. Jansen...
CMSB
2011
Springer
13 years 8 days ago
Reversible structures
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...
Luca Cardelli, Cosimo Laneve
CMSB
2011
Springer
13 years 8 days ago
Coloured stochastic multilevel multiset rewriting
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...
Nicolas Oury, Gordon D. Plotkin
CMSB
2011
Springer
13 years 8 days ago
The singular power of the environment on stochastic nonlinear threshold Boolean automata networks
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...
Jacques Demongeot, Sylvain Sené
CIE
2011
Springer
13 years 13 days ago
An affective interactive audio interface for Lovotics
Hooman Aghaebrahimi Samani, Adrian David Cheok, Ow...
CIE
2011
Springer
13 years 13 days ago
Towards an Axiomatic System for Kolmogorov Complexity
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...
Antoine Taveneaux
CIE
2011
Springer
13 years 13 days ago
Automatic Learners with Feedback Queries
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...
John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukh...
CF
2011
ACM
13 years 13 days ago
Hybrid high-performance low-power and ultra-low energy reliable caches
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...
Bojan Maric, Jaume Abella, Francisco J. Cazorla, M...
CF
2011
ACM
13 years 13 days ago
SIFT: a low-overhead dynamic information flow tracking architecture for SMT processors
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...
Meltem Ozsoy, Dmitry Ponomarev, Nael B. Abu-Ghazal...