$1 - PDFSEARCH.IO - Document Search Engine

$1
Results: 1637835

#	Item
151	Leveraging Linear and Mixed Integer Programming for SMT Tim King1 Clark Barrett1 1 New Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-20 11:35:02
152	Early Voting Locations and TimesGeneral Election Gulf County Location 1 Location Name Gulf County Supervisor of Elections Add to Reading List Source URL: dos.myflorida.com Language: English - Date: 2018-10-21 11:18:29 Television in the United States American television Loadshedding Schedule 201112 Dartmouth Big Green women's ice hockey season
153	Implementing and Proving the TLS 1.3 Record Layer Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin Microsoft Research {antdl,fournet Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:58:36 Cryptography Secure communication Message authentication codes Transport Layer Security Cryptographic protocols Internet Standards Cipher suite Authenticated encryption Poly1305 Galois/Counter Mode OpenSSL Key generation
154	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Mathematical logic Logic Predicate logic Mathematics Predicate FO Atomic sentence Primitive recursive function Syntactic predicate
155	General Terms and Conditions of ITEMIS AG for Maintenance Services itemis AG Version 1.2.0, General Terms and Conditions of ITEMIS AG for Maintenance Services Add to Reading List Source URL: legal.itemis.com Language: English - Date: 2018-08-08 08:21:27 Itemis Application software
156	Regularizing and Optimizing LSTM Language Models Stephen Merity 1 Nitish Shirish Keskar 1 Richard Socher 1 arXiv:1708.02182v1 [cs.CL] 7 Aug 2017 Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-08-07 20:34:08 Artificial neural networks Artificial intelligence Computational neuroscience Learning Machine learning Applied mathematics Long short-term memory Deep learning Recurrent neural network Dropout Rnn Highway network
157	ALGÈBRE 1 6 janvier 2016 ALGÈBRE 1 Add to Reading List Source URL: www.math.ens.fr Language: French - Date: 2016-01-08 07:24:00
158	Incremental Runtime Verification of Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , Hongyang Qu1 , and Mateusz Ujma1 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-08-15 08:49:17 Theoretical computer science Probability Formal methods Logic in computer science Model checkers Dynamic programming Stochastic control Model checking Markov decision process PRISM model checker Verification Runtime verification
159	PresaleFAQ 1 - What isPresale? Before Add to Reading List Source URL: hacken.io Language: English - Date: 2017-10-12 12:00:56 Cryptocurrencies Blockchains Ethereum Alternative currencies Cryptography Concurrent computing Distributed computing ERC-20 Kin Gram Password Multi-factor authentication
160	Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-10-17 07:22:55 Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Abstract algebra Stochastic game -automaton Lie algebras Lifting theory Littelmann path model