TCS
2011
13 years 20 days ago
2011
Models of biological systems and phenomena are of high scientific interest and practical relevance, but not always easy to obtain due to their inherent complexity. To gain the re...
TCS
2011
13 years 20 days ago
2011
We consider some Riordan arrays related to binary words avoiding a pattern p, which can be easily studied by means of an A-matrix rather than their A-sequence. Both concepts allow...
TCS
2011
13 years 20 days ago
2011
Boolean networks have long been used as models of molecular networks and play an increasingly important role in systems biology. This paper describes a software package, offered ...
TCS
2011
13 years 20 days ago
2011
We formulate and study a new computational model for dynamic data. In this model, the data changes gradually and the goal of an algorithm is to compute the solution to some proble...
TCS
2011
13 years 20 days ago
2011
A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suit...
TCS
2011
13 years 20 days ago
2011
TCS
2011
13 years 20 days ago
2011
TCS
2011
13 years 20 days ago
2011
TCS
2011
13 years 20 days ago
2011
TCS
2011
13 years 20 days ago
2011
We provide new correctness criteria for all fragments (multiplicative, exponential, additive) of linear logic. We use these criteria for proving that deciding the correctness of a...