Supplementary to Domain Generalization via Invariant Feature Representation Krikamol Muandet Max Planck Institute for Intelligent Systems Spemannstraße 38, 72076 T¨ ubingen, Germany

Source URL: krikamol.org

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical

Source URL: se.inf.ethz.ch

• Computing
• Software engineering
• Java platform
• Persistence
• Eiffel
• Object-oriented programming
• Db4o
• Attribute
• Java Platform
• Standard Edition
• Java version history
• Class invariant
• Constructor

Introduction to Focus Issue: Objective Detection of Coherent Structures T. Peacock, G. Froyland, and G. Haller Citation: Chaos 25, ); doi: View online: http://dx.doi.orgVi

Source URL: georgehaller.com

• Fluid dynamics
• Dynamical systems
• Physics
• Chaos theory
• Aerodynamics
• Mechanics
• Turbulence
• Lagrangian coherent structure
• Objectivity
• Lyapunov exponent
• Invariant manifold
• NavierStokes equations

Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus Daisuke Ishii1 , Guillaume Melquiond2 , and Shin Nakajima1 1 2

Source URL: www.lri.fr

• Formal methods
• Predicate transformer semantics
• Loop invariant
• Hoare logic
• State-space representation

CHAOS 21, Lagrangian coherent structures and the smallest finite-time Lyapunov exponent George Haller1 and Themistoklis Sapsis2 1

Source URL: georgehaller.com

• Fluid dynamics
• Dynamical systems
• Turbulence
• Mechanics
• Chaos theory
• Lagrangian coherent structure
• Physics
• Engineering
• Trajectory
• Thorn
• Attractor
• Invariant manifold

The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA Mathias Payer

Source URL: hexhive.github.io

• Software
• Computing
• Compiler optimizations
• Compiler construction
• Programming language implementation
• Undefined behavior
• Optimizing compiler
• Compiler
• Inline expansion
• Constant folding
• Loop-invariant code motion
• Program optimization

Learning hierarchical invariant spatio-temporal features for action recognition with independent subspace analysis Quoc V. Le, Will Y. Zou, Serena Y. Yeung, Andrew Y. Ng Computer Science Department and Department of Elec

Source URL: cs.stanford.edu

• Artificial neural networks
• Computational neuroscience
• Artificial intelligence
• Machine learning
• Applied mathematics
• Cybernetics
• Computer vision
• Convolutional neural network
• Deep learning
• Feature detection
• Feature learning
• Supervised learning

c 2010 Society for Industrial and Applied Mathematics  SIAM J. APPLIED DYNAMICAL SYSTEMS Vol. 9, No. 2, pp. 611–633

Source URL: georgehaller.com

• Dynamical systems
• Normally hyperbolic invariant manifold
• Slow manifold
• Invariant manifold
• Lyapunov exponent
• Manifold
• Decomposition of spectrum

Affine Invariant LCCs and LTCs Sivakanth Gopi Joint work with Arnab Bhattacharya (Indian Institute of Science) Error Correcting Code

Source URL: computationalcomplexity.org

EPJ Web of Conferences 112, ) DOI: epjconf  C Owned by the authors, published by EDP Sciences, 2016 The gauge-invariant canonical energy-momentum tensor

Source URL: www.epj-conferences.org