Planning Under Uncertainty with Temporally Extended Goals Alberto Camacho ∗ Department of Computer Science University of Toronto. Canada.

Source URL: icaps16.icaps-conference.org

• Finite automata
• Temporal logic
• Automated planning and scheduling
• Linear temporal logic
• Theoretical computer science
• Neuropsychology
• Computational complexity theory
• Model checking
• Deterministic finite automaton
• Finite-state machine
• Nondeterministic finite automaton
• Algorithm

HVLearn: Automated Black-box Analysis of Hostname Verification in SSL/TLS Implementations Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, and Suman Jana Department of Computer Science Columbia Univer

Source URL: www.ieee-security.org

• Cryptography
• Computing
• Internet
• Internet Standards
• Internet protocols
• Cryptographic protocols
• E-commerce
• Public-key cryptography
• Transport Layer Security
• Hostname
• X.509
• Public key certificate

Cambridge University Press2 - The Decline of the Death Penalty and the Discovery of Innocence Frank R. Baumgartner, Suzanna L. De Boef and Amber E. Boydstun Table of Contents More information

Source URL: assets.cambridge.org

Dissertation Abstract: Distributed Privacy-preserving Multi-agent Planning Andrea Bonisoli Univrsit`a degli Studi di Brescia Dipartimento di Ingegneria dell’Informazione Via Branze, Brescia (IT) andrea.bonis

Source URL: icaps16.icaps-conference.org

• Multi-agent systems
• Automated planning and scheduling
• Artificial intelligence
• Systems science
• Computing
• Multi-agent planning
• Planning Domain Definition Language
• Intelligent agent
• Agent-based model

Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit

Source URL: parallel.princeton.edu

• Linux-based devices
• Single-board computers
• Microcontrollers
• Computer architecture
• ARM architecture
• Classes of computers
• Computing
• Banana Pi
• UDOO

Google’s Ideological Echo Chamber How bias clouds our thinking about diversity and inclusion go/pc-considered-harmful James Damore - damore@ July 2017 Feel free to comment (they aren’t disabled, the doc may just be o

Source URL: assets.documentcloud.org

• Gender
• Human behavior
• Discrimination
• Culture
• Gender studies
• Gender equality
• Chauvinism
• Sexism in the United States
• Cognitive bias
• Unconscious bias training
• Google's Ideological Echo Chamber
• Gender role

Chapter 7 Election Day Voting

Source URL: www.butlercountyelections.org

• Elections
• Politics
• Voting
• Government
• Electronic voting
• Absentee ballot
• Provisional ballot
• Electronic pollbook
• Voter Identification laws
• Voting machine
• Voter registration
• Election official

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan ·

Source URL: cakeml.org

• Mathematical logic
• Mathematics
• Logic
• Logic in computer science
• Proof assistants
• Model theory
• Proof theory
• Foundations of mathematics
• ZermeloFraenkel set theory
• HOL
• Gdel's completeness theorem
• Gdel's incompleteness theorems

DOC Document

Source URL: mail.swisschamperu.org

SEND STUFF TO BATTALIONS OF RIOT POLICE WITH RUBBER BULLET KISSES – SEPTEMBER 2007 F.R.E.A.K. stage the Edinburgh TAA Ravers besiege This October the TAA concept travels north of the border to Edin

Source URL: www.randomartists.org

• Music
• Culture
• DIY culture
• Human behavior
• Teknival
• DSEI
• Free party
• Breakcore
• Trans Australia Airlines
• Night