4ème congrès français de génie des procédés, Grenoble, France, 21-23 septembre, 1993. Conduite et commande des procédés / C. JALLUT

Titre : 4ème congrès français de génie des procédés, Grenoble, France, 21-23 septembre, 1993. Conduite et commande des procédés Type de document : symposium Auteurs : C. JALLUT, Coordinateur Editeur : Paris : Lavoisier Technique et documentation Année de publication : 1993 Collection : Récents progrès en génie des procédés, ISSN 1166-7478 num. Vol.7 N°29 Importance : 304 p. ISBN/ISSN/EAN : 978-2-910239-03-9 Note générale : Avant-propos Remerciements Sommaire Catégories : Génie chimique Intelligence artificielle Mesure Index. décimale : 660.2 Génie chimique Résumé : /

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00004516	660.2 / 1993	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Symposiums [Congrès Thermique et Combustion]	Disponible

L'Anatomie de Prolog / Michel VAN CANEGHEM

Titre : L'Anatomie de Prolog Type de document : texte imprimé Auteurs : Michel VAN CANEGHEM Editeur : InterEditions Année de publication : 1986 Importance : 191 p. ISBN/ISSN/EAN : 978-2-7296-0149-2 Note générale : Sommaire. Avant-propos. Bibliographie. Annexe A : La syntaxe de Prolog II Annexe B : Les règles prédéfinies de Prolog II Annexe C : Le mini Prolog II Index. Catégories : Intelligence artificielle Prolog (langage de programmation) Index. décimale : 005.13 Langages de programmation Résumé : Avant Prolog II. Les spécifications de Prolog II. Grandes orientations. L'interpreteur de Prolog II. Codage des structures statiques. Une implantation de Prolog II. Description d'un mini Prolog II.

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000101	005.13 VAN	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Apprentissage artificiel : Concepts et algorithmes. De Bayes et Hume au Deep Learning / Vincent BARRA

Titre : Apprentissage artificiel : Concepts et algorithmes. De Bayes et Hume au Deep Learning Type de document : texte imprimé Auteurs : Vincent BARRA, Auteur ; Antoine CORNUÉJOLS, Auteur ; Laurent MICLET, Auteur Mention d'édition : 4e édition Editeur : Eyrolles Année de publication : 2021 Collection : Algorithmes (Paris), ISSN 1625-113X Importance : 990 p. ISBN/ISSN/EAN : 978-2-416-00104-8 Note générale : Préface Table des matières Notations Bibliographie Index Catégories : Algorithmes Apprentissage automatique Intelligence artificielle Index. décimale : 006.3 Intelligence artificielle Résumé : Des machines apprenantes ! L'induction exploitant la structure de l'espace des hypothèses L'induction par optimisation d'un critère inductif L'induction par comparaison et collaboration L'apprentissage descriptif L'apprentissage en environnement et non stationnaire Aspects pratiques et suppléments

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00011395	006.3 BAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 15/05/2026
B00011389	006.3 BAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

De Common Lisp à la programmation objet / Habib ABDULRAB

Titre : De Common Lisp à la programmation objet Type de document : texte imprimé Auteurs : Habib ABDULRAB Editeur : Hermès Science Publications Année de publication : 1990 Collection : Traité des Nouvelles Technologies, série Informatique Importance : 225 p. ISBN/ISSN/EAN : 978-2-86601-244-1 Note générale : Table des matières Avant-propos Annexe A : Représentation interne Annexe B : Solutions des exercices Annexe C : Notations Bibliographie Index Catégories : Common LISP (langage de programmation) Génie logiciel Intelligence artificielle Langages de programmation Programmation orientée objets (informatique) Index. décimale : 005.13 Langages de programmation Résumé : Introduction à LISP Primitives de base de LISP Evaluation en LISP Introduction à la programmation par objets Mécanismes de base de la programmation par objets Exploration du graphe d'héritage Implémentation d'un langage à objets Unification

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000538	005.13 ABD	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Contribution à l'étude de l'exploitation des données temporelles en présence d'imperfections / Aymen GAMMOUDI  

