Reverse computation - PDFSEARCH.IO - Document Search Engine

Reverse computation
Results: 42

#	Item
1	Intro RAND & DNC WWKL & RWWKL Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:41:15 Mathematics Computability theory Theoretical computer science Theory of computation Reverse mathematics Computable function Graph coloring Randomness Rand RAND Corporation
2	DEGREES BOUNDING PRINCIPLES AND UNIVERSAL INSTANCES IN REVERSE MATHEMATICS LUDOVIC PATEY ABSTRACT. A Turing degree d bounds a principle P of reverse mathematics if every computable instance of P has a d-computable soluti Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-07-04 03:53:43 Mathematics Mathematical analysis Theory of computation Computability theory Theoretical computer science Computation in the limit Computable function Differential forms on a Riemann surface Congruence lattice problem
3	Math´ematiques `a rebours et un Lemme de K¨onig Faible de Type Ramsey Stage de Master 2 - MPRI mars - aoˆ ut 2012 Ludovic Patey ∗ Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:26 Mathematical logic Computability theory Mathematics Theoretical computer science Proof theory Logic in computer science Theory of computation Second-order arithmetic Combinatory logic Reverse mathematics Computable function
4	ON COMBINATORIAL WEAKNESSES OF RAMSEYAN PRINCIPLES LUDOVIC PATEY ABSTRACT. Avoidance properties such as cone avoidance or PA avoidance for a principle P in reverse mathematics shows the effectiveness weakness of P. Stron Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-10-09 14:07:43 Computability theory Theory of computation Computable number Computable function 01 class Computation in the limit
5	OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Ramsey’s theorem states that for any coloring of the n-element subsets of N with finitely many colors, there is an infinite set Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-10-26 09:24:01 Computability theory Mathematical logic Proof theory Theory of computation Logic in computer science Computable function Reverse mathematics PA degree Peano axioms
6	THE WEAKNESS OF BEING COHESIVE, THIN OR FREE IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Informally, a mathematical statement is robust if its strength is left unchanged under variations of the statement. In this pape Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2016-02-08 07:56:59 Computability theory Computable function Computation in the limit Second-order arithmetic Compactness theorem Reverse mathematics 01 class PA degree Low Algorithmically random sequence Computable number
7	Computability Theory, Reverse Mathematics, and Ordered Fields Oscar Louis Levin, Ph.D. University of Connecticut, 2009 Add to Reading List Source URL: www.math.uconn.edu Language: English - Date: 2009-04-27 16:38:49 Field theory Computability theory Real algebraic geometry Theory of computation Elementary mathematics Ordered field Computable function Field Archimedean property Function Real number Reverse mathematics
8	˝ DOMINATING THE ERDOS-MOSER THEOREM IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. The Erd˝ Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-05-13 11:24:44 Mathematical analysis Mathematics Measure theory Computability theory Computable function Theory of computation Probability theory Differential forms Relationships among probability distributions Sigma-algebra
9	Differential Semblance Migration Velocity Analysis via Reverse Time Migration: Gradient Computation Chao Wang The Rice Inversion Project Rice University Add to Reading List Source URL: trip.rice.edu Language: English - Date: 2009-11-16 14:33:39
10	Genome Informatics 16(2): 205–Reverse Engineering Genetic Networks Using Evolutionary Computation Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2005-12-28 06:18:58 Networks Cybernetics Systems biology Mathematical optimization Evolution Gene regulatory network Genetic algorithm Evolutionary computation SOS response Evolutionary algorithm Global optimization Bayesian network