Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
80
Bruno Woltzenlogel Paleo Sequent Calculi with Hilbert’s Choice Operator The Goal Design of Sequent Calculi with an operator
, 2009
"... Both Gentzen’s sequent calculus (and the cut-elimination method) and Hilbert’s epsilon calculus (and the epsilon substitution method) were developed as approaches to Hilbert’s program of consistency proofs and the reduction of “ideal ” mathematics to “real ” mathematics by acceptable finitistic mean ..."
Abstract
- Add to MetaCart
Both Gentzen’s sequent calculus (and the cut-elimination method) and Hilbert’s epsilon calculus (and the epsilon substitution method) were developed as approaches to Hilbert’s program of consistency proofs and the reduction of “ideal ” mathematics to “real ” mathematics by acceptable finitistic
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases – invited lecture –
"... Abstract. The semantics of determiner phrases, be they definite de-scriptions, indefinite descriptions or quantified noun phrases, is often as-sumed to be a fully solved question: common nouns are properties, and determiners are generalised quantifiers that apply to two predicates: the property corr ..."
Abstract
- Add to MetaCart
many sorted logic for semantical representations. We present this semantical framework called the Montagovian generative lexicon and show how these terms better match the syntactical structure and avoid the aforementioned problems of the standard approach. Hilbert terms rather differ from choice
Epsilon-Logic is More Expressive than First-Order Logic over Finite Structures
- J. Symb. Logic, 65:1749
, 1999
"... There are properties of finite structures that are expressible with the use of Hilbert's ffl-operator in a manner that does not depend on the actual interpretation for ffl-terms, but not expressible in plain first-order. This observation strengthens a corresponding result of Gurevich, concer ..."
Abstract
-
Cited by 10 (0 self)
- Add to MetaCart
as deterministic queries are concerned, thereby answering a question raised by Abiteboul and Vianu. Introduction Hilbert's ffl-operator extends first-order by means of a choice construct, which allows to select elements from non-empty definable subsets of the universe. Epsilon-terms and epsilon
unknown title
, 1997
"... The old frequency decomposition problem in the light of new quantization methods ∗ ..."
Abstract
- Add to MetaCart
The old frequency decomposition problem in the light of new quantization methods ∗
To cite this version:
, 2015
"... HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte p ..."
Abstract
- Add to MetaCart
algorithm for large-scale two-stage unit-commitment W. van Ackooij · J. Malick Received: date / Accepted: date Abstract Everyday, electricity generation companies submit a generation schedule to the grid operator for the coming day; computing an optimal schedule is called the unit-commitment problem
ii List of Publications
, 2014
"... pages 156–175, 2013. [2] Johannes Buchmann, Denise Demirel, and Jeroen van de Graaf. Towards a publicly-verifiable mix-net providing everlasting privacy. In Financial Cryptog-raphy, pages 197–204, 2013. [3] Denise Demirel, Jeroen van de Graaf, and Roberto Araùjo. Improving helios ..."
Abstract
- Add to MetaCart
pages 156–175, 2013. [2] Johannes Buchmann, Denise Demirel, and Jeroen van de Graaf. Towards a publicly-verifiable mix-net providing everlasting privacy. In Financial Cryptog-raphy, pages 197–204, 2013. [3] Denise Demirel, Jeroen van de Graaf, and Roberto Araùjo. Improving helios
DOI 10.1007/s00778-012-0302-x SPECIAL ISSUE PAPER Automating the database schema evolution process
"... Abstract Supporting database schema evolution repre-sents a long-standing challenge of practical and theoretical importance for modern information systems. In this paper, we describe techniques and systems for automating the critical tasks of migrating the database and rewriting the legacy applicati ..."
Abstract
- Add to MetaCart
legacy queries and updates under schema and integrity constraints evolution. The PRISM/PRISM++ approach consists in providing the users with a set of SQL-based Schema Modification Opera-tors (SMOs), which describe how the tables in the old schema are modified into those in the new schema. In order to sup
Title of Document: QUANTUM MECHANICS AND QUANTUM INFORMATION THEORY
"... The principle aim of this dissertation is to investigate the philosophical application of quantum information theory to interpretational issues regarding the theory of quantum mechanics. Recently, quantum information theory has emerged as a potential source for such an interpretation. The main quest ..."
Abstract
- Add to MetaCart
the world is made of information, and quantum Bayesianism – fail as philosophical interpretations of quantum mechanics. However, the information-theoretic approach of Clifton, Bub, and Halvorson introduces Einstein’s distinction between principle theories and constructive theories, arguing that quantum
Human Trust Establishment
, 2011
"... Users regularly experience a crisis of confidence on the Internet. Is that email truly originating from the claimed individual? Is that Facebook invitation indeed from that person or is it a fake page set up by an impersonator? These doubts are usually resolved through a leap of faith, expressing th ..."
Abstract
- Add to MetaCart
offering secrecy and authenticity, which we use to support secure messaging and file exchange. Essentially, we support an abstraction to safely “sling ” information from one device to another. 1 SafeSlinger also provides an API for importing applications’ public keys into a user’s contact information
Results 1 - 10
of
80