Titre : Contribution à l'étude de l'exploitation des données temporelles en présence d'imperfections Type de document : thèse Auteurs : Aymen GAMMOUDI, Auteur ; Allel HADJALI, Directeur de thèse ; Boutheina BEN YAGHLANE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Riadh FARAH, Rapporteur ; Sofian MAABOUT, Rapporteur ; Nahla BEN AMOR, Examinateur ; Daniel ROCACHER, Examinateur ; Mohamed Salah GOUIDER, Examinateur Importance : 111 p. Note générale : NNT 2017ESMA0008 Dédicace Remerciements Table des matières Table des figures Liste des tableaux Introduction générale Références bibliographiques Catégories : Architecture:Bases de données Bases de données spatio-temporelles Bases de données:Interrogation Ensembles flous Intelligence artificielle Logique floue SQL (langage de programmation) Résumé : ETAT DE L'ART Notions de base Travaux connexes CONTRIBUTIONS Requêtes en présence des relations temporelles graduelles Requêtes en présence des intervalles temporels flous Implémentation et expériementation CONCLUSION GENERALE En ligne : https://tel.archives-ouvertes.fr/tel-01551795

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014321	TH-17 GAM	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-17 GAM	GAM	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Gödel, Escher, Bach : Les brins d'une guirlande éternelle / Douglas HOFSTADTER

Titre : Gödel, Escher, Bach : Les brins d'une guirlande éternelle Type de document : texte imprimé Auteurs : Douglas HOFSTADTER Editeur : InterEditions Année de publication : 1985 Importance : 883 p. ISBN/ISSN/EAN : 978-2-7296-0617-6 Note générale : Sommaire Présentation Avant-propos à l'édition française Notes et références Liste des illustrations Sources iconographiques et bibliographiques Bibliographie Index analytique Catégories : Intelligence artificielle Mathématiques Mathématiques:Philosophie Index. décimale : 004.01 Résumé : GEB : Introduction : Offrande musico-logique L'énigme MU Signification et forme en mathématiques Figure et fond Consistance, complétude et géométrie Structures et processus récursifs Où réside la signification? Le calcul propositionnel Unsystème explosif : la TNT Mumon et Gödel EGB : Niveaux de description et ordinateurs Cerveaux et pensées Esprits et pensées Bucle, Mucle, et Pucle Dea propositions formellement indécidables dans la TNT et les systèmes apparentés Sortir du système Auto-réf et auto-rep Church, Turing, Tarski et autres Intelligence artificielle : passé Intelligence artificielle : avenir Boucles Etranges, ou Hiérarchies Enchevêtrées

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001817	004.01 HOF	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

A Guided Tour of Artificial Intelligence Research: 1., Knowledge Representation, Reasoning and Learning / Pierre MARQUIS ; Odile PAPINI ; Henri PRADE

Titre : A Guided Tour of Artificial Intelligence Research: 1., Knowledge Representation, Reasoning and Learning Type de document : texte imprimé Auteurs : Pierre MARQUIS, Éditeur scientifique ; Odile PAPINI, Éditeur scientifique ; Henri PRADE, Éditeur scientifique Editeur : Springer Nature Switzerland Année de publication : 2020 Importance : 803 p. ISBN/ISSN/EAN : 978-3-030-06163-0 Note générale : General Presentation of the Guided Tour of Artificial Intelligence Reasearch Contents Preface Foreword Index Catégories : Intelligence artificielle Intelligence computationnelle Index. décimale : 006.3 Intelligence artificielle Résumé : /

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014612	006.3 GUI	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

A Guided Tour of Artificial Intelligence Research: 2., AI Algorithms / Pierre MARQUIS ; Odile PAPINI ; Henri PRADE

Titre : A Guided Tour of Artificial Intelligence Research: 2., AI Algorithms Type de document : texte imprimé Auteurs : Pierre MARQUIS, Éditeur scientifique ; Odile PAPINI, Éditeur scientifique ; Henri PRADE, Éditeur scientifique Editeur : Springer Nature Switzerland Année de publication : 2020 Importance : 803 p. Note générale : General Presentation of the Guided Tour of Artificial Intelligence Reasearch Contents Preface Foreword Index Catégories : Intelligence artificielle Intelligence computationnelle Index. décimale : 006.3 Intelligence artificielle Résumé : /

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014567	006.3 MAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 30/09/2025

A Guided Tour of Artificial Intelligence Research: 3., Interfaces and Applications of Artificial Intelligence / Pierre MARQUIS ; Odile PAPINI ; Henri PRADE

