Sciweavers

MSCS
2010
59views more  MSCS 2010»
13 years 5 months ago
Observing the superposition of a single particle with the vacuum
Luis Manuel Rico Gutierrez, Veiko Palge, Jacob Dun...
MSCS
2010
73views more  MSCS 2010»
13 years 5 months ago
Modal and mixed specifications: key decision problems and their complexities
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik N...
MSCS
2010
104views more  MSCS 2010»
13 years 9 months ago
A note on accelerated Turing machines
ABSTRACT. In this note we prove that any Turing machine which uses only a finite computational space for every input cannot solve an uncomputable problem even in case it runs in a...
Cristian S. Calude, Ludwig Staiger
MSCS
2010
44views more  MSCS 2010»
13 years 9 months ago
Turing universality of the Biochemical Ground Form
Luca Cardelli, Gianluigi Zavattaro
MSCS
2010
74views more  MSCS 2010»
13 years 9 months ago
Selection functions, bar recursion and backward induction
Martín Hötzel Escardó, Paulo Ol...
MSCS
2010
65views more  MSCS 2010»
13 years 9 months ago
Domain representations of spaces of compact subsets
Ulrich Berger, Jens Blanck, Petter Kristian K&osla...
MSCS
2010
84views more  MSCS 2010»
13 years 9 months ago
Channel abstractions for network security
Abstractions for Network Security† MICH E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit`a Ca’ Foscari, Venice. Received 6 October 20...
Michele Bugliesi, Riccardo Focardi
MSCS
2010
59views more  MSCS 2010»
13 years 9 months ago
Tree-functors, determinacy and bisimulations
Rocco De Nicola, Daniele Gorla, Anna Labella