Algorithm - PDFSEARCH.IO - Document Search Engine

Algorithm
Results: 17634

#	Item
21	Motivation Solution Framework The Algorithm Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Theoretical computer science Formal methods Logic in computer science Mathematics Formal verification Program synthesis Debugging Algorithm Cognitive science Electronic engineering Device driver synthesis and verification
22	Gauss Sieve Algorithm on GPUs Shang-Yi Yang1 , Po-Chun Kuo1(B) , Bo-Yin Yang2 , and Chen-Mou Cheng1 1 Department of Electrical Engineering, National Taiwan University, Taipei, Taiwan {ilway25,kbj,doug}@crypto.tw Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2018-05-28 18:07:35 Cryptography Mathematics Post-quantum cryptography Lattice-based cryptography Lie groups Computational hardness assumptions Lattice problem Lattice Euclidean algorithm LenstraLenstraLovsz lattice basis reduction algorithm Ideal lattice cryptography Short integer solution problem
23	Introduction Lattices: crash course GPUs The Algorithm Results The Future Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2009-09-22 19:00:54 Geometry Computer architecture Computing Graphics hardware GPGPU Lie groups Parallel computing Video cards Graphics processing unit Lattice Nvidia CUDA
24	Introduction Verifying a Robot Swarm Algorithm Dealing with Uncertainty Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-05 09:30:21 Aquatic ecology Behavior Crowds Fisheries Swarm behaviour Zoology Swarm robotics Robot Model checking Swarm Metaphysics Action philosophy)
25	COSC 544 Probabilistic Proof SystemsThe Power of Randomness: Fingerprinting and Freivalds’ Algorithm Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-14 15:31:47 Computational complexity theory Randomized algorithms Analysis of algorithms With high probability PP IP RP P Freivalds' algorithm
26	PDF Document Add to Reading List Source URL: www.algorithm-lb.com - Date: 2017-06-08 08:39:19
27	Exercise 3: Impossible! Task 1: Stop Failing, You Cowards! The goal of this exercise is to show that under the synchronous message passing model, for any consensus algorithm there are executions with f crashes in which s Add to Reading List Source URL: www.mpi-inf.mpg.de Language: English - Date: 2015-11-09 08:24:36
28	Span-Program-Based Quantum Algorithm for Evaluating Formulas Add to Reading List Source URL: www.ucw.cz Language: English - Date: 2012-07-07 14:33:50
29	Classifying Medical Literature Using k-Nearest-Neighbours Algorithm Andreas Lüschow? and Christian Wartena (ORCiD: 1529) University of Applied Sciences and Arts Hanover Expo Plaza 12, 30539 Hannover, Germ Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2017-09-23 16:08:21
30	arXiv:quant-ph/0601097v1 15 JanShor’s algorithm with fewer (pure) qubits Christof Zalka February 1, 2008 Abstract Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 06:07:35

UPDATE