A Declarative and Expressive Approach to Control Forwarding Paths in Carrier-Grade Networks – Public Review Ming Zhang Microsoft Research

Source URL: conferences.sigcomm.org

Condor: Better Topologies Through Declarative Design Brandon Schlinker1,2 , Radhika Niranjan Mysore1 , Sean Smith1 , Jeffrey C. Mogul1 , Amin Vahdat1 , Minlan Yu2 , Ethan Katz-Bassett2 , and Michael Rubin1 1 Google,

Source URL: conferences.sigcomm.org

W OLFE: An NLP-friendly Declarative Machine Learning Stack Sameer Singh† Tim Rockt¨aschel∗ Luke Hewitt∗ Jason Naradowsky∗ Sebastian Riedel∗ ∗

Source URL: sameersingh.org

DECLARATIVE SENSOR INTERFACE DESCRIPTORS FOR THE SENSOR WEB Arne Broering1,2 , Stefan Below1 and Theodor Foerster1 1 IfGI, University of Muenster, Germany, http://swsl.uni-muenster.de, (arneb, stefan.below, theodor.foers

Source URL: www.isprs.org

ECOLES ET CONSERVATOIRES DE MUSIQUE FICHE DÉCLARATIVE D’EFFECTIF POUR LE CALCUL DE LA REDEVANCE SEAM

Source URL: www.seamfrance.fr

fourteen declarative principles of experience-oriented intelligence 1. all goals and purposes can be well thought of as the maximization of the expected value of the cumulative sum of a single externally received number

Source URL: incompleteideas.net

• Educational psychology
• Computational neuroscience
• Futurology
• Prediction
• Scientific method
• Learning
• Temporal difference learning
• Scientific modelling
• Economic model
• Educational technology
• Predictive analytics
• Anticipation

FatTire: Declarative Fault Tolerance for Software-Defined Networks Mark Reitblatt Cornell University

Source URL: conferences.sigcomm.org

Reactive Vega: A Streaming Dataflow Architecture for Declarative Interactive Visualization Arvind Satyanarayan, Ryan Russell, Jane Hoffswell, and Jeffrey Heer Internal External

Source URL: idl.cs.washington.edu

Automating System Tests Using Declarative Virtual Machines Sander van der Burg Delft University of Technology Delft, The Netherlands Eelco Dolstra

Source URL: www.st.ewi.tudelft.nl

The Design and Implementation of a Declarative Sensor Network System David Chu∗, Lucian Popa∗, Arsalan Tavakoli∗, Joseph M. Hellerstein∗, Philip Levis†, Scott Shenker∗, Ion Stoica∗ ∗EECS Computer Science

Source URL: sing.stanford.edu

• FO
• Finite model theory
• NIP
• Keyword cipher
• Mathematics