Differential invariants in nonclassical models of hydrodynamics

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants

2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2017.52 ◽

2017 ◽

Author(s):

Jie Liu ◽

Jing Liu ◽

Miaomiao Zhang ◽

Haiying Sun ◽

Xiaohong Chen ◽

...

Keyword(s):

Differential Invariants ◽

Proof Obligation ◽

Hybrid Event

Download Full-text

Differential invariants of immersions of manifolds with metric fields

Reports on Mathematical Physics ◽

10.1016/s0034-4877(03)80024-1 ◽

2003 ◽

Vol 51 (2-3) ◽

pp. 307-313 ◽

Cited By ~ 4

Author(s):

Pavla Musilová ◽

Demeter Krupka

Keyword(s):

Differential Invariants

Download Full-text

Projective differential invariants of a curve of a surface

Duke Mathematical Journal ◽

10.1215/s0012-7094-51-01862-5 ◽

1951 ◽

Vol 18 (3) ◽

pp. 697-705

Author(s):

P. O. Bell

Keyword(s):

Differential Invariants ◽

Projective Differential Invariants

Download Full-text

On symplectization of 1-jet space and differential invariants of point pseudogroup

Journal of Geometry and Physics ◽

10.1016/j.geomphys.2014.05.021 ◽

2014 ◽

Vol 85 ◽

pp. 81-87

Author(s):

Pavel Bibikov

Keyword(s):

Differential Invariants ◽

Jet Space

Download Full-text

Computing differential invariants of hybrid systems as fixedpoints

Formal Methods in System Design ◽

10.1007/s10703-009-0079-8 ◽

2009 ◽

Vol 35 (1) ◽

pp. 98-120 ◽

Cited By ~ 38

Author(s):

André Platzer ◽

Edmund M. Clarke

Keyword(s):

Hybrid Systems ◽

Differential Invariants

Download Full-text

A Comparison of Two Nonclassical Models for Oxygen Consumption in Brain and Liver Tissue

Oxygen Transport to Tissue — III - Advances in Experimental Medicine and Biology ◽

10.1007/978-1-4684-8890-6_31 ◽

1978 ◽

pp. 225-232 ◽

Cited By ~ 10

Author(s):

Donald G. Buerk ◽

Gerald M. Saidel

Keyword(s):

Oxygen Consumption ◽

Liver Tissue ◽

Nonclassical Models

Download Full-text

Differential Invariants and Realizations of the Deformed Smallest Galilei Algebra

Physics of Particles and Nuclei ◽

10.1134/s1063779618050301 ◽

2018 ◽

Vol 49 (5) ◽

pp. 949-951

Author(s):

M. Nesterenko ◽

S. Pošta

Keyword(s):

Differential Invariants ◽

Galilei Algebra

Download Full-text

Computation of Invariants and First Differential Invariants from the Transformation Equations

Applications of Lie's Theory of Ordinary and Partial Differential Equations ◽

10.1201/9781420050783.axd ◽

1998 ◽

Keyword(s):

Differential Invariants

Download Full-text

3D Face Recognition Using Joint Differential Invariants

Advances in Biometrics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01793-3_29 ◽

2009 ◽

pp. 279-288 ◽

Cited By ~ 10

Author(s):

Marinella Cadoni ◽

Manuele Bicego ◽

Enrico Grosso

Keyword(s):

Face Recognition ◽

Differential Invariants ◽

3D Face Recognition ◽

3D Face

Download Full-text

Matching Deformable Regions Using Local Histograms of Differential Invariants

Pattern Recognition and Image Analysis - Lecture Notes in Computer Science ◽

10.1007/11492429_31 ◽

2005 ◽

pp. 251-258 ◽

Cited By ~ 1

Author(s):

Nicolás Pérez de la Blanca ◽

José M. Fuertes ◽

Manuel J. Lucena

Keyword(s):

Differential Invariants

Download Full-text