CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees Thomas Bauereiß∗ , Armando Pesenti Gritti† , Andrei Popescu‡§ , Franco Raimondi‡ ∗ German Research Center for A

Source URL: www.ieee-security.org

Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

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

• Artificial neural networks
• Mathematics
• Computational neuroscience
• Applied mathematics
• Mathematical analysis
• Lipschitz continuity
• operator
• Continuous function
• Gradient descent
• Convolutional neural network
• Rectifier
• Deep learning

Checklist for applications for ordinary internet domain names with a .swiss ending A customer advisory service for the internet ending .swiss is incumbent on accredited registrars or resellers which are listed at www.nic

Source URL: dot.swiss

• Domain name system
• Country code top-level domains
• Internet
• WHOIS
• Domain name
• Domain name registrar
• Domain name warehousing

EXPERT PREDICTS EVERY DAY TRENDS THAT WON’T EXIST IN THE FUTURE Trends expert Jacqui Ma works with BACARDÍ® rum and Lonely Whale to look at the obscure trends that haven’t made it to 2018 and reveals the things she

Source URL: d3bbd6es2y3ctk.cloudfront.net

• Bacardi
• Food and drink
• Rums
• Distilleries
• Drinking straw
• Santiago de Cuba
• Geography of Cuba
• Whale
• Plastic
• Daiquir

6 OctoberIPCC SR1.5 Changes to the Underlying Scientific-Technical Assessment to ensure consistency with the approved Summary for Policymakers

Source URL: report.ipcc.ch

• Climate change
• Physical geography
• Intergovernmental Panel on Climate Change
• United Nations Environment Programme
• World Meteorological Organization
• IPCC Fifth Assessment Report
• Global warming
• Reasons for concern
• IPCC Third Assessment Report
• IPCC Second Assessment Report
• IPCC Summary for Policymakers
• Extreme weather

Efficient Traffic Routing with Progress Guarantees Stefan Blumer Manuel Eichelberger Roger Wattenhofer

Source URL: www.tik.ee.ethz.ch

• Routing algorithms
• Edsger W. Dijkstra
• Mathematics
• Game artificial intelligence
• Combinatorial optimization
• Search algorithms
• Computing
• Applied mathematics
• Pathfinding
• Shortest path problem
• Deadlock
• Routing

A mixed-methods framework for analyzing text data: Integrating computational techniques with qualitative methods in demography

Source URL: www.demographic-research.org

• Social research
• Science
• Research
• Qualitative research
• Scientific method
• Research methods
• Multimethodology
• Qualitative
• Coding
• Atlas.ti
• Participant observation
• NVivo

MB Type One-Person Font License (1) This license covers one person: you, the license owner. Below, I’ll shorten this to “you.” (2) I, Matthew Butterick (d/b/a MB Type), own the fonts delivered with this license. Be

Source URL: typographyforlawyers.com

• Digital typography
• Typography
• Typesetting
• Writing
• Web design
• Web typography
• World Wide Web
• Digital media
• Graphic design
• Font
• Google Fonts
• TrueType

Extended Abstract: Risk-Sensitive Planning with Dynamic Uncertainty Liana Marinescu Department of Informatics, King’s College London

Source URL: icaps16.icaps-conference.org

• Probability and statistics
• Mathematical analysis
• Probability theory
• Measurement
• Automated planning and scheduling
• Planning Domain Definition Language
• Confidence interval
• Heuristic
• Normal distribution
• Uncertainty

Thinking Fast and Slow with Deep Learning and Tree Search Thomas Anthony1, , Zheng Tian1 , and David Barber1,2 arXiv:1705.08439v4 [cs.AI] 3 Dec 2017

Source URL: arxiv.org

• Artificial intelligence
• Applied mathematics
• Learning
• Machine learning
• Computational neuroscience
• Artificial neural networks
• Computational statistics
• Monte Carlo tree search
• Convolutional neural network
• Reinforcement learning
• Q-learning
• Structured prediction