Invariant - PDFSEARCH.IO - Document Search Engine

Invariant
Results: 1457

#	Item
201	SPECIAL SESSIONSpecial Session 10: Computational and Nonautonomous Dynamics Michael Dellnitz, University of Paderborn, Germany Add to Reading List Source URL: www.aimsciences.org Language: English - Date: 2012-06-23 07:34:26 Dynamical systems Lyapunov exponent Lagrangian coherent structure Chaos theory Attractor Ergodic theory Homoclinic orbit Stability theory Heteroclinic orbit Invariant manifold
202	165 Documenta Math. The Zassenhaus Decomposition for the Orthogonal Group: Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2001-11-30 08:08:47 Representation theory Operator theory Algebraic groups Invariant subspace Linear algebra Spinor Unipotent Substitution Orbifold
203	Position Interpolation using Feature Point Scale for Decimeter Visual Localization David Wong, Daisuke Deguchi, Ichiro Ide, Hiroshi Murase Graduate School of Information Science, Nagoya University Furo-cho, Chikusa-ku, N Add to Reading List Source URL: www.murase.m.is.nagoya-u.ac.jp Language: English - Date: 2016-03-22 02:21:57 Feature detection Scale-invariant feature transform Speeded up robust features Feature Image registration Corner detection Simultaneous localization and mapping Triangulation Maximally stable extremal regions Outline of object recognition Bag-of-words model in computer vision
204	Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-07-02 20:30:42 Formal methods MapReduce Loop invariant Postcondition Apache Hadoop Control flow Hoare logic Generator Predicate transformer semantics KeY Infinite loop Const
205	On the geometry of the f -invariant Hanno von Bodecker∗ Abstract The f -invariant is a higher version of the e-invariant that takes values in the divided congruences between modular forms; it can be Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2008-08-22 05:10:38 Characteristic classes Differential geometry Algebraic topology Differential topology Chern class ChernWeil homomorphism AtiyahSinger index theorem Thom space Cobordism Vector bundle Manifold Fiber bundle
206	Initial data sets for the Schwarzschild spacetime Alfonso Garc´ıa-Parrado G´omez-Lobo and Juan A. Valiente Kroon Santiago de Compostela 6th February 2007 Overview • A local invariant characterization of Schwarzschil Add to Reading List Source URL: xtsunxet.usc.es Language: English - Date: 2007-03-09 06:05:20 Riemannian geometry Differential geometry Tensors Differential topology Curvature Ricci curvature Riemannian manifold Differential geometry of surfaces Metric tensor Foliation Vector field Schwarzschild coordinates
207	171 Documenta Math. Power Reductivity over an Arbitrary Base ` Andr´ Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-06-21 15:52:28 Ring theory Algebraic structures Lie algebras Module theory Invariant theory Integral element Ring Algebraic K-theory Weight Fixed-point subring Torsion Harish-Chandra isomorphism
208	An Integrated Approach to High Integrity Software Verification Andrew Ireland1 , Bill J. Ellis1 , Andrew Cook1 , Roderick Chapman2 , Janet Barnes2 1 Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2006-05-16 11:38:59 Formal methods Automated theorem proving Theoretical computer science Logic in computer science SPARK Loop invariant Mathematical proof Automated reasoning Verification condition generator Formal verification Correctness Conjecture
209	Simons collaboration on Homological Mirror symmetry Conference Program Friday, May 6 9:45-10:45am Si Li, Tsinghua University Title: “Quantum master equation, chiral algebra, and integrability” Add to Reading List Source URL: cmsa.fas.harvard.edu Language: English - Date: 2016-05-09 11:57:06 String theory Symplectic topology Algebraic geometry Symplectic geometry Hamiltonian mechanics Fukaya category Homological mirror symmetry Quantum cohomology GromovWitten invariant Mirror symmetry Symplectomorphism Topological quantum field theory
210	Automated Verification of Functional Correctness of Race-Free GPU Programs Kensuke Kojima1,2 , Akifumi Imanishi1 , and Atsushi Igarashi1,2 1 Kyoto University, Japan Add to Reading List Source URL: www.fos.kuis.kyoto-u.ac.jp Language: English - Date: 2016-06-02 20:40:01 Formal methods Parallel computing Control flow Loop invariant Thread General-purpose computing on graphics processing units Invariant

UPDATE