Sciweavers

732 search results - page 62 / 147
» corr 2011
Sort
View
CORR
2011
Springer
155views Education» more  CORR 2011»
14 years 10 months ago
Connectedness of fractals associated with Arnoux-Rauzy substitutions
Rauzy fractals are compact sets with fractal boundary that can be associated with any unimodular Pisot irreducible substitution. These fractals can be defined as the Hausdorff l...
Valérie Berthé, Timo Jolivet, Anne S...
CORR
2011
Springer
158views Education» more  CORR 2011»
14 years 10 months ago
Uniqueness domains and non singular assembly mode changing trajectories
- Parallel robots admit generally several solutions to the direct kinematics problem. The aspects are associated with the maximal singularity free domains without any singular conf...
Damien Chablat, Guillaume Moroz, Philippe Wenger
CORR
2011
Springer
205views Education» more  CORR 2011»
14 years 10 months ago
On the algebraic numbers computable by some generalized Ehrenfest urns
This article deals with some stochastic population protocols, motivated by theoretical aspects of distributed computing. We modelize the problem by a large urn of black and white ...
Marie Albenque, Lucas Gerin
CORR
2011
Springer
170views Education» more  CORR 2011»
14 years 7 months ago
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
Andreas Abel, Thierry Coquand, Miguel Pagano
CORR
2011
Springer
141views Education» more  CORR 2011»
14 years 10 months ago
Geometric Semigroup Theory
Geometric semigroup theory is the systematic investigation of finitely-generated semigroups using the topology and geometry of their associated automata. In this article we show h...
Jon McCammond, John Rhodes, Benjamin Steinberg