3-1-1 - PDFSEARCH.IO - Document Search Engine

3-1-1
Results: 134215

#	Item
11	Solvency Markov Decision Processes with Interest Tomáš Brázdil∗1 , Taolue Chen2 , Vojtěch Forejt†3 , Petr Novotný1 , and Aistis Simaitis3 1 2 3 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 12:12:50 Mathematics Mathematical analysis Dynamic programming Markov processes Stochastic control Probability Markov decision process Sigma-algebra P versus NP problem Reinforcement learning
12	Kompaktflyer 05: Das Business Model Canvas 1/3 Add to Reading List Source URL: gemeinsam-digital.de Language: German - Date: 2017-08-07 05:23:22
13	Resource Management Global Symposium -- October 3-4, Dallas, TX (agenda subject to change) DAY 1 START TIME END TIME Add to Reading List Source URL: www.resourcemanagementinstitute.com Language: English - Date: 2018-09-17 10:47:00
14	MeCBICTranslating Stochastic CLS into Maude Thomas Anung Basukia,b,1 Antonio Ceronea,2 Paolo Milazzob,3 a Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Theoretical computer science Stochastic processes Formal languages Logic in computer science Stochastic simulation Rewriting
15	MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXAN L(1/3) ALGORITHM FOR IDEAL CLASS GROUP AND REGULATOR COMPUTATION IN CERTAIN NUMBER FIELDS Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-09-02 16:26:26 Mathematics Abstract algebra Mathematical analysis Algebraic number theory Discriminant of an algebraic number field Riemann hypothesis Algebraic number field Table of stars with Bayer designations Computational complexity of mathematical operations
16	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
17	2019 PRIMARY ELECTION SCHEDULE Page 1 of 3 Primary Election Day ................................................................................................. May 7, 2019 Filing Deadline (90 days)..................... Add to Reading List Source URL: vote.franklincountyohio.gov Language: English - Date: 2018-10-23 09:36:46 Elections Write-in candidate Filing Government Law
18	The SeaHorn Verification Framework? Arie Gurfinkel1 , Temesghen Kahsai2 , Anvesh Komuravelli3 , and Jorge A. Navas4 1 3 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Software engineering Software Computing Logic in computer science Programming language semantics Logic programming Compilers LLVM Abstract interpretation Constraint logic programming Operational semantics Clang
19	Synthesizing Ranking Functions from Bits and Pieces? Caterina Urban1,2 , Arie Gurfinkel2 , and Temesghen Kahsai2,3 1 ETH Z¨ Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Infinite loop Recursion Function Computability theory Computing
20	Compact Multi-Signatures for Smaller Blockchains Dan Boneh1 , Manu Drijvers2,3 , and Gregory Neven2 1 Stanford University Add to Reading List Source URL: eprint.iacr.org Language: English Cryptography Public-key cryptography Cryptocurrencies Alternative currencies Multisignature Digital signature NEM BonehLynnShacham Bitcoin RSA Model theory Group signature

UPDATE