Computing - PDFSEARCH.IO - Document Search Engine

Computing
Results: 372271

#	Item
31	Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-03 13:27:17 Lambda calculus Theoretical computer science Mathematical logic Declarative programming Adjoint functors Anonymous function Type theory Lambda lifting
32	2198 IEEE TRANSACTIONS ON MOBILE COMPUTING, VOL. 16, Add to Reading List Source URL: wirelesslab.sjtu.edu.cn Language: English - Date: 2017-12-01 00:35:40 Behavior Statistical classification Emerging technologies Behavioural sciences Abnormal psychology Abnormality Deviance Support vector machine Artificial intelligence Technology Drunk driving in the United States Normality
33	Distributed Computing Prof. R. Wattenhofer BA/MA/SA: Geometric Edge-Coloring Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-07-11 06:56:46 Graph theory Planar graphs Graph Penny graph Edge coloring
34	PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta. Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-12-15 10:57:28 Markov processes Probability Markov models Model checkers PRISM model checker Model checking Markov reward model Markov chain Markov decision process Probabilistic CTL Prism
35	Advances and Challenges of Probabilistic Model Checking Marta Kwiatkowska Gethin Norman David Parker Computing Laboratory Department of Computing Science Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-12-22 18:19:34 Statistical randomness Temporal logic Theoretical computer science Probability Markov models Model checkers Markov processes Model checking PRISM model checker Markov decision process Linear temporal logic Computation tree logic
36	Distributed Computing Prof. R. Wattenhofer Advanced Topics in Deep Learning - Understanding and Evaluating Music Style Transfer Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-08-02 04:01:33 Cybernetics Education Cognition Technology Educational psychology Learning Computational neuroscience Open educational resources Deep learning Artificial intelligence Machine learning Andrew Ng
37	Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodolog Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-10-24 07:08:14 Metaphysics Formal methods Theoretical computer science Modal logic Philosophical logic Predicate abstraction Markov decision process Logic Refinement Abstraction Krivine machine
38	Behavioural Equivalences for Dynamic Web Data Sergio Maffeis Philippa Gardner Department of Computing, Imperial College London {maffeis,pg}@doc.ic.ac.uk Abstract Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Computing Data management Data Information Technical communication Process calculi File sharing Business intelligence Data integration Effi Database -calculus
39	Making Technical Computing Available to Everyone – Bringing HPC to the Cloud HPC Advisory Council Switzerland Conference Lugano Convention Center, March 24, 2015 Dr. Wibke Sudholt Add to Reading List Source URL: hpcadvisorycouncil.com Language: English - Date: 2015-03-24 04:26:10 Cloud computing Computing Cloud infrastructure IT infrastructure As a service Software as a service Platform as a service Elasticity HP Cloud Draft:Cloud service provider
40	A new method to automate the synthesis of stochastic computing circuits Add to Reading List Source URL: techxplore.com Language: English - Date: 2018-10-26 03:51:56 Statistical randomness Stochastic computing Mathematical optimization Stochastic Integrated circuit Electronic engineering Electromagnetism Electrical engineering