THOMAS - PDFSEARCH.IO - Document Search Engine

THOMAS
Results: 44972

#	Item
61	(Mostly Real) Quantifier Elimination Thomas Sturm AVACS Autumn School, Oldenburg, Germany, October 1, 2015 http://www.mpi-inf.mpg.de/~sturm/ Add to Reading List Source URL: www.avacs.org Language: English - Date: 2015-10-05 02:59:04 Mathematical logic Mathematics Logic Model theory Predicate logic Quantification Quantifier First-order logic Definable set FO Grbner basis Real closed field
62	The Mercury Frequently Asked Questions List VersionFergus Henderson Thomas Conway Zoltan Somogyi Add to Reading List Source URL: mercurylang.org Language: English - Date: 2016-03-18 02:30:36 Software engineering Computer programming Computing Functional languages Programming languages Mercury Const Scope Pascal GNU Compiler Collection Name mangling Objective-C
63	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 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2017-02-09 10:23:03 Operator theory Symbol Operator Computability theory
64	The Mercury User’s Guide Version rotdFergus Henderson Thomas Conway Zoltan Somogyi Add to Reading List Source URL: mercurylang.org Language: English - Date: 2018-10-05 08:31:35 Computer programming Computing Software engineering C++ Compiling tools Compilers Programming language implementation Build automation Include directive Makefile Nm Mercury
65	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 Add to Reading List Source URL: www.edballard.co.uk Language: English - Date: 2018-05-10 10:19:32 Operas Cendrillon Vocal music
66	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. Add to Reading List Source URL: jgrivaux.perso.math.cnrs.fr Language: English - Date: 2018-03-18 10:24:10 FIZ Karlsruhe Zentralblatt MATH Fiz Moduli space Algebraic geometry Mathematics Geometry Mathematical analysis Complex manifolds Differential geometers Several complex variables
67	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 Add to Reading List Source URL: clark.ohioboe.com - Date: 2017-04-21 08:14:00
68	Model Checking Gene Regulatory Networks ? Mirco Giacobbe∗ , C˘alin C. Guet∗ , Ashutosh Gupta∗† , Thomas A. Henzinger∗ , Tiago Paix˜ao∗ , and Tatjana Petrov∗ Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2018-05-10 06:54:26 Mathematical analysis Probability theory Statistical theory Evolutionary developmental biology Gene expression Gene regulatory network Networks Systems biology Linear temporal logic Normal distribution Model theory
69	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 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2018-06-14 07:12:34 Cryptography Cryptographic hash functions Error detection and correction Streebog GOST Preimage attack SHA-3 MD5 SHA-2 SHA-1 Hash function BLAKE
70	I·Math Institute of Mathematics Graph complexes Thomas Willwacher Add to Reading List Source URL: people.math.ethz.ch Language: English - Date: 2016-05-02 09:25:10 Mathematics Graph theory Abstract algebra Algebra Homology theory Homology Isomorphism Chain complex Degree Graph