Results 1  10
of
70
Computing The Volume Of Convex Bodies: A Case Where Randomness Provably Helps
, 1991
"... We discuss the problem of computing the volume of a convex body K in IR n . We review worstcase results which show that it is hard to deterministically approximate volnK and randomised approximation algorithms which show that with randomisation one can approximate very nicely. We then provide som ..."
Abstract

Cited by 62 (6 self)
 Add to MetaCart
We discuss the problem of computing the volume of a convex body K in IR n . We review worstcase results which show that it is hard to deterministically approximate volnK and randomised approximation algorithms which show that with randomisation one can approximate very nicely. We then provide some applications of this latter result. Supported by NATO grant RG0088/89 y Supported by NSF grant CCR8900112 and NATO grant RG0088/89 1 Introduction The mathematical study of areas and volumes is as old as civilization itself, and has been conducted for both intellectual and practical reasons. As far back as 2000 B.C., the Egyptians 1 had methods for approximating the areas of fields (for taxation purposes) and the volumes of granaries. The exact study of areas and volumes began with Euclid 2 and was carried to a high art form by Archimedes 3 . The modern study of this subject began with the great astronomer Johann Kepler's treatise 4 Nova stereometria doliorum vinariorum, wh...
Local connectivity of Julia sets: expository lectures
 The Mandelbrot Set, Theme and Variations
, 1992
"... An exposition of results of Yoccoz, Branner, Hubbard and Douady concerning polynomial Julia sets. The contents are as follows: 1. Local connectivity of quadratic Julia sets (following Yoccoz) . 2 2. Polynomials for which all but one of the critical orbits escape (following Branner and Hubbard) . ..."
Abstract

Cited by 53 (0 self)
 Add to MetaCart
An exposition of results of Yoccoz, Branner, Hubbard and Douady concerning polynomial Julia sets. The contents are as follows: 1. Local connectivity of quadratic Julia sets (following Yoccoz) . 2 2. Polynomials for which all but one of the critical orbits escape (following Branner and Hubbard) . . . . . . . . . . . . 21 3. An innitely renormalizable non locally connected Julia set (following Douady and Hubbard) . . . . . . . . . . . . 34 Appendix: Lengthareamodulus inequalities . . . . . . . . . 41 References . . . . . . . . . . . . . . . . . . . . . . . . 47 Introduction The following notes provide an introduction to work of Branner, Hubbard, Douady, and Yoccoz on the geometry of polynomial Julia sets. They are an expanded version of lectures given in Stony Brook in Spring 1992. Section 1 describes unpublished work by J.C. Yoccoz on local connectivity of quadratic Julia sets. (Compare [Hu3].) It presents only the \easy" part of his theory, in the sense that it considers...
On the computational content of the axiom of choice
 The Journal of Symbolic Logic
, 1998
"... We present a possible computational content of the negative translation of classical analysis with the Axiom of Choice. Our interpretation seems computationally more direct than the one based on Godel's Dialectica interpretation [10, 18]. Interestingly, thisinterpretation uses a re nement of the rea ..."
Abstract

Cited by 34 (1 self)
 Add to MetaCart
We present a possible computational content of the negative translation of classical analysis with the Axiom of Choice. Our interpretation seems computationally more direct than the one based on Godel's Dialectica interpretation [10, 18]. Interestingly, thisinterpretation uses a re nement of the realizibility semantics of the absurdity proposition, which is not interpreted as the empty type here. We alsoshowhow to compute witnesses from proofs in classical analysis, and how to interpret the axiom of Dependent Choice and Spector's Double Negation Shift.
Incompleteness Theorems for Random Reals
, 1987
"... We obtain some dramatic results using statistical mechanicsthermodynamics kinds of arguments concerning randomness, chaos, unpredictability, and uncertainty in mathematics. We construct an equation involving only whole numbers and addition, multiplication, and exponentiation, with the property tha ..."
Abstract

Cited by 32 (1 self)
 Add to MetaCart
We obtain some dramatic results using statistical mechanicsthermodynamics kinds of arguments concerning randomness, chaos, unpredictability, and uncertainty in mathematics. We construct an equation involving only whole numbers and addition, multiplication, and exponentiation, with the property that if one varies a parameter and asks whether the number of solutions is finite or infinite, the answer to this question is indistinguishable from the result of independent tosses of a fair coin. This yields a number of powerful Godel incompletenesstype results concerning the limitations of the axiomatic method, in which entropyinformation measures are used. c fl 1987 Academic Press, Inc. 2 G. J. Chaitin 1. Introduction It is now half a century since Turing published his remarkable paper On Computable Numbers, with an Application to the Entscheidungsproblem (Turing [15]). In that paper Turing constructs a universal Turing machine that can simulate any other Turing machine. He also use...
The Garden of Knowledge as a Knowledge Manifold  A Conceptual Framework for Computer Supported Subjective Education
 CID17, TRITANAD9708, DEPARTMENT OF NUMERICAL ANALYSIS AND COMPUTING SCIENCE
, 1997
"... This work presents a unied patternbased epistemological framework, called a Knowledge Manifold, for the description and extraction of knowledge from information. Within this framework it also presents the metaphor of the Garden Of Knowledge as a constructive example. Any type of KM is defined in te ..."
Abstract

