Sociology and the Problems of Problem Gambling Research: Connecting private troubles to public issues by Mark Jacob van der Maas

Source URL: tspace.library.utoronto.ca

• Human behavior
• Behavioral addiction
• Problem gambling
• Psychiatric diagnosis
• Entertainment
• Neuropsychology
• Gambling
• Sociology
• Casino
• Problem solving

F ORESHADOW: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution Jo Van Bulck1 , Marina Minkin2 , Ofir Weisse3 , Daniel Genkin3 , Baris Kasikci3 , Frank Piessens1 , Mark Silberstein2 , Thom

Source URL: foreshadowattack.eu

• Computer architecture
• Computing
• Computer hardware
• Computer memory
• Cache
• Computer security
• X86 architecture
• Central processing unit
• Software Guard Extensions
• Meltdown
• CPU cache
• Spectre

June 19, 2018 The Honorable Richard Burr, Chair The Honorable Mark Warner, Ranking Member U.S. Senate Select Committee on Intelligence 211 Hart Senate Office Building Washington, DC 20510

Source URL: www.epic.org

• Foreign electoral intervention
• Government
• Russian interference in the 2016 United States elections
• Politics
• Security engineering
• Cybercrime
• National security
• Cyberwarfare
• Marc Rotenberg
• Federal Bureau of Investigation
• Electronic Privacy Information Center
• Computer security

Please get your country to ratify the Marrakech Treaty Use this bookmark to mark your spot in a book which is probably not accessible to 500 million

Source URL: www.worldblindunion.org

7 Implementation of the C++ API for Batch BLAS Ahmad Abdelfattah Mark Gates

Source URL: www.icl.utk.edu

• C++
• Computer programming
• Software engineering
• Computing
• Basic Linear Algebra Subprograms
• Const
• Typedef
• C++ string handling
• Exec
• Math Kernel Library

Automated Quantitative Software Verification by Mark Kattenbelt A thesis submitted for the degree of

Source URL: qav.comlab.ox.ac.uk

• Model checkers
• Model checking
• Abstraction
• Mathematical proof
• Economic model
• Verification
• Theoretical computer science
• Formal methods
• Cognitive science
• Computing
• PRISM model checker
• Construction and Analysis of Distributed Processes

An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support the

Source URL: qav.comlab.ox.ac.uk

• Theoretical computer science
• Formal methods
• Computing
• Mathematics
• Logic in computer science
• Graph rewriting
• Model checking
• Algorithm
• Formal verification
• Abstraction
• Generic programming
• Finite-state machine

Challenge: Recombinant Computing and the Speakeasy Approach W. Keith Edwards, Mark W. Newman, Jana Sedivy, Trevor Smith Shahram Izadi

Source URL: trevor.smith.name

• Computing
• Object-oriented programming
• Software engineering
• Computer programming
• Inter-process communication
• Component-based software engineering
• ISO standards
• Web services
• Interface
• User interface
• Communication protocol
• Loose coupling

The C/C++ Memory Model: Overview and Formalization Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell

Source URL: user.it.uu.se

• Computing
• Software engineering
• Concurrent computing
• Concurrency control
• C++
• Parallel computing
• Transaction processing
• Concurrency
• Linearizability
• C++11
• Thread
• POSIX Threads

Low-Latency Routing on Mesh-Like Backbones Nikola Gvozdiev, Stefano Vissicchio, Brad Karp, Mark Handley University College London (UCL) A BSTRACT Early in in the Internet’s history, routing within a single

Source URL: www0.cs.ucl.ac.uk

• Routing protocols
• Computing
• Network architecture
• Information and communications technology
• Internet protocols
• Internet Standards
• Routing algorithms
• Internet architecture
• Routing
• Computer network
• Open Shortest Path First
• Distance-vector routing protocol