Geosci. Model Dev., 8, 2967–2975, 2015 www.geosci-model-dev.netdoi:gmd © Author(sCC Attribution 3.0 License. Calculations of the integral invariant coordinates I and L∗ in

Source URL: www.geosci-model-dev.net

Extracting Frame Conditions from Operation Contracts

Source URL: www.db.informatik.uni-bremen.de

• Theoretical computer science
• Formal methods
• Software engineering
• Logic in computer science
• Postcondition
• Object Constraint Language
• Causality
• Statistics
• Statistical hypothesis testing
• Invariant

Eurographics Symposium on Geometry ProcessingR. Scopigno, D. Zorin, (Editors) Shape Segmentation Using Local Slippage Analysis Natasha Gelfand and Leonidas J. Guibas Computer Graphics Laboratory, Stanford Univers

Source URL: geometry.stanford.edu

• Matrix theory
• Image segmentation
• Eigenvalues and eigenvectors
• Region growing
• Invariant
• Market segmentation
• 3D scanner
• Eigendecomposition of a matrix
• Differential geometry of surfaces

New affine-invariant codes from lifting Alan Guo∗ Swastik Kopparty †

Source URL: arxiv.org

Model Checking Invariant Security Properties in OpenFlow Sooel Son University of Texas at Austin Seungwon Shin Vinod Yegneswaran

Source URL: faculty.cs.tamu.edu

• Mathematics
• Field theory
• Limit of a function
• Mathematical analysis
• Expected value
• Valuation
• Flow
• Obfuscation
• Word square

Translation Invariant Word Embeddings Matt Gardner∗ Carnegie Mellon University Kejun Huang∗

Source URL: talukdar.net

Scale-Invariant Volume Rendering Martin Kraus∗ (a) (b)

Source URL: wwwvis.informatik.uni-stuttgart.de

Degree zero DT invariants and Behrend function Summer termThe topic of the seminar is this formula X n

Source URL: www.math.uni-bonn.de

• Algebraic geometry
• String theory
• Algebraic topology
• Symplectic topology
• Differential topology
• DonaldsonThomas theory
• Behrend function
• GromovWitten invariant
• Cohomology
• Cobordism
• Euler characteristic

Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs Colas Le Guernic∗ ´ Ecole Normale Sup´erieure

Source URL: www-verimag.imag.fr