Titre : A Guided Tour of Artificial Intelligence Research: 3., Interfaces and Applications of Artificial Intelligence Type de document : texte imprimé Auteurs : Pierre MARQUIS, Éditeur scientifique ; Odile PAPINI, Éditeur scientifique ; Henri PRADE, Éditeur scientifique Editeur : Springer Nature Switzerland Année de publication : 2020 Importance : 803 p. Note générale : General Presentation of the Guided Tour of Artificial Intelligence Reasearch Contents Preface Foreword Index Catégories : Intelligence artificielle Intelligence computationnelle Index. décimale : 006.3 Intelligence artificielle Résumé : /

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014580	006.3 MAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 30/09/2025

Intelligence artificielle : 2., Représentation des connaissances / J.-L. LAURIERE

Titre : Intelligence artificielle : 2., Représentation des connaissances Type de document : texte imprimé Auteurs : J.-L. LAURIERE Editeur : Eyrolles Année de publication : 1988 Importance : 267 p. Note générale : Préface Plan général Conclusion Index Bibliographie Catégories : Information, Théorie de l' Intelligence artificielle Représentation des connaissances Systèmes experts (informatique) Index. décimale : 006.3 Intelligence artificielle Résumé : Les systèmes exprets Le langage SNARK Les règles en SNARK La métaconnaissance Le moteur d'inférences Exemples de bases de connaissances Problèmes d'optimisation Définition syntaxique du langage SNARK

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000660	006.3 LAU	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Intelligence artificielle, Robotique et automatique, appliquées à l'espace / Centre national d'Etudes Spatiales (CNES)

Titre : Intelligence artificielle, Robotique et automatique, appliquées à l'espace Type de document : texte imprimé Auteurs : Centre national d'Etudes Spatiales (CNES) Editeur : Toulouse : Cépaduès-Éditions Année de publication : 1992 Importance : 503 p. ISBN/ISSN/EAN : 978-2-85428-326-6 Note générale : Introduction Table des matières Catégories : Astronautique Espace Intelligence artificielle Robotique Index. décimale : 629.4 Astronautique Résumé : Eléments de robotique (robots elements) Systèmes de vision (Vision systems) Bancs d'essais robotiques (Robotics testbeds) Intelligence artificielle (Artificial intelligence) Sytèmes de robotiques (Robotics systems) Contrôle robotique (Robot control) Les robots mobiles et leurs fonctions élémentaires (Mobile robots systems and elementary functions)

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000445	629.4 CEN	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	600 - Sciences appliquées - Technologie	Disponible

Intelligent Autonomous Systems : Foundations and Applications / Dilip, Kumar PRATIHAR

Titre : Intelligent Autonomous Systems : Foundations and Applications Type de document : texte imprimé Auteurs : Dilip, Kumar PRATIHAR, Éditeur scientifique ; Lakhmi C. JAIN, Éditeur scientifique Editeur : Heidelberg : Springer Année de publication : 2010 Importance : 265 p. ISBN/ISSN/EAN : 978-3-642-26256-2 Note générale : Foreword Preface Contents Author Index Appendix Catégories : Apprentissage automatique Intelligence artificielle Index. décimale : 006.3 Intelligence artificielle Résumé : /

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014832	006.3 PRA	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Ma thémagie : En quête de l'essence de l'esprit et du sens / Douglas HOFSTADTER

Titre : Ma thémagie : En quête de l'essence de l'esprit et du sens Type de document : texte imprimé Auteurs : Douglas HOFSTADTER Editeur : InterEditions Année de publication : 1988 Importance : 897 p. ISBN/ISSN/EAN : 978-2-7296-0234-5 Note générale : Synopsis Table des matières Table des illustrations Intro. Epilogue Bibliographie Index Catégories : Intelligence artificielle Jeux mathématiques Jeux scientifiques Index. décimale : 006.3 Intelligence artificielle Résumé : Spirales et singularités Sens commun et société Substance et style Structures et surprises scientifiques Subjectivité et substrat Sélection et stabilité Sagesse et survie

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000731	006.3 HOF	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Machine Learning: The Art and Science of Algorithms That Make Sense of Data / Peter A. FLACH

