GEOTRUST SSL CERTIFICATE
Détail de l'indexation
511 : Logique mathématique, Jeux mathématiques |
Ouvrages de la bibliothèque en indexation 511 (107)
texte imprimé
Robert Ferachoglou, Auteur ; Michel Lafond, Auteur ; UNIVERSITE DE BOURGONGNE, Éditeur scientifique | Paris : Ellipses | 2002Réunit une centaine de problèmes posés au Rallye mathématique des lycées de Bourgogne. Ils permettent aux jeunes d'utiliser leurs qualités d'imagination et d'organisation sur des énoncés amusants et pertinents mettant en oeuvre ténacité, astuce [...]texte imprimé
300 problèmes posés aux Olympiades internationales de 1967 à 2000 avec les solutions détaillées.texte imprimé
Michel Criton, Metteur en scène, réalisateur | Paris : POLE | Jeux, tests & maths, ISSN 1625-3558 | 2000Sélection de problèmes posés au championnat international des jeux mathématiques et logiques avec leurs solutions complètes et rigoureuses, classés par thèmes du programme au bac.texte imprimé
80 petits problèmes de logique traités de manière ludique, dans la lignée des tests de Q.I.texte imprimé
Les éléments finis sont une méthode de modélisation qui consiste à "découper" la pièce que l'on étudie en un grand nombre de petits éléments sur lesquels les calculs seront plus faciles à effectuer. Cet ouvrage expose les principes de la méthode[...]texte imprimé
Son but est d'aider à mémoriser les outils offerts par Maple en donnant, outre leur définition et leur syntaxe, un commentaire, en français, et un exemple d'utilisation. S'adresse aux débutants et aux étudiants qui se préparent aux grandes écoles.texte imprimé
Ce livre qui ouvre une petite facette de la logique floue aujourd'hui, correspond à des domaines d'application importants en particulier pour la modélisation et la commande de procédés. Comme il existe une antinomie entre sémantique et précision[...]texte imprimé
Thierry Foucart, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Méthode + programmes | 1984texte imprimé
Olivier Dordan, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Logique, mathématiques, informatique | 1995L'analyse qualitative est un nouveau domaine de l'intelligence artificielle qui propose des modèles d'analyse à partir de données ou de modèles d'analyse que l'on ne peut pas quantifier. L'auteur propose un état de l'art en ce domaine, par une a[...]texte imprimé
Jean-Jacques Droesbeke, Éditeur scientifique ; Michel Lejeune, Éditeur scientifique ; Gilbert Saporta, Éditeur scientifique ; SOCIÉTÉ FRANÇAISE DE STATISTIQUE, Éditeur scientifique | Paris : Technip | 2006L'analyse statistique des données spatiales et spatio-temporelles constitue un champ de recherche intense en statistique tant sur le plan théorique que sur celui des applications. Cet ouvrage fait le point sur les développements les plus récents[...]texte imprimé
Matlab est un standard pour la recherche scientifique et l'ingénierie. Cet ouvrage présente des applications concrètes de contrôle de procédés et de traitement du signal mettant en oeuvre les fonctionnalités de Matlab 5 et Simulink 2 et des boît[...]texte imprimé
Au sommaire notamment : Aborder les maths autrement (G. Ernst, I. Mees) ; Analyse d'un dysfonctionnement important de notre système d'évaluation (A. Antibi) ; Situation de la statistique dans l'enseignement secondaire de la Communauté française [...]texte imprimé
Thèmes abordés : méthodes numériques parallélisables et leurs applications scientifiques, et plus particulièrement, parallélisation de la méthode des méandres et de la programmation du jeu d'échec.texte imprimé
Jacques Chevallet, Metteur en scène, réalisateur | Paris : Vuibert | Annales des concours, ISSN 1285-2953 | 1999Destiné plus particulièrement aux candidats du concours externe et notamment à ceux qui préparent le Capes dans le cadre du CNED.texte imprimé
Réflexion sur le rapport entre mathématiques et ordinateurs, et plus globalement sur la place des mathématiques dans la science, basée sur la possibilité de calcul des trajectoires d'un système chaotique. Nouvelle version mise à jour et augmenté[...]texte imprimé
Propose d'expliquer quelques-unes des idées de la théorie des systèmes dynamiques fondée par Henri Poincaré à la fin du XIXe siècle. Montre par des simulations numériques comment des lois d'évolution simples peuvent donner naissance à une grande[...]texte imprimé
François Margot, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | Cahiers mathématiques de l'Ecole polytechnique fédérale de Lausanne | 1995Après une brève introduction aux concepts de base de la théorie des graphes, de la théorie de la complexité et de celle de la combinatoire polyédrique, l'auteur se centre sur l'étude de problèmes combinatoires possédant une propriété de "décomp[...]texte imprimé
Didier Maquin, Auteur ; José Ragot, Auteur | Paris : Hermès science publications | Pédagogique d'automatique | 2000Revue des méthodes les plus classiques utilisées pour la détection et la localisation de défauts sur un processus : défaillances de capteurs, d'actionneurs, ou du procédé : approches mathématiques et probabilistes, application au criblage.texte imprimé
Abdelhaq El-Jai, Auteur ; UNIVERSITÉ DE PERPIGNAN, Éditeur scientifique | Perpignan : Presses universitaires de Perpignan | Etudes, ISSN 1159-7593 | 2004Aborde l'analyse et le contrôle des systèmes, en rappelant d'abord leurs principales caractéristiques, avant de présenter les systèmes dynamiques localisés, les systèmes distribués et les techniques de contrôle optimal des systèmes localisés.texte imprimé
Un exposé des bases rigoureuses de la théorie des ensembles flous, ainsi que des différents systèmes de mesures de confiance, logiques multivaluées, théorie des possibilités, théorie de l'évidence. Avec une présentation des principaux domaines d[...]texte imprimé
Une approche introductive du calcul logique trivalent et du calcul modal trivalent qui amène graduellement au problème des rapports entre plurivalence et modalité.texte imprimé
Exercices corrigés portant sur un aspect précis du programme, destinés au travail individuel des étudiants des DEUG scientifiques et des classes préparatoires aux grandes écoles d'ingénieurs.texte imprimé
Par un collectif d'auteurs du CNAM et de Paris VI. Les connaissances nécessaires à la résolution des exercices sont exposés dans l'ouvrage de Robert Faure $$Précis de recherche opérationnelle$$.texte imprimé
Siegfried Gottwald, Auteur | Bessières (Haute Garonne) : Teknea | Artificial intelligence, ISSN 0940-699 | 1993Description des apsects mathématiques, théoriques et méthodologiques de la logique floue, des ensembles flous et de leur application aux contrôleurs flous.texte imprimé
Journées X-UPS (2006), Auteur ; Nicole Berline, Éditeur scientifique ; Claude Sabbah, Éditeur scientifique | Palaiseau (Essonne) : Ecole polytechnique | 2004La théorie des graphes regroupe une classe de problèmes de nature combinatoire, dont les plus célèbres sont le problème des ponts de Königsberg (résolu pat Euler) et le problème du coloriage des cartes planes avec quatre couleurs (résolu et appe[...]texte imprimé
111 énigmes : cryptarisme, jeux de frontière, problèmes d'équilibrage, graphes de répartition d'objets (alignement impairs) ou de chiffres (graphes magiques) mais aussi suites logiques ou énigmes arithmétiques.texte imprimé
Introduits voici une dizaine d'années pour mettre sous une forme mathématique certaines notions de physique théorique, les groupes quantiques ont rapidement conquis une place prépondérante au sein des mathématiques grâce à des liens étroits avec[...]texte imprimé
Jean-Paul Delahaye, Metteur en scène, réalisateur | Paris : L'Harmattan | Les rendez-vous d'Archimède, ISSN 1272-3290 | 2005Le hasard qui joue de nos vies, de notre esprit et de nos sciences est étudié de manière interdisciplinaire : des mathématiques aux sciences sociales, de la physique quantique à la psychologie cognitive, de la démographie à la santé publique, de[...]texte imprimé
Jelana Godjevac, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | Informatique | 1999Aborde cette discipline mathématique par le biais d'exemples et d'exercices pratiques réalisables avec le logiciel LabVIEW : notions mathématiques de base (modèles et systèmes incertains, notions d'ensemble...) ; systèmes basés sur la logique fl[...]texte imprimé
Ioan Doré Landau, Metteur en scène, réalisateur ; Alina Besançon-Voda, Metteur en scène, réalisateur | Paris : Hermès science publications | 2001Présentation des toutes dernières techniques d'identification des systèmes, illustrées par des exemples concrets, et de l'application de l'identification des modèles de procédés à la commande robuste, axée sur l'interaction entre l'identificatio[...]texte imprimé
L'identification des systèmes est une technique expérimentale qui travaille sur des données réelles en utilisant une méthodologie qui s'appuie sur des algorithmes issus de travaux théoriques approfondis. Cours, travaux dirigés et travaux pratiqu[...]texte imprimé
De nombreuses méthodes d'analyse de données permettent la classification de celles-ci selon un critère de ressemblance traduit par des indices différents. Cependant, dans de multiples situations réelles, se pose le problème de la structuration d[...]texte imprimé
Décrit les nouvelles avancées de la théorie du calcul et de la logique et examine spécialement la théorie algorithmique de l'information (complexité de Chaitin-Kolmogorov) : un objet contient une grande quantité d'information s'il ne possède de [...]texte imprimé
Décrit les nouvelles avancées de la théorie du calcul et de la logique et examine spécialement la théorie algorithmique de l'information (complexité de Chaitin-Kolmogorov) : un objet contient une grande quantité d'information s'il ne possède de [...]texte imprimé
Présentation de la méthode des éléments finis pour le calcul des structures, axée sur les principes énergétiques et complétée d'exercices et de problèmes d'applications.texte imprimé
André Delessert, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | 1988Destiné à un large public, ce livre, qui ne nécessite pas de connaissances avancées en mathématiques, est axé principalement sur la logique du premier ordre. Quelques relations avec la langue, la philosophie et les fondements des mathématiques s[...]texte imprimé
Présentation des méthodes d'approximation et des techniques d'analyse numérique matricielle indispensables à l'ingénieur et au physicien, accompagnée de nombreux exercices et illustrée d'exemples d'application : théorie du transport, théorie des[...]texte imprimé
Présentation des méthodes d'approximation et des techniques d'analyse numérique matricielle indispensables à l'ingénieur et au physicien, accompagnée de nombreux exercices et illustrée d'exemples d'application : théorie du transport, théorie des[...]texte imprimé
Michel Bierlaire, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | Enseignement des mathématiques | 2006L'objectif de cet ouvrage est d'offrir à la fois les bases théoriques des méthodes d'optimisation et une description détaillée de leurs algorithmes. Il est accompagné d'illustrations et de nombreux exemples.texte imprimé
Mickaële Le Ravalec-Dupin, Auteur | Paris : Technip | IFP-Institut français du pétrole publications | 2005Présente les éléments d'une méthodologie pour la modélisation des fluides dans des réservoirs souterrains, aquifères ou pétrolifères, à l'aide de modèles géostatistiques. Accompagné d'un logiciel nommé GO qui permet de résoudre les exercices pro[...]texte imprimé
Au sommaire notamment : une promenade modale dans l'espace (M. Aiello) ; logique modale pour le parallellisme, orthogonalité et géometrie affine (P. Balbiani) ; logiques modales basées sur la morphologie mathématique pour le raisonnement spatia[...]texte imprimé
Numéro consacré aux logiques multivaluées. Sont traitées notamment la théorie de la preuve, la théorie de modèles, ainsi que les relations avec d'autres logiques non classiques et ses applications à l'informatique.texte imprimé
Introduction à divers aspects du lambda-calcul, inventé en 1930, et considérablement développé depuis, à cause de sa capacité à modéliser les langages de programmation fonctionnels.texte imprimé
S'adresse aux lecteurs intéressés par l'apprentissage mathématique avec de nombreux exemples et exercices : analyse et illustration des divers types de démonstrations, réflexions sur les motivations, les causes d'erreurs et la subjectivité dans [...]texte imprimé
Une initiation à l'histoire de la cryptographie de l'Egypte ancienne à aujourd'hui, dont la pratique a une incidence sur les grands conflits, en politique ou encore dans le domaine financier. Les fondements et les structures de différents procéd[...]texte imprimé
Nicolas Lusin, Auteur ; Henri Lebesgue, Auteur | Sceaux (Hauts-de-Seine) : J. Gabay | Les grands classiques Gauthier-Villars, ISSN 0989-0602 | 1996Ce célèbre mémoire d'Henri Lebesgue est non seulement le point de départ du travail de Nicolas Lusin, mais il y est si étroitement lié que ses leçons peuvent être considérées comme un développement de ce mémoire.texte imprimé
La théorie des ensembles et ses méthodes d'application.texte imprimé
Richard Lassaigne, Auteur ; Michel de Rougemont, Auteur | Paris : Hermès science publications | Traité des nouvelles technologies, ISSN 1158-3509 | 1995Consacré à la théorie de la complexité et à la caractérisation logique des classes de problèmes de décision et de calcul. Les méthodes utilisées proviennent directement de la recherche récente en ce domaine. L'éventail des sujets traités va des [...]texte imprimé
Tente d'expliquer la notion de logique interne en mathématiques. Dégage le contenu de cette logique dans une perspective contemporaine. Traite également du contenu mathématique des notions d'indéfini et d'indéterminé de Fermat et Kronecker, avan[...]texte imprimé
Explique en quoi consiste la logique floue, ce qu'elle peut apporter aux utilisateurs potentiels, montre qu'elle repose sur une théorie rigoureuse, et présente des éléments méthodologiques qui vont bien au-delà des applications simples, concerna[...]texte imprimé
Présente les éléments de base de la logique floue, ses principes méthodologiques et donne des exemples de réalisations pratiques. Pour les étudiants en informatique, en mathématiques et les ingénieurs.texte imprimé
Eclaire de façon nouvelle la question du rapport de la logique avec les autres disciplines scientifiques. Puisant ses sources dans les travaux de Fermat, dans le programme de Hilbert et de Kronecker, l'auteur propose une solution au problème de [...]texte imprimé
Les outils logiques et mathématiques proposés s'appliquent en algorithmique et en programmation, en conception de systèmes d'information, en intelligence artificielle et dans l'étude du système et de l'architecture des ordinateurs.texte imprimé
Présente la logique comme une discipline à part entière. Longtemps du ressort des philosophes, elle a aujourd'hui pris sa place au sein des mathématiques. Ce livre explique comment lire des énoncés logiques, comment leur donner un sens et enfin [...]texte imprimé
Aux yeux de l'auteur, professeur de mathématiques, l'adéquation de la connaissance au réel s'actualise sous forme d'une concordance schématique. Cette conception est le fondement d'une méthodologie qui arbitre les contributions de l'expérimenta[...]texte imprimé
Traite des aspects historiques et ludiques de la logique élémentaire, du projet Hilbert, des théorèmes de Gödel, de la logique et de l'informatique, de la logique floue, des jeux et des paradoxes.texte imprimé
Alan Mathison Turing, Auteur ; Jean-Yves Girard, Auteur | Paris : Seuil | Points, ISSN 0768-1143 | 1999Une machine de Turing est un modèle mathématique simple pour tout processus de calcul. Ce modèle de la calculabilité a sa source dans un article de 1936 traduit ici pour la première fois en français. Alan Turing (1912-1954) y démontre, entre aut[...]texte imprimé
Alan Mathison Turing, Auteur ; Yves Girard, Auteur | Paris : Seuil | Sources du savoir, ISSN 1144-6676 | 1995Une machine de Turing est un modèle mathématique simple pour tout processus de calcul. Ce modèle de la calculabilité a sa source dans un article de 1936 traduit ici pour la première fois en français. Alan Turing (1912-1954) y démontre, entre aut[...]texte imprimé
Traite de la maîtrise des hypothèses de passage d'un modèle mécanique à un modèle numérique ; les modèles étudiés peuvent présenter de fortes non-linéarités (plasticité, viscoplasticité, contact unilatéral). La finalité en calcul des structures[...]texte imprimé
En dehors de ses nombreuses possibilités de calcul, ce logiciel est d'une extrême facilité d'apprentissage et d'utilisation sans pour autant sacrifier à la limitation de ses fonctions. Les utilisateurs voulant effectuer des calculs numériques et[...]texte imprimé
Rémi Barrère, Metteur en scène, réalisateur | Paris : Vuibert informatique | Calcul numérique | 2002Présente le logiciel de calcul Mathematica, outil polyvalent pour des travaux aussi divers que calculs numériques exacts ou approchés, manipulations algébriques ou analytiques, programmation symbolique, traitement des données, représentations gr[...]texte imprimé
Une première approche synthétique de la version 3 du logiciel Mathematica, outil de calcul formel très puissant qui peut résoudre des équations, tracer des courbes, procéder à des études statistiques, mettre en page... Cours illustré accompagné [...]texte imprimé
Une documentation complète sur ce puissant logiciel dans sa version 3. Permet de résoudre des problèmes dans le domaine des mathématiques, des sciences pures et appliquées et de l'ingénierie.texte imprimé
Une documentation complète sur ce puissant logiciel dans sa version 3. Permet de résoudre des problèmes dans le domaine des mathématiques, des sciences pures et appliquées et de l'ingénierie.texte imprimé
Propose de nombreuses applications ainsi que des exercices corrigés recouvrant tous les domaines des mathématiques. Les thèmes retenus sont souvent issus des oraux aux grandes écoles.texte imprimé
Une analyse de l'évolution des mathématiques. Substituant l'analogie mathématique à l'analogie mécanique, la modélisation renonce aujourd'hui à toute image unifiée de la nature et étend le champ de la mathématisation aux sciences non physiques, [...]texte imprimé
Roger Beslon, Auteur ; Daniel Lignon, Auteur | Angers : le Polygraphe | Les cent..., ISSN 1776-3649 | 2003Présente au côté de notions essentielles (nombre pi, fonction...) des aspects insolites des mathématiques (carré magique, algorithme de Dieu, nombre d'or...), des problèmes ludiques (le partage des 17 chameaux, la mise en bouteille de la Terre..[...]texte imprimé
Les techniques inspirées de celles du plus célèbre découvreur de solutions de l'histoire, Albert Einstein.texte imprimé
GROUPE POUR L'AVANCEMENT DES MÉTHODES NUMÉRIQUES ET L'INGÉNIEUR, Auteur ; INTERNATIONAL SOCIETY FOR INNOVATIVE NUMERICAL ANALYSIS, Auteur ; AFCET, Auteur ; P. Lascaux, Éditeur scientifique | Paris : Pluralis | Méthodes numériques dans les sciences de l'ingénieur, ISSN 0756-1768 | 1983Actes du colloque, traitant les thèmes suivants : thermohydraulique, combustion, écoulements, problèmes couplés, optimisation, dynamique des structures, comportement non linéaire des matériaux, mécanique de la rupture, mécanique du solide, éléme[...]texte imprimé
Ce manuel d'abstraction statistique procède à la comparaison de plusieurs groupes, à la quantification de l'effet sur une variable d'intérêt d'une ou plusieurs autres variables, et à la comparaison de régression dans divers groupes.texte imprimé
Cet ouvrage rassemble plusieurs textes qui ont été soumis aux candidats de l'épreuve de modélisation du concours d'agrégation de mathématiques. Il s'agit d'un ouvrage collectif écrit par les membres du jury. Les textes sont complétés par une pr[...]texte imprimé
ENTRETIENS DE LA PHYSIQUE (2000), Auteur ; SOCIETE FRANCAISE DE PHYSIQUE, Auteur ; CONSEIL NATIONAL DES INGENIEURS ET SCIENTIFIQUES DE FRANCE, Auteur ; Paul Lemoine, Metteur en scène, réalisateur | Les Ulis (Essonne) : EDP sciences | Les échanges physique-industrie | 1999Introduction à la modélisation des systèmes de grande taille. Exemples de simulation numérique de l'acte chimique élémentaire à l'interface solide-fluide : hydrodésulfuration du thiophène sur sulfure de molybdène, empoisonnement des métaux noble[...]texte imprimé
Synthèse sur l'algorithmique et son histoire, l'informatique théorique, les algorithmes de tri, la programmation dynamique, les algorithmes gloutons, etc.texte imprimé
Au sommaire notamment : Dialogique temporelle et hybridation (L. Damien, M.-H. Gorisse, S. Rahman) ; Logiques dialogiques multivalentes (H. Rückert) ; Heuristique formelle et logiques modales non normales (L. Keiff) ; Sur les opérateurs rétrogra[...]texte imprimé
Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il propose trois grandes parties : Les bases (existence contre essence, le théorème d'incomplétude...) ; [...]texte imprimé
Y. Chernyak, ancien professeur à l'université de Moscou, vivant aux Etats-Unis, a sélectionné, avec un autre professeur américain, 100 casse-tête de maths et de physique issus de la tradition des "Olympiades russes". Illustrations amusantes, sol[...]texte imprimé
Cet ouvrage expose toutes les méthodes numériques classiques existantes, leurs champs d'application et leurs limites. Dans une seconde partie, il va plus loin en traitant des techniques d'optimisation de formes et de simulation des systèmes comp[...]texte imprimé
Joël Moulen, Auteur ; Nicolas Gabriel Andgiga, Auteur ; Marcel Brissaud, Auteur | Paris : Hermès science publications | Interdisciplinarité et nouveaux outils | 1999Deux approches spécifiques concernant les rapports entre préférences individuelles et choix collectifs. Une première, revisite des travaux sur l'agrégation des préférences initiés par Kenneth Arrow avec le souci d'utiliser de nouveaux formalism[...]texte imprimé
Le vocable de problèmes inverses désigne les situations où l'obtention des grandeurs non mesurables nécessite de résoudre des équations dans le sens inverse de celui habituellement maîtrisé et appliqué. Ce livre présente un état de l'art approfo[...]texte imprimé
Propose un ensemble de problèmes, classés selon leur spécificité thématique : combinatoire, suites et fonctions, jeux mathématiques...texte imprimé
Gérard Roudaut, Auteur ; William Seck, Auteur ; Hubert Silly, Auteur | Levallois-Perret (Hauts-de-Seine) : Studyrama | Poche, ISSN 1952-0050 | 2006Recueil de QCM de mathématiques et de logique proposant différents types d'exercices avec corrigés détaillés : calcul, tests de logique à base de chiffres, de lettres et de figures, raisonnement logique.texte imprimé
Au sommaire notamment : Mots, maths et histoire (B. Hauchecorne) ; Sur la partie décimale des multiples d'un nombre (J.-N. Leconte) ; Peut-on modéliser les actes de la vie courante ? (B. Beauzamy) ; L'algorithme AKS (J. Elie) ; Mathématiques et [...]texte imprimé
Dominique de Werra, Auteur ; ThomasM. Liebling, Auteur ; Jean-François Hêche, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | Enseignement des mathématiques | 2003Propose une introduction aux principaux outils de modélisation et de résolution des problèmes de recherche opérationnelle, ainsi qu'aux méthodes d'optimisation et de simulation. De nombreux exemples et exercices.texte imprimé
Dominique de Werra, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | Enseignement des mathématiques | 2003Propose une introduction aux principaux outils de modélisation et de résolution des problèmes de recherche opérationnelle, ainsi qu'aux méthodes d'optimisation et de simulation.texte imprimé
Thiébaut Moulin, Metteur en scène, réalisateur ; ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES, Éditeur scientifique | Corcieux (Vosges) : Belrepère | Collection scientifique | 1997Les relateurs arithmétiques (RA) sont développés depuis 1971 par le Groupe Systema en vue de la modélisation des systèmes vivants, et, plus généralement, des systèmes naturels. Ce volume traite de la condition d'adaptation à l'environnement.texte imprimé
Thiébaut Moulin, Metteur en scène, réalisateur ; ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES, Éditeur scientifique | Corcieux (Vosges) : Belrepère | Collection scientifique | 1997Des théorèmes fondamentaux sur la réduction des séquences, la linéarisation d'un R.A. (L. Notale), préparent des applications en cristallographie, en mécanique quantique et en linguistique. Les premières applications du formalisme en biologie so[...]texte imprimé
Les relateurs arithmétiques (RA) sont développés depuis 1971 par le Groupe Systema en vue de la modélisation des systèmes vivants, et, plus généralement, des systèmes naturels. Ce volume représente une introduction au petit cours sur les relateu[...]texte imprimé
RENCONTRES FRANCOPHONES SUR LA LOGIQUE FLOUE ET SES APPLICATIONS (2006), Auteur ; INSTITUT NATIONAL DES SCIENCES APPLIQUÉES DE LYON, Éditeur scientifique | Toulouse : Cépaduès | 1999Les principaux domaines abordés sont le diagnostic et la supervision, les statistiques, l'aide à la décision et plus précisément les raffinements des relations d'ordre induites par les opérations min-max, ou les intégrales floues.texte imprimé
RENCONTRES FRANCOPHONES SUR LA LOGIQUE FLOUE ET SES APPLICATIONS (2006), Auteur | Toulouse : Cépaduès | 1997Les principaux domaines abordés sont la commande, l'aide à la décision, l'analyse des formes et des images, l'intelligence artificielle et les systèmes d'information.texte imprimé
RENCONTRES FRANCOPHONES SUR LA LOGIQUE FLOUE ET SES APPLICATIONS (2006), Auteur | Toulouse : Cépaduès | 1999Résultats les plus récents sur la théorie des ensembles flous et celle des possibilités et leurs applications : la commande floue, domaine historique de l'application des ensembles flous, classification, reconnaissance de formes, analyse de donn[...]texte imprimé
RENCONTRES FRANCOPHONES SUR LA LOGIQUE FLOUE ET SES APPLICATIONS (2006), Auteur | Toulouse : Cépaduès | 2002Résultats les plus récents sur la théorie des ensembles flous et celle des possibilités et leurs applications : la commande floue, domaine historique de l'application des ensembles flous, classification, reconnaissance de formes, analyse de donn[...]texte imprimé
RENCONTRES FRANCOPHONES SUR LA LOGIQUE FLOUE ET SES APPLICATIONS (2006), Auteur | Toulouse : Cépaduès | 2004La conférence LFA est l'occasion pour les chercheurs (universitaires et industriels) de la communauté francophone de présenter et partager leurs résultats les plus récents sur la théorie des ensembles flous et/ou la théorie des possibilités. Le [...]texte imprimé
RENCONTRES FRANCOPHONES SUR LA LOGIQUE FLOUE ET SES APPLICATIONS (2006), Auteur | Toulouse : Cépaduès | 2006Communications sur la théorie des possibilités et les ensembles flous, la théorie des fonctions de croyance, les probabilités imprécises, les ensembles approximatifs et le raisonnement qualitatif.texte imprimé
RENCONTRES FRANCOPHONES SUR LA LOGIQUE FLOUE ET SES APPLICATIONS (2006), Auteur | Toulouse : Cépaduès | 2003La conférence LFA est l'occasion pour les chercheurs (universitaires et industriels) de la communauté francophone de présenter et partager leurs résultats les plus récents sur la théorie des ensembles flous et/ou la théorie des possibilités. Le [...]texte imprimé
Grigore Gogu, Auteur ; Philippe Coiffet, Auteur ; André Barraco, Auteur | Paris : Hermès science publications | Mathématiques pour la robotique | 1996La représentation des déplacements finis et infinitésimaux des robots traite des modèles géométriques et cinématiques directs des robots car leurs qualités d'obtention conditionnent en partie celles des modèles inverses utilisés pour la commande[...]texte imprimé
Thèmes : estimation d'erreur a posteriori pour équations elliptiques et paraboliques non linéaires, génération et adaptation de maillage par optimisation locale, indicateurs d'ereur pour l'équation de la chaleur, adaptation de maillage tridimens[...]texte imprimé
Piotr Breitkopf, Metteur en scène, réalisateur ; Antonio Huerta, Metteur en scène, réalisateur | Paris : Hermès science publications | 2002Au sommaire notamment : introduction aux moindres carrés mobiles, méthodes sans maillages, verrouillage en limite incompressible : pseudo-divergence-nulle element free Galerkin, formulations lagrangiennes alternatives pour la méthode SPH, une ap[...]texte imprimé
Cette théorie des noeuds est devenue depuis 20 ans un des plus grands chantiers de recherche en mathématiques et une interface très active avec la physique.texte imprimé
Issy-les-Moulineaux (Hauts-de-Seine) : Masson Recherches en mathématiques appliquées, ISSN 0292-3168 1996Les "matériaux intelligents" ou "matériaux actifs" sont l'un des domaines actuels de recherche les plus prometteurs. Il s'agit de concevoir des objets capables de se régénérer, ou encore d'éviter les accidents en se mettant "hors circuit" une fo[...]texte imprimé
Dédié à l'étude et à l'application de ces systèmes en prévision de séries temporelles, cet ouvrage met l'accent sur la technique d'agrégation de modèles prédictifs. Concerne notamment l'auto-apprentissage et l'auto-structuration de ces modèles a[...]texte imprimé
Explique la parentée entre ces deux langages universels : les mathématiques et la musique. Aborde : leur origine commune, l'échelle harmonique, le son et la théorie de Fourier, les maths chez les grands compositeurs classiques, l'art de la compo[...]texte imprimé
Une étude des mystères de la cryptographie et des codes secrets. Des procédés artisanaux à aujourd'hui, les techniques de la cryptographie sont présentées ainsi que les méthodes de décodage.texte imprimé
Présentation de textes inédits de Georg Cantor, l'inventeur de la théorie des ensembles, qui s'acharna à défendre l'idée que la paternité des oeuvres de Shakespeare revenait à Bacon. Sa croyance s'appuie sur des interprétations touchant aussi la[...]texte imprimé
Jean-Claude Fournier, Auteur ; Jean-Charles Pomerol, Metteur en scène, réalisateur | Paris : Hermès science publications | Informatique, ISSN 1242-7691 | 2006Etude des principaux aspects de la théorie des graphes et de ses applications, en particulier celles relevant de l'optimisation combinatoire.texte imprimé
Présente les principales notions de la théorie des jeux et met l'accent sur les problèmes posés par la caractérisation des comportements rationnels et sur le rôle des croyances dans la définition de concept de solution privilégié par les théoric[...]texte imprimé
S'attachant à montrer en quoi la géométrie fractale vise à réduire la complexité, B. Sapoval souligne par là même comment elle permet de dégager une universalité, celle qui définit les systèmes possédant des propriétés indépendantes de la nature[...]texte imprimé
CENTRE DE COOPERATION INTERNATIONALE EN RECHERCHE AGRONOMIQUE POUR LE DEVELOPPEMENT, Éditeur scientifique | Montpellier : CIRAD | 1997Répond aux attentes des utilisateurs dans les domaines de l'exploitation graphique des données et des techniques d'enquête hiérarchisées.