Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
501	1 Abstraction as a Means for End-User Computing in Creative Applications Mira Balaban () Eli Barzilay () Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-11 03:26:58 Abstraction Theoretical computer science Lambda calculus Software engineering Cognitive science Models of computation Logic in computer science Data management Combinatory logic Factory Deductive lambda calculus
502	Job Description Post Title and Post Number Research Fellows in Evolutionary Computation (Two posts available) – 52578 Add to Reading List Source URL: www.cercia.ac.uk Language: English - Date: 2014-12-01 11:07:36 Doctor of Philosophy Titles
503	The complexity of positive first-order logic without equality II: The four-element case Barnaby Martin1? and Jos Martin2 1 School of Engineering and Computing Sciences, Durham University, Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-06-03 07:34:14 Computational complexity theory Complexity classes Theory of computation FO PSPACE IP NP P Reduction Homomorphism SO
504	Approximating Border Length for DNA Microarray Synthesis Cindy Y. Li1 Prudence W.H. Wong1 Qin Xin2 Fencol C.C. Yung3 1 3 Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-03-23 11:43:26 Computational complexity theory Mathematics Dynamic programming Theory of computation IP Longest common subsequence problem
505	Job description Post title and post number Research Fellow in Evolutionary Computation – Posts Available) Add to Reading List Source URL: www.cercia.ac.uk Language: English - Date: 2015-08-12 05:56:44 Doctor of Philosophy Titles
506	SPECIAL ISSUE: ICT AND SOCIETAL CHALLENGES THE DUALITY OF EMPOWERMENT AND MARGINALIZATION IN MICROTASK CROWDSOURCING: GIVING VOICE TO THE LESS POWERFUL THROUGH VALUE SENSITIVE DESIGN Xuefei (Nancy) Deng Add to Reading List Source URL: www.misq.org Language: English - Date: 2016-02-25 13:20:28 Crowdsourcing Human-based computation Academia Social information processing Web services Collaboration Amazon Mechanical Turk Structure Microtask Empowerment Social exclusion Job design
507	Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-09-10 07:41:01 Abstract interpretation Models of computation Parallel computing Petri net Software engineering Computing
508	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:28 Biology Natural environment Citizen science Crowdsourcing Human-based computation Conservation biology Biodiversity Earthwatch Institute
509	Dirk Bergemann Joan Feigenbaum Yale University Economics and Computation Add to Reading List Source URL: zoo.cs.yale.edu Language: English - Date: 2008-09-19 13:58:05 Game theory Decision theory Auction theory Gaming Auctions Double auction Mechanism design Nash equilibrium
510	Lecture 8: The Cache Oblivious Approach www.cs.illinois.edu/~wgropp Designing for Memory Hierarchy Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-01-15 10:21:32 Cache Computer architecture Computing Analysis of algorithms Models of computation Computer science Computer engineering Cache-oblivious algorithm Computer memory Memory hierarchy Divide and conquer algorithms CPU cache

UPDATE