Descripteur
Documents disponibles dans cette catégorie (316)
Ajouter le résultat dans votre panier
Visionner les documents numériques
Affiner la recherche Interroger des sources externes
Etendre la recherche sur niveau(x) vers le bas
Méthodes mathématiques pour l'informatique / J. Velu (1999)
Titre : Méthodes mathématiques pour l'informatique : cours et exercices corrigés, 1er cycle Type de document : Monographie Auteurs : J. Velu, Auteur Mention d'édition : 3 Editeur : Paris : Dunod Année de publication : 1999 Collection : Sciences Sup, ISSN 1636-2217 Importance : 516 p. Format : 17 x 24 cm ISBN/ISSN/EAN : 978-2-10-004414-6 Langues : Français (fre) Descripteur : [Vedettes matières IGN] Mathématique
[Termes IGN] algèbre de Boole
[Termes IGN] arithmétique
[Termes IGN] automate
[Termes IGN] calcul matriciel
[Termes IGN] exercice
[Termes IGN] graphe
[Termes IGN] informatique
[Termes IGN] probabilitésRésumé : Ce manuel aborde en profondeur tous les thèmes qui constituent la base élémentaire de connaissances mathématiques indispensable à tout informaticien. L'auteur y présente tous les concepts fondamentaux de la façon la plus intuitive possible avant de procéder à une mise en forme abstraite. Dans chaque chapitre, des problèmes nombreux sont posés et des méthodes pratiques énoncées qui permettent de les résoudre mécaniquement. Des exercices, nombreux et souvent distrayants, éclairent des démonstrations qui vont directement à l'essentiel. Méthodes mathématiques pour l'informatique est un outil pédagogique très complet et intéressera tous les étudiants du premier cycle (cycle A du CNAM, IUT, BTS, DEUG), ainsi que ceux des MIAGE. Cette 3e édition a été entièrement revue et complétée par les solutions des exercices. Numéro de notice : 69473 Affiliation des auteurs : non IGN Thématique : MATHEMATIQUE Nature : Monographie Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=62206 Pierre-Simon de Laplace savant normand / Conseil general du calvados (1999)
Titre : Pierre-Simon de Laplace savant normand : cahier pédagogique d'accompagnement de l'exposition réalisée par Relais d'sciences Type de document : Guide/Manuel Auteurs : Conseil general du calvados, Auteur ; Service educatif des archives departementales, Auteur Editeur : Caen : Archives Départementales du Calvados Année de publication : 1999 Importance : 46 p. Format : 21 x 30 cm ISBN/ISSN/EAN : 978-2-86014-053-9 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Mathématique
[Termes IGN] Laplace, Pierre Simon deNuméro de notice : 29019 Affiliation des auteurs : non IGN Thématique : MATHEMATIQUE Nature : Manuel de cours Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=47239 Extension et optimisation pour la segmentation de la distance de Kolmogorov-Smirnov / Mounir Asseraf (1998)
Titre : Extension et optimisation pour la segmentation de la distance de Kolmogorov-Smirnov Type de document : Thèse/HDR Auteurs : Mounir Asseraf, Auteur ; Edwin Diday, Directeur de thèse Editeur : Paris : Université de Paris 9 Paris-Dauphine Année de publication : 1998 Importance : 180 p. Format : 21 x 30 cm Note générale : bibliographie
thèse de doctorat présentée pour obtenir le titre de docteur de sciences, spécialité Mathématiques appliquéesLangues : Français (fre) Descripteur : [Vedettes matières IGN] Mathématique
[Termes IGN] distance de Kolmogorov-Smirnov
[Termes IGN] optimisation (mathématiques)
[Termes IGN] segmentationIndex. décimale : THESE Thèses et HDR Résumé : (auteur) La segmentation est une méthode qui entre dans le cadre de l'analyse des données multidimensionnelles ; elle se distingue des autres méthodes lorsqu'on passe a la phase descriptive des résultats, telle que la lisibilité des règles de décision. La segmentation peut être vue, d'une part, comme une méthode exploratoire et descriptive permettant de résumer et structurer, sous la forme d'un arbre binaire, un ensemble d'observations multidimensionnelles. D'autre part, comme un outil décisionnel et inférentiel visant a produire une règle de classement sur les objets appartenant a une partition connue a priori. Dans la phase décisionnelle, la segmentation emploie un ensemble d'outils statistiques et probabilistes (la théorie bayésienne, les techniques d'échantillonnage, l'estimation de paramètres). En pratique, plusieurs travaux sur la segmentation ont conduit récemment à développer des algorithmes d'aspect exploratoire et décisionnel, souvent fiables et efficaces ; quant aux règles de production, elles sont aisément interprétables par des non-spécialistes de la statistique. On rencontre de nombreuses applications réalisées dans divers domaines, tels que la médecine, la biologie ou la reconnaissance des formes. Dans cette thèse, on s'intéresse au critère de Kolmogorov Smirnov, qui fait partie des outils de la segmentation sur les variables quantitatives. Plusieurs simulations ont conclu positivement, tant sur son pouvoir de discrimination assez puissant que sur sa robustesse et son efficacité asymptotique au sens de Bayes. La première phase de ce travail est consacrée à l'extension de ce critère aux variables qualitatives et aux propriétés asymptotiques. La deuxième phase porte sur la réduction de la complexité exponentielle pour la recherche d'une solution globalement optimale à une complexité polynomiale de degrés trois. La phase finale s'intéresse à la programmation de ce critère et à son intégration dans le logiciel Sicla. Numéro de notice : 19949 Affiliation des auteurs : non IGN Thématique : MATHEMATIQUE Nature : Thèse française Note de thèse : thèse de doctorant : Mathématiques appliquées : Paris 9 : 1998 nature-HAL : Thèse DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=86263 Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 19949-01 THESE Livre Centre de documentation Thèses Disponible Logique floue / Bernadette Bouchon-Meunier (1998)
Titre : Logique floue : exercices corrigés et exemples d'applications Type de document : Guide/Manuel Auteurs : Bernadette Bouchon-Meunier, Auteur ; L. Foulloy, Auteur ; M. Ramdani, Auteur Editeur : Toulouse : Cépaduès Année de publication : 1998 Importance : 200 p. Format : 14 x 21 cm ISBN/ISSN/EAN : 978-2-85428-469-0 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Mathématique
[Termes IGN] commande floue
[Termes IGN] exercice
[Termes IGN] logique floue
[Termes IGN] raisonnement
[Termes IGN] sous ensemble flouRésumé : (Editeur) Les nombreuses applications de la logique floue qui ont été réalisées dans le monde entier ont prouvé son efficacité pour résoudre divers types de problèmes dans lesquels les connaissances disponibles sont imparfaites. Cet ouvrage a été conçu pour apporter des explications à tous ceux qui apprennent ou commencent à se servir de la logique floue. Il présente la logique floue sous l'angle de son utilisation. Son but est de faire comprendre comment fonctionne la logique floue, de démystifier les concepts théoriques et, en même temps, de montrer l'aspect rigoureux des différentes techniques disponibles. Chacune des trois premières parties, respectivement consacrées à la représentation des connaissances par sous-ensembles flous, au raisonnement en présence de connaissances imprécises et à la commande floue, commence par un bref rappel des concepts de base, dans ce qu'on peut considérer comme un mémento le la logique floue. Des exercices illustrant ces concepts sont présentés et corrigés, pour la plupart s'appuyant sur des situations du monde réel et non restreints à des concepts formels. Plusieurs solutions sont parfois proposées, mettant en évidence différentes approches du problème. Une dernière partie présente une liste d'applications basées sur la logique floue, réalisées par des entreprises françaises, éventuellement en collaboration avec des universitaires. Une explication plus détaillée est donnée pour certaines d'entre elles, auxquelles ont collaboré les auteurs. Numéro de notice : 69452 Affiliation des auteurs : non IGN Thématique : MATHEMATIQUE Nature : Manuel de cours Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=49311 Analyse et mesure de l'incertitude dans un modèle de simulation / F. Leurent (1997)
Titre : Analyse et mesure de l'incertitude dans un modèle de simulation : les principes, une méthode et l'exemple de l'affectation bicritère du trafic Type de document : Thèse/HDR Auteurs : F. Leurent, Auteur Editeur : Paris : Ecole Nationale des Ponts et Chaussées ENPC Année de publication : 1997 Importance : 302 p. Format : 21 x 30 cm Note générale : Bibliographie
Thèse de doctorat de l'Ecole nationale des ponts et chaussées, spécialité transportLangues : Français (fre) Descripteur : [Vedettes matières IGN] Mathématique
[Termes IGN] analyse systémique
[Termes IGN] audit
[Termes IGN] économétrie
[Termes IGN] erreur
[Termes IGN] incertitude des données
[Termes IGN] logique
[Termes IGN] modèle de simulation
[Termes IGN] recherche opérationnelle
[Termes IGN] simulation
[Termes IGN] trafic routierIndex. décimale : THESE Thèses et HDR Résumé : (Auteur) Problématique: un modèle est-il proche de la réalité ?
Un modèle est une représentation d'un système. Dans cette représentation, figurent des éléments, entre lesquels s'exercent des interactions. Le modèle sert à analyser (fonction de connaissance) et simuler les interactions entre éléments. La simulation peut être qualitative ou quantitative : il s'agit de déduire les conséquences "rationnelles" d'hypothèses sur les variables d'état du système, ou sur des variables de contrôle ou de perturbation.
Comment juger, ou mieux mesurer, si le modèle est proche de la réalité ? L'audit technique d'un modèle consiste à détecter, identifier, et si possible réduire, les erreurs et les incertitudes attachées au modèle.
Objectif : un audit pour porter un jugement technique
J'ai élaboré une méthode systématique d'audit d'un modèle, afin de donner ou refuser des garanties techniques. Un tel audit nécessite la transparence tant des hypothèses internes au modèle, que des hypothèses externes liées à une application particulière.
Méthode : entreprendre l'audit dans autant de dimensions que de types d'erreur dans un modèle
L'erreur dans un modèle est de nature plurielle : nous la décomposons en (1) erreur de conception (quels mécanismes explicatifs constituent la composition conceptuelle, quelles approximations dans la définition des variables ?), (2) erreur formelle (la synthèse en langage mathématique des mécanismes explicatifs dans une formule caractéristique, doit être conforme au contenu conceptuel et cohérente), (3) erreur algorithmique (le dispositif de résolution fournit-il vraiment une solution ? Avec quelle précision ?), (4) enfin une incertitude de type économétrique qui englobe l'erreur d'estimation et l'erreur exogène a priori sur les inputs. L'incertitude de type économétrique peut être quantifiée, après propagation de l'erreur exogène à travers le modèle de simulation.
Les quatre types d'erreur relèvent chacun d'une discipline scientifique appropriée, d'où la nécessité d'entreprendre l'audit dans autant de dimensions : conceptuelle, formelle, algorithmique, économétrique.
S'appuyant sur notre analyse théorique de l'erreur dans un modèle, nous avons développé une méthode pluridimensionnelle d'audit (tableau 2).
Les tentatives antérieures se cantonnaient aux aspects algorithmiques ou économétriques, avec parfois une allusion au "jugement a priori" pour évaluer le contenu conceptuel. Nous avons démontré le bien fondé d'un audit selon les quatre dimensions, en traitant l'exemple de l'affectation du trafic. Car un tel modèle représente un équilibre entre offre et demande, équilibre dont la formulation et la résolution nécessitent validation.
Après audit d'un modèle, on peut : apprécier la portée explicative, éliminer l'erreur formelle, annuler l'erreur de résolution, quantifier l'erreur exogène propagée, donc évaluer le risque statistique.
L'audit se prépare utilement par une capitalisation des concepts, des formulations, des algorithmes et des méthodes d'estimation. Une telle capitalisation produit de grandes économies d'échelle pour l'audit de modèles particuliers.Note de contenu : Introduction
CONTEXTE ET PREMICES
1. L'exemple de l'affectation
2. Pourquoi auditer ?
3. Antécédents et ressources
THEORIE ET METHODE
4. Analyse théorique de l'erreur
5. Une méthode systématique d'audit
APPLICATION A L'AFFECTATION BICRITERE
6. Plan d'audit de l'affectation bicritère
7. L'audit sémantique : un diagnostic
8. L'audit formel : une vérification
9. L'audit algorithmique : une vérification
10. L'audit économétrique : une quantification
11. Bilan et perspectives
En conclusionNuméro de notice : 59522 Affiliation des auteurs : non IGN Thématique : MATHEMATIQUE Nature : Thèse française Note de thèse : Thèse de doctorat : Transport : Champs sur Marne, ENPC : 1997 nature-HAL : Thèse DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=45820 Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 59522-01 THESE Livre Centre de documentation Thèses Disponible Problèmes inverses et géodésie spatiale, Actes des journées 1997 / Mireille Ludivine Bougeard (1997)PermalinkM:ATH [mathématiques : approche par les textes historiques] (Bulletin de Mnémosyne) / R. DouadyPermalinkM:ath [mathématiques : approche par les textes historiques] (Bulletin de Mnémosyne) / R. DouadyPermalinkInfluence de la métrique sur les notions de courbure d'un espace géométrique / M. Bourdier (1996)PermalinkLa logique floue / J.R. Tong-Tong (1995)PermalinkLa logique floue et ses applications / Bernadette Bouchon-Meunier (1995)PermalinkIntroduction à la relativité générale / Jean-Claude Radix (1994)PermalinkMathématiques, enseignement obligatoire terminale TS programme 1994 / G. Bontemps (1994)PermalinkMathématiques, enseignement de spécialité terminale TS programme 1994 / G. Bontemps (1994)PermalinkSeminario de astronomia y geodesia (Bulletin de Publicacion - Seminario de astronomia y geodesia) / Universidad cimplutense facultad de ciencas matematicasPermalink