Cited by 22 (14 self)
 Add to MetaCart
This work presents a unied patternbased epistemological framework, called a Knowledge Manifold, for the description and extraction of knowledge from information. Within this framework it also presents the metaphor of the Garden Of Knowledge as a constructive example. Any type of KM is defined in terms of its objective calibration protocols  procedures that are implemented on top of the participating subjective knowledgepatches. They are the procedures of agreement and obedience that characterize the coherence of any type of interaction, and which are used here in order to formalize the concept of participator consciousness in terms of the inversedirect limit duality of Category Theory.
Universality theorems for configuration spaces of planar linkages
 Topology
, 2002
"... We prove realizability theorems for vectorvalued polynomial mappings, realalgebraic sets and compact smooth manifolds by moduli spaces of planar linkages. We also establish a relation between universality theorems for moduli spaces of mechanical linkages and projective arrangements. 1. Introductio ..."
Abstract

Cited by 20 (2 self)
 Add to MetaCart
We prove realizability theorems for vectorvalued polynomial mappings, realalgebraic sets and compact smooth manifolds by moduli spaces of planar linkages. We also establish a relation between universality theorems for moduli spaces of mechanical linkages and projective arrangements. 1. Introduction This paper deals with moduli spaces of planar linkages. An abstract linkage (L; `) is a graph L with a positive real number `(e) assigned to each edge e. We assume that we have chosen a distinguished oriented edge e = [v 1 v 2 ] in L. The moduli space M(L) of planar realizations of L := (L; `; e ) is the set 1 of maps OE from the vertex set of L into the Euclidean plane R 2 (which will be identified with the complex plane C ) such that ffl jOE(v) \Gamma OE(w)j 2 = (`[vw]) 2 for each edge [vw] of L. ffl OE(v 1 ) = (0; 0). ffl OE(v 2 ) = (`(e ); 0). Clearly these conditions give M(L) a natural structure of a realalgebraic set in R 2r where r is the number of vertices...
Spanning Trees in Hypergraphs with Applications to Steiner Trees
, 1998
"... This dissertation examines the geometric Steiner tree problem: given a set of terminals in the plane, find a minimumlength interconnection of those terminals according to some geometric distance metric. In the process, however, it addresses a much more general and widely applicable problem, that of ..."
Abstract

Cited by 19 (1 self)
 Add to MetaCart
This dissertation examines the geometric Steiner tree problem: given a set of terminals in the plane, find a minimumlength interconnection of those terminals according to some geometric distance metric. In the process, however, it addresses a much more general and widely applicable problem, that of finding a minimumweight spanning tree in a hypergraph. The geometric Steiner tree problem is known to be NPcomplete for the rectilinear metric, and NPhard for the Euclidean metric. The fastest exact algorithms (in practice) for these problems use two phases: First a small but sufficient set of full Steiner trees (FSTs) is generated and then a Steiner minimal tree is constructed from this set. These phases are called FST generation and FST concatenation, respectively, and an overview of each phase is presented. FST concatenation is almost always the most expensive phase, and has traditionally been accomplished via simple backtrack search or dynamic programming.
Computational Geometry and Facility Location
 Proc. International Conference on Operations Research and Management Science
, 1990
"... this paper we briefly survey the most recent results in the area of facility location, concentrating on versions of the problem that are likely to be unfamiliar to the transportation and management science community and we explore the interaction between facility location problems and the field of c ..."
Abstract

Cited by 18 (3 self)
 Add to MetaCart
this paper we briefly survey the most recent results in the area of facility location, concentrating on versions of the problem that are likely to be unfamiliar to the transportation and management science community and we explore the interaction between facility location problems and the field of computational geometry. Such versions of the problem include the standard models of points as customers and facilities but with geodesic rather than the traditional Minkowski metrics as measures of distance, as well as more complicated models of customers and facilities such as
A New Method for Establishing Conservativity of Classical Systems Over Their Intuitionistic Version
"... this paper we present such a method. Applied to I \Sigma ..."
Abstract

Cited by 16 (1 self)
 Add to MetaCart
this paper we present such a method. Applied to I \Sigma
The Philosophy of Automated Theorem Proving
 In Proceedings of the 12. International Joint Conference on Artificial Intelligence (IJCAI91
, 1991
"... Different researchers use "the philosophy of automated theorem proving " to cover different concepts, indeed, different levels of concepts. Some would count such issues as how to efficiently index databases as part of the philosophy of automated theorem proving. Others wonder about whether formulas ..."
Abstract

Cited by 11 (2 self)
 Add to MetaCart
Different researchers use "the philosophy of automated theorem proving " to cover different concepts, indeed, different levels of concepts. Some would count such issues as how to efficiently index databases as part of the philosophy of automated theorem proving. Others wonder about whether formulas should be represented as strings or as trees or as lists, and call this part of the philosophy of automated theorem proving. Yet others concern themselves with what kind of search should be embodied in any automated theorem prover, or to what degree any automated theorem prover should resemble Prolog. Still others debate whether natural deduction or semantic tableaux or resolution is "better", and call this a part of the philosophy of automated theorem proving. Some people wonder whether automated theorem proving should be "human oriented " or