(Mostly Real) Quantifier Elimination Thomas Sturm AVACS Autumn School, Oldenburg, Germany, October 1, 2015 http://www.mpi-inf.mpg.de/~sturm/

Source URL: www.avacs.org

• Mathematical logic
• Mathematics
• Logic
• Model theory
• Predicate logic
• Quantification
• Quantifier
• First-order logic
• Definable set
• FO
• Grbner basis
• Real closed field

The Mercury Frequently Asked Questions List VersionFergus Henderson Thomas Conway Zoltan Somogyi

Source URL: mercurylang.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• Programming languages
• Mercury
• Const
• Scope
• Pascal
• GNU Compiler Collection
• Name mangling
• Objective-C

Stabilizing Floating-Point Programs Using Provenance Analysis Yijia Gu(B) and Thomas Wahl College of Computer and Information Science, Boston, USA {guyijia,wahl}@ccs.neu.edu

Source URL: www.ccs.neu.edu

• Operator theory
• Symbol
• Operator
• Computability theory

The Mercury User’s Guide Version rotdFergus Henderson Thomas Conway Zoltan Somogyi

Source URL: mercurylang.org

• Computer programming
• Computing
• Software engineering
• C++
• Compiling tools
• Compilers
• Programming language implementation
• Build automation
• Include directive
• Makefile
• Nm
• Mercury

Ed Ballard | Baritone Born in London, Ed read History at Cambridge University before training at the Royal Academy of Music and with Royal Academy Opera. Winner of the Marjorie Thomas Art Song Prize and the Elena Gerha

Source URL: www.edballard.co.uk

• Operas
• Cendrillon
• Vocal music

Demailly, Jean-Pierre (ed.); Hulek, Klaus (ed.); Peternell, Thomas (ed.) Complex analysis. Abstracts from the workshop held September 2–8, Komplexe Analysis.) (English) Zbl
Oberwolfach Rep. 9, No.

Source URL: jgrivaux.perso.math.cnrs.fr

• FIZ Karlsruhe
• Zentralblatt MATH
• Fiz
• Moduli space
• Algebraic geometry
• Mathematics
• Geometry
• Mathematical analysis
• Complex manifolds
• Differential geometers
• Several complex variables

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Thomas Wilson March 30, 2016 The Board will beg

Source URL: clark.ohioboe.com

Model Checking Gene Regulatory Networks ? Mirco Giacobbe∗ , C˘alin C. Guet∗ , Ashutosh Gupta∗† , Thomas A. Henzinger∗ , Tiago Paix˜ao∗ , and Tatjana Petrov∗

Source URL: pub.ist.ac.at

• Mathematical analysis
• Probability theory
• Statistical theory
• Evolutionary developmental biology
• Gene expression
• Gene regulatory network
• Networks
• Systems biology
• Linear temporal logic
• Normal distribution
• Model theory

The Usage of Counter Revisited: Second-Preimage Attack on New Russian Standardized Hash Function Jian Guo1 , J´er´emy Jean1 , Ga¨etan Leurent2 , Thomas Peyrin1 , and Lei Wang1 1

Source URL: who.rocq.inria.fr

• Cryptography
• Cryptographic hash functions
• Error detection and correction
• Streebog
• GOST
• Preimage attack
• SHA-3
• MD5
• SHA-2
• SHA-1
• Hash function
• BLAKE

I·Math Institute of Mathematics Graph complexes Thomas Willwacher

Source URL: people.math.ethz.ch

• Mathematics
• Graph theory
• Abstract algebra
• Algebra
• Homology theory
• Homology
• Isomorphism
• Chain complex
• Degree
• Graph