University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'éditeur
Documents disponibles chez cet éditeur
Ajouter le résultat dans votre panier Affiner la recherche
Journées francophones sur les systèmes multi-agents / Journées francophones sur les systèmes multi-agents (21; 2013; Lille)
Titre : Journées francophones sur les systèmes multi-agents : dynamiques, couplages et visions intégratives ; actes des JFSMA '13, 3-5 juillet 2013, Lille Type de document : texte imprimé Auteurs : Journées francophones sur les systèmes multi-agents (21; 2013; Lille), Auteur ; Salima Hassas, Editeur scientifique ; Maxime Morge, Editeur scientifique Editeur : Toulouse : Cépaduès-éd. Année de publication : 2013 Importance : 1 vol. (201 p.) Présentation : : ill., plans, couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-36493-072-8 Note générale : Textes en français et en anglais
Notes bibliogr.Langues : Français (fre) Catégories : Informatique Mots-clés : Intelligence artificielle répartie : Actes de congrès
Traitement réparti : Actes de congrès
Agents intelligents (logiciels) : Actes de congrèsIndex. décimale : 004.3 - Modes de traitement des données Résumé :
Le domaine de recherche des Systèmes Multi-Agents tente de proposer et d'améliorer les modèles, les méthodes, les techniques et les outils permettant la conception de systèmes composés d'entités autonomes (les agents) en interaction entre elles.
Ces systèmes multi-agents permettent alors de s'attaquer à trois grands types de problèmes :
le développement de systèmes informatiques décentralisés où l'approche SMA permet l'intégration flexible et la coopération de logiciels et services autonomes ;
la résolution collective de problèmes, pour laquelle il s'agit de traiter de manière distribuée un problème qui se pose globalement à la collectivité d'agents ;
la simulation de phénomènes complexes où la modélisation multi-agents apporte un cadre conceptuel permettant la simulation de systèmes faisant intervenir différentes entités en interaction.
Depuis 1993, les Journées Francophones sur les Systèmes Multi-Agents (JFSMA) sont le rendez-vous annuel de la communauté des chercheurs francophones travaillant dans le domaine des Systèmes Multi-Agents (SMA). Cette vingt-et-unième édition s'est déroulée à Lille du 3 au 5 juillet 2013 dans le cadre de la plate-forme IA (Intelligence Artificielle). Elle fait suite aux éditions de Toulouse (1993), Grenoble (1994), Chambéry (1995), Port-Camargue (1996), Nice (1997), Nancy (1998), L'Ile de la Réunion (1999), Saint-Étienne (2000), Montréal (2001), Lille (2002), Hammamet (2003), Paris (2004), Calais (2005), Annecy (2006), Carcassonne (2007), Brest (2008), Lyon (2009), Mahdia (2010), Valenciennes (2011) et Honfleur (2012).Note de contenu :
Sommaire
Avant-propos
F. ZAMBONELLI - Engineering Socio-technical Urban Superorganisms
INTERACTIONS, NÉGOCIATION ET PLANIFICATION
G. BONNET - Un protocole fonde sur un dilemme pour se prémunir des collusions dans les systèmes de réputation
F. DELECROIX, M. MORGE, J-C. ROUTIER - Négociation bilatérale pour la recherche d'un compromis
C. PANIAH, J. GIL-QUIJANO, D. MERCIER - Systèmes multi-agents pour la gestion de sources d'énergie renouvelable et de stockage de masse (présentation courte)
SIMULATION
P. MATHIEU, S. PICAULT - Des données aux agents : la simulation réaliste de populations diversifiées de clients
E. AMOUROUX, T. HURAUX, F. SEMPE, N. SABOURET, Y. HARADJI - SMACH : Simuler l'activité humaine pour limiter les pics de consommation électrique
P. SIMO KANMEUGNE, A. BEYNIER, J.-Y. DONNART - Modèle microscopique à influence macroscopique pour la simulation des déplacements de piétons autonomes en temps réel
APPRENTISSAGE
M. GACIARZ, P. MATHIEU, Y. SECQ - Stratégies d'agents pour apprendre des ordres
S. HOET, N. SABOURET - Un modèle de mémoire pour l'apprentissage de communication dans un SMA (présentation courte)
AGENTS VIRTUELS
K. DARTY, J. SAUNIER, N. SABOURET - Extraction de comportements pour l'étude de la crédibilité des agents
J.-P. SANSONNET, F. BOUCHET, N. SABOURET - Moteurs de personnalité pour agents dialogiques : étude d'un modèle pour les traits interpersonnels
H. JONES, J. SAUNIER - Perception et émotions des conducteurs : une modélisation à base de règles floues (présentation courte)
Q. REYNAUD, V. CORRUBLE - Un mécanisme de composition de comportements pour agents virtuels (présentation courte
AUTO-ORGANISATION, ÉMERGENCE
S. LEMERCIER, J. AUBERLET - Perception de groupes pour la navigation d'agents autonomes : vers une émergence de comportements collectifs
Q. A. NGUYEN VU, S. HASSAS, B. GAUDOU, R. CANAL, F. ARMETTA, M. H. NGUYEN - Couplage de dynamiques, auto-organisation et confiance dans un système multi-agents perturbé
G. PICARD, D. VILLANUEVA, R. LE RICHE, R. T. HAFKA - Méthode multi-agent d'optimisation par partitionnement auto-organisé
DISTRIBUTION ET DÉPLOIEMENT
O. RIHAWI, Y. SECQ, P. MATHIEU - Impact des politiques de synchronisation dans les simulations reparties d'agents situés
J.-P. JAMONT, M. OCCELLO - Prise en compte des exigences extra-fonctionnelles relatives au déploiement des SMA embarqués
F. MICHEL - Intégration du calcul sur GPU dans la plate-forme de simulation multi-agent générique TurtleKit 3
Index des auteursCôte titre : Fs/15446-15450 Journées francophones sur les systèmes multi-agents : dynamiques, couplages et visions intégratives ; actes des JFSMA '13, 3-5 juillet 2013, Lille [texte imprimé] / Journées francophones sur les systèmes multi-agents (21; 2013; Lille), Auteur ; Salima Hassas, Editeur scientifique ; Maxime Morge, Editeur scientifique . - Toulouse : Cépaduès-éd., 2013 . - 1 vol. (201 p.) : : ill., plans, couv. ill. en coul. ; 25 cm.
ISBN : 978-2-36493-072-8
Textes en français et en anglais
Notes bibliogr.
Langues : Français (fre)
Catégories : Informatique Mots-clés : Intelligence artificielle répartie : Actes de congrès
Traitement réparti : Actes de congrès
Agents intelligents (logiciels) : Actes de congrèsIndex. décimale : 004.3 - Modes de traitement des données Résumé :
Le domaine de recherche des Systèmes Multi-Agents tente de proposer et d'améliorer les modèles, les méthodes, les techniques et les outils permettant la conception de systèmes composés d'entités autonomes (les agents) en interaction entre elles.
Ces systèmes multi-agents permettent alors de s'attaquer à trois grands types de problèmes :
le développement de systèmes informatiques décentralisés où l'approche SMA permet l'intégration flexible et la coopération de logiciels et services autonomes ;
la résolution collective de problèmes, pour laquelle il s'agit de traiter de manière distribuée un problème qui se pose globalement à la collectivité d'agents ;
la simulation de phénomènes complexes où la modélisation multi-agents apporte un cadre conceptuel permettant la simulation de systèmes faisant intervenir différentes entités en interaction.
Depuis 1993, les Journées Francophones sur les Systèmes Multi-Agents (JFSMA) sont le rendez-vous annuel de la communauté des chercheurs francophones travaillant dans le domaine des Systèmes Multi-Agents (SMA). Cette vingt-et-unième édition s'est déroulée à Lille du 3 au 5 juillet 2013 dans le cadre de la plate-forme IA (Intelligence Artificielle). Elle fait suite aux éditions de Toulouse (1993), Grenoble (1994), Chambéry (1995), Port-Camargue (1996), Nice (1997), Nancy (1998), L'Ile de la Réunion (1999), Saint-Étienne (2000), Montréal (2001), Lille (2002), Hammamet (2003), Paris (2004), Calais (2005), Annecy (2006), Carcassonne (2007), Brest (2008), Lyon (2009), Mahdia (2010), Valenciennes (2011) et Honfleur (2012).Note de contenu :
Sommaire
Avant-propos
F. ZAMBONELLI - Engineering Socio-technical Urban Superorganisms
INTERACTIONS, NÉGOCIATION ET PLANIFICATION
G. BONNET - Un protocole fonde sur un dilemme pour se prémunir des collusions dans les systèmes de réputation
F. DELECROIX, M. MORGE, J-C. ROUTIER - Négociation bilatérale pour la recherche d'un compromis
C. PANIAH, J. GIL-QUIJANO, D. MERCIER - Systèmes multi-agents pour la gestion de sources d'énergie renouvelable et de stockage de masse (présentation courte)
SIMULATION
P. MATHIEU, S. PICAULT - Des données aux agents : la simulation réaliste de populations diversifiées de clients
E. AMOUROUX, T. HURAUX, F. SEMPE, N. SABOURET, Y. HARADJI - SMACH : Simuler l'activité humaine pour limiter les pics de consommation électrique
P. SIMO KANMEUGNE, A. BEYNIER, J.-Y. DONNART - Modèle microscopique à influence macroscopique pour la simulation des déplacements de piétons autonomes en temps réel
APPRENTISSAGE
M. GACIARZ, P. MATHIEU, Y. SECQ - Stratégies d'agents pour apprendre des ordres
S. HOET, N. SABOURET - Un modèle de mémoire pour l'apprentissage de communication dans un SMA (présentation courte)
AGENTS VIRTUELS
K. DARTY, J. SAUNIER, N. SABOURET - Extraction de comportements pour l'étude de la crédibilité des agents
J.-P. SANSONNET, F. BOUCHET, N. SABOURET - Moteurs de personnalité pour agents dialogiques : étude d'un modèle pour les traits interpersonnels
H. JONES, J. SAUNIER - Perception et émotions des conducteurs : une modélisation à base de règles floues (présentation courte)
Q. REYNAUD, V. CORRUBLE - Un mécanisme de composition de comportements pour agents virtuels (présentation courte
AUTO-ORGANISATION, ÉMERGENCE
S. LEMERCIER, J. AUBERLET - Perception de groupes pour la navigation d'agents autonomes : vers une émergence de comportements collectifs
Q. A. NGUYEN VU, S. HASSAS, B. GAUDOU, R. CANAL, F. ARMETTA, M. H. NGUYEN - Couplage de dynamiques, auto-organisation et confiance dans un système multi-agents perturbé
G. PICARD, D. VILLANUEVA, R. LE RICHE, R. T. HAFKA - Méthode multi-agent d'optimisation par partitionnement auto-organisé
DISTRIBUTION ET DÉPLOIEMENT
O. RIHAWI, Y. SECQ, P. MATHIEU - Impact des politiques de synchronisation dans les simulations reparties d'agents situés
J.-P. JAMONT, M. OCCELLO - Prise en compte des exigences extra-fonctionnelles relatives au déploiement des SMA embarqués
F. MICHEL - Intégration du calcul sur GPU dans la plate-forme de simulation multi-agent générique TurtleKit 3
Index des auteursCôte titre : Fs/15446-15450 Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité Fs/15446 Fs/15446-15450 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/15447 Fs/15446-15450 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/15448 Fs/15446-15450 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/15449 Fs/15446-15450 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/15450 Fs/15446-15450 Livre Bibliothéque des sciences Français Disponible
DisponibleLeçons et applications de géométrie différentielle et de mécanique analytique / Yves Ray Talpaert
Titre : Leçons et applications de géométrie différentielle et de mécanique analytique Type de document : texte imprimé Auteurs : Yves Ray Talpaert (1944-....), Auteur Editeur : Toulouse : Cépaduès-éd. Année de publication : 1993 Importance : 460 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-85428-325-9 Note générale : Bibliogr. p. 459-460. Index Langues : Français (fre) Catégories : Mathématique
PhysiqueMots-clés : Géométrie différentielle : Problèmes et exercices
Mécanique analytique : Problèmes et exercicesIndex. décimale : 516.3 Géométries analytiques Résumé :
S'adressant aux étudiants de maîtrises de mathématique et de physique et aux élèves ingénieurs physiciens et mécaniciens, la géométrie différentielle présentée est développée avec un souci pédagogique constant et prépare aux applications de cette discipline. Les notions de variété, tenseur, forme, fibres, algèbre et dérivée de Lie..., exposées et illustrées de manière progressive, devraient être connues de tout étudiant abordant un troisième cycle de mécanique des fluides, relativités, cosmologie, physique des hautes énergies, mécanique, etc. Les géométries riemannienne et symplectique et surtout la mécanique analytique y sont largement développées.Note de contenu :
RAPPELS DE TOPOLOGIE ET DE CALCUL DIFFERENTIEL
Rappels de topologie générale
Calcul différentiel dans les banach
VARIETES
Introduction
Variétés différentiables
Applications différentiables de variétés
Sous-variétés
ESPACE VECTORIEL TANGENT
Vecteur tangent
Espace vectoriel tangent
Application différentielle en un point
FIBRE TANGENT ; CHAMP DE VECTEURS GROUPE A UN PARAMETRE ; ALGEBRE DE LIE
Fibre tangent
Champ de vecteurs sur une variété
Structure d'algèbre de Lie
Groupe à un paramètre de difféomorphismes
FIBRE COTANGENT ET FIBRE DES TENSEURS
Fibre cotangent, champ de covecteurs
Algèbre tensorielle et champ de tenseurs
FORMES DIFFERENTIELLES
Forme extérieure en un point
Formes différentielles sur une variété
Image réciproque d'une forme différentielle forme volume
Différentiation extérieure
DERIVEE DE LIE ; GROUPE DE LIE
Dérivée de Lie
Produit intérieur et dérivée de Lie
Théorème de Frobenius pour les champs de vecteurs
Invariance des champs de tenseurs
Groupe de Lie
L'INTEGRATION DES FORMES ET SES APPLICATIONS
Intégration d'une forme différentielle de degré n sur une variété orientée
Intégrale sur une chaîne
Formule de Stokes
Introduction à la théorie de l'homologie
Invariants intégraux
GEOMETRIE RIEMANNIENNE
Variétés riemanniennes
Connexion linéaire
Géodésiques et équation d'Euler
Courbure ; Identité de Bianchi ; Equations d'Einstein
PRINCIPES DES FORMALISMES LAGRANGIEN ET HAMILTONIEN, EQUATIONS DU MOUVEMENT ; INTEGRALES ISOLANTES
Espace de configuration, métrique
Principe de Hamilton ; Equations du mouvement
Espace des phases
Principe de d'Alembert-Lagrange ; Equations de Lagrange
Transformations canoniques et invariants intégraux
Intégrales isolantes en dynamique stellaire
GEOMETRIE SYMPLECTIQUE ET MECANIQUE DE HAMILTON-JACOBI
Géométrie symplectique
Transformations canoniques en mécanique hamiltonnienne
Equation de Hamilton-Jacobi
Introduction à la théorie des perturbations.Leçons et applications de géométrie différentielle et de mécanique analytique [texte imprimé] / Yves Ray Talpaert (1944-....), Auteur . - Toulouse : Cépaduès-éd., 1993 . - 460 p. : ill. ; 24 cm.
ISBN : 978-2-85428-325-9
Bibliogr. p. 459-460. Index
Langues : Français (fre)
Catégories : Mathématique
PhysiqueMots-clés : Géométrie différentielle : Problèmes et exercices
Mécanique analytique : Problèmes et exercicesIndex. décimale : 516.3 Géométries analytiques Résumé :
S'adressant aux étudiants de maîtrises de mathématique et de physique et aux élèves ingénieurs physiciens et mécaniciens, la géométrie différentielle présentée est développée avec un souci pédagogique constant et prépare aux applications de cette discipline. Les notions de variété, tenseur, forme, fibres, algèbre et dérivée de Lie..., exposées et illustrées de manière progressive, devraient être connues de tout étudiant abordant un troisième cycle de mécanique des fluides, relativités, cosmologie, physique des hautes énergies, mécanique, etc. Les géométries riemannienne et symplectique et surtout la mécanique analytique y sont largement développées.Note de contenu :
RAPPELS DE TOPOLOGIE ET DE CALCUL DIFFERENTIEL
Rappels de topologie générale
Calcul différentiel dans les banach
VARIETES
Introduction
Variétés différentiables
Applications différentiables de variétés
Sous-variétés
ESPACE VECTORIEL TANGENT
Vecteur tangent
Espace vectoriel tangent
Application différentielle en un point
FIBRE TANGENT ; CHAMP DE VECTEURS GROUPE A UN PARAMETRE ; ALGEBRE DE LIE
Fibre tangent
Champ de vecteurs sur une variété
Structure d'algèbre de Lie
Groupe à un paramètre de difféomorphismes
FIBRE COTANGENT ET FIBRE DES TENSEURS
Fibre cotangent, champ de covecteurs
Algèbre tensorielle et champ de tenseurs
FORMES DIFFERENTIELLES
Forme extérieure en un point
Formes différentielles sur une variété
Image réciproque d'une forme différentielle forme volume
Différentiation extérieure
DERIVEE DE LIE ; GROUPE DE LIE
Dérivée de Lie
Produit intérieur et dérivée de Lie
Théorème de Frobenius pour les champs de vecteurs
Invariance des champs de tenseurs
Groupe de Lie
L'INTEGRATION DES FORMES ET SES APPLICATIONS
Intégration d'une forme différentielle de degré n sur une variété orientée
Intégrale sur une chaîne
Formule de Stokes
Introduction à la théorie de l'homologie
Invariants intégraux
GEOMETRIE RIEMANNIENNE
Variétés riemanniennes
Connexion linéaire
Géodésiques et équation d'Euler
Courbure ; Identité de Bianchi ; Equations d'Einstein
PRINCIPES DES FORMALISMES LAGRANGIEN ET HAMILTONIEN, EQUATIONS DU MOUVEMENT ; INTEGRALES ISOLANTES
Espace de configuration, métrique
Principe de Hamilton ; Equations du mouvement
Espace des phases
Principe de d'Alembert-Lagrange ; Equations de Lagrange
Transformations canoniques et invariants intégraux
Intégrales isolantes en dynamique stellaire
GEOMETRIE SYMPLECTIQUE ET MECANIQUE DE HAMILTON-JACOBI
Géométrie symplectique
Transformations canoniques en mécanique hamiltonnienne
Equation de Hamilton-Jacobi
Introduction à la théorie des perturbations.Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité Fs/4054 Fs/4054-4057 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/4057 Fs/4054-4057 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/4056 Fs/4054-4057 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/4055 Fs/4054-4057 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/6601 Fs/6601-6606 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6602 Fs/6601-6606 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6603 Fs/6601-6606 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6604 Fs/6601-6606 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6605 Fs/6601-6606 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6606 Fs/6601-6606 livre Bibliothéque des sciences Français Disponible
DisponibleLimites, applications continues, espaces complets / Daniel Sondaz
Titre : Limites, applications continues, espaces complets : introduction à la topologie ; L3, master, CAPES, agrégation Type de document : texte imprimé Auteurs : Daniel Sondaz, Auteur Editeur : Toulouse : Cépaduès-éd. Année de publication : 2010 Collection : Bien maîtriser les mathématiques, ISSN 2101-1311 Importance : 1 vol. (135 p.) Présentation : ill. en noir et en coul., couv. ill. en coul. Format : 21 cm ISBN/ISSN/EAN : 978-2-85428-925-1 Note générale : Index Langues : Français (fre) Catégories : Mathématique Mots-clés : Espaces topologiques
Espaces métriques
Espaces linéaires normés
Calcul infinitésimal
Topologie : Problèmes et exercicesIndex. décimale : 514 - Topologie Résumé :
Cet ouvrage est une introduction à la topologie. Il s'adresse aux étudiants de L3 de mathématiques, de masters de mathématiques pures et appliquées, aux étudiants des écoles d'ingénieurs ainsi qu'aux étudiants qui préparent le C.A.P.E.S. et l'agrégation de mathématiques. Il propose à la fois des rappels de cours et des exercices corrigés de façon particulièrement détaillée, classés par ordre de difficulté croissante. Le lecteur peut ainsi progresser à son rythme et de façon autonome dans cette discipline.
Chaque chapitre est agrémenté de pages historiques, qui retracent la vie de certains mathématiciens ayant contribué au développement de la topologie.
Sont abordées dans ce fascicule, les fonctions continues sur les espaces topologiques, métriques et normés, ainsi que la notion de complétude dans le cadre des espaces métriques. Les exercices proposés permettent au lecteur de maîtriser un large spectre d'exemples. Une fois ces notions assimilées, il pourra sans difficultés s'engager dans des études plus avancées.Note de contenu :
Sommaire
Prérequis
Limite continuité espaces topologiques
Limite continuité espaces métriques
Limite continuité espaces normés
Espaces métriques completsCôte titre : Fs/9859-9862 Limites, applications continues, espaces complets : introduction à la topologie ; L3, master, CAPES, agrégation [texte imprimé] / Daniel Sondaz, Auteur . - Toulouse : Cépaduès-éd., 2010 . - 1 vol. (135 p.) : ill. en noir et en coul., couv. ill. en coul. ; 21 cm. - (Bien maîtriser les mathématiques, ISSN 2101-1311) .
ISBN : 978-2-85428-925-1
Index
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Espaces topologiques
Espaces métriques
Espaces linéaires normés
Calcul infinitésimal
Topologie : Problèmes et exercicesIndex. décimale : 514 - Topologie Résumé :
Cet ouvrage est une introduction à la topologie. Il s'adresse aux étudiants de L3 de mathématiques, de masters de mathématiques pures et appliquées, aux étudiants des écoles d'ingénieurs ainsi qu'aux étudiants qui préparent le C.A.P.E.S. et l'agrégation de mathématiques. Il propose à la fois des rappels de cours et des exercices corrigés de façon particulièrement détaillée, classés par ordre de difficulté croissante. Le lecteur peut ainsi progresser à son rythme et de façon autonome dans cette discipline.
Chaque chapitre est agrémenté de pages historiques, qui retracent la vie de certains mathématiciens ayant contribué au développement de la topologie.
Sont abordées dans ce fascicule, les fonctions continues sur les espaces topologiques, métriques et normés, ainsi que la notion de complétude dans le cadre des espaces métriques. Les exercices proposés permettent au lecteur de maîtriser un large spectre d'exemples. Une fois ces notions assimilées, il pourra sans difficultés s'engager dans des études plus avancées.Note de contenu :
Sommaire
Prérequis
Limite continuité espaces topologiques
Limite continuité espaces métriques
Limite continuité espaces normés
Espaces métriques completsCôte titre : Fs/9859-9862 Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité Fs/9859 Fs/9859-9862 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9860 Fs/9859-9862 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9861 Fs/9859-9862 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9862 Fs/9859-9862 livre Bibliothéque des sciences Français Disponible
DisponibleLa logique floue / Bernadette Bouchon-Meunier
Titre : La logique floue : Exercices corrigés et exemples d'applications Type de document : texte imprimé Auteurs : Bernadette Bouchon-Meunier, Auteur ; Laurent Foulloy, Auteur ; Ramdani, Mohammed, Auteur Editeur : Toulouse : Cépaduès-éd. Année de publication : 1998 Importance : 1 vol (200 p.) Présentation : ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-85428-469-0 Note générale : 2-85428-469-0 Langues : Français (fre) Catégories : Mathématique Mots-clés : Mathématique
logique floueIndex. décimale : 006.3 Intelligence artificielle Résumé :
La 4e de couverture indique : "Ce livre 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"
Côte titre : Fs/23006-23007 La logique floue : Exercices corrigés et exemples d'applications [texte imprimé] / Bernadette Bouchon-Meunier, Auteur ; Laurent Foulloy, Auteur ; Ramdani, Mohammed, Auteur . - Toulouse : Cépaduès-éd., 1998 . - 1 vol (200 p.) : ill. ; 21 cm.
ISBN : 978-2-85428-469-0
2-85428-469-0
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Mathématique
logique floueIndex. décimale : 006.3 Intelligence artificielle Résumé :
La 4e de couverture indique : "Ce livre 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"
Côte titre : Fs/23006-23007 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Fs/23006 Fs/23006-23007 livre Bibliothéque des sciences Français Disponible
DisponibleFs/23007 Fs/23006-23007 livre Bibliothéque des sciences Français Disponible
DisponibleMachines de Turing / Éric Jacopin
Titre : Machines de Turing : introduction à la caractérisation de la complexité d'un problème Type de document : texte imprimé Auteurs : Éric Jacopin, Auteur Editeur : Toulouse : Cépaduès-éd. Année de publication : 2009 Importance : 1 vol. (264 p.) Présentation : ill., couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-85428-865-0 Langues : Français (fre) Catégories : Mathématique Mots-clés : Turing, Machines de : Problèmes et exercices
Mathematica (logiciel)Index. décimale : 511.3 - Logique mathématique Résumé :
Surtout, ne la cherchez pas dans un musée : aucune machine de Turing n'a jamais été construite. Inventée par Alan Turing au début des années 1930 pour résoudre un problème posé par le mathématicien David Hilbert au seuil du 20e siècle, une machine de Turing est un outil fondamental pour étudier la complexité des problèmes.
Cet ouvrage vous propose d'aborder les machines de Turing déterministes et non déterministes par leur aspect pratique : leur programmation pour résoudre un problème et produire des graphiques visualisant la complexité de ce problème.
Ainsi, ce livre s'adresse à un public très large : les théoriciens trouveront une représentation graphique des théorèmes, les programmeurs découvriront les effets des programmes sur les ressources disponibles (temps et mémoire de calcul), les premiers pas des débutants seront facilités par le parti pris pratique de ce livre et les exemples, exercices et notes bibliographiques aideront à illustrer les cours.
Ce livre utilise le langage Mathematica car ses diverses fonctionnalités graphiques et symboliques facilitent l'écriture d'un simulateur de machine de Turing. Vous pourrez bien sûr réutiliser les exemples de ce livre dans un simulateur glané sur internet, mais la lecture de ce livre vous incitera à écrire votre propre simulateur.Note de contenu :
Sommaire
Définitions et déclarations pour les machines déterministes
Exemples de caractérisation de la complexité déterministe
Définitions et déclarations pour les machines non déterministes
Exemples de caractérisation de la complexité on déterministeCôte titre : Fs/9021-9024 Machines de Turing : introduction à la caractérisation de la complexité d'un problème [texte imprimé] / Éric Jacopin, Auteur . - Toulouse : Cépaduès-éd., 2009 . - 1 vol. (264 p.) : ill., couv. ill. en coul. ; 23 cm.
ISBN : 978-2-85428-865-0
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Turing, Machines de : Problèmes et exercices
Mathematica (logiciel)Index. décimale : 511.3 - Logique mathématique Résumé :
Surtout, ne la cherchez pas dans un musée : aucune machine de Turing n'a jamais été construite. Inventée par Alan Turing au début des années 1930 pour résoudre un problème posé par le mathématicien David Hilbert au seuil du 20e siècle, une machine de Turing est un outil fondamental pour étudier la complexité des problèmes.
Cet ouvrage vous propose d'aborder les machines de Turing déterministes et non déterministes par leur aspect pratique : leur programmation pour résoudre un problème et produire des graphiques visualisant la complexité de ce problème.
Ainsi, ce livre s'adresse à un public très large : les théoriciens trouveront une représentation graphique des théorèmes, les programmeurs découvriront les effets des programmes sur les ressources disponibles (temps et mémoire de calcul), les premiers pas des débutants seront facilités par le parti pris pratique de ce livre et les exemples, exercices et notes bibliographiques aideront à illustrer les cours.
Ce livre utilise le langage Mathematica car ses diverses fonctionnalités graphiques et symboliques facilitent l'écriture d'un simulateur de machine de Turing. Vous pourrez bien sûr réutiliser les exemples de ce livre dans un simulateur glané sur internet, mais la lecture de ce livre vous incitera à écrire votre propre simulateur.Note de contenu :
Sommaire
Définitions et déclarations pour les machines déterministes
Exemples de caractérisation de la complexité déterministe
Définitions et déclarations pour les machines non déterministes
Exemples de caractérisation de la complexité on déterministeCôte titre : Fs/9021-9024 Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité Fs/9021 Fs/9021-9024 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9022 Fs/9021-9024 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9023 Fs/9021-9024 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9024 Fs/9021-9024 livre Bibliothéque des sciences Français Disponible
DisponibleMathématiques nécessaires et suffisantes pour l'ingénieur / Louis Gacogne
PermalinkMatrices, déterminants / Colin, Jean-Jacques
PermalinkMécanique générale / Serge Laroze
PermalinkMécanique générale et analytique / Talpaert, Yves
PermalinkMécanique des milieux continus généralisés / Gianpietro Del piero
PermalinkLes Milieux continus multiphysiques hors d'équilibre et leur modélisation / Borghi, Roland
PermalinkNombres complexes, polynômes et fractions rationnelles / Colin, Jean-Jacques
PermalinkNombres réels, suites / Colin, Jean-Jacques
PermalinkDes ondes et des fluides / Olivier Thual
PermalinkProbabilités discrètes / Pierre Meunier
Permalink