m

F Nous contacter

0

Documents  37D45 | enregistrements trouvés : 35

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 294 p.
ISBN 978-0-8218-0326-4

Fields institute communications , 0004

Localisation : Collection 1er étage

système dynamique # forme normale # homocline # chaos # système hamiltonien # solution périodique # comportement chaotique # symétrie # cycle homocline # équation différentielle ordinaire

37-06 ; 58-06 ; 37G05 ; 37D45

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xv; 340 p.
ISBN 978-0-8218-4286-7

Contemporary mathematics , 0469

Localisation : Collection 1er étage

système dynamique # méthode probabiliste # géométrie riemannienne # biologie # dynamique symbolique # dynamique stochastique # dynamique aléatoire

37D20 ; 37D25 ; 37D40 ; 37D45 ; 37E05 ; 37H10 ; 37C85 ; 60G07 ; 70H05 ; 37-06 ; 00B25 ; 34-06

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xxii; 266 p.
ISBN 978-2-85629-312-6

Séminaires et congrès , 0020

Localisation : Collection 1er étage

bêta-numération # application premier retour # applications d'intervalles # applications fer à cheval # applications monotones par morceaux # attracteurs # auto-couplage # automate cellulaire # cobord # convolutions de Bernoulli # décalages markoviens fortement positivement récurrents # développements glouton et paresseux # diagramme de Markov # dimension de Hausdorff # dynamique symbolique # dynamiques directionnelles # échelles de numération # entropie # feuilletage linéaire # flot géodésique # géométrie fractale # invariants par tricotage # mélange faible # mesure d'Erdös # mesure invariante # mesure invariante absolument continue # mesures de Gibbs et faiblement gibbsiennes # mesures d'entropie maximale # métrique euclidienne # nombre d'or # odomètre # orbites périodiques # partition markovienne # pistage # principe variationnel # problème de rigidité # rang faible # section transverse # sous-décalage de Toeplitz # surface plate # surface pointée # système dynamique # systèmes dynamiques en topologie et en combinatoire # systèmes dynamiques minimaux # systèmes dynamiques symboliques # théorie des suites de tricotage # théorie ergodique # transformation de rang un # zêta fonction de Artin-Mazur bêta-numération # application premier retour # applications d'intervalles # applications fer à cheval # applications monotones par morceaux # attracteurs # auto-couplage # automate cellulaire # cobord # convolutions de Bernoulli # décalages markoviens fortement positivement récurrents # développements glouton et paresseux # diagramme de Markov # dimension de Hausdorff # dynamique symbolique # dynamiques directionnelles # échelles de numération # ...

11A67 ; 11K55 ; 15A48 ; 28A12 ; 28D05 ; 28D20 ; 32G15 ; 37Axx ; 37B05 ; 37B10 ; 37B15 ; 37D40 ; 37D45 ; 37E05 ; 30F30 ; 53D25 ; 57R30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xx; 419 p.
ISBN 978-0-8176-4887-9

Applied and numerical harmonic analysis

Localisation : Colloque 1er étage (MONA)

analyse harmonique # système dynamique dérivable # analyse fonctionnelle # equation différentielle aux dérivées partielles # géompétrie # distribution # probabilités

28Axx ; 37Dxx ; 35Jxx ; 43AXX ; 46Exx ; 60Gxx ; 68R15 ; 28C10 ; 42C40 ; 47A10 ; 28-06 ; 28A80 ; 37D45 ; 00B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- x; 351 p.
ISBN 978-981-4434-85-0

World scientific series on nonlinear science

Localisation : Colloque 1er étage (ROUE)

attracteur # comportement chaotique # théorie du chaos # Robert Gilmore # système dynamique # topologie du chaos # économie financière # nano-oscillateur

37-06 ; 00B15 ; 00B30 ; 37D45 ; 37NXX ; 54H20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xvi; 486 p.
ISBN 978-3-03719-186-6

EMS series of congress reports

Localisation : Colloque 1er étage (TRON)

analyse infinitésimale # équation aux dérivées partielles # loi de conservation hyperbolique # analyse stochastique # théorie spectrale # évolution discrète # système complètement intégrable # matrice aléatoire # dynamique chaotique

15B52 ; 35J10 ; 35L65 ; 35Q41 ; 35Q51 ; 35Q53 ; 37K10 ; 42B20 ; 46N20 ; 46N30 ; 46T12 ; 47B36 ; 47F05 ; 60H20 ; 68N30 ; 76S05 ; 33C45 ; 35A01 ; 35A02 ; 35L80 ; 37D45 ; 39A12 ; 47A10 ; 47N20 ; 47N30 ; 60B20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Computer Science

This talk is about verified numerical algorithms in Isabelle/HOL, with a focus on guaranteed enclosures for solutions of ODEs. The enclosures are represented by zonotopes, arising from the use of affine arithmetic. Enclosures for solutions of ODEs are computed by set-based variants of the well-known Runge-Kutta methods.
All of the algorithms are formally verified with respect to a formalization of ODEs in Isabelle/HOL: The correctness proofs are carried out for abstract algorithms, which are specified in terms of real numbers and sets. These abstract algorithms are automatically refined towards executable specifications based on lists, zonotopes, and software floating point numbers. Optimizations for low-dimensional, nonlinear dynamics allow for an application highlight: the computation of an accurate enclosure for the Lorenz attractor. This contributes to an important proof that originally relied on non-verified numerical computations.
This talk is about verified numerical algorithms in Isabelle/HOL, with a focus on guaranteed enclosures for solutions of ODEs. The enclosures are represented by zonotopes, arising from the use of affine arithmetic. Enclosures for solutions of ODEs are computed by set-based variants of the well-known Runge-Kutta methods.
All of the algorithms are formally verified with respect to a formalization of ODEs in Isabelle/HOL: The correctness proofs are ...

