HSE - PSRD | A CosmoSparks report

Source URL: www.psrd.hawaii.edu

• Planetary science
• Planetary geology
• Astronomy
• Geochemistry
• Space science
• Planetary differentiation
• Magma ocean
• Planetary core
• Primitive mantle
• Mantle
• Chondrite
• Moon

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

Monte Carlo simulation of extended primitive water In bulk systems and slit-like pores hard-sphere repulsion between like-sites

Source URL: www.uni-leipzig.de

G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt

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

• Proof theory
• Constructivism
• Intuitionism
• Metalogic
• Predicate logic
• Primitive recursive functional
• Realizability
• Substitution
• First-order logic
• Interpretation
• Propositional calculus
• Quantifier

Fluctuations, effective learnability and metastability in analysis Ulrich Kohlenbach, Pavol Safarik Department of Mathematics, Technische Universit¨ at Darmstadt, Schlossgartenstraße 7, 64289 Darmstadt, Germany

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

• Computability theory
• Mathematical logic
• Mathematics
• Theoretical computer science
• Theory of computation
• Computable function
• Primitive recursive function
• operator
• Language identification in the limit
• Sequence
• Arithmetical hierarchy
• Cauchy sequence

Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universitt Robert–Mayer–Str. 6–10, 6000 F

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

• Computability theory
• Mathematical logic
• Logic
• Primitive recursive functional
• Proof theory
• Symbol
• Mathematics
• Table of stars with Bayer designations

On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade

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

• Computability theory
• Proof theory
• Mathematical logic
• Predicate logic
• Logic in computer science
• Primitive recursive functional
• Reverse mathematics
• Primitive recursive function
• Primitive recursive arithmetic
• First-order logic
• Peano axioms
• Ordinal analysis

A PARSIMONIOUS THEORY OF EVIDENCE-BASED CHOICE FATEMEH BORHANI AND EDWARD J. GREEN PENNSYLVANIA STATE UNIVERSITY Abstract. Primitive entities of the theory to be presented here are a

Source URL: www.personal.psu.edu

Finding Your Cronies:  Static Analysis for Dynamic Object Colocation Samuel Z. Guyer Kathryn S. McKinley

Source URL: www.cs.utexas.edu

• Computing
• Software engineering
• Data types
• Memory management
• Static program analysis
• Primitive types
• Object-oriented programming languages
• Colocation centre
• Escape analysis
• Garbage collection
• Garbage
• Reference

choose a type of crypto primitive publish call for submissions receive submissions

Source URL: 131002.net