Groundwork Algorithm Extensions

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Algorithm
• Mathematical logic
• Parallel computing
• Synchronization

SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

Source URL: seahorn.github.io

• Mathematics
• Symbol
• 120-cell
• Craig interpolation
• Computability theory
• Fiber bundles
• Differential topology

A polynomial time algorithm for computing the HNF of a module over the integers of a number field Jean-François Biasse Claus Fieker

Source URL: www.lix.polytechnique.fr

Tensority: an ASIC-friendly Proof of Work Algorithm Based on Tensor Bytom Foundation Email: April 17, 2018 Abstract

Source URL: bytom.io

• Search algorithms
• Statistical randomness
• Matrix
• Probability distribution
• Hash function
• Bitcoin
• Scrypt
• Random variable
• Information retrieval
• Information science
• Cryptography

Lecture 20, Tues April 4: Shor, Quantum Fourier Transform Last time we started in on Shor’s algorithm, a quantum algorithm that can factor ​N​ into ​p​×​q​ in polynomial time by reducing the problem to per

Source URL: www.scottaaronson.com

• Mathematical analysis
• Mathematics
• Mathematical logic
• Set theory
• Operator theory
• Code
• Inner model theory
• Partial differential equations
• Complex analysis
• Omega-regular language
• Differential forms on a Riemann surface

Lecture 24, Tues April 18: Collision and Other Applications of Grover We’ve seen the application of Grover’s algorithm to searching game trees. Now let’s see another important application, to… The Collision Probl

Source URL: www.scottaaronson.com

• Computational complexity theory
• Theoretical computer science
• Theory of computation
• Complexity classes
• Quantum computing
• Quantum complexity theory
• Emerging technologies
• Quantum algorithm
• BQP
• PP
• P versus NP problem
• NP

Lecture 25, Thurs April 20: Hamiltonians Now we’ll move on to our second-to-last unit… Hamiltonians and the Adiabatic Algorithm We’ve seen how it’s an open question whether quantum computers can solve ​NP​-co

Source URL: www.scottaaronson.com

• Quantum mechanics
• Physics
• Theoretical physics
• Chemistry
• Mathematical formulation of quantum mechanics
• Quantum superposition
• Unitary transformation
• Quantum computing
• Hamiltonian
• Quantum algorithm
• Degenerate energy levels
• Schrdinger equation

SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

Source URL: seahorn.github.io

• Mathematics
• Symbol
• 120-cell
• Craig interpolation
• Computability theory
• Fiber bundles
• Differential topology

1 Poster: Zero-day Botnet Domain Generation Algorithm (DGA) Detection using Hidden Markov Models (HMMs) Yu Fu, Lu Yu, Richard Brooks Senior Member, IEEE

Source URL: www.ieee-security.org

• Botnets
• Computer network security
• Multi-agent systems
• Spamming
• Computing
• Cybercrime
• Concurrent computing
• Domain generation algorithm
• Srizbi botnet
• Hidden Markov model
• Cutwail botnet

Michigan Law Review Volume 115 | IssueThe Racist Algorithm?

Source URL: michiganlawreview.org

• Discrimination
• Human behavior
• Behavior
• Injustice
• Racial discrimination
• Employment discrimination
• Implicit stereotype
• Perma.cc
• Racism in the United States
• Racism
• Sexism
• Algorithm