Programs - PDFSEARCH.IO - Document Search Engine

Programs
Results: 115783

#	Item
51	U.S. Department of Justice Office of Justice Programs Bureau of Justice Statistics February 2018, NCJ Add to Reading List Source URL: www.bjs.gov Language: English - Date: 2018-02-13 11:25:29 Penology Forensic psychology Prison Crime Criminal law Psychology Torture Prisons in India Incarceration in the United States
52	COSC 544 Probabilistic Proof SystemsTurning Computer Programs Into Circuits (Part 1) Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-10 11:45:28 Circuit complexity Complexity classes Theory of computation Theoretical computer science Computer science NC Circuit Computer IP NP Multiplication algorithm Matrix multiplication algorithm
53	Calculating Quantitative Integrity and Security for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Information theory Information Information flow Mutual information Conditional entropy Conditional mutual information Quicken Interchange Format Metaphysics Knowledge
54	DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, Andrea Maggiolo-Schettini and Paolo Milazzo Dipartimento di Informatica, Universit`a di Pisa Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Models of computation Concurrency Computing Formal methods Diagrams Petri net Finite automata Model checking Analog television Finite-state machine Actor model Information and communications technology
55	Change Impact Analysis for AspectJ Programs Sai Zhang, Zhongxian Gu, Yu Lin and Jianjun Zhao Shanghai Jiao Tong University Change Impact Analysis for AspectJ Programs • AspectJ’s specific constructs requires adaptin Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Software development Aspect-oriented software development Computing Aspect-oriented programming AspectJ Pointcut Join point Aspect Change impact analysis Compiler
56	EECatalog Marketing & Lead Generation Programs Targeted Buyers Multi-Media Platforms  Add to Reading List Source URL: www.extensionmedia.com Language: English - Date: 2018-03-20 16:12:31 Marketing Ambient intelligence Internet of things Content marketing Embedded system Online advertising Media manipulation Market economics)
57	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
58	ACADEMIC PROGRAMS OFFERED AT THE UNIVERSITY OF HAWAI‘I CAMPUSES Applicants to UH Hilo, UH Ma¯noa, and UH West O‘ahu should go directly to the next page. Add to Reading List Source URL: www.hawaii.edu Language: English - Date: 2016-10-15 21:04:25 University of Hawaii University of Hawaii Maui College Bachelor of Applied Science University of Hawaii at Hilo Undergraduate education Academic degree Hawaii Education New Mexico Junior College Nueta Hidatsa Sahnish College
59	Mixing Layers in Symmetric Crypto Ko Stoffelen Part I Shorter Linear Straight-Line Programs for MDS Matrices Add to Reading List Source URL: ko.stoffelen.nl Language: English - Date: 2018-04-23 01:39:02 Matrices Mathematics Cryptography MDS matrix Matrix Sparse matrices Symmetric matrix MDS Coding theory Numerical linear algebra
60	AUTHOR GUIDELINES: FULL VERSION The following guidelines, which are intended for manuscripts prepared in Microsoft Word or other word-processing programs, are designed to streamline the process of bringing your manuscrip Add to Reading List Source URL: mitpress.mit.edu Language: English - Date: 2018-06-15 15:56:14 Publishing Writing Public sphere Technical communication Book design Bibliography Paragraph Pilcrow Manuscript Index Copy editing LaTeX