Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
521	Steve Warner Curriculum Vitae Department of Mathematics Hofstra University Hempstead, NY 11549 Add to Reading List Source URL: satprepget800.com Language: English - Date: 2016-06-13 13:02:27 Mathematical logic Logic Computability theory Theory of computation Proof theory Hierarchy Lambda calculus Theoretical computer science Consistency Propositional calculus Calculus Arithmetical hierarchy
522	Genetic and Evolutionary Computation Conference (GECCORegistration Form All registrants receive: a) the Conference Proceedings b) two CD ROMs, one is an electronic version of the Conference Proceedings, the second Add to Reading List Source URL: www.isgec.org Language: English - Date: 2005-04-05 22:59:00 Evolutionary algorithms Mathematical optimization Applied mathematics Cybernetics Artificial intelligence Evolutionary computation Evolution Numerical analysis Genetic and Evolutionary Computation Conference Genetic programming Genetic algorithm Evolutionary music
523	Analyzing Concurrency in Streaming Applications Sander Stuijk, Twan Basten ES Reports ISSN Add to Reading List Source URL: www.es.ele.tue.nl Language: English - Date: 2005-03-23 03:07:59 Concurrent computing Computing Models of computation Parallel computing Concurrency Distributed computing Emerging technologies Data-intensive computing Petri net Kahn process networks Artificial neural network Algorithm
524	DISIͲViaSommarive14Ͳ38123PovoͲTrento(Italy) http://www.disi.unitn.it THE SOCIAL COMPUTER – Add to Reading List Source URL: disi.unitn.it Language: English - Date: 2014-09-10 09:40:14 Educational psychology Education Crowdsourcing Computing Engineering Artificial intelligence Human-based computation Social information processing Problem solving Computer science Social computing Social problem-solving
525	Overview Problem Solving, Programming, and Calculation Basic concepts of functional programming: computation by calculation, values, expressions, types, declarations Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-12 17:46:16 Software engineering Computer programming Functional languages Programming idioms Recursion Theoretical computer science Functional programming Monad Lisp F Sharp Equation solving Exponentiation
526	Theory of Evolutionary Algorithms Benjamin Doerr1 and Carola Doerr2 1École Polytechnique, Paris-Saclay, France 2CNRS and Université Pierre et Marie Curie, Paris, France Add to Reading List Source URL: www.wcci2016.org Language: English - Date: 2016-06-10 00:18:56 Operations research Evolution Applied mathematics Mathematical optimization Cybernetics Academia Mathematics Evolutionary algorithm Doerr Genetic and Evolutionary Computation Conference Algorithm Evolutionary computation
527	RMM Vol. 3, 2012, 66–70 http://www.rmm-journal.de/ Book Review Michael Laver and Ernest Sergenti: Add to Reading List Source URL: www.rmm-journal.com Language: English - Date: 2012-08-15 07:31:55 Scientific modeling Academia Systems science Diagrams Discrete geometry Computational geometry Economy Models of computation Voronoi diagram Agent-based model Simulation Heuristic
528	Advances in Programming Languages APL10: State Transformers Ian Stark School of Informatics The University of Edinburgh Thursday 11 February Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-11 05:50:59 Software engineering Computer programming Declarative programming Functional programming Functional languages Monad Data types Type class Haskell Entry point Computation Ur
529	Secure Multiparty Computation of Approximations∗ Joan Feigenbaum† Yuval Ishai‡ Martin J. Straussk Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2006-09-25 10:55:42 Cryptography Mathematical analysis Quantum complexity theory Computational complexity theory Functions and mappings Secure multi-party computation Communication complexity Secure two-party computation Limit of a function Cryptographic protocol Pi PP
530	On the Complexity of Universality for Partially Ordered NFAs∗ Markus Krötzsch1 , Tomáš Masopust2 , and Michaël Thomazo3 1 Institute of Theoretical Computer Science and Center of Advancing Add to Reading List Source URL: korrekt.org Language: English - Date: 2016-06-13 07:14:39 Computational complexity theory Finite automata Complexity classes Theory of computation Nondeterministic finite automaton Regular language PSPACE Bchi automaton FO Permutation IP Structure

UPDATE