A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail d'une collection
|
Documents disponibles dans la collection
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Interactive models of computation and program behaviour (2009)
Titre : Interactive models of computation and program behaviour Type de document : texte imprimé Editeur : Paris : Société Mathématique de France Année de publication : 2009 Collection : Panoramas et Synthèses, ISSN 1272-3835 num. 27 Importance : XVI-275 p. Présentation : ill. ISBN/ISSN/EAN : 978-2-85629-273-0 Langues : Anglais Mots-clés : théorie de la démonstration réalisabilité machine abstraite ogique linéaire sémantique des jeux Résumé : Ce volume rassemble trois contributions portant sur le domaine logique et calcul et qui reflètent un courant actuel d'explicitation du contenu interactif des preuves et des programmes. Les trois chapitres peuvent être lus indépendamment et utilisent ou introduisent des outils fondamentaux du domaine: catégories, réalisabilité, machines abstraites. Un thème unificateur à travers l'ensemble du volume est celui des jeux et stratégies, qui transforme la correspondance entre preuves et programmes (connue sous le nom d'isomorphisme de Curry-Howard) en un triangle dont le troisième sommet met en valeur l'interaction et la dualité entre un programme et son contexte d'exécution, entre une preuve et des contre-preuves. L'introduction au volume place les contributions en perspective et offre une initiation rapide au lambda-calcul qui est et demeure l'épine dorsale de tout ce domaine de recherche. Note de contenu : références Interactive models of computation and program behaviour [texte imprimé] . - Paris : Société Mathématique de France, 2009 . - XVI-275 p. : ill.. - (Panoramas et Synthèses, ISSN 1272-3835; 27) .
ISBN : 978-2-85629-273-0
Langues : Anglais
Mots-clés : théorie de la démonstration réalisabilité machine abstraite ogique linéaire sémantique des jeux Résumé : Ce volume rassemble trois contributions portant sur le domaine logique et calcul et qui reflètent un courant actuel d'explicitation du contenu interactif des preuves et des programmes. Les trois chapitres peuvent être lus indépendamment et utilisent ou introduisent des outils fondamentaux du domaine: catégories, réalisabilité, machines abstraites. Un thème unificateur à travers l'ensemble du volume est celui des jeux et stratégies, qui transforme la correspondance entre preuves et programmes (connue sous le nom d'isomorphisme de Curry-Howard) en un triangle dont le troisième sommet met en valeur l'interaction et la dualité entre un programme et son contexte d'exécution, entre une preuve et des contre-preuves. L'introduction au volume place les contributions en perspective et offre une initiation rapide au lambda-calcul qui est et demeure l'épine dorsale de tout ce domaine de recherche. Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18154 PS 27 Livre Recherche Salle Disponible Une introduction aux motifs / Yves ANDRÉ (Cop. 2004)
Titre : Une introduction aux motifs : (Motifs purs, motifs mixtes, périodiques) Type de document : texte imprimé Auteurs : Yves ANDRÉ, Auteur Editeur : Paris : Société Mathématique de France Année de publication : Cop. 2004 Collection : Panoramas et Synthèses, ISSN 1272-3835 num. 17 Importance : XI-261 p. ISBN/ISSN/EAN : 978-2-85629-164-1 Catégories : 11J91
14F42
19E15
32G20Mots-clés : cycle algébrique motif pur motif mixte groupe de Galois motivique cohomologie motivique période théorie cohomologique Résumé : La théorie des motifs, introduite par A. Grothendieck il y a 40 ans et demeurée longtemps conjecturale, a connu depuis une quinzaine d'années des développements spectaculaires. Ce texte a pour objectif de rendre ces avancées accessibles au non-spécialiste, tout en donnant, au cours de ses deux premières parties, une vision unitaire des fondements géométriques de la théorie (pure et mixte). La troisième partie, consacrée aux périodes des motifs, en propose une illustration concrète; on y traite en détail les exemples des valeurs de la fonction gamma aux points rationnels, et des nombres polyzêta.
Note de contenu : index, bibliogr. Une introduction aux motifs : (Motifs purs, motifs mixtes, périodiques) [texte imprimé] / Yves ANDRÉ, Auteur . - Paris : Société Mathématique de France, Cop. 2004 . - XI-261 p.. - (Panoramas et Synthèses, ISSN 1272-3835; 17) .
ISBN : 978-2-85629-164-1
Catégories : 11J91
14F42
19E15
32G20Mots-clés : cycle algébrique motif pur motif mixte groupe de Galois motivique cohomologie motivique période théorie cohomologique Résumé : La théorie des motifs, introduite par A. Grothendieck il y a 40 ans et demeurée longtemps conjecturale, a connu depuis une quinzaine d'années des développements spectaculaires. Ce texte a pour objectif de rendre ces avancées accessibles au non-spécialiste, tout en donnant, au cours de ses deux premières parties, une vision unitaire des fondements géométriques de la théorie (pure et mixte). La troisième partie, consacrée aux périodes des motifs, en propose une illustration concrète; on y traite en détail les exemples des valeurs de la fonction gamma aux points rationnels, et des nombres polyzêta.
Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 20150 PS 17 Livre Recherche Salle Disponible Mathematical models and numerical methods for radiative transfer (2009)
Titre : Mathematical models and numerical methods for radiative transfer Type de document : texte imprimé Editeur : Paris : Société Mathématique de France Année de publication : 2009 Collection : Panoramas et Synthèses, ISSN 1272-3835 num. 28 Importance : XXII-108 p. ISBN/ISSN/EAN : 978-2-85629-274-7 Langues : Anglais Catégories : 35B35
35L67
65M06
65M12Mots-clés : modèle mathématique méthode numérique transfert radiatif Résumé : Modèles mathématiques et méthodes numériques pour le transfert radiatif
L'étude de phénomènes de transfert radiatif est motivée par de multiples applications allant de l'astrophysique à la radiothérapie. Ce volume décrit quelques aspects de la théorie moderne du transfert radiatif. On s'intéresse à des modèles où l'équation de transport pour l'énergie radiative est couplée à des systèmes hydrodynamiques. La présentation est tout particulièrement orientée sur la dérivation de méthodes numériques spécifiques et efficaces et les points suivants sont abordés en détail : — les régimes et les modèles asymptotiques qui conduisent à des approximations par diffusion, — les modèles intermédiaires et notamment le modèle M dont la dérivation repose sur un principe de minimisation d'entropie, — l'analyse de profils de choc pour l'hydrodynamique radiative.Note de contenu : références Mathematical models and numerical methods for radiative transfer [texte imprimé] . - Paris : Société Mathématique de France, 2009 . - XXII-108 p.. - (Panoramas et Synthèses, ISSN 1272-3835; 28) .
ISBN : 978-2-85629-274-7
Langues : Anglais
Catégories : 35B35
35L67
65M06
65M12Mots-clés : modèle mathématique méthode numérique transfert radiatif Résumé : Modèles mathématiques et méthodes numériques pour le transfert radiatif
L'étude de phénomènes de transfert radiatif est motivée par de multiples applications allant de l'astrophysique à la radiothérapie. Ce volume décrit quelques aspects de la théorie moderne du transfert radiatif. On s'intéresse à des modèles où l'équation de transport pour l'énergie radiative est couplée à des systèmes hydrodynamiques. La présentation est tout particulièrement orientée sur la dérivation de méthodes numériques spécifiques et efficaces et les points suivants sont abordés en détail : — les régimes et les modèles asymptotiques qui conduisent à des approximations par diffusion, — les modèles intermédiaires et notamment le modèle M dont la dérivation repose sur un principe de minimisation d'entropie, — l'analyse de profils de choc pour l'hydrodynamique radiative.Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18155 PS 28 Livre Recherche Salle Disponible Milieux aléatoires / Francis COMETS (2001)
Titre : Milieux aléatoires Type de document : texte imprimé Auteurs : Francis COMETS, Editeur scientifique ; Étienne PARDOUX, Editeur scientifique Editeur : Paris : Société Mathématique de France Année de publication : 2001 Collection : Panoramas et Synthèses, ISSN 1272-3835 num. 12 Importance : XIV-133 p. ISBN/ISSN/EAN : 978-2-85629-127-6 Langues : Français Catégories : 60F10
60K37
82C44
82D30Mots-clés : milieu aléatoire Résumé : Les milieux aléatoires constituent des modèles naturels pour des matériaux inhomogènes possédant certaines formes de régularité statistique. L'étude des processus stochastiques en milieu aléatoire est un domaine de recherche actif, et des techniques nouvelles y ont été tout récemment développées, notamment des formes mathématiques de la renormalisation. Bien au delà des modèles explicitement résolubles ou même seulement réversibles, ces techniques ont pu être appliquées dans certains cadres plus difficiles à traiter.
La session « États de la Recherche » qui s'est tenue au CIRM à Marseille en novembre 2000, visait à dresser un état de l'art dans le domaine, et à mettre au contact de ces idées une large partie de la communauté scientifique. Basé sur les notes des cours présentés lors de cette session, cet ouvrage est constitué de cinq articles, et d'une introduction générale où sont définies les notions fondamentales de probabilité utilisées tout au long de ces articles. Cette introduction, ainsi que le style des articles, doivent permettre la lecture de l'ouvrage à des mathématiciens non spécialistes.Note de contenu : références Milieux aléatoires [texte imprimé] / Francis COMETS, Editeur scientifique ; Étienne PARDOUX, Editeur scientifique . - Paris : Société Mathématique de France, 2001 . - XIV-133 p.. - (Panoramas et Synthèses, ISSN 1272-3835; 12) .
ISBN : 978-2-85629-127-6
Langues : Français
Catégories : 60F10
60K37
82C44
82D30Mots-clés : milieu aléatoire Résumé : Les milieux aléatoires constituent des modèles naturels pour des matériaux inhomogènes possédant certaines formes de régularité statistique. L'étude des processus stochastiques en milieu aléatoire est un domaine de recherche actif, et des techniques nouvelles y ont été tout récemment développées, notamment des formes mathématiques de la renormalisation. Bien au delà des modèles explicitement résolubles ou même seulement réversibles, ces techniques ont pu être appliquées dans certains cadres plus difficiles à traiter.
La session « États de la Recherche » qui s'est tenue au CIRM à Marseille en novembre 2000, visait à dresser un état de l'art dans le domaine, et à mettre au contact de ces idées une large partie de la communauté scientifique. Basé sur les notes des cours présentés lors de cette session, cet ouvrage est constitué de cinq articles, et d'une introduction générale où sont définies les notions fondamentales de probabilité utilisées tout au long de ces articles. Cette introduction, ainsi que le style des articles, doivent permettre la lecture de l'ouvrage à des mathématiciens non spécialistes.Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19137 PS 12 Livre Recherche Salle Disponible Nouveaux invariants en géométrie et en topologie / Michèle AUDIN (2001)
Titre : Nouveaux invariants en géométrie et en topologie Type de document : texte imprimé Auteurs : Michèle AUDIN, Auteur ; John W. MORGAN, Auteur ; Pierre VOGEL, Auteur Editeur : Paris : Société Mathématique de France Année de publication : 2001 Collection : Panoramas et Synthèses, ISSN 1272-3835 num. 11 Importance : 159 p. ISBN/ISSN/EAN : 978-2-85629-111-5 Note générale : Avec une postface de Daniel bennequin Langues : Français Catégories : 5302
53C23
53D
57M25
57M27
57R57
58J
8102Mots-clés : variété symplectique courbe holomorphe invariant de Seiberg-Witten variété de dimension 4 variété de dimension 3 noeud invarient de type fini théorie quantique des champs dualité Résumé : Ce volume traite des développements récents de trois types d'invariants géométriques:
- invariants symplectiques, dont les invariants de Gromov-Witten présentés par Michèle Audin,
- invariants de variétés de dimension 4 avec la théorie de Seiberg-Witten par John Morgan,
- invariants de type fini pour les variétés de dimension 3 décrits par Pierre Vogel.
Les liens entre ces trois classes d'invariants et la théorie des champs contemporaine sont abordés dans une postface de Daniel Bennequin.Nouveaux invariants en géométrie et en topologie [texte imprimé] / Michèle AUDIN, Auteur ; John W. MORGAN, Auteur ; Pierre VOGEL, Auteur . - Paris : Société Mathématique de France, 2001 . - 159 p.. - (Panoramas et Synthèses, ISSN 1272-3835; 11) .
ISBN : 978-2-85629-111-5
Avec une postface de Daniel bennequin
Langues : Français
Catégories : 5302
53C23
53D
57M25
57M27
57R57
58J
8102Mots-clés : variété symplectique courbe holomorphe invariant de Seiberg-Witten variété de dimension 4 variété de dimension 3 noeud invarient de type fini théorie quantique des champs dualité Résumé : Ce volume traite des développements récents de trois types d'invariants géométriques:
- invariants symplectiques, dont les invariants de Gromov-Witten présentés par Michèle Audin,
- invariants de variétés de dimension 4 avec la théorie de Seiberg-Witten par John Morgan,
- invariants de type fini pour les variétés de dimension 3 décrits par Pierre Vogel.
Les liens entre ces trois classes d'invariants et la théorie des champs contemporaine sont abordés dans une postface de Daniel Bennequin.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14306 PS 11 Livre Recherche Salle Disponible Numerical models for fusion / Nicolas CROUSEILLES (2013)
PermalinkOn Cramér's theory in infinite dimension / Raphaël CERF (2007)
PermalinkOpérateurs géométriques, invariants conformes et variétés asymptotiquement hyperboliques / Zindine DJADLI (2008)
PermalinkProblèmes de petits diviseurs dans les équations aux dérivées partielles / Walter CRAIG (2000)
PermalinkQuantum groups and knot invariants / Christian KASSEL (1997)
PermalinkPermalinkPermalinkRandom Schrödinger operators (2008)
PermalinkRational representations, the Steenrod algebra and functor homology (2003)
PermalinkRigidité, groupe fondamental et dynamique / Patrick FOULON (2002)
Permalink