Department - PDFSEARCH.IO - Document Search Engine

Department
Results: 775307

#	Item
201	Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Abstract—We are witnessing a huge growth of cyber Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-09-02 06:46:32 Model checkers Software engineering Formal methods Theoretical computer science Software quality Computing PRISM model checker Model checking Formal verification Markov chain Stochastic Reliability engineering
202	Department of Human Resource Management Internal Control Questionnaire Review Results as of June 2018 Add to Reading List Source URL: www.apa.virginia.gov Language: English - Date: 2018-10-22 09:03:37 Internal audit Accounting Auditing Business Risk management Internal control Audit Control environment Model Audit Rule 205 Fraud deterrence
203	Proceedings of the ACL 2005 Workshop on Deep Lexical Acquisition. Automatically Distinguishing Literal and Figurative Usages of Highly Polysemous Verbs Afsaneh Fazly and Ryan North and Suzanne Stevenson Department of Co Add to Reading List Source URL: www.ryannorth.ca Language: English - Date: 2018-10-23 09:37:53 Linguistics English grammar Light verb Semantics Idiom Phrasal verb Principle of compositionality Argument English verbs Object
204	Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,⇤, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2017-06-28 16:10:52 Probability theory Statistical randomness Probability Markov models Graph theory Stochastic game Probabilistic automaton Game theory Markov chain Determinacy Strategy Markov decision process
205	Microsoft Word - EO 20 Transfer Of The Department Of Military Affairs To The Secretary Of Veterans And Defense Affairs.docx Add to Reading List Source URL: www.governor.virginia.gov Language: English - Date: 2018-09-24 13:55:58 Government Military Militaryindustrial complex United States Department of Defense United States Department of Homeland Security United States National Guard Virginia Governor's Cabinet Organizational structure of the United States Department of Defense
206	Published as a conference paper at ICLRP ROGRAM S YNTHESIS FOR C HARACTER L EVEL L ANGUAGE M ODELING Pavol Bielik, Veselin Raychev & Martin Vechev Department of Computer Science, ETH Z¨urich, Switzerland Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:55:59 Artificial neural networks Computational neuroscience Machine learning Artificial intelligence Applied mathematics Computational linguistics Natural language processing Speech recognition Convolutional neural network Language model Long short-term memory Neural network
207	TESTIMONY OF Kathryn Haun Rodriguez Former Assistant U.S. Attorney, U.S. Department of Justice, Lecturer in Law on Cybercrime and Digital Currency, Stanford University Current Member of the Board of Directors, Coinbase Add to Reading List Source URL: financialservices.house.gov Language: English - Date: 2017-06-08 09:25:33 Cryptocurrencies Economy Alternative currencies Money Finance Bitcoin Decentralization Digital currencies Virtual currency Mt. Gox Money laundering Blockchain
208	All in the XL Family: Theory and Practice Bo-Yin Yang1, and Jiun-Ming Chen2 1 Department of Mathematics, Tamkang University, Tamsui, Taiwan Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:41 Mathematics Algebra Monomial Generating function Equation solving Grbner basis
209	Smoothness Testing of Polynomials over Finite Fields Jean-Franc ¸ ois Biasse and Michael J. Jacobson Jr. Department of Computer Science, University of Calgary 2500 University Drive NW Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-05-19 17:03:48 Mathematics Multiplication Polynomials Algebra Multiplication algorithm Computer algebra ToomCook multiplication Karatsuba algorithm Degree of a polynomial Finite field Remainder Computational complexity of mathematical operations
210	Poster: Can Johnny Authenticate? Elham Vaziripour, Ray Clinton, Justin Wu, Mark O’Neill, Jordan Whitehead, Scott Heidbrink, Kent Seamons, Daniel Zappala Computer Science Department, Brigham Young University elhamvaziri Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-15 03:43:28 Software Computing Computer-mediated communication Instant messaging clients Social media Videotelephony Computer access control Cross-platform software Signal WhatsApp Instant messaging Authentication

UPDATE