![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Soziologie in Großbritannien und Frankreich
-
Chapter
Approximate Histogram and Wavelet Summaries of Streaming Data
We study a synopsis abstract data structure similar to an array abstract data type commonly seen in textbooks. Specifically, we model an array ...
-
Article
RNR4 mutant alleles pso3-1 and rnr4Δ block induced mutation in Saccharomyces cerevisiae
The PSO3 gene of Saccharomyces cerevisiae was molecularly cloned by complementing the cold-sensitivity phenotype of a pso3-1 mutant and was found to be allelic to RNR4, encoding one of the two DNA damage-inducibl...
-
Chapter and Conference Paper
Maintenance of Multidimensional Histograms
We present a space- and time- efficient algorithm for maintaining multidimensional histograms for data that is dynamic, i.e., subject to updates that may be increments or decrements. Both space used as well as...
-
Chapter and Conference Paper
A generalization of resource-bounded measure, with an application (Extended abstract)
We introduce resource-bounded betting games, and propose a generalization of Lutz's resource-bounded measure in which the choice of next string to bet on is fully adaptive. Lutz's martingales are equivalent to be...
-
Chapter and Conference Paper
Compliance checking in the PolicyMaker trust management system
Emerging electronic commerce services that use public-key cryptography on a mass-market scale require sophisticated mechanisms for managing trust. For example, any service that receives a signed request for ac...
-
Chapter and Conference Paper
Divertible protocols and atomic proxy cryptography
First, we introduce the notion of divertibility as a protocol property as opposed to the existing notion as a language property (see Okamoto, Ohta [OO90]). We give a definition of protocol divertibility that a...
-
Chapter and Conference Paper
An information-theoretic treatment of random-self-reducibility
We initiate the study of random-self-reducibility from an information-theoretic point of view. Specifically, we formally define the notion of a random-self-reduction that, with respect to a given ensemble of d...
-
Chapter and Conference Paper
Measure on P: Robustness of the notion
In [AS], we defined a notion of measure on the complexity class P (in the spirit of the work of Lutz [L92] that provides a notion of measure on complexity classes at least as large as E, and the work of Mayord...
-
Chapter and Conference Paper
Normal numbers and sources for BPP
In [L90], Lutz proposed a notion of source, a nonrandom sequence that can substitute in a certain way for the random bits used by bounded-error probabilistic machines. He showed that almost every sequence in DSPA...
-
Chapter
Foundations of Quantum Mechanics
When [in 1905] the c-theory [Special Theory of Relativity] was born, both the mathematical formalism and its physical interpretation were established simultaneously; merely some questions of physical logic and ax...
-
Chapter
Mathematics as Logical Syntax — A Method to Formalize the Language of a Physical Theory
I intend to explain a method how to formalize the language of a given physical theory. The essential part of this method consists in using the mathematical formalism of the theory in question in order to get t...
-
Chapter
The Logic of Complementarity and the Foundation of Quantum Theory
Several attempts have been made to provide an axiomatic basis for the statistical transformation theory in quantum physics in the form of simple general principles. Thus, in his well-known book on Quantum Mechani...
-
Article
Logics for quantum mechanics
The two concepts of probability used in physics are analyzed from the formal and the material points of view. The standard theory corresponds toprob 1 (probability of the coexistence of two properties). A general...
-
Chapter
Intertheory Relations
While there exists a vast literature devoted to logical analysis of physical theories the literature on intentheory relations is almost nonexistent. True, intertheory relations are touched upon by many authors...
-
Article
Mathematics as logical syntax — a method to formalize the language of a physical theory
-
Article
Ungenauigkeit, Wahrfcheinlichkeit und Unbeftimmtheit