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

Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK

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

• Formal languages
• Mathematics
• Theoretical computer science
• Models of computation
• Discrete mathematics
• Nested word
• Words
• Bisimulation
• Distribution
• Deterministic pushdown automaton

The Alan Turing Institute SME Consultation Understanding the data science and artificial intelligence (AI) needs of UK SMEs The Alan Turing Institute has commenced work to better understand and engage with small and medi

Source URL: www.turing.ac.uk

• Economy
• Business
• Mathematics
• Alan Turing
• Small and medium-sized enterprises
• Gay men
• Artificial intelligence
• European Digital SME Alliance

High-speed high-security signatures Daniel J. Bernstein1 , Niels Duif2 , Tanja Lange2 , Peter Schwabe3 , and Bo-Yin Yang4 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA

Source URL: precision.moscito.org

• Cryptography
• Elliptic curve cryptography
• EdDSA
• Elliptic-curve cryptography
• Elliptic Curve Digital Signature Algorithm
• Curve25519
• Elliptic-curve DiffieHellman
• Digital signature
• Digital Signature Algorithm
• Daniel J. Bernstein
• Hash function
• Public-key cryptography

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

Source URL: db.cs.washington.edu

• Computing
• Data management
• Data
• Business intelligence
• Database management systems
• Technology forecasting
• Transaction processing
• Dan Suciu
• Big data
• Probabilistic database
• Data science
• Analytics

Publication list We list below the publications acknowledging Milyon. They are sorted by • Papers published in peer-reviewed journals extracted from Web of Science database and mentioning Milyon in the text. • Paper

Source URL: milyon.universite-lyon.fr

Internet Censorship in China: Where Does the Filtering Occur? Xueyang Xu, Z. Morley Mao, and J. Alex Halderman Department of Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor, MI 48

Source URL: web.eecs.umich.edu

• Computer network security
• Computing
• Firewall software
• Information and communications technology
• Computer security
• Data security
• Internet censorship in China
• Human rights in China
• Firewall
• Stateful firewall
• Internet censorship
• Router

Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International

Source URL: www.kestrel.edu

• Mathematical analysis
• Mathematics
• Abstract interpretation
• Function
• Exponential function
• Complex analysis
• Formal methods
• Centripetal CatmullRom spline

Learning Outcomes for the Master of Science in Psychology National Qualification Framework for Iceland Master of Science in Psychology at Reykjavik University The Master of Science (MSc) in Psychology at Reykjavík Unive

Source URL: en.ru.is

• Behavioural sciences
• Applied psychology
• Behavior
• Psychology
• Education
• Industrial and organizational psychology
• Activity theory
• Subfields of psychology