Virginia Department of Education Superintendent’s Regions Region 1 – Central Virginia

Source URL: doe.virginia.gov

• Virginia Democratic primary
• United States presidential election in Virginia

Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

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

NC DEPARTMENT OF THE SECRETARY OF STATE NORTH CAROLINA LOBBYING COMPLIANCE DIVISION COMPLAINT FORM Mail to: North Carolina Lobbying Compliance Division

Source URL: lobby.ncsbe.gov

• Political terminology
• Lobbying in the United States
• Lobbying
• Email
• Public sphere
• Culture
• Political philosophy

Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University

Source URL: www.cs.purdue.edu

• Mathematical logic
• Theoretical computer science
• Mathematics
• Formal methods
• Boolean algebra
• Temporal logic
• Edsger W. Dijkstra
• Predicate transformer semantics
• Model theory
• Hoare logic
• True quantified Boolean formula
• Linear temporal logic

Tenure Standards in Political Science Departments: Results from a Survey of Department Chairs

Source URL: www.saramitchell.org

• Education
• University governance
• Terminology
• Doctor of Philosophy
• Titles
• Political science
• Academic tenure
• Doctorate
• Academic freedom
• Graduate school
• Academic degree
• Academic tenure in North America

Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U

Source URL: zhang-sai.github.io

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Method
• High-level programming languages
• Functional languages
• Programming languages
• Inheritance
• Method overriding
• Factory
• Polymorphism

A Paged Domain Name System for Query Privacy Daniele E. Asoni, Samuel Hitz, and Adrian Perrig Network Security Group Department of Computer Science, ETH Zürich {daniele.asoni,samuel.hitz,adrian.perrig}@inf.ethz.ch

Source URL: www.netsec.ethz.ch

• Domain name system
• Internet
• Internet Standards
• Network architecture
• Computing
• Domain Name System Security Extensions
• Name server
• Domain name
• Root name server
• WHOIS
• Fully qualified domain name
• Second-level domain

Do Not Pay (DNP) Quick Reference Card Frequently Asked Questions What is OFAC? The Office of Foreign Assets Control of the Department of the Treasury is responsible for the administration and enforcement of economic and

Source URL: donotpay.treas.gov

• International sanctions
• Office of Foreign Assets Control
• Union of Good
• International relations
• IranUnited States relations
• Informal value transfer systems

Causal Commutative Arrows Hai (Paul) Liu, Eric Cheng, and Paul Hudak Computer Science Department Yale University The 14th ACM SIGPLAN ICFP 2009

Source URL: thev.net

ECM on Graphics Cards Daniel J. Bernstein1 , Tien-Ren Chen2 , Chen-Mou Cheng3 , Tanja Lange4 , and Bo-Yin Yang2 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA

Source URL: precision.moscito.org

• Video cards
• Computer architecture
• Computing
• Graphics hardware
• CUDA
• GeForce
• Graphics processing unit
• Nvidia
• GeForce 500 series
• GeForce 400 series