Sciweavers

CORR
2007
Springer
98views Education» more  CORR 2007»
13 years 7 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
104views Education» more  CORR 2007»
13 years 7 months ago
Double Clustering and Graph Navigability
Graphs are called navigable if one can find short paths through them using only local knowledge. It has been shown that for a graph to be navigable, its construction needs to mee...
Oskar Sandberg
CORR
2007
Springer
150views Education» more  CORR 2007»
13 years 7 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
63views Education» more  CORR 2007»
13 years 7 months ago
Navigability of Complex Networks
Marián Boguñá, Dmitri V. Krio...
CORR
2007
Springer
116views Education» more  CORR 2007»
13 years 7 months ago
The Extended Edit Distance Metric
Similarity search is an important problem in information retrieval. This similarity is based on a distance. Symbolic representation of time series has attracted many researchers re...
Muhammad Marwan Muhammad Fuad, Pierre-Francois Mar...
CORR
2007
Springer
75views Education» more  CORR 2007»
13 years 7 months ago
Optimum Diversity-Multiplexing Tradeoff in the Multiple Relays Network
Shahab Oveis Gharan, Alireza Bayesteh, Amir K. Kha...
CORR
2007
Springer
105views Education» more  CORR 2007»
13 years 7 months ago
On Real-Time Communication Systems with Noisy Feedback
— We consider a real--time communication system with noisy feedback consisting of a Markov source, a forward and a backward discrete memoryless channels, and a receiver with fin...
Aditya Mahajan, Demosthenis Teneketzis
CORR
2007
Springer
107views Education» more  CORR 2007»
13 years 7 months ago
Functional Multi-Layer Perceptron: a Nonlinear Tool for Functional Data Analysis
In this paper, we study a natural extension of Multi-Layer Perceptrons (MLP) to functional inputs. We show that fundamental results for classical MLP can be extended to functional...
Fabrice Rossi, Brieuc Conan-Guez
CORR
2007
Springer
79views Education» more  CORR 2007»
13 years 7 months ago
Representation of Functional Data in Neural Networks
Fabrice Rossi, Nicolas Delannay, Brieuc Conan-Guez...