Timothy Alden Davis Department Computer Science and Engineering Texas A&M University 3112 TAMU, College Station, Texasemail: web: http://faculty.cse.tamu.edu/davis

Source URL: faculty.cse.tamu.edu

STABLE HOMOLOGY VIA FUNCTOR HOMOLOGY CHRISTINE VESPA Abstract. This text is a preliminary version of material used for a course at the University of Copenhagen, part of ”Workshop and Masterclass on Homological stabilit

Source URL: irma.math.unistra.fr

• Algebra
• Abstract algebra
• Mathematics
• Homological algebra
• Hochschild homology
• Natural transformation
• Homology
• Universal coefficient theorem
• Symmetric group
• Functor
• Resolution
• Ring

Centrally Banked Cryptocurrencies George Danezis Sarah Meiklejohn University College London

Source URL: smeiklej.com

• Cryptocurrencies
• Economy
• Money
• Alternative currencies
• Finance
• Digital currencies
• Payment systems
• Bitcoin
• Blockchain
• Unspent transaction output
• Ethereum
• Ripple

Marina E. Henke Ph.D. Northwestern University Scott Hall, 601 University Pl., Evanston, IL, www.marinahenke.com

Source URL: www.marinahenke.com

• International relations
• Global politics
• United Nations peacekeeping
• Peacekeeping
• Structure
• Center on International Cooperation
• United Nations
• Common Security and Defence Policy
• Humanitarian intervention
• African Union

When Does the Public Care? Salience of Security Policy to the Public Caitlin McCulloch University of Maryland, College Park

Source URL: www.saramitchell.org

• Agenda-setting theory
• Framing
• News media
• Geography of Europe
• Neuroscience
• Salience
• Cognitive science
• Abkhazia

Practical Semantic Test Simplification Sai Zhang University of Washington, USA Abstract—We present a technique that simplifies tests at the

Source URL: zhang-sai.github.io

• Software testing
• Software development
• Software engineering
• Computing
• Debugging
• Program slicing
• Unit testing
• Test automation

A Unified Framework for Human-Robot Knowledge Transfer Nishant Shukla, Caiming Xiong and Song-Chun Zhu Center for Vision, Cognition, Learning and Autonomy University of California, Los Angeles, USA Abstract

Source URL: shukla.io

• Metaphysics
• Cybernetics
• Logic
• Computational neuroscience
• Human behavior
• Robotics
• Human communication
• Humanrobot interaction
• Multimodal interaction
• Image segmentation
• Artificial intelligence
• Knowledge

Panel on Research Challenges for Agent Verification ==================================================== The first speaker was Dr. Kerstin Eder from the University of Bristol and Bristol Robotics Lab.  She began by high

Source URL: cgi.csc.liv.ac.uk

• Formal methods
• Logic in computer science
• Systems engineering
• Software engineering
• Electronic engineering
• Theoretical computer science
• Electrical engineering
• Electronic design
• Formal verification
• Runtime verification
• Verification
• Integrated circuit design

Towards A Framework for Mobile Behavior Change Research Fabian Okeke Cornell Tech, Cornell University New York, New York

Source URL: destrin.smalldata.io

• Computing
• Technology
• Classes of computers
• Mobile computers
• Humancomputer interaction
• Cloud clients
• Smartphones
• Mobile phones
• Ubiquitous computing
• Persuasive technology
• Mobile app
• Wearable computer