R E P O RT R E P R I N T Big data, machine learning shape performance-monitoring developments N A NCY GOHR ING

Source URL: www.datadoghq.com

• Information technology
• Computing
• System administration
• Big data
• Business intelligence
• Performance management
• Application software
• IT operations analytics
• Analytics
• Sumo Logic
• Datadog
• Splunk

Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?

Source URL: www.isse.uni-augsburg.de

• Logic
• Mathematical logic
• Linguistics
• Predicate logic
• Knowledge representation
• Tree
• FO
• Predicate transformer semantics
• Substitution
• B-tree
• Symbol
• Control

The Shape Of Music To Come: Organizational, Ideational, And Creative Change In The North American Music Industry, by Kimberly Elizabeth de Laat

Source URL: tspace.library.utoronto.ca

• Metaphysics
• Human behavior
• Learning
• Organizational studies
• Cognition
• Creativity
• Educational psychology
• Innovation
• Sociology
• Music
• Organizational behavior

Haptic SLAM: an ideal observer model for Bayesian inference of object shape and hand pose from contact dynamics Feryal M. P. Behbahani1 , Guillem Singla–Buxarrais2 and A. Aldo Faisal1,2,3 1

Source URL: spiral.imperial.ac.uk

• Humancomputer interaction
• Artificial intelligence
• Robot control
• Virtual reality
• Multimodal interaction
• Video game controllers
• Robot navigation
• Haptic technology
• Haptic perception
• Simultaneous localization and mapping
• Occupancy grid mapping
• Kalman filter

Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨

Source URL: www.microsoft.com

• Formal languages
• Tree
• Heap
• Binary tree
• Context-free grammar
• Computing
• Software engineering
• Mathematics
• Regular tree grammar

PDF Document

Source URL: shape.att.com

PDF Document

Source URL: shape.stanford.edu

PDF Document

Source URL: shape.stanford.edu

PDF Document

Source URL: shape.stanford.edu

PDF Document

Source URL: shape.stanford.edu