The Complexity of Zero Knowledge Salil Vadhan∗ School of Engineering and Applied Sciences Harvard University Cambridge, MA 02138

Source URL: people.seas.harvard.edu

• Cryptography
• Computational complexity theory
• Complexity classes
• Interactive proof system
• Zero-knowledge proof
• NP
• Probabilistically checkable proof
• IP
• Soundness
• Commitment scheme
• NEXPTIME
• P versus NP problem

A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

Source URL: www.cs.man.ac.uk

• I1
• Garbage collection

Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University

Source URL: tlt2017.di.unito.it

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Operational semantics
• Semantics
• International Colloquium on Automata
• Languages and Programming
• Nominal
• Process calculi

Samara Klar August 2018 EMPLOYMENT University of Arizona Tucson, AZ Associate Professor with Tenure, School of Government and Public Policy (July 2018-Present)

Source URL: samaraklar.com

• Political science
• Political philosophy
• Politics
• Samara
• Samara Governorate
• Benjamin Page
• Independent voter
• Experimental political science
• Polarization
• Western Political Science Association
• American Political Science Association
• World Association for Public Opinion Research

Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi

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

• Mathematics
• Temporal logic
• Mathematical analysis
• Mathematical logic
• Formal languages
• Model theory
• Generalized functions
• Computation tree logic
• Logic in computer science
• Linear temporal logic
• Interpretation
• IP

Velocity-based Storage and Stowage Decisions in a Semiautomated Fulfillment System by Rong Yuan Submitted to the Sloan School of Management on July 19, 2016 in partial fulfillment of the requirements for the degree of Do

Source URL: web.mit.edu

• Automated storage and retrieval system
• Library automation
• Warehouses
• Inventory
• Business
• Web storage
• Computer data storage
• Gun pod
• Stowage
• POD
• Economy

Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr

Source URL: users.cecs.anu.edu.au

• Mathematics
• Heuristics
• Edsger W. Dijkstra
• Automated planning and scheduling
• Mathematical optimization
• Shortest path problem
• Admissible heuristic
• Search algorithm
• Methodology
• Algorithm
• Cognition

Energy Impact Grant Announcement September 27, The Board of University and School Lands (Board) announces a contingency grant available to oil and gas development-impacted political subdivisions including cities,

Source URL: land.nd.gov

Computer-based Trading, Institutional Investors and Treasury Bond Returns Xiaoquan Liu University Business School, Ningbo Ingrid Lo

Source URL: www.hkimr.org

• Economy
• Finance
• Money
• Financial markets
• Mathematical finance
• Capitalism
• Stock market
• Short
• CBT
• Beta
• Bond

PNCOIRank: Evaluating the Impact of Scholarly Articles with Positive and Negative Citations Xiaomei Bai, Jun Zhang, Hai Cui, Zhaolong Ning and Feng Xia School of Software, Dalian University of Technology, Dalian,

Source URL: gdac.uqam.ca

• Reference
• Information science
• Mathematical analysis
• Google Search
• PageRank
• Reputation management
• Search engine optimization
• Knowledge
• Citation network
• Citation
• Cai Gao
• Pi