THOMAS - PDFSEARCH.IO - Document Search Engine

THOMAS
Results: 44972

#	Item
1	Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3 Add to Reading List Source URL: repository.ist.ac.at Language: English - Date: 2018-02-08 07:01:31 Algebra Mathematics Convex geometry Linear algebra Convex analysis Convex cone Abstract interpretation Octahedron Polyhedron Linear programming Linear inequality Convex set
2	Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Finite automata Abstract algebra Algebra Finite-state transducer Mathematics Theoretical computer science Finite-state machine Semigroup action Kazhdan's property Tree transducer
3	CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees Thomas Bauereiß∗ , Armando Pesenti Gritti† , Andrei Popescu‡§ , Franco Raimondi‡ ∗ German Research Center for A Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:56:37
4	Thinking Fast and Slow with Deep Learning and Tree Search Thomas Anthony1, , Zheng Tian1 , and David Barber1,2 arXiv:1705.08439v4 [cs.AI] 3 Dec 2017 Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-12-04 21:14:29 Artificial intelligence Applied mathematics Learning Machine learning Computational neuroscience Artificial neural networks Computational statistics Monte Carlo tree search Convolutional neural network Reinforcement learning Q-learning Structured prediction
5	Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1 Add to Reading List Source URL: csl.sri.com Language: English - Date: 2015-02-14 13:21:39
6	CURRICULUM VITAE Thomas Willwacher Zurich, September 30, 2016 Personal Data Date of Birth: Citizenship: Add to Reading List Source URL: people.math.ethz.ch Language: English - Date: 2016-09-29 09:52:44 Mathematics Algebra Abstract algebra Thomas Willwacher Category theory Algebraic topology Operad theory Lie algebras Homotopy theory Rational homotopy theory Euler characteristic Quantization
7	October 12, 2018 VIA UPS and Electronic Mail Mr. Thomas Vo Chief Executive Officer Baton LLCNortheast 91st Street Add to Reading List Source URL: www.fda.gov Language: English Food and Drug Administration Health Federal Food Drug and Cosmetic Act Center for Tobacco Products Regulation of tobacco by the U.S. Food and Drug Administration
8	Einschreiben / vorab per E-Mail Eidg. Finanzmarktaufsicht FINMA Prof. Dr. Thomas Jutzi EinsteinstrasseBern Add to Reading List Source URL: www.forumoar.ch Language: German - Date: 2013-05-29 12:07:20
9	New Generic Attacks Against Hash-based MACs Ga¨etan Leurent1 , Thomas Peyrin2 , and Lei Wang2 1 Universit´e Catholique de Louvain, Belgium Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2018-06-14 07:12:35 Cryptography Message authentication codes Error detection and correction Cryptographic hash functions Hashing HMAC Hash function MD5 GOST SHA-1 Checksum UMAC
10	SWIFT: Predictive Fast Reroute Thomas Holterbach ETH Zürich / CAIDA SIGCOMM 24th August 2017 Add to Reading List Source URL: swift.ethz.ch Language: English - Date: 2017-09-11 06:28:39 Internet architecture Computing Information and communications technology Internet Internet protocols Computer networking Border Gateway Protocol Router

UPDATE