Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
621	doi:j.pepi Add to Reading List Source URL: foalab.earth.ox.ac.uk Language: English - Date: 2007-10-20 07:34:05 Calculus Aerodynamics Physics Engineering Numerical linear algebra Portable Extensible Toolkit for Scientific Computation Fluid dynamics Computational fluid dynamics Viscosity NavierStokes equations Fluid mechanics Partial differential equation
622	Gossip-Based Computation of Aggregate Information David Kempe∗, Alin Dobra, and Johannes Gehrke† Department of Computer Science, Cornell University Ithaca, NY 14853, USA {kempe,dobra,johannes}@cs.cornell.edu Abstract Add to Reading List Source URL: www-bcf.usc.edu Language: English - Date: 2007-10-12 00:29:55 Graph theory Computing Mathematics Distributed data storage Stochastic processes Network theory Networks Chord Gossip protocol Rope Random walk Maximal independent set
623	Mathematics for Computer Science Eric Lehman and Tom Leighton 2004 2 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2006-08-23 14:28:28 Mathematics Graph theory Discrete mathematics NP-complete problems Graph coloring Algebra Recurrence relation Theory of computation Number theory Algorithm Independent set Mathematical induction
624	Truthful Approximation Schemes for Single-Parameter Agents∗ Peerapong Dhangwatnotai† Shahar Dobzinski‡ Shaddin Dughmi§ Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-05-11 07:37:06 Computational complexity theory Mathematics Theory of computation Analysis of algorithms Scheduling Polynomial-time approximation scheme Makespan Time complexity Partition Randomized algorithm Algorithm Integral
625	Table of Contents Formula Prediction using Genetic Algorithms / 1 Namir Aldawoodi and Rafael Perez Add to Reading List Source URL: www.sigevo.org Language: English - Date: 2013-10-03 16:18:17 Mathematical optimization Applied mathematics Evolutionary algorithms Cybernetics Numerical analysis Genetic algorithms Artificial intelligence Operations research Evolutionary computation Genetic programming Fitness function Global optimization
626	The Compositional Specication of Timed Systems A Tutorial Joseph Sifakis Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Models of computation Concurrency Petri net Synchronization Process calculus Transition system Computing Abstraction Metaphor Timed automaton
627	EvoCOPpart of EvoStarThe 16th European Conference on Evolutionary Computation Add to Reading List Source URL: www.evostar.org Language: English - Date: 2015-10-28 14:18:54 Mathematical optimization Operations research Heuristics Applied mathematics Numerical analysis Search algorithms Hyper-heuristic Evolutionary algorithms Memetic algorithm Evolutionary computation Metaheuristic Local search
628	Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Theoretical computer science Mathematical logic Logic Lambda calculus Models of computation Computability theory Let expression Symbol Substitution Type system Security type system
629	Microsoft Word - CFPDraft- PN Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2013-06-24 11:01:34 Concurrency Models of computation Petri nets Theoretical computer science International Conference on Applications and Theory of Petri Nets and Concurrency Software engineering Diagrams Computing Model checking Wil van der Aalst Petri
630	Genetically Modified Food Labeling Survey May 17-May 21, 2016 (N=1,008) Appendix How would you rate your own understanding of genetically modified organisms (GMOs)? (READ LIST)* EXCELLENT/VERY GOOD/GOOD Add to Reading List Source URL: cdn.annenbergpublicpolicycenter.org Language: English - Date: 2016-07-18 12:35:33** Arithmetic Mathematics Computer arithmetic Rounding Theory of computation Significant figures Academia

UPDATE