68T15 ; 34-04 ; 34A12 ; 37D45 ; 65G20 ; 65G30 ; 65G50 ; 65L70 ; 68N15 ; 68Q60 ; 68N30 ; 65Y04

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 673 p.
ISBN 978-981-02-0437-2

Advanced series in nonlinear dynamics , 0001

Localisation : Ouvrage RdC (Dyna)

système dynamique # exposant de Lyapunov # théorie de Pesin # attracteur # attracteur de Lorenz # partition de Markov # billard hyperbolique # théorème de Jacobson # dynamique holomorphe

37-06 ; 37A99 ; 00B60 ; 37D99 ; 37D45 ; 82Bxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 248 p.
ISBN 978-0-8176-3510-7

Progress in physics , 0001

Localisation : Ouvrage RdC (COLL)

système dynamique différentiable # application de l'interval # orbite périodique # bifurcation # application unimodale # kneading sequence # exposant de Lyapunov

58-02 ; 37D45 ; 37A99 ; 37C70 ; 37G99

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 649 p.
ISBN 978-0-19-850723-9

Localisation : Ouvrage RdC (HILB)

chaos # dynamique non linéaire # bifurcation # Feigeubaum # intermitence # analyse multifractale # exposant de Lyapunov # chaos spatiotemporel # chaos quantique

58-01 ; 37N99 ; 37D45 ; 70K50 ; 81Q50

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 304 p.
ISBN 978-0-226-66222-0

Chicago lectures in mathematics series

Localisation : Ouvrage RdC (PESI)

système dynamique # théorie de la dimension # dimension de Hausdroff # capacité # formalisme thermodynamique # analyse multifractale # système hyperbolique # mesure de Gibbs # autosimilarité

28D05 ; 28A80 ; 54H20 ; 28D20 ; 37D45 ; 54F45 ; 58-02 ; 28-02 ; 37A99 ; 37B99

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 472 p.
ISBN 978-0-387-94049-6

Applied mathematical sciences , 0097

Localisation : Ouvrage RdC (LASO)

chaos # fractale # théorie ergodique # entropie # analyse des systèmes # opérateur de Markov # dynamique stochastique # opérateur de Frobenius-Perron # opérateur de Koopman # perturbation stochastique # opérateur de Foias # semi-groupe stochastique # système à temps continu # système à temps discret

37D45 ; 37N99 ; 47D03 ; 60Hxx ; 37A99 ; 37D15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 219 p.
ISBN 978-981-02-4404-0

World scientific series on nonlinear science serie A , 0039

Localisation : Ouvrage RdC (Chao)

système dynamique # chaos # histoire des mathématiques # équation différentielle ordinaire # système chaotique # dynamique chaotique # attracteur étrange # attracteur chaotique # turbulence # effet papillon # hyperchaos

37-03 ; 01A60 ; 01A70 ; 34-03 ; 34C28 ; 37D45

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 843 p.
ISBN 978-0-387-00177-7

Texts in applied mathematics , 0002

Localisation : Ouvrage RdC (WIGG)

système dynamique # stabilité # système dynamique non linéaire # théorie non linéaire # chaos # méthode des formes normales # variété # bifurcation

37-01 ; 34-01 ; 34C28 ; 37D45 ; 70K50 ; 70K55

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 294 p.
ISBN 978-0-521-53104-7

Australian mathematical society lecture series , 0018

Localisation : Ouvrage RdC (BANK)

système dynamique # chaos # stabilité des équations aux différences # graphe # dérivée schwarzarienne # conjugaison topologique

37-01 ; 37D45 ; 37E05 ; 39A11

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 280 p.
ISBN 978-3-540-20611-8

Lecture notes in mathematics , 1833

Localisation : Collection 1er étage

physique statistique # production d'entropie # irréversibilité # équilibre # chaîne de Markov # processus de diffusion # système dynamique hyperbolique # fluctuation de Gallavotti-Cohen

37D20 ; 37D25 ; 37D35 ; 37D45 ; 37H15 ; 58J65 ; 60F10 ; 60G10 ; 60H10 ; 60J10 ; 60J27 ; 60J35 ; 60J60 ; 82C05 ; 82C31 ; 82C35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 305 p.
ISBN 978-1-58450-423-8

Localisation : Ouvrage RdC (STEV)

fractale # courbe # effet artistique # logiciel # attracteur # courbe de Peano # courbe de Hilbert # arbre # méthode de Newton # ensemble de Julia # ensemble de Mandelbrot # coloriage # fonction transcendantale # fractale de Mandela # fractale de Porkony # fractale de Beirnsley

28A80 ; 37D45 ; 68U05 ; 00A05 ; 94A08

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 308 p.
ISBN 978-0-387-20158-0

Localisation : Oeuvres complètes RdC

oeuvre # Mandelbrot # fractale # ensemble de Julia # ensemble de Mandelbrot # système dynamique

01A75 ; 28A80 ; 37D45 ; 37F45 ; 37F50

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 127 p.
ISBN 978-981-270-380-4

Localisation : Ouvrage RdC (NATI)

dynamique chaotique # fonctions de Lyapunov #
stabilité # système physique dynamique # analyses des séries temporelles # méthode stochastique # mécanique statistique # solutions récurrantes d'une EDO # analyse de données expérimentales

37D45 ; 37B25 ; 37N20 ; 37M10 ; 70K55 ; 82C31 ; 34C28

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- vi; 106 p.
ISBN 978-0-8218-4427-4

Memoirs of the american mathematical society , 0945

Localisation : Collection 1er étage

attracteur # théorie de la bifurcation

37D45 ; 37C60 ; 37H20

... Lire [+]

Z