Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
971	Parallel PySAL Sergio J. Rey Jason Laura GeoDa Center for Geospatial Analysis and Computation Add to Reading List Source URL: cybergis.cigi.uiuc.edu Language: English - Date: 2013-10-04 15:15:30 Cartography Geographic data and information Luc Anselin Regional science Parallel computing GeoDa Spatial analysis Choropleth map Rey Arizona State University Geospatial analysis AHM
972	Networked Control System Protocols Modeling & Analysis using Stochastic Impulsive Systems João P. Hespanha Center for Control Dynamical Systems and Computation Add to Reading List Source URL: www.ece.ucsb.edu Language: English - Date: 2013-10-30 21:30:35 Stochastic processes Probability theory Markov process Sensor node Control theory Independent and identically distributed random variables Stochastic
973	Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song Carnegie Mellon University Pittsburgh, PA, USA {dbrumley,jnewsome,dawnsong}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computability theory Vulnerability Public-key cryptography Theoretical computer science Models of computation Buffer overflow Social vulnerability Zero-day Ring signature Symbolic execution Turing machine Halting problem
974	ANL/MCS-TM-207 Users Manual for tohtml: Producing True Hypertext Documents from LaTeX by Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-07-01 16:54:24 Markup languages HTML Technical communication Word processors Hypertext LaTeX BibTeX Portable Extensible Toolkit for Scientific Computation TeX Texinfo Scribe Webserver directory index
975	Tools for system validation with B abstract machines⋆ Michael Butler1 and Michael Leuschel1,2 and Colin Snook1 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-06-09 09:07:09 Unified Modeling Language Infographics Systems Modeling Language Diagrams Models of computation Class diagram Michael Butler Model checking Object Process Methodology State diagram Activity Stereotype
976	Crowd Work and Crowd Process CSCW 2015, March 14-18, 2015, Vancouver, BC, Canada And Now for Something Completely Different: Improving Crowdsourcing Workflows with Micro-Diversions Add to Reading List Source URL: jeffrz.com Language: English Human-based computation Crowdsourcing Social information processing Web services Amazon Mechanical Turk Human resource management Telecommuting Vigilance Job performance Time management
977	Systematizing Secure Computation for Research and Decision Support Jason Perry1 , Debayan Gupta2 , Joan Feigenbaum2 and Rebecca N. Wright1 1 Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2014-06-24 16:43:48 Cryptography Secure multi-party computation Secret sharing Public-key cryptography Universal composability Communications protocol Cryptographic protocol Cartesian coordinate system Transmission Control Protocol Secure two-party computation
978	Systematizing Secure Computation for Research and Decision Support Jason Perry, Debayan Gupta, Joan Feigenbaum and Rebecca N. Wright Rutgers University, Yale University Add to Reading List Source URL: paul.rutgers.edu Language: English - Date: 2014-09-07 12:36:30 Cryptography Secure multi-party computation Secret sharing Cryptographic protocol Communications protocol
979	Formal Testing g of Distributed Systems R. M. Hierons B Brunel Add to Reading List Source URL: www.cs.stir.ac.uk Language: English - Date: 2010-06-19 09:50:00 Software testing Model-based testing Distributed computing Theory of computation
980	CASC/HPC-SIG Joint Oxford Workshop Report: Towards Sustainable National Research Computing Centers and a Computational Workforce July 5, 2016 Report on the joint US Coalition for Academic Scientific Computation (CASC)/UK Add to Reading List Source URL: casc.org Language: English - Date: 2016-07-07 08:31:51 E-Science Texas Advanced Computing Center University of Texas at Austin EPCC Appro National Strategic Computing Initiative CASC IPlant Collaborative Software Sustainability Institute Ed Seidel

UPDATE