J-invariant - PDFSEARCH.IO - Document Search Engine

J-invariant
Results: 114

#	Item
21	A Methodology for the Construction of Scheduled Systems K. Altisen, G. Goler, and J. Sifakis Abstract We study a methodology for constructing scheduled systems by restricting Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Control theory Invariant K1 Controllability State-space representation
22	61 Doc. Math. J. DMV Hopf-Bifurcation in Systems with Spherical Symmetry Part I : Invariant Tori Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-15 07:15:57 Symmetry Representation theory Group actions Lie groups Quadratic forms Invariant subspace Equivariant map Orthogonal group Symmetry in mathematics Induced representation
23	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
24	Interpreting Translation-Invariant Wavelet Shrinkage as A New Image Smoothing Scale Space Antonin Chambolle1 and Bradley J. Lucier2 (Senior Member, IEEE ) Abstract Coifman and Donoho suggested translation-invariant wavel Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2000-09-04 23:06:14 Operator theory Signal processing Timefrequency analysis Functional analysis Wavelets Contraction Heat equation Discrete wavelet transform Operator Limit Differential forms on a Riemann surface Linear temporal logic
25	J. Phys. A: Math. Gen–2885. Printed in the UK PII: S0305Quadratic relativistic invariant and metric form in quantum mechanics Add to Reading List Source URL: luth2.obspm.fr Language: English - Date: 2014-03-31 10:09:59
26	c 2010 Society for Industrial and Applied Mathematics SIAM J. APPLIED DYNAMICAL SYSTEMS Vol. 9, No. 2, pp. 611–633 Add to Reading List Source URL: georgehaller.com Language: English - Date: 2015-06-08 09:48:04 Dynamical systems Normally hyperbolic invariant manifold Slow manifold Invariant manifold Lyapunov exponent Manifold Decomposition of spectrum
27	Physica D–20 Pollution release tied to invariant manifolds: A case study for the coast of Florida Francois Lekiena,b,∗ , Chad Coulliettea,c , Arthur J. Marianod , Edward H. Ryand , Lynn K. Shayd , Georg Add to Reading List Source URL: georgehaller.com Language: English - Date: 2015-06-08 09:02:25
28	A Cut-Free and Invariant-Free Sequent Calculus for PLTL ? J. Gaintzarain1, M. Hermo1 , P. Lucio1 , M. Navarro1 , and F. Orejas2 1 2 Add to Reading List Source URL: www.sc.ehu.es Language: English - Date: 2007-06-15 06:00:24
29	J Stat Phys:801–812 DOIs10955x Numerical Solution of Dyson Brownian Motion and a Sampling Scheme for Invariant Matrix Ensembles Xingjie Helen Li · Govind Menon Add to Reading List Source URL: www.dam.brown.edu Language: English - Date: 2013-12-06 12:25:20 Algebra Mathematics Mathematical analysis Mathematical physics Matrix theory Linear algebra Stochastic processes Lvy processes Random matrix Eigenvalues and eigenvectors Brownian motion Matrix
30	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 Add to Reading List Source URL: geometry.stanford.edu Language: English - Date: 2004-06-29 16:33:46 Matrix theory Image segmentation Eigenvalues and eigenvectors Region growing Invariant Market segmentation 3D scanner Eigendecomposition of a matrix Differential geometry of surfaces