Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
681	PASS Approximation: A Framework for Analyzing and Designing Heuristics Uriel Feige ∗† Nicole Immorlica ∗‡ Add to Reading List Source URL: users.eecs.northwestern.edu Language: English - Date: 2009-09-15 22:21:32 Computational complexity theory Mathematics Theory of computation NP-complete problems Operations research Approximation algorithms Combinatorial optimization Set cover problem Linear programming relaxation Greedy algorithm Facility location problem Reduction
682	Massive Multiplayer Human Computation for Fun, Money, and Survival Lukas Biewald CrowdFlower 3265 17th Street, Suite 302 San Francisco, CA 94110 Add to Reading List Source URL: crowdresearch.org Language: English - Date: 2011-03-24 21:28:55 Crowdsourcing Business Human-based computation Economy Collective intelligence CrowdFlower Lukas Biewald Samasource Amazon Mechanical Turk Ushahidi Mechanical Turk FrontlineSMS
683	The key to blame: Gradual typing meets cryptography Jeremy Siek Philip Wadler Indiana University, USA Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2016-07-07 08:33:11 Theoretical computer science Mathematics Mathematical logic Logic in computer science Models of computation Lambda calculus Computability theory Valuation Denotational semantics Combinatory logic Holomorphic functional calculus
684	Bayesian Computation Emerges in Generic Cortical Microcircuits through Spike-Timing-Dependent Plasticity Bernhard Nessler1, Michael Pfeiffer1,2, Lars Buesing1, Wolfgang Maass1 1 Institute for Theoretical Computer Scienc Add to Reading List Source URL: www.gatsby.ucl.ac.uk Language: English* - Date: 2014-10-13 19:51:18 Neuroscience Nervous system Biology Computational neuroscience Neural networks Neurophysiology Spike-timing-dependent plasticity Biological neuron model Neural coding Hebbian theory Neuron Neural oscillation
685	Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 1999-11-28 18:07:44 Software engineering Programming language theory Computing Type theory Functional languages Logic in computer science Programming paradigms Models of computation Denotational semantics Type system Programming language Constraint programming
686	To be published in: LISP AND SYMBOLIC COMPUTATION: An International Journal, 4, 3, 1991 © 1991 Kluwer Academic Publishers - Manufactured in The Netherlands An Efficient Implementation of SELF, a Dynamically-Typed Object Add to Reading List Source URL: bibliography.selflanguage.org Language: English Software engineering Computer programming Object-oriented programming Object-oriented programming languages Programming paradigms Object Self Smalltalk Prototype-based programming Common Lisp Object System Objective-C Immutable object
687	Table of Contents Volume 1 xviii A Word from the Chair of SIGEVO Add to Reading List Source URL: www.isgec.org Language: English - Date: 2005-06-13 18:59:00 Mathematical optimization Operations research Applied mathematics Systems science Numerical analysis Cybernetics Evolutionary algorithms Evolution Evolutionary computation Genetic algorithm Multi-objective optimization Artificial immune system
688	A Game-Theoretic Framework for Analyzing Trust-Inference Protocols∗ Ruggero Morselli† Jonathan Katz† Add to Reading List Source URL: zoo.cs.yale.edu Language: English - Date: 2006-03-28 14:11:04 Cryptography Public-key cryptography Communications protocol Data transmission Digital signature Short Message Service Adversary Peer-to-peer Secure multi-party computation
689	Animated Captchas And Games For Advertising Suhas Aggarwal IIT Guwahati May Add to Reading List Source URL: wic.litislab.fr Language: English - Date: 2013-12-09 08:25:58 CAPTCHA Computer security Computer vision Artificial intelligence World Wide Web Gaming Human-based computation Games Advertising Puzzle NuCaptcha
690	High-order method development for computation of high-speed flows Graduate assistantships are available for a Ph.D. student to enter the Joint Doctoral Program between San Diego State University (SDSU) and the University Add to Reading List Source URL: attila.sdsu.edu Language: English - Date: 2008-12-05 19:10:37 CSRC San Diego State University China Securities Regulatory Commission Computational science San Diego County California California

UPDATE