A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst

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

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Formal methods
• Logic in computer science
• Runtime verification
• Pointcut
• Formal verification
• Join point
• Instrumentation

Qlose: Program Repair with Quantitative Objectives⋆ Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison

Source URL: rishabhmit.bitbucket.io

• Computing
• Computer programming
• Software engineering
• Source code
• Syntax
• Dependency grammar
• Expr
• NC
• For loop
• Term

Bourbaki seminar. VolumeExposés 1059–1073. With an author index fromtoSéminaire Bourbaki. VolumeExposés 1059–1073. Avec  table par noms d’auteurs de à 2012/1

Source URL: jgrivaux.perso.math.cnrs.fr

• Zbl
• Askold Khovanskii
• Fiz
• Mathematics

Chapter 1 Small Business Innovation Research Matching Program Section 1. Authority. The Wyoming Business Council, pursuant to Wyoming Statute § d), is required to promulgate such rules as are necessary to admin

Source URL: wyomingbusiness.org

• Small Business Administration
• Small Business Innovation Research
• Wyoming Business Council

PROLONGEMENT DES FONCTIONS CONVEXES YVES DE CORNULIER ET ROMAIN TESSERA 1 Dans tout ce papier, C d´esignera un convexe ouvert non vide d’un espace vectoriel r´eel de dimension d, et K = C est son adh´erence.

Source URL: www.normalesup.org

Publ. RIMS Kyoto Univ), 457–476 DOIPRIMS/140 La Construction d’Abbes et Saito pour les Connexions Méromorphes : Aspect Formel en Dimension 1

Source URL: jbteyssier.com

Supplementary Material: The Emergence of Organizing Structure in Conceptual Representation Brenden M. Lake,1,2 Neil D. Lawrence,3 Joshua B. Tenenbaum,4,

Source URL: cims.nyu.edu

• K-means clustering
• Cluster analysis
• Belief propagation

Figure 1: How to get to Hello Monkey. The dinner of the ARCADE workshop will be held in the restaurant Hello Monkey (http:// hellomonkey.net/magasinsgatan). Its address is Magasinsgatan 26 (D). The most direct way to get

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

Matrices, d´eterminants S2 Math´ematiques G´en´erales 1 11MM21 Les notes qui suivent sont tr`es largement inspir´ees des sites : http://uel.unisciel.fr/mathematiques/calculmat1/calculmat1/co/calculmat1.html

Source URL: math.univ-bpclermont.fr

D REAM C ODER: Bootstrapping Domain-Specific Languages for Neurally-Guided Bayesian Program Learning Kevin Ellis 1 Lucas Morales 1 Mathias Sabl´e Meyer 1 Armando Solar-Lezama 1 Joshua B. TenenbaumIntroduction

Source URL: uclmr.github.io

• Computational neuroscience
• Software engineering
• Applied mathematics
• Computing
• Domain-specific language
• Artificial neural network
• Neural network
• Algorithm
• Fold
• Generative model
• Convolutional neural network