COSC 544 Probabilistic Proof SystemsA First Succinct Argument Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Cryptography
• Complexity classes
• Computational complexity theory
• NP
• IP
• Commitment scheme
• Soundness
• P
• Certificate
• Cryptographic hash function
• Interactive proof system
• Non-interactive zero-knowledge proof

CAV 2007 19th International Conference on Computer-Aided Verification July 2007, Berlin, Germany SMT 2007:

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Logic in computer science
• Formal methods
• Mathematical logic
• Mathematics
• Electronic design automation
• NP-complete problems
• Constraint programming
• Boolean satisfiability problem
• Satisfiability modulo theories
• Horn clause
• Satisfiability

PDF Document

Source URL: web.mit.edu

Article Neural Representations of Emotion Are Organized around Abstract Event Features Highlights d

Source URL: saxelab.mit.edu

• Neuroscience
• Emotion
• Psychology
• Brain
• Neuropsychology
• Emotion perception
• Emotion classification
• Appraisal theory
• Affective neuroscience
• Theory of mind
• Affect
• Cognitive science

展览申请表 Application Form of Tsinghua University Art Museum 申请方信息 Applicant Information 展览名称 Exhibition name

Source URL: www.artmuseum.tsinghua.edu.cn

To: From: Subject: Jim Beam, Provost Carla Bradley, Dean (CCIS)

Source URL: www.ccs.neu.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Object-oriented programming languages
• Cross-platform software
• Scripting languages
• High-level programming languages
• Racket
• Type system
• OCaml
• JavaScript

Power Signatures of HighPerformance Computing Workloads Jacob Combs Jolie Nazor Rachelle Thysell Fabian Santiago

Source URL: rivoire.cs.sonoma.edu

• Hierarchical clustering
• Network analysis
• K-means clustering
• Dynamic time warping
• DBSCAN
• Applied mathematics
• Mathematics
• Theoretical computer science

Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract

Source URL: smt-workshop.cs.uiowa.edu

• Theoretical computer science
• Constraint programming
• Software engineering
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Solver
• Boolean satisfiability problem
• DPLL algorithm
• Constraint satisfaction problem

2016 IEEE Real-Time Systems Symposium On-Line Event-Driven Scheduling for Electric Vehicle Charging via Park-and-Charge 1

Source URL: wirelesslab.sjtu.edu.cn

doi:j.socnet

Source URL: fowler.ucsd.edu

• Sponsor
• Robert Byrd
• United States
• LGBT law in the United States
• LGBT rights in the United States
• West Virginia
• 111th United States Congress