Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
981	Higher-Order and Symbolic Computation, 11, 405–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Scheme: Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-14 14:39:18 Lisp Lambda calculus Functional programming Data types Subroutines Scheme Anonymous function Cons Fexpr Maclisp Closure Eval
982	CASC: Coalition for Academic Scientific Computation Academic Innovation in Advanced Computing Accelerating U.S. Competitiveness Contents Add to Reading List Source URL: casc.org Language: English - Date: 2010-11-22 08:38:14 E-Science Cyberinfrastructure National Science Foundation TeraGrid Texas Advanced Computing Center National Center for Supercomputing Applications Renaissance Computing Institute Pittsburgh Supercomputing Center National Center for Atmospheric Research CASC Open Science Grid Consortium CyberGIS
983	Using Intel Software Guard Extensions for Efficient Two-Party Secure Function Evaluation Debayan Gupta1 , Benjamin Mood2 , Joan Feigenbaum1 , Kevin Butler2 , and Patrick Traynor2 1 Add to Reading List Source URL: work.debayangupta.com Language: English - Date: 2016-01-22 16:19:24 Secure multi-party computation Software Guard Extensions Cryptography Singapore Exchange Secure two-party computation Eval Communications protocol Cryptographic protocol
984	Computational Process Networks a model and framework for high-throughput signal processing Gregory E. Allen Add to Reading List Source URL: users.ece.utexas.edu Language: English - Date: 2011-04-24 22:59:22 Models of computation Computer architecture Synchronous programming languages Parallel computing Computer data Dataflow Kahn process networks Concurrent computing Concurrency LabVIEW SIGNAL Dataflow architecture
985	serg semiotic engineering research group Informática PUC-Rio Add to Reading List Source URL: www.clihc.org Language: English - Date: 2007-09-14 11:40:14 Semiotics Theory of computation Humancomputer interaction Semiotic engineering Semioticians Clarisse de Souza Pontifical Catholic University of Rio de Janeiro Ambient intelligence Meta-communication
986	Summer 2009 :: COM SCI 181, Sec.1 :: Introduction to Formal Languages and Automata Theory :: Syllabus/Info Class Information Location, day, time: from the Registrar Add to Reading List Source URL: atakangunal.com Language: English* - Date: 2014-10-22 13:26:26 Formal languages Theoretical computer science Theory of computation Computability theory Models of computation Computability Automata theory Introduction to the Theory of Computation Turing machine Super-recursive algorithm Algorithm Finite-state machine
987	Table of Contents Formula Prediction using Genetic Algorithms / 1 Namir Aldawoodi and Rafael Perez Building-Block Identification by Simultaneity Matrix / 7 Chatchawit Aporntewan and Prabhas Chongstitvatana An Evolutionar Add to Reading List Source URL: www.sigevo.org Language: English - Date: 2013-10-03 16:18:20 Mathematical optimization Evolutionary algorithms Cybernetics Genetic algorithms Operations research Evolutionary computation Genetic programming Fitness function Global optimization Multi-objective optimization Grammatical evolution Particle filter
988	Microsoft Word - Fall 2015 HCC Add to Reading List Source URL: tigpsnhcc.iis.sinica.edu.tw Language: English - Date: 2015-11-03 01:02:41 Humancomputer interaction Usability Ubiquitous computing Human-based computation Social computing Interaction design Crowdsourcing
989	IEEE World Congress on Computational Intelligence WCCI’ 2016 July 24-29, 2016, Vancouver, Canada http://www.wcci2016.org/ The Congress: The bi-annual IEEE World Congress on Computational Intelligence (IEEE WCCI) will Add to Reading List Source URL: www.wcci2016.org Language: English - Date: 2016-02-12 01:33:57 Piscataway New Jersey IEEE Computational Intelligence Society Institute of Electrical and Electronics Engineers WCCI IEEE Congress on Evolutionary Computation
990	Scalable Rational Secret Sharing [Extended Abstract] Varsha Dani Mahnush Movahedi Add to Reading List Source URL: www.dcg.ethz.ch Language: English - Date: 2014-09-26 08:28:56 Cryptography Verifiable secret sharing Secret sharing Secure multi-party computation Net Cheap talk Constructible universe Expected value Quantum Byzantine agreement Stable distribution

UPDATE