Détail de l'éditeur
Springer Nature Switzerland |
Documents disponibles chez cet éditeur (5)
Faire une suggestion Affiner la recherche
An Introduction to Statistical Learning : with Applications in Python / Gareth JAMES
Titre : An Introduction to Statistical Learning : with Applications in Python Type de document : texte imprimé Auteurs : Gareth JAMES, Auteur ; Daniela WITTEN, Auteur ; Trevor J. HASTIE, Auteur ; Robert John TIBSHIRANI, Auteur ; Jonathan E. TAYLOR, Auteur Editeur : Springer Nature Switzerland Année de publication : 2023 Importance : 607 p. ISBN/ISSN/EAN : 978-3-031-38746-3 Note générale : Preface
Contents
IndexCatégories : Apprentissage non supervisé (intelligence artificielle)
Apprentissage profond
Arbres de décision
Modèles linéaires (statistique)
Python (langage de programmation)Index. décimale : 519.5 Statistique mathématique Résumé : Introduction
Statistical Learning
Linear Regression
Classiication
Resampling Methods
Linear Model Selection and Regularization
Moving Beyond Linearity
Tree-Based Methods
Support Vector Machines
Deep Learning
Survival Analysis and Censored Data
Unsupervised Learning
Multiple Testing
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00011815 519.5 JAM Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Sorti jusqu'au 15/05/2026 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
IndexCatégories : Intelligence artificielle
Intelligence computationnelleIndex. 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
IndexCatégories : Intelligence artificielle
Intelligence computationnelleIndex. 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
IndexCatégories : Intelligence artificielle
Intelligence computationnelleIndex. 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 Handbook of Model Checking / Edmund M. CLARKE
Titre : Handbook of Model Checking Type de document : texte imprimé Auteurs : Edmund M. CLARKE, Directeur de publication ; Thomas A. HENZINGER, Directeur de publication ; Helmut VEITH, Directeur de publication ; Roderick BLOEM, Directeur de publication Editeur : Springer Nature Switzerland Année de publication : 2018 Importance : 1210 p. ISBN/ISSN/EAN : 978-3-319-10574-1 Note générale : Foreword
Preface
Acknowledgements
Contributors
Contents
IndexCatégories : Logiciels:Vérification
Vérification de modèles (informatique)Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Introduction to Model Checking
Temporal Logic and Fair Discrete Systems
Modeling for Verification
Automata Theory and Model Checking
Explicit-State Model Checking
Partial-Order Reduction
Binary Decision Diagrams
BDD-Based Symbolic Model Checking
Propositional SAT Solving
SAT-Based Model Checking
Satisfiability Modulo Theories
Compositional Reasonning
Abstraction and Abstraction Refinement
Interpolation and Model Checking
Predicate Abstraction for Program Verification
Combining Model Checking and Data-Flow Analysis
Model Checking Procedural Programs
Model Checking Concurrent Programs
Combining Model Checking and Testing
Combining Model Checking and Deduction
Model Checking Parameterized Systems
Model Checking Security Protocols
Transfer of Model Checking to Industrial Practice
Functionnal Specification of Hardware via Temporal Logic
Symbolic Trajectory Evaluation
The mu-Calculus and Model Checking
Graph Games and Reactive Synthesis
Model Checking Probabilistic Systems
Model Checking Real-Time Systems
Verification of Hybrid Systems
Symbolic Model Checking in Non-Boolean Domains
Process Algebra and Model Checking
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00014650 004.2 CLA Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible