Results 1  10
of
4,292,930
Infinitary First Order Set Theory
"... The abstract syntax and semantics of an infinitary first order set theory. Created: 2008/12/05 ..."
Abstract
 Add to MetaCart
The abstract syntax and semantics of an infinitary first order set theory. Created: 2008/12/05
Relating firstorder set theories and elementary toposes
 BULLETIN OF SYMBOLIC LOGIC
, 2007
"... We show how to interpret the language of firstorder set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
We show how to interpret the language of firstorder set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations
Relating firstorder set theories, toposes and categories of classes
 In preparation
, 2006
"... This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a firstorder settheory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions (dssi) on the topos, a forcingst ..."
Abstract

Cited by 8 (6 self)
 Add to MetaCart
This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a firstorder settheory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions (dssi) on the topos, a forcing
A firstorder primaldual algorithm for convex problems with applications to imaging
, 2010
"... In this paper we study a firstorder primaldual algorithm for convex optimization problems with known saddlepoint structure. We prove convergence to a saddlepoint with rate O(1/N) in finite dimensions, which is optimal for the complete class of nonsmooth problems we are considering in this paper ..."
Abstract

Cited by 435 (20 self)
 Add to MetaCart
In this paper we study a firstorder primaldual algorithm for convex optimization problems with known saddlepoint structure. We prove convergence to a saddlepoint with rate O(1/N) in finite dimensions, which is optimal for the complete class of nonsmooth problems we are considering
An Analysis of FirstOrder Logics of Probability
 Artificial Intelligence
, 1990
"... : We consider two approaches to giving semantics to firstorder logics of probability. The first approach puts a probability on the domain, and is appropriate for giving semantics to formulas involving statistical information such as "The probability that a randomly chosen bird flies is greater ..."
Abstract

Cited by 316 (18 self)
 Add to MetaCart
: We consider two approaches to giving semantics to firstorder logics of probability. The first approach puts a probability on the domain, and is appropriate for giving semantics to formulas involving statistical information such as "The probability that a randomly chosen bird flies
FirstOrder Formative Rules?
"... Abstract This paper discusses the method of formative rules for firstorder term rewriting, which was previously defined for a higherorder setting. Dual to the wellknown usable rules, formative rules allow dropping some of the term constraints that need to be solved during a termination proof. Co ..."
Abstract
 Add to MetaCart
Abstract This paper discusses the method of formative rules for firstorder term rewriting, which was previously defined for a higherorder setting. Dual to the wellknown usable rules, formative rules allow dropping some of the term constraints that need to be solved during a termination proof
An Extended Set of Fortran Basic Linear Algebra Subprograms
 ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE
, 1986
"... This paper describes an extension to the set of Basic Linear Algebra Subprograms. The extensions are targeted at matrixvector operations which should provide for efficient and portable implementations of algorithms for high performance computers. ..."
Abstract

Cited by 526 (72 self)
 Add to MetaCart
This paper describes an extension to the set of Basic Linear Algebra Subprograms. The extensions are targeted at matrixvector operations which should provide for efficient and portable implementations of algorithms for high performance computers.
The SimpleScalar tool set, version 2.0
 Computer Architecture News
, 1997
"... This report describes release 2.0 of the SimpleScalar tool set, a suite of free, publicly available simulation tools that offer both detailed and highperformance simulation of modern microprocessors. The new release offers more tools and capabilities, precompiled binaries, cleaner interfaces, bette ..."
Abstract

Cited by 1827 (44 self)
 Add to MetaCart
This report describes release 2.0 of the SimpleScalar tool set, a suite of free, publicly available simulation tools that offer both detailed and highperformance simulation of modern microprocessors. The new release offers more tools and capabilities, precompiled binaries, cleaner interfaces
A Threshold of ln n for Approximating Set Cover
 JOURNAL OF THE ACM
, 1998
"... Given a collection F of subsets of S = f1; : : : ; ng, set cover is the problem of selecting as few as possible subsets from F such that their union covers S, and max kcover is the problem of selecting k subsets from F such that their union has maximum cardinality. Both these problems are NPhar ..."
Abstract

Cited by 778 (5 self)
 Add to MetaCart
hard. We prove that (1 \Gamma o(1)) ln n is a threshold below which set cover cannot be approximated efficiently, unless NP has slightly superpolynomial time algorithms. This closes the gap (up to low order terms) between the ratio of approximation achievable by the greedy algorithm (which is (1 \Gamma
Results 1  10
of
4,292,930