Motivation Solution Framework The Algorithm

Source URL: www.cs.purdue.edu

• 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

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

Source URL: precision.moscito.org

• 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

Introduction Lattices: crash course GPUs The Algorithm Results The Future

Source URL: www.hyperelliptic.org

• Geometry
• Computer architecture
• Computing
• Graphics hardware
• GPGPU
• Lie groups
• Parallel computing
• Video cards
• Graphics processing unit
• Lattice
• Nvidia
• CUDA

Introduction Verifying a Robot Swarm Algorithm Dealing with Uncertainty

Source URL: cgi.csc.liv.ac.uk

• Aquatic ecology
• Behavior
• Crowds
• Fisheries
• Swarm behaviour
• Zoology
• Swarm robotics
• Robot
• Model checking
• Swarm
• Metaphysics
• Action philosophy)

COSC 544 Probabilistic Proof SystemsThe Power of Randomness: Fingerprinting and Freivalds’ Algorithm Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Computational complexity theory
• Randomized algorithms
• Analysis of algorithms
• With high probability
• PP
• IP
• RP
• P
• Freivalds' algorithm

PDF Document

Source URL: www.algorithm-lb.com

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

Source URL: www.mpi-inf.mpg.de

Span-Program-Based Quantum Algorithm for Evaluating Formulas

Source URL: www.ucw.cz

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

Source URL: ceur-ws.org

arXiv:quant-ph/0601097v1 15 JanShor’s algorithm with fewer (pure) qubits Christof Zalka February 1, 2008 Abstract

Source URL: arxiv.org