Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
601	ON THE RANDOM-SELF-REDUCIBILITY OF COMPLETE SETS JOAN FEIGENBAUMy AND LANCE FORTNOWz Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2001-10-25 12:45:35 Computational complexity theory Theory of computation Complexity classes Structural complexity theory Conjectures Probability distributions NP Polynomial hierarchy IP P versus NP problem PP P
602	Searching for Surprise Georgios N. Yannakakis and Antonios Liapis Institute of Digital Games, University of Malta, Msida, Malta {georgios.yannakakis; antonios.liapis}@um.edu.mt Abstract Add to Reading List Source URL: antoniosliapis.com Language: English - Date: 2016-05-28 08:09:51 Learning Cognition Academia Creativity techniques Evolution Arts Cognitive psychology Computational creativity Creativity Evolutionary computation Neuroevolution Artificial neural network
603	553 Documenta Math. A Modular Compactification of the General Linear Group Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:27:51 Mathematics Ordinal number Wellfoundedness Constructible universe Symbol Closed and exact differential forms Theory of computation NC CurryHoward correspondence Generalised Whitehead product
604	L1 - Faster Development and Benchmarking of Cryptographic Protocols Axel Schr¨opfer, Florian Kerschbaum, Debmalya Biswas, Steffen Geißinger, and Christoph Sch¨ utz SAP Research Karlsruhe, Germany Add to Reading List Source URL: www.fkerschbaum.org Language: English - Date: 2009-09-30 17:02:37 Cryptography Software engineering E-commerce RSA Secure multi-party computation ALGOL 68 Const Method Public-key cryptography Apache Avro
605	Building a Successful Scalable Parallel Numerical Library: Lessons From the PETSc Library William D. Gropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:11 Algebra Mathematics Numerical linear algebra Numerical analysis Portable Extensible Toolkit for Scientific Computation Bill Gropp Vector Euclidean vector Basic Linear Algebra Subprograms Parallel computing AMPL Argonne
606	MPC vs. SFE: Perfect Security in a Unified Corruption Model ? Zuzana Beerliov´a-Trub´ıniov´a, Matthias Fitzi, Martin Hirt, Ueli Maurer, and Vassilis Zikas Department of Computer Science, ETH Zurich {bzuzana,fitzi,hir Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2011-02-19 14:29:40 Cryptography Secure multi-party computation Secure two-party computation Ciphertext indistinguishability Consensus Secret sharing IP Control theory
607	Minimizing maximum (weighted) flow-time on related and unrelated machines S. Anand1 Karl Bringmann2 Tobias Friedrich3 Naveen Garg1 Amit Kumar1 1 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:45:57 Computational complexity theory Theory of computation Analysis of algorithms Operations research Scheduling Algorithm Mathematical logic Theoretical computer science Time complexity NC Job shop scheduling
608	REVERSIBLE COMPUTING Tommaso Toffoli MIT Laboratory for Computer Science Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2012-02-22 09:04:06 Mathematics Algebra Models of computation Functions and mappings Mathematical analysis Injective function Reversible computing Inverse element Finite-state machine Mutation Quantum circuit
609	PDF Document Add to Reading List Source URL: people.ee.ethz.ch Language: English - Date: 2016-07-12 03:35:12 Models of computation Concurrency Diagrams Software engineering Petri nets Theoretical computer science Metaphor
610	Pushdown Flow Analysis of First-Class Control Dimitrios Vardoulakis Olin Shivers Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-07-01 11:20:10 Software engineering Computer programming Continuations Subroutines Memory management Control flow Models of computation Continuation-passing style Call stack Call-with-current-continuation Continuation Escape analysis

UPDATE