Real Growth in Standard Parts of Analysis∗ Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe Universit¨at Robert-Mayer-StrFrankfurt am Main, Germany

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Functions and mappings
• Recursion
• Theory of computation
• Proof theory
• Primitive recursive function
• Continuous function
• Elementary function arithmetic
• Arithmetic function

A NEW RECURSION-THEORETIC CHARACTERIZATION OF THE POLYTIME FUNCTIONS Stephen Bellantoni and Stephen Cook Abstract. We give a recursion-theoretic characterization of FP which describes polynomial time computation independ

Source URL: www.cs.utoronto.ca

Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008

Source URL: www.mathematik.tu-darmstadt.de

• Mathematics
• Mathematical analysis
• Mathematical logic
• Functions and mappings
• Computability theory
• Primitive recursive function
• Recursion
• Theory of computation
• First-order logic
• Limit of a function
• Peano axioms
• Spectral theory of ordinary differential equations

Recursion and the Lexicon* Jan Koster University of Groningen 1. A critique of biolinguistics Current theorizing about the human language faculty, particularly about recursion, is

Source URL: odur.let.rug.nl

Enabling Operator Reordering in Data Flow Programs Through Static Code Analysis Fabian Hueske Aljoscha Krettek

Source URL: stratosphere.eu

• Parallel computing
• Computability theory
• Subroutines
• Theoretical computer science
• Distributed computing architecture
• MapReduce
• Data-intensive computing
• User-defined function
• MAD
• Recursion
• Algorithm
• Big O notation

Procedures Stack Local Variables and Recursion

Source URL: www.cs.nott.ac.uk

Lydia B. Chilton Research Statement I build hybrid human-computer systems that combine the strengths of human and machine intelligence to solve problems that neither one could solve independently. People have innate prob

Source URL: hmslydia.com

• Theoretical computer science
• Computer programming
• Software engineering
• Operations research
• Mathematics
• Crowdsourcing
• Algorithm
• Human-based computation
• Mathematical optimization
• Humancomputer interaction
• Problem solving
• Recursion

Introduction to Rcpp and RcppArmadillo Pre-Conference Tutorial Dirk Eddelbuettel R/Finance 2016 May 20, 2016

Source URL: dirk.eddelbuettel.com

• Subroutines
• Lambda calculus
• Data types
• Recursion

PDF Document

Source URL: www.mathematik.tu-darmstadt.de

• Mathematics
• Mathematical analysis
• Computability theory
• Theory of computation
• Functions and mappings
• Primitive recursive function
• Recursion
• Modulus of continuity
• Universal property
• operator
• Product rule

Loosing Functions Without Gaining Data

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Subroutines
• Lambda calculus
• Functional programming
• Fold
• Recursion
• Anonymous function
• Inline expansion
• Term