Sciweavers

TCS
2011
12 years 12 months ago
Combinatorics on words
Arturo Carpi, Clelia De Felice
TCS
2011
12 years 12 months ago
Minimal non-convex words
Using a combinatorial characterization of digital convexity based on words, one defines the language of convex words. The complement of this language forms an ideal whose minimal...
Xavier Provençal
TCS
2011
12 years 12 months ago
Quasi-interpretations a way to control resources
Guillaume Bonfante, J.-Y. Marion, Jean-Yves Moyen
TCS
2011
12 years 12 months ago
Bounds for the generalized repetition threshold
The notion of repetition threshold, which is the object of Dejean’s conjecture (1972), was generalized by Ilie, Ochem, and Shallit in 2005, to include the lengths of the avoided ...
Francesca Fiorenzi, Pascal Ochem, Elise Vaslet
TCS
2011
12 years 12 months ago
An algorithmic framework for network reconstruction
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...
Markus Durzinsky, Annegret Wagler, Robert Weismant...
TCS
2011
12 years 12 months ago
Algebraic aspects of some Riordan arrays related to binary words avoiding a pattern
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...
Donatella Merlini, Renzo Sprugnoli
TCS
2011
12 years 12 months ago
Parameter estimation for Boolean models of biological networks
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 ...
Elena S. Dimitrova, Luis David García-Puent...
TCS
2011
12 years 12 months ago
Sorting and selection on dynamic data
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...
Aris Anagnostopoulos, Ravi Kumar, Mohammad Mahdian...
TCS
2011
12 years 12 months ago
Strong normalization from an unusual point of view
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...
Luca Paolini, Elaine Pimentel, Simona Ronchi Della...
TCS
2011
12 years 12 months ago
Optimization techniques for small matrix multiplication
Charles-Éric Drevet, Md. Nazrul Islam, &Eac...