Department - PDFSEARCH.IO - Document Search Engine

Department
Results: 775307

#	Item
121	Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-26 10:39:46 Computer programming Software engineering Computing Lisp Functional programming Data types Abstract data types Functional languages Append ACL2 Cons Nqthm
122	Department of Computer Science EFFICIENT PROBABILISTIC PARAMETER SYNTHESIS FOR ADAPTIVE SYSTEMS Taolue Chen Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:24:58 Estimation theory Probability and statistics Statistics Graph theory Markov chain Parameter Machine learning Probability distribution fitting Parametric model Twisting properties
123	Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-17 04:03:10 Electronic engineering Logic gates Digital electronics Electrical engineering Electronics Electrical circuits Digital systems Clock signal C-element Asynchronous circuit Sequential logic Flip-flop
124	Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Probability Dynamic programming Markov decision process Stochastic control PRISM model checker Reinforcement learning Probabilistic CTL Application software
125	Your Activities of Daily Living (YADL): An Image-based Survey Technique for Patients with Arthritis Longqi Yang†,‡ , Diana Freed‡ , Alex Wu* , Judy Wu‡ , John P. Pollak‡ , Deborah Estrin†,‡ † Department * Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2018-10-25 09:08:16 Health Medicine Activities of daily living Caregiving Nursing Occupational therapy Self care WOMAC PatientsLikeMe Mobility Everyday life Occupational therapist
126	MONEY SERVICES BUSINESS REGISTRATION FACT SHEET The Bank Secrecy Act (BSA)1 requires certain money services businesses (MSBs) to register with the Financial Crimes Enforcement Network (FinCEN), of the U.S. Department of Add to Reading List Source URL: www.fincen.gov Language: English - Date: 2016-07-15 16:33:12 Economy Money Finance Terrorism Money laundering Money transmitter Money services business Financial Crimes Enforcement Network MSB Bank Secrecy Act
127	Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-07-05 18:17:09 Mathematical analysis Mathematical optimization Operations research Stochastic game Nash equilibrium Markov chain Determinacy Stochastic process Mathematics Analysis Multi-objective optimization
128	Which Configuration Option Should I Change? Sai Zhang Michael D. Ernst Department of Computer Science & Engineering Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Computing Software engineering Computer programming Debugging Cross-platform software Object-oriented programming languages Procedural programming languages Assertion Logic in computer science Configuration management PHP Program slicing
129	Virginia Department of State Police audit of Select Business Cycles for the year ended June 30, 2017 Add to Reading List Source URL: www.apa.virginia.gov Language: English - Date: 2018-10-25 11:37:50 Prevention Accounting Computing Auditing Internal audit Crime prevention Cryptography National security Information technology audit Audit Information security Vulnerability
130	Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2017-07-19 14:45:03 Linguistics Computational linguistics Statistical natural language processing Natural language processing Corpus linguistics Applied linguistics Speech recognition Topic model Latent Dirichlet allocation N-gram Stemming Text corpus