WITH - PDFSEARCH.IO - Document Search Engine

WITH
Results: 671344

#	Item
321	Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel1 Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Software Engineering Institute Carnegie Mellon Silicon Valley Software engineering Mellon Pittsburgh
322	Minimizing Expected Losses in Perturbation Models with Multidimensional Parametric Min-cuts Adrian Kim, Kyomin Jung Seoul National University Seoul, South Korea Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2015-06-16 05:01:10 Estimation theory Econometrics Statistical inference M-estimators Loss function Maximum likelihood estimation Confidence interval
323	Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:58 Computing Software engineering Computer programming Inter-process communication UML state machine Message queue Message passing Event loop Futures and promises Monitor Scala High-Speed SECS Message Services
324	RJ 09:0 Counterpoint A UNITY proof with pure nondeterminism Rajeev Joshi Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03
325	§ TITLE 42—THE PUBLIC HEALTH AND WELFARE AMENDMENTS 2008—ParPub. L. 110–325 struck out ‘‘with a disability’’ after ‘‘individual’’ in heading and the first two Add to Reading List Source URL: www.gpo.gov Language: English - Date: 2018-04-26 06:22:17 Disability Reasonable accommodation Discrimination Human behavior Behavior Human rights Americans with Disabilities Act Draft:Anti-Corruption and Public Integrity Act
326	Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-04-15 12:27:37 Mathematics Group theory Graph theory Markov chain Kazhdan's property Stochastic game Markov decision process Distribution -quadratic form
327	Order-LWE and the Hardness of Ring-LWE with Entropic Secrets Zvika Brakerski Renen Perlman Weizmann Institute of Science∗ Abstract Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-05-21 15:18:19 Cryptography Post-quantum cryptography Lattice-based cryptography Computational hardness assumptions Lie groups Ring learning with errors Learning with errors Lattice Homomorphic encryption Order Entropy Ring learning with errors key exchange
328	The Poetry Business 2019 International Book & Pamphlet Competition: Entry Form Complete and return this form, with your manuscript and a cheque for your entry fee, by Friday 1st March 2019 to: The Competition Administrat Add to Reading List Source URL: www.poetrybusiness.co.uk Language: English - Date: 2018-10-01 09:48:33 Economy Banking Cheque Numismatics Pamphlet Poetry Society
329	Towards Mechanized Program Verification with Separation Logic Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:35:48 Mathematical logic Logic in computer science Theoretical computer science Substructural logic Logic Separation logic Constructible universe Ordinal number Computability theory Proof theory
330	Privacy Policy Eﬀective as of January 1st, 2018. SweetZpot is dedicated to give our customers both an optimal training experience and service when interacting with SweetZpot, for this reason we are collecting some inf Add to Reading List Source URL: www.sweetzpot.com Language: English - Date: 2018-01-03 03:10:39 Terms of service Law Privacy law Internet privacy Computing Information privacy Privacy HTTP cookie Medical privacy Personally identifiable information Privacy concerns with social networking services P3P

UPDATE