A Refinement Approach to Visualization* Allen Goldberg Rafael Furst Cordell Green Kestrel Institute 3260 Hillview Ave

Source URL: www.kestrel.edu

• Computing
• Data types
• Software engineering
• Type theory
• Mathematics
• Rendering
• Const
• Record
• Integer
• Tagged union
• Tuple
• Type system

DASHTrails: An Approach for Modeling and Analysis of Distribution-Adapted Sequential Hypotheses and Trails Martin Atzmueller and Andreas Schmidt and Mark Kibanov University of Kassel, Research Center for Information Syst

Source URL: gdac.uqam.ca

• Design of experiments
• Statistics
• Probability and statistics
• Markov models
• Statistical theory
• Psychometrics
• Statistical hypothesis testing
• Graph theory
• Markov chain
• Bayesian inference
• Matrix
• Data transformation

Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient

Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com

• Air pollution
• Pollution
• Pollution in the United States
• Occupational safety and health
• Natural environment
• Pollution in China
• Air pollution in the United States

A New Approach to Interdomain Routing Based on Secure Multi-Party Computation Debayan Gupta∗, Aaron Segal∗, Aurojit Panda†, Gil Segev‡, Michael Schapira§, Joan Feigenbaum∗, Jennifer Rexford††, Scott Shenke

Source URL: people.eecs.berkeley.edu

• Computing
• Internet architecture
• Network architecture
• Information and communications technology
• Routing
• Computer networking
• Internet protocols
• Border Gateway Protocol
• IP routing
• Route reflector
• Open Shortest Path First
• Router

Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient

Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com

• Computing
• Data management
• Data
• Business intelligence
• Knowledge representation
• Web services
• Semantic Web
• Data transformation
• Ontotext
• OpenRefine
• Platform as a service
• Data cleansing

Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu

Source URL: rishabhmit.bitbucket.io

• Theoretical computer science
• Metaphysics
• Mathematical logic
• Temporal logic
• Computability theory
• Model theory
• Formal languages
• Finite-state machine
• Computation tree logic
• Abstraction
• Abstract interpretation
• IP

The Problem Our Approach Quantified Event Automata

Source URL: www.cs.man.ac.uk

• Ancient Greek technology
• Automation
• Automaton
• Robotics
• Formal methods
• Programming paradigms

A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Formal languages
• Logic in computer science
• Runtime verification
• Finite-state machine
• Geographic information system
• Regular expression
• Software engineering
• Computing

Motivation Overview Approach

Source URL: www.cs.purdue.edu

• Debugging
• Software bug
• Motivation
• Computer programming
• Artificial intelligence
• Technology
• Psychology
• Neuroscience

1:45 “Surgical Approach to the Hemophilia Patient” Gavin D. Roach, MD

Source URL: www.scaphon.org