Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
801	serg Application customization: A case study on MS Word ® Add to Reading List Source URL: www.clihc.org Language: English - Date: 2007-09-14 11:35:19 Humancomputer interaction Semiotic engineering Semiotics Theory of computation
802	The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:18:50 Computability theory Mathematics Mathematical logic Theoretical computer science Recursion Theory of computation Primitive recursive function Recursive data type Mutual recursion Automated theorem proving Theorem Presentation of a group
803	Pushdown Automata on (PDA) is essentially an A pushdown automata -NFA with a stack. On a transition the PDA: Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:35:31 Formal languages Models of computation Combinatorics Z0 Stack Personal digital assistant Alphabet Mathematics Discrete mathematics Deterministic pushdown automaton Pushdown automaton
804	An Empirical Study of Workers’ Behavior in Spatial Crowdsourcing Hien To∗ Rúben Geraldes∗ Add to Reading List Source URL: infolab.usc.edu Language: English - Date: 2016-06-04 02:41:56 Software Computing Crowdsourcing Business User interface techniques Social information processing Human-based computation Web services Amazon Mechanical Turk Gamification Internet privacy CrowdFlower
805	Task Decomposition and Human Computation in Graphics and Vision Joel Brandt Adobe Add to Reading List Source URL: crowdresearch.org Language: English - Date: 2011-03-24 21:28:47 Human-based computation Crowdsourcing Computing Education Software Mechanical Turk Distributed computing Algorithm Computer science Computer vision Foldit Computer
806	IF: An Intermediate Representation for SDL and its Applications Marius Bozga , Jean-Claude Fernandez , Lucian Ghirvu , Susanne Graf , Jean-Pierre Krimm , Laurent Mounier and Joseph Sifakis VERIMAG, Centre Equation, 2 a Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Software engineering Computing Models of computation Software Finite automata Finite-state machine Transition system XC Verilog Clock Presentation Specification and Description Language
807	Microsoft Word - qic-leaflet.doc Add to Reading List Source URL: www.rintonpress.com Language: English - Date: 2015-07-29 12:20:17 Theoretical computer science Emerging technologies Information theory Quantum computing Quantum cryptography Quantum information Theory of computation Knowledge
808	Postdoctoral Fellowship in QUANTUM COMPUTING APPLIED RESEARCH LABORATORIES The University of Texas at Austin The Signal and Information Sciences Laboratory (SISL) of the Applied Research Laboratories, Add to Reading List Source URL: wwwext.arlut.utexas.edu Language: English - Date: 2016-08-01 17:09:23 Theoretical computer science Quantum cryptography Information theory Quantum computing Doctorate Theory of computation Knowledge
809	PHONE: WEB: earthwatch.org EMAIL: REQUEST FOR PROPOSALS FOR FIELD RESEARCH: Add to Reading List Source URL: eu.earthwatch.org Language: English - Date: 2016-04-14 10:46:29 Citizen science Crowdsourcing Human-based computation Natural environment Earthwatch Institute Bob Citron
810	Multiprocessor Speed Scaling for Jobs with Arbitrary Sizes and Deadlines! Paul C. Bell1 and Prudence W.H. Wong2 1 Department of Computer Science, Loughborough University. Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2011-05-17 19:43:16 Computational complexity theory Scheduling Operations research Computer science Theory of computation Combinatorial optimization Mathematical optimization Parallel computing Multiprocessor scheduling NC Multi-core processor Randomized algorithm

UPDATE