CORR
2011
Springer
13 years 6 months ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
CORR
2011
Springer
13 years 6 months ago
2011
Springer
CORR
2011
Springer
13 years 6 months ago
2011
Springer
CORR
2011
Springer
13 years 6 months ago
2011
Springer
We propose a coin-flip protocol which yields a string of strong, random coins and is fully simulatable against poly-sized quantum adversaries on both sides. It can be implemented ...
CORR
2011
Springer
13 years 6 months ago
2011
Springer
— The Cartier-Perrin theorem, which was published in 1995 and is expressed in the language of nonstandard analysis, permits, for the first time perhaps, a clear-cut mathematical...
CORR
2011
Springer
13 years 6 months ago
2011
Springer
Complex networks have been characterised by their specific connectivity patterns (network motifs), but their building blocks can also be identified and described by node-motifs—...
CORR
2011
Springer
13 years 6 months ago
2011
Springer
CORR
2011
Springer
13 years 6 months ago
2011
Springer
CORR
2011
Springer
13 years 6 months ago
2011
Springer
We present an XML-based simulation authoring environment. The proposed description language allows to describe mathematical objects such as systems of ordinary differential equat...
CORR
2011
Springer
13 years 6 months ago
2011
Springer
