SUPPLEMENTARY INFORMATION doi:nature23018 Supplementary Table 1: Summary of dataset statistics for the 46 countries with more than 1000 subjects (693,806 subjects in total; Methods). Countries are ordered by num

Source URL: activityinequality.stanford.edu

Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1 , Peter Pepper2 , and Douglas R. Smith1 1 2

Source URL: www.kestrel.edu

• Computing
• Memory management
• Knowledge representation
• Mutator
• Garbage collection
• Garbage
• Connectivity
• Tree
• Tracing garbage collection

Deep Drone Racing: Learning Agile Flight in Dynamic Environments Elia Kaufmann1∗, Antonio Loquercio1∗, Ren´e Ranftl2 , Alexey Dosovitskiy2 , Vladlen Koltun2 , Davide Scaramuzza1 1 Robotics and Perception Group Depts

Source URL: rpg.ifi.uzh.ch

• Robotics
• Emerging technologies
• Technology
• Applied mathematics
• Computational neuroscience
• Artificial intelligence
• Cybernetics
• Trajectory optimization
• Unmanned aerial vehicle
• Quadcopter
• Artificial neural network
• Self-driving car

Experimental Biological Protocols with Formal Semantics Alessandro Abate2 , Luca Cardelli1,2 , Marta Kwiatkowska2 , Luca Laurenti2 , and Boyan Yordanov1 1

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

• Mathematics
• Mathematical analysis
• Theoretical computer science
• Distribution
• Functional analysis
• Substitution
• Denotational semantics
• Markov chain

fch_finanzplatz-ch-brosch_titel_1.1

Source URL: www.fuw.ch

Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2

Source URL: pages.di.unipi.it

• Probabilistic CTL
• Temporal logic
• Markov chain

A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research

Source URL: csl.sri.com

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Logic in computer science
• Automated theorem proving
• NP-complete problems
• Electronic design automation
• Formal methods
• Conflict-driven clause learning
• Boolean satisfiability problem
• Clause
• Unit propagation

19495_DCCo_DRHE_HomelessFamilies_May_V1.1

Source URL: www.homelessdublin.ie

• Geography of Europe
• Homelessness
• Housing
• Humanitarian aid
• Poverty
• Socioeconomics
• Dublin
• Geography of Ireland
• Culture

To appear in ACM TOGSupplemental Material for VizGen: Accelerating Visual Computing Prototypes in Dynamic Languages Yuting Yang1 1

Source URL: www.connellybarnes.com

• Computer programming
• Computing
• Software engineering
• Cross-platform software
• High-level programming languages
• Programming languages
• Object-oriented programming languages
• Python
• Compiler
• Microsoft Visual C++
• 64-bit computing

Global Warming of 1.5 °C an IPCC special report on the impacts of global warming of 1.5 °C above pre-industrial levels and related global greenhouse gas emission pathways, in the context of strengthening the global res

Source URL: report.ipcc.ch

• Foreign relations
• Law
• Government
• Climate change policy
• Climate change
• Climate forcing agents
• Climate history
• Global warming
• Climate change mitigation
• Paris Agreement
• Intergovernmental Panel on Climate Change
• IPCC Third Assessment Report