Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
611	Raising Level of Abstraction with Partial Models: A Vision Marsha Chechik1 , Arie Gurfinkel2 , Sebastian Uchitel3 , and Shoham Ben-David1 1 3 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-31 06:33:48 Software engineering Formal methods Models of computation Computing Engineering Model checking Object Process Methodology Conceptual model MTSS Scientific modelling Refinement Transition system
612	New-age computing T by Adam Hadhazy 22 Add to Reading List Source URL: www.aerospaceamerica.org Language: English - Date: 2016-06-30 16:35:31 Quantum information science Theoretical computer science Quantum mechanics Physics Quantum computing Emerging technologies Models of computation D-Wave Systems Qubit D-Wave Two Quantum Artificial Intelligence Lab Quantum technology
613	◆ Coalition for Academic Scientific Computation Coalition for Academic Scientific Computation Add to Reading List Source URL: casc.org Language: English - Date: 2010-11-22 08:37:50 Computing E-Science Cyberinfrastructure National Science Foundation Computer graphics Infographics TeraGrid Texas Advanced Computing Center National Center for Supercomputing Applications San Diego Supercomputer Center CASC Renaissance Computing Institute
614	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-04-20 05:08:37 Cryptography Cryptographic protocols Secure multi-party computation Public-key cryptography Oblivious transfer Information-theoretic security Secure two-party computation Commitment scheme
615	Tight Bounds for Parallel Randomized Load Balancing [Extended Abstract] ∗ Christoph Lenzen Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:31 Analysis of algorithms Computational complexity theory Theory of computation Mathematics Balls into bins With high probability Sorting algorithm Leader election Time complexity Entropy Best worst and average case Big O notation
616	Proc. of the 12th Int. Conference on Digital Audio Effects (DAFx-09), Como, Italy, September 1-4, 2009 INFORMED SELECTION OF FRAMES FOR MUSIC SIMILARITY COMPUTATION Klaus Seyerlehner, Tim Pohle Gerhard Widmer, Dominik Add to Reading List Source URL: www.cp.jku.at Language: English - Date: 2009-10-07 06:10:34 Statistics Probability distributions Statistical classification Stable distributions Machine learning Search algorithms KullbackLeibler divergence K-nearest neighbors algorithm Normal distribution Multivariate normal distribution Pattern recognition Support vector machine
617	Introduction Memoryless Computation Universal Simulation Add to Reading List Source URL: www.maths.dur.ac.uk Language: English - Date: 2015-09-03 03:05:49 Algorithms Theoretical computer science Binary arithmetic XOR swap algorithm Mathematics Memorylessness Swap Academia Applied mathematics
618	Using AmgX to Accelerate PETScBased CFD Codes Pi-Yueh Chuang George Washington University Add to Reading List Source URL: on-demand.gputechconf.com Language: English - Date: 2016-04-07 12:40:22 Computing Numerical linear algebra Numerical analysis Software Graphics hardware Hypre Computational science Portable Extensible Toolkit for Scientific Computation Computational fluid dynamics Parallel computing Immersed boundary method General-purpose computing on graphics processing units
619	MASTERARBEIT Mirage High-Performance Music Similarity Computation and Automatic Playlist Generation Add to Reading List Source URL: www.schnitzer.at Language: English - Date: 2009-08-25 09:16:25 Software Application software Media technology Audio codecs MPEG IPod software Music information retrieval Digital audio Portable media player Advanced Audio Coding ITunes Vorbis
620	Crowdsourcing and Gov 2.0 Irene Ros, Yannick Assogba, Joan DiMicco IBM Research One Rogers St, Cambridge, iros; yannick; joan.dimicco]@us.ibm.com INTRODUCTION Add to Reading List Source URL: crowdresearch.org Language: English - Date: 2011-03-24 21:28:55 Crowdsourcing Human-based computation Web 2.0 Computing Collective intelligence Social information processing Web services Open government Amazon Mechanical Turk Social web E-government Outlier

UPDATE