University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
531	LeakWatch: Estimating Information Leakage from Java Programs Tom Chothia1 , Yusuke Kawamoto2? , and Chris Novakovic1 1 School of Computer Science, University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Information theory Statistical theory Mathematics Mathematical analysis Entropy Mutual information Expected value Confidence interval Information flow Binomial distribution Conditional entropy Quantities of information
532	CPSC: Quantum Computation John Watrous, University of Calgary Lecture 1: Overview of quantum information January 10, 2006 Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2017-09-07 13:00:10 Quantum mechanics Physics Theoretical computer science Quantum information science Quantum computing Quantum states Quantum algorithms Qubit Quantum superposition Hadamard transform Quantum entanglement Matrix
533	Stweeler: A Framework for Twitter Bot Analysis Zafar Gilani, Liang Wang, Jon Crowcroft University of Cambridge {szuhg2, lw525, jac22} Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:38:21 Bots Software Computing Digital media Twitter bot Twitter Internet bot Social media Video game bot Spambot Botnet CongressEdits
534	On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-10-18 19:42:36 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model
535	Structure and Dynamics of Signed Citation Networks Srijan Kumar University of Maryland Number of nodes Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:47:19 Reference Knowledge Social networks Academic publishing Research Publishing Citation network Sentiment analysis Citation Balance theory Case citation
536	A Breadth-First Course in Multicore and Manycore Programming Suzanne Rivoire Sonoma State University Department of Computer Science Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:45:10 Concurrent computing Parallel computing Computing Computer programming Manycore processor Data parallelism General-purpose computing on graphics processing units Parallel programming model Multi-core processor Thread CUDA OpenMP
537	State-Aware Performance Analysis with eXtended Stochastic Probes Allan Clark and Stephen Gilmore University of Edinburgh, Scotland Abstract. We define a mechanism for specifying performance queries which Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2008-10-06 04:40:04 PEPA Process calculi Process calculus Client
538	Learning Outcomes for Master of Innovation Management (MINN) National Qualification Framework for Iceland Master of Innovation Management at Reykjavik University Master of Innovation Management (MINN) is a 90 ECTS-credit Add to Reading List Source URL: en.ru.is Language: English - Date: 2018-06-27 06:14:18 Organizational theory Human behavior Social information processing Innovation Innovation management Education Structure Management Master's degree Academic degree Bachelor's degree Technological innovation system
539	HOST RELEASE FORM I want to participate in the Carnegie Mellon University Africa (“CMUAfrica”) Host Family Program as a host. I understand that, as a host, I will be matched with a foreign student(s) for the purpose Add to Reading List Source URL: www.africa.engineering.cmu.edu Language: English - Date: 2018-09-12 05:46:12 Carnegie Mellon University Carnegie Mellon Silicon Valley Severability Terminology
540	δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Theoretical computer science Computability theory Computational complexity theory Theory of computation Constructivism Fourier analysis Formal methods Computable number Computable analysis Computable function NC Modulus of continuity

UPDATE