Certified polynomial approximations for D-finite functions Thomas Grégoire September 5, 2012

Source URL: tgregoire.info

• Mathematical analysis
• Special functions
• Mathematics
• Analytic functions
• Exponentials
• Trigonometry
• Complex analysis
• Hyperbolic function
• Taylor series
• Trigonometric functions
• Sine
• Inverse hyperbolic function

Mean Field Variational Approximations in Continuous-Time Markov Processes A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science

Source URL: www.cs.huji.ac.il

• Bayesian statistics
• Statistics
• Graphical models
• Probability
• Markov models
• Bayesian network
• Probability distribution
• Markov chain
• Expectation propagation
• Approximate inference
• Likelihood function
• Hidden Markov model

Hierarchical Approximations of a Function by Polynomials in LEMA Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon

Source URL: www.vinc17.org

• Polynomials
• Mathematics
• Algebra
• Numerical analysis
• Polynomial
• Computer algebra

Secure Multiparty Computation of Approximations∗ Joan Feigenbaum† Yuval Ishai‡ Martin J. Straussk

Source URL: cs-www.cs.yale.edu

• Cryptography
• Mathematical analysis
• Quantum complexity theory
• Computational complexity theory
• Functions and mappings
• Secure multi-party computation
• Communication complexity
• Secure two-party computation
• Limit of a function
• Cryptographic protocol
• Pi
• PP

Lineare Algebra Endliche Arithmetik Walter Gander ETH Z¨ urich

Source URL: www.cvg.ethz.ch

• Computer arithmetic
• Mathematics
• Arithmetic
• Mathematical analysis
• IEEE 754-1985
• Single-precision floating-point format
• Double-precision floating-point format
• Denormal number
• Rounding
• Pi
• Precision
• Approximations of

53rd IEEE Conference on Decision and Control December 15-17, 2014. Los Angeles, California, USA Constructing (Bi)Similar Finite State Abstractions using Asynchronous l-Complete Approximations Anne-Kathrin Schmuck and J¨

Source URL: www.control.tu-berlin.de

CS 3750 Machine Learning Latent variable models Variational approximations. Milos Hauskrecht

Source URL: people.cs.pitt.edu

• Statistics
• Statistical theory
• Probability distributions
• Estimation theory
• Expectationmaximization algorithm
• Missing data
• Normal distribution
• Likelihood-ratio test
• Variational Bayesian methods
• KullbackLeibler divergence

ASC Report NoEntropy-stable and entropy-dissipative approximations of a fourth-order quantum diffusion equation M. Bukal, E. Emmrich, and A. Ju¨ngel

Source URL: www.math.tu-berlin.de

• Mathematical analysis
• Calculus
• Physics
• Information theory
• Partial differential equations
• Statistical theory
• Randomness
• Philosophy of thermal and statistical physics
• Entropy
• Finite element method
• NavierStokes equations
• Wave equation

Under-approximations of computations in real numbers based on generalized affine arithmetic Eric Goubault and Sylvie Putot CEA-LIST Laboratory for ModEling and Analysis of Systems in Interaction, 91191 Gif-sur-Yvette Ced

Source URL: www.lix.polytechnique.fr

• Mathematics
• Mathematical analysis
• Numerical analysis
• Geometry
• Functions and mappings
• Affine geometry
• Affine arithmetic
• Interval arithmetic
• Quasigroup
• Abstract interpretation
• Logarithm
• Derivative

TANGENT PLANES AND LINEAR APPROXIMATIONS MATH 195, SECTION 59 (VIPUL NAIK) Corresponding material in the book: SectionNote: We are, for now, omitting the topic of differentials, which is the second half of this se

Source URL: files.vipulnaik.com

• Mathematics
• Mathematical analysis
• Calculus
• Differential geometry
• Differential calculus
• Differential topology
• Multivariable calculus
• Surfaces
• Tangent
• Derivative
• Normal
• Differentiable function