The double power monad is the composite power monad Isar Stubbe September 20, 2013 Abstract We give a somewhat more conceptual proof of a theorem due to U. H¨ohle [2013]: the

Source URL: www-lmpa.univ-littoral.fr

‘Einselection’ of Pointer Observables: The New H-Theorem? Ruth E. Kastner† 16 June 2014 to appear in Studies in History and Philosophy of Modern Physics ABSTRACT. In attempting to derive irreversible macroscopic t

Source URL: philsci-archive.pitt.edu

Analysis IV Extra Reading Road Map Norbert Peyerimhoff Durham University, The sources of the 4H extra reading material for Analysis IV are • The ”Notes on the Arzela-Ascoli Theorem” on Joel H. Shapiro’s P

Source URL: maths.dur.ac.uk

T H E O RY A N D M E T H O D S F O R O N E - S T E P O D E S David F. Gleich April 19, 2016 These notes are based on sections 5.3, 5.4, 5.5, 5.6, and 5.7 in Gautschi’s Numerical Analysis

Source URL: www.cs.purdue.edu

• Mathematical analysis
• Mathematics
• Differential calculus
• RungeKutta methods
• Ordinary differential equations
• Numerical analysis
• Euler method
• Leonhard Euler
• Truncation error
• Derivative
• PicardLindelf theorem
• Lipschitz continuity

arXiv:0909.1963v4 [math.DG] 29 MarFinite type annular ends for harmonic functions William H. Meeks III∗ Joaqu´ın P´erez†

Source URL: arxiv.org

• Mathematical analysis
• Analytic functions
• Bernhard Riemann
• Holomorphic function
• Harmonic function
• Riemann mapping theorem
• Riemann surfaces
• Projective geometry
• Fourier analysis
• Differential forms on a Riemann surface

Natural Computing manuscript No. (will be inserted by the editor) Classical, quantum and non-signalling resources in bipartite games Gilles Brassard 1 , Anne Broadbent 1 , Esther H¨anggi 2 , Andr´e Allan M´ethot 3 ,

Source URL: cqi.inf.usi.ch

• Graph theory
• Bipartite graphs
• Quantum mechanics
• Quantum measurement
• Parity
• KochenSpecker theorem
• Quantum nonlocality

An Efficient Parallel Repetition Theorem Johan H˚ astad1 , Rafael Pass2, Douglas Wikstr¨ om3 , and Krzysztof Pietrzak4 1 KTH, Stockholm, supported by ERC grant

Source URL: www.nada.kth.se

• Computational complexity theory
• Cryptography
• Theory of computation
• Probabilistic complexity theory
• IP
• Zero-knowledge proof
• Soundness
• PP
• Entropy
• NP
• Randomized algorithm
• Interactive proof system

A NNALES DE L’I. H. P., SECTION B JAY ROSEN Joint continuity and a Doob-Meyer type decomposition for renormalized intersection local times Annales de l’I. H. P., section B, tome 35, no), p.

Source URL: www.math.csi.cuny.edu

• Probability theory
• Mathematical analysis
• Martingale theory
• Stochastic processes
• Mathematics
• Local time
• DoobMeyer decomposition theorem
• It calculus
• Doob decomposition theorem

“THE HOMOTOPY TYPE OF THE COBORDISM CATEGORY” PROPOSAL FOR A SEMINAR PROGRAM WINTERSEMESTERThe main aim of the seminar will be to understand the main theorem in [GMTW07] and its proof.

Source URL: www.math.uni-bonn.de

• Topology
• Abstract algebra
• Algebra
• Algebraic topology
• Surgery theory
• Homotopy theory
• Differential topology
• Sheaf theory
• Sheaf
• Cobordism
• Differentiable manifold
• H-cobordism

PROGRAM FOR THE SEMINAR ON “THE STABLE PARAMETRIZED h-COBORDISM THEOREM” (AFTER WALDHAUSEN-JAHREN-ROGNES) TIBOR MACKO, STEFFEN SAGAVE, AND WOLFGANG STEIMLE Introduction

Source URL: www.math.uni-bonn.de

• Topology
• Mathematics
• Algebra
• Surgery theory
• Homotopy theory
• Algebraic topology
• Geometric topology
• Differential topology
• Algebraic K-theory
• H-cobordism
• Piecewise linear manifold
• Cobordism