and contemporary art collection. The museum features outstanding special exhibitions, a wide variety of educational programs, and an interactive, family-oriented Experiencenter. The museum’s Italian Renaissanceinspired

Source URL: wexarts.org

• Coke Studio
• National Taiwan Museum of Fine Arts
• Collier County Public Library

Under consideration for publication in Formal Aspects of Computing Maximally Concurrent Programs 1

Source URL: rjoshi.org

• Lie algebras
• Lie groups
• Circuit complexity
• NC
• Constructible universe
• Homogeneous spaces
• Mathematics
• Hopf decomposition

Computer Science Curricula 2013 Curriculum Guidelines for Undergraduate Degree Programs in Computer Science December 20, 2013

Source URL: www.acm.org

• Computer science
• Computing
• Electromagnetism
• Association for Computing Machinery
• IEEE Computer Society
• Software engineering
• Computer
• Fellows of the American Association for the Advancement of Science
• ACM SIGARCH
• Peter J. Denning

CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs

Source URL: www.ccs.neu.edu

Protecting Workers Abroad and Industries at Home: Rights-Based Conditionality in Trade Preference Programs Supplemental Materials

Source URL: laynamosley.web.unc.edu

• Frequency modulation
• Russian people
• Ethnic groups in Russia
• United States presidential election in Georgia

Deterministic Execution for Arbitrary Multithreaded Programs

Source URL: homes.cs.washington.edu

• Metaphysics
• Computer programming
• Computing
• Parallel computing
• Causality
• Determinism
• Philosophy of science
• Randomness
• Atom
• Thread
• Concurrency
• Pin

Use Privacy in Data-Driven Systems Theory and Experiments with Machine Learnt Programs Anupam Datta CMU

Source URL: www.ieee-security.org

• Computing
• Data security
• Computer security
• Internet privacy
• Digital rights
• Human rights
• Terms of service
• Law
• Privacy
• Information privacy
• Information security
• Proxy

2016 SBST Project Abstracts SBST seeks, where feasible and cost-effective, to implement applications of behavioral insights to Federal policies and programs as demonstration projects, in order to generate evidence about

Source URL: sbst.gov

• Federal Retirement Thrift Investment Board
• Civil service in the United States
• Thrift Savings Plan
• Economy of the United States
• Finance
• Defense Finance and Accounting Service
• Economy

Toward a Theory of Maximally Concurrent Programs ∗ [Shortened Version] Rajeev Joshi Jayadev Misra

Source URL: rjoshi.org

• Algebra
• Mathematics
• Mathematical analysis
• Functional analysis
• Linear algebra
• Projection
• Constructible universe
• Lie algebras
• Lie groups

COSC 544 Probabilistic Proof SystemsTurning Computer Programs Into Circuits (Part 2) Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Cryptography
• Computational complexity theory
• Complexity classes
• NP-complete problems
• NP
• IP
• Proof of secure erasure
• Certificate
• Circuit satisfiability problem
• Commitment scheme
• Witness
• Proof of knowledge