Department

Results: 775307



#Item
201Advances 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

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
202Department of Human Resource Management Internal Control Questionnaire Review Results as of June 2018

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
203Proceedings 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

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
204Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,⇤, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom

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
205Microsoft Word - EO 20 Transfer Of The Department Of Military Affairs To The Secretary Of Veterans And Defense Affairs.docx

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
206Published 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

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
207TESTIMONY 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

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
208All in the XL Family: Theory and Practice Bo-Yin Yang1, and Jiun-Ming Chen2 1 Department of Mathematics, Tamkang University, Tamsui, Taiwan

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
209Smoothness 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

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
210Poster: 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

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