Sciweavers

812 search results - page 91 / 163
» corr 2007
Sort
View
CORR
2007
Springer
95views Education» more  CORR 2007»
13 years 10 months ago
Solving the subset-sum problem with a light-based device
We propose a special computational device which uses light rays for solving the subset-sum problem. The device has a graph-like representation and the light is traversing it by fol...
Mihai Oltean, Oana Muntean
CORR
2007
Springer
150views Education» more  CORR 2007»
13 years 10 months ago
Composable Security in the Bounded-Quantum-Storage Model
We give a new, simulation-based, definition for security in the bounded-quantum-storage model, and show that this definition allows for sequential composition of protocols. Damg...
Stephanie Wehner, Jürg Wullschleger
CORR
2007
Springer
98views Education» more  CORR 2007»
13 years 10 months ago
Normalisation Control in Deep Inference Via Atomic Flows
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
Alessio Guglielmi, Tom Gundersen
CORR
2007
Springer
141views Education» more  CORR 2007»
13 years 10 months ago
Managing Uncertainty: A Case for Probabilistic Grid Scheduling
The Grid technology is evolving into a global, service-orientated architecture – a universal platform for delivering future high demand computational services. Strong adoption of...
Aleksandar Lazarevic, Lionel Sacks, Ognjen Prnjat
CORR
2007
Springer
79views Education» more  CORR 2007»
13 years 10 months ago
Singular Curves in the Joint Space and Cusp Points of 3-RPR parallel manipulators
This paper investigates the singular curves in the joint space of a family of planar parallel manipulators. It focuses on special points, referred to as cusp points, which may app...
Mazen Zein, Philippe Wenger, Damien Chablat