Results 1  10
of
82,220
Axiomatic quantum field theory in curved spacetime
, 2008
"... The usual formulations of quantum field theory in Minkowski spacetime make crucial use of features—such as Poincare invariance and the existence of a preferred vacuum state—that are very special to Minkowski spacetime. In order to generalize the formulation of quantum field theory to arbitrary globa ..."
Abstract

Cited by 682 (18 self)
 Add to MetaCart
to a fundamental status, and, in essence, all of the properties of the quantum field theory are determined by its OPE. We provide general axioms for the OPE coefficients of a quantum field theory. These include a local and covariance assumption (implying that the quantum field theory is locally
An Experimental Evaluation Of The Assumption Of Independence In MultiVersion Programming
 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
, 1986
"... Nversion programming has been proposed as a method of incorporating fault tolerance into software. Multiple versions of a program (i.e. "N") are prepared and executed in parallel. Their outputs are collected and examined by a voter,and, if they are not identical, it is assumed that the ma ..."
Abstract

Cited by 307 (12 self)
 Add to MetaCart
Nversion programming has been proposed as a method of incorporating fault tolerance into software. Multiple versions of a program (i.e. "N") are prepared and executed in parallel. Their outputs are collected and examined by a voter,and, if they are not identical, it is assumed
ON AXIOMS OF BIQUANDLES
"... Abstract. We prove that the two conditions from the definition of a biquandle by Fenn, JordanSantana, Kauffman [1] are equivalent and thus answer a question posed in the paper. We also construct a weak biquandle, which is not a biquandle. According to Fenn, JordanSantana and Kauffman [1], biquandl ..."
Abstract
 Add to MetaCart
], biquandles provide powerful invariants of virtual knots and links. It is thus desirable to simplify their axioms as much as possible. The aim of this very short note is to answer two questions regarding the definition of biquandles raised in [1], Section 4. For a background, please consult [1] or [2]. A pair
The AXIOM System
"... . AXIOM* is a computer algebra system superficially like many others, but fundamentally different in its internal construction, and therefore in the possibilities it offers to its users. In these lecture notes, we will ffl outline the highlevel design of the AXIOM kernel and the AXIOM type system, ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
. AXIOM* is a computer algebra system superficially like many others, but fundamentally different in its internal construction, and therefore in the possibilities it offers to its users. In these lecture notes, we will ffl outline the highlevel design of the AXIOM kernel and the AXIOM type system
THE AXIOM OF CHOICE
"... The principle of set theory known as the Axiom of Choice (AC) 1 has been hailed as ―probably the most interesting and, in spite of its late appearance, the most discussed axiom of mathematics, second only to Euclid‘s Axiom of Parallels which was introduced more ..."
Abstract
 Add to MetaCart
The principle of set theory known as the Axiom of Choice (AC) 1 has been hailed as ―probably the most interesting and, in spite of its late appearance, the most discussed axiom of mathematics, second only to Euclid‘s Axiom of Parallels which was introduced more
Five axioms of alphaconversion
 Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL
, 1996
"... Abstract. We present five axioms of namecarrying lambdaterms identified up to alphaconversion—that is, up to renaming of bound variables. We assume constructors for constants, variables, application and lambdaabstraction. Other constants represent a function Fv that returns the set of free variab ..."
Abstract

Cited by 56 (0 self)
 Add to MetaCart
Abstract. We present five axioms of namecarrying lambdaterms identified up to alphaconversion—that is, up to renaming of bound variables. We assume constructors for constants, variables, application and lambdaabstraction. Other constants represent a function Fv that returns the set of free
Framework and axioms
"... The importance of thermodynamics Thermodynamics has applications in several branches of science. It gave rise to foundational puzzles, related to irreversibility. Figure: Maxwell's demon. Source:wikimedia commons G. Chiribella, C. M. Scandolo Operational axioms for diagonalizing states ..."
Abstract
 Add to MetaCart
The importance of thermodynamics Thermodynamics has applications in several branches of science. It gave rise to foundational puzzles, related to irreversibility. Figure: Maxwell's demon. Source:wikimedia commons G. Chiribella, C. M. Scandolo Operational axioms for diagonalizing states
Results 1  10
of
82,220