Computer - PDFSEARCH.IO - Document Search Engine

Computer
Results: 301026

#	Item
101	The Raymond and Beverly Sackler Faculty of Exact Sciences The Blavatnik School of Computer Science New Methods for Side Channel Cryptanalysis Thesis submitted in partial fulfilment of the requirements towards the M.Sc. Add to Reading List Source URL: www.ofirweisse.com Language: English - Date: 2018-10-17 09:19:20 Cryptography Side-channel attacks Block ciphers Advanced Encryption Standard Power analysis Cryptanalysis International Data Encryption Algorithm
102	Cost-Based Learning for Planning Srinivas Nedunuri and William R. Cook Douglas R. Smith Dept. of Computer Science, University of Texas at Austin Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2014-10-03 20:52:55 Logic Mathematics Automated theorem proving Logic programming Mathematical logic Logical truth Propositional calculus Substitution Measure theory operator Decomposition of spectrum
103	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
104	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
105	EECS 388 Intro to Computer Security November 18, 2016 Project 5: Forensics Add to Reading List Source URL: www.eecs.umich.edu Language: English - Date: 2016-11-21 18:50:22 System software Software Utility software Computer forensics Password Security Disk image VirtualBox Autopsy File system Forensic science
106	McGill University School of Computer Science Sable Research Group WebAssembly and JavaScript Challenge: Numerical program performance using Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2018-03-15 14:14:31 Software Computing Web programming Web browsers Mozilla Cloud clients Portable software JavaScript Asm.js Firefox Microsoft Edge Google Chrome
107	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
108	Program Synthesis for Forth Forth Day 2012 Computer Science UC Berkeley Add to Reading List Source URL: www.forth.org Language: English - Date: 2012-11-30 12:06:23 Data types Software engineering Mathematics Computing Const Transpose Matrix Programming language syntax ELLA
109	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
110	Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:45 Software Automated theorem proving Theoretical computer science Formal methods TPTP Proof assistant Frama-C Theorem prover E theorem prover Theorem Isabelle