Sciweavers

1000 search results - page 20 / 200
» order 2011
Sort
View
APAL
2011
14 years 6 months ago
The complexity of central series in nilpotent computable groups
The terms of the upper and lower central series of a nilpotent computable group have computably enumerable Turing degree. We show that the Turing degrees of these terms are indepe...
Barbara F. Csima, Reed Solomon
CORR
2011
Springer
156views Education» more  CORR 2011»
14 years 6 months ago
Extensional Collapse Situations I: non-termination and unrecoverable errors
Abstract. We consider a simple model of higher order, functional computations over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable e...
Antonio Bucciarelli
FOSSACS
2011
Springer
14 years 3 months ago
Ordinal Theory for Expressiveness of Well Structured Transition Systems
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
Rémi Bonnet, Alain Finkel, Serge Haddad, Fe...
JOI
2011
93views more  JOI 2011»
14 years 6 months ago
Bibliometric rankings of journals based on Impact Factors: An axiomatic approach
This paper proposes an axiomatic analysis of Impact Factors when used as tools for ranking journals. This analysis draws on the similarities between the problem of comparing distr...
Denis Bouyssou, Thierry Marchant
MCM
2011
14 years 6 months ago
The Das-Moser commutator closure for filtering through a boundary is well-posed
When filtering through a wall with constant averaging radius, in addition to the subfilter scale stresses, a non-closed commutator term arises. We consider a proposal of Das and ...
William Layton, Catalin Trenchea