Titre : Machine Learning: The Art and Science of Algorithms That Make Sense of Data Type de document : texte imprimé Auteurs : Peter A. FLACH, Auteur Mention d'édition : 11TH PRINTING Editeur : Cambridge : Cambridge Univeristy Press Année de publication : 2017 Importance : 396 p. ISBN/ISSN/EAN : 978-1-107-09639-4 Note générale : Brief Contents Contents Preface Prologue: A Machine Learning Sampler Important Points to Remember References Index Langues : Anglais (eng) Catégories : Apprentissage automatique Intelligence artificielle Index. décimale : 006.3 Intelligence artificielle Résumé : The Ingredients of Machine Learning Binary Classification and Related Tasks Beyond Binary Classification Concept Learning Tree Models Rule Models Linear Models Distance-Based Models Probabilistic Models Features Model Ensembles Machine Learning Experiments Epilogue: Where to Go From Here

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014545	006.3 FLA	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Ordonnancer le trafic dans des réseaux déterministes grâce à l’apprentissage par renforcement / Adrien ROBERTY  

Titre : Ordonnancer le trafic dans des réseaux déterministes grâce à l’apprentissage par renforcement Type de document : thèse Auteurs : Adrien ROBERTY, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Frédéric RIDOUARD, Directeur de thèse ; Siwar BEN HADJ SA­ÏD, Directeur de thèse ; Henri BAUER, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Katia JAFFRÈS-RUNSER, Rapporteur ; Abdelmadjid BOUABDALLAH, Rapporteur ; Nicolas NAVET, Examinateur ; Mireille SARKISS, Examinateur Importance : 111 p. Note générale : NNT 2024ESMA0001 Résumé Mots clés Remerciements Acronymes Symboles Sommaire Liste des tableaux liste des figures Introduction générale Bibliographie Glossaire Table des matières Résumé Mots clés Catégories : Apprentissage par renforcement (intelligence artificielle) Apprentissage profond Industrie 4.0 Intelligence artificielle Ordonnancement (informatique) Temps réel (informatique) Résumé : CONTEXTE TECHNOLOGIQUE Les délais de bout en bout Time-Sensitive Networking Apprentissage automatique Apprentissage par renforcement État de l'art CONTRIBUTIONS Introduction aux contributions Configurer le TAS de manière indentique Configurer le TAS de manière individuelle CONCLUSION GÉNÉRALE ET PERSPECTIVES En ligne : https://theses.hal.science/tel-04634443

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-24 ROB	ROB	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Reinforcement Learning: An Introduction / Richard S. SUTTON

Titre : Reinforcement Learning: An Introduction Type de document : texte imprimé Auteurs : Richard S. SUTTON ; Andrew G. BARTO Mention d'édition : Second edition Editeur : The MIT Press Année de publication : 2020 Importance : 526 p. ISBN/ISSN/EAN : 978-0-262-03924-6 Note générale : Contents Prefaces Summary of Notation Introduction References Index Catégories : Apprentissage automatique Apprentissage par renforcement (intelligence artificielle) Intelligence artificielle Machines logiques Index. décimale : 006.3 Intelligence artificielle Résumé : TABULAR SOLUTION METHODS Multi-Armed Bandits Finite Markov Decision Processes Dynamic Programming Monte Carlo Methods Temporal-Difference Learning n-Step Bootstrapping Planning and Learning with Tablar Methods APPROXIMATE SOLUTION METHODS On-Policy Prediction with Approwimation On-Policy Control with Approximation *Off-Policy Methods with Approximation Eligibility Traces Policy Gradient Methods LOOKING DEEPER Psychology Neuroscience Applications and Case Studies Frontiers

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014572	006.3 SUT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

La vie artificielle / Jean-Claude HEUDIN

Titre : La vie artificielle Type de document : texte imprimé Auteurs : Jean-Claude HEUDIN Editeur : Hermès Science Publications Année de publication : 1994 Collection : Collection systèmes complexes Importance : 267 p. ISBN/ISSN/EAN : 978-2-86601-434-6 Note générale : Table des matières Prologue Epilogue Annexe Bibliographie Index Catégories : Algorithmes Automates cellulaires Intelligence artificielle Réseaux neuronaux (informatique) Index. décimale : 006.3 Intelligence artificielle Résumé : Fondements Autoreproduction Morphogenèse Evolution Diversité Théories Philosophies

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002001	006.3 HEU	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

---

1 (1 - 17 / 17) Par page : 25 50 100 200