Sciweavers

TCS
2002
13 years 11 months ago
Measuring with jugs
Paolo Boldi, Massimo Santini, Sebastiano Vigna
TCS
2002
13 years 11 months ago
Balance properties of multi-dimensional words
Valérie Berthé, Robert Tijdeman
TCS
2002
13 years 11 months ago
Coding rotations on intervals
We show that the coding of a rotation by on m intervals can be recoded over m Sturmian words of angle . c 2002 Elsevier Science B.V. All rights reserved.
Jean Berstel, Laurent Vuillon
TCS
2002
13 years 11 months ago
Notations for exponentiation
We define a coding of natural numbers
Arnold Beckmann
TCS
2002
13 years 11 months ago
An example of a computable absolutely normal number
The first example of an absolutely normal number was given by Sierpinski in 1916, twenty years before the concept of computability was formalized. In this note we give a recursive...
Verónica Becher, Santiago Figueira
TCS
2002
13 years 11 months ago
Set-sharing is redundant for pair-sharing
Although the usual goal of sharing analysis is to detect which pairs of variables share, the standard choice for sharing analysis is a domain that characterizes set-sharing. In th...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
TCS
2002
13 years 11 months ago
CASL: the Common Algebraic Specification Language
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
Egidio Astesiano, Michel Bidoit, Hélè...
TCS
2002
13 years 11 months ago
Topics in the theory of DNA computing
DNA computing, or, more generally, molecular computing, is an exciting fast developing interdisciplinary area. Research in this area concerns theory, experiments, and applications...
Martyn Amos, Gheorghe Paun, Grzegorz Rozenberg, Ar...
TCS
1998
13 years 11 months ago
Conflict-Free Channel Set Assignment for an Optical Cluster Interconnection Network Based on Rotator Digraphs
Recently a class of scalable multi-star optical networks is proposed in [2]. In this class of networks nodes are grouped into clusters. Each cluster employs a separate pair of bro...
Peng-Jun Wan