Several problems in applied mathematics and statistics require integrating a function f over a high-dimensional domain. For example, estimating the partition function of a graphical model for a fixed set of parameters re

Source URL: mmds-data.org

Static Analysis of Finite Precision Computations Eric Goubault and Sylvie Putot CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point courrier 94, Gif-sur-Yvette, FFrance, Firstname.Las

Source URL: www.lix.polytechnique.fr

• Computer arithmetic
• Abstract interpretation
• Interval arithmetic
• Rounding
• Floating point
• Affine arithmetic
• Interval
• Function
• Limit of a function
• NaN
• Fixed-point arithmetic
• Machine epsilon

Group Formation with Fixed Group Size: Complementarity vs Substitutability Christian Ahlin∗ MarchAbstract

Source URL: thred.devecon.org

• Game theory
• Order theory
• Supermodular function
• Economic equilibrium
• Folk theorem
• Matching

A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University

Source URL: barzilay.org

• Lambda calculus
• Subroutines
• Functional programming
• Computability theory
• Theoretical computer science
• Higher-order abstract syntax
• Anonymous function
• Scheme
• Fixed-point combinator
• Combinatory logic
• Eval
• Hygienic macro

An entire transcendental family with a fixed Siegel disk Rub´en Berenguel Setembre

Source URL: www.maia.ub.es

• Complex dynamics
• Fractals
• Siegel disc
• No-wandering-domain theorem
• Julia set
• Dynamical system
• Entire function
• Beltrami equation
• Periodic point
• Mandelbrot set
• Conformal map
• Herman ring

Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract

Source URL: repository.readscheme.org

• Lambda calculus
• Combinatory logic
• Church encoding
• Fixed-point combinator
• Anonymous function
• Higher-order abstract syntax
• Type system
• Unification
• De Bruijn index
• Lambda calculus definition

02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013

Source URL: www.imm.dtu.dk

• Lambda calculus
• Combinatory logic
• Lambda calculus definition
• Reduction strategy
• Free variables and bound variables
• Lambda
• Fixed-point combinator
• Anonymous function
• Term
• Variable
• Beta normal form

c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN

Source URL: community.haskell.org

• Lambda calculus
• Functional programming
• A-normal form
• Let expression
• Fixed-point combinator
• Exponentiation
• Expression
• Monad
• Anonymous function
• Free variables and bound variables
• Combinatory logic
• Standard ML

Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces∗ Dedicated to Georg Kreisel on the occasion of his 85th birthday U. Kohlenbach1 , L. Leu¸stean1,2 1

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

• Mathematical analysis
• Mathematics
• Analysis
• Metric geometry
• Operator theory
• Convex analysis
• Convex function
• Injective metric space
• Spectral theory
• Functional analysis
• Browder fixed point theorem
• Uniform boundedness principle

A quantitative version of a theorem due to Borwein-Reich-Shafrir Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus

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

• Mathematics
• Circuit complexity
• NC
• Banach fixed-point theorem
• Auxiliary function
• Differential forms on a Riemann surface