CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Thomas Wilson March 30, 2016 The Board will con

Source URL: clark.ohioboe.com

CLARK COUNTY BOARD OF ELECTIONS Board Members  Lynda Smith, Chairperson  Ted A. McClenen  Max Cordle  David Hartley Director  Thomas Wilson Deputy Director  Jason Baker February 25, 2016 The Board will

Source URL: clark.ohioboe.com

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Thomas Wilson March 11, 2016 The Board will be

Source URL: clark.ohioboe.com

Meltdown: Reading Kernel Memory from User Space Moritz Lipp1 , Michael Schwarz1 , Daniel Gruss1 , Thomas Prescher2 , Werner Haas2 , Anders Fogh3 , Jann Horn4 , Stefan Mangard1 , Paul Kocher5 , Daniel Genkin6,9 , Yuval Ya

Source URL: mlq.me

• Computer architecture
• Computing
• Computer hardware
• Central processing unit
• X86 architecture
• Computer memory
• Side-channel attacks
• Virtual memory
• Translation lookaside buffer
• CPU cache
• Meltdown
• Spectre

A MODEL FOR FRAMED CONFIGURATION SPACES OF POINTS RICARDO CAMPOS, JULIEN DUCOULOMBIER, NAJIB IDRISSI, AND THOMAS WILLWACHER Abstract. We study configuration spaces of framed points on compact manifolds. Such configuratio

Source URL: idrissi.eu

• Algebra
• Mathematics
• Topology
• Homotopy theory
• Algebraic topology
• Abstract algebra
• Category theory
• Homological algebra
• Operad theory
• Homotopy category
• Rational homotopy theory
• Homotopy

Better Answers to Real Questions Thomas Sturm, Joint Work with M. Košta and A. Dolzmann SMT 2014, Vienna, 18 Julyhttp://www.mpi-inf.mpg.de/~sturm/

Source URL: smt2014.it.uu.se

Organising Monkeys or How to Run a Hacking Club Andreea-Ina Radu, Sam L. Thomas School of Computer Science University of Birmingham Email: {A.I.Radu, S.L.Thomas}@cs.bham.ac.uk Abstract—We describe the organisation of t

Source URL: afnom.net

• Computing
• Hacking
• Human behavior
• Information and communications technology
• Telephone tapping
• Computer programming
• Hacker
• Internet security
• Wargame
• Security hacker

Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2

Source URL: repository.ist.ac.at

• Mathematics
• Geometry
• Algebra
• Analytic geometry
• Linear algebra
• Algebraic curves
• Cone
• Surfaces
• Conic section
• Convex cone
• Line
• Hybrid system

Behavioral Non-portability in Scientific Numeric Computing Yijia Gu1(B) , Thomas Wahl1 , Mahsa Bayati2(B) , and Miriam Leeser2 1 2

Source URL: www.ccs.neu.edu

• Theoretical computer science
• Theory of computation
• Computer programming
• Mathematics
• Computability theory
• Digital signal processing
• Computer arithmetic
• Algorithm
• Mathematical logic
• Recursion
• Multiplyaccumulate operation
• Time complexity

Automatically Composing Representation Transformations as a Means for Generalization Michael Chang 1 Abhishek Gupta 1 Sergey Levine 1 Thomas L. Griffiths 1 Abstract

Source URL: arxiv.org

• Applied mathematics
• Mathematics
• Artificial intelligence
• Computational neuroscience
• Artificial neural networks
• Theoretical computer science
• Machine learning
• Cybernetics
• Deep learning
• Recurrent neural network
• Feature learning
• Recursion