Advances in linear logic / Jean-Yves Girard

Public ISBD Titre : Advances in linear logic Type de document : texte imprimé Auteurs : Jean-Yves Girard, Auteur Editeur : Cambridge (U.K.) : Cambridge University Press ISBN/ISSN/EAN : 978-0-521-55961-4 Catégories : Mathématiques Mathématiques:Principes généraux des mathématiques Index. décimale : 511 Principes généraux des mathématiques Advances in linear logic [texte imprimé] / Jean-Yves Girard, Auteur . - Cambridge (U.K.) : Cambridge University Press, [s.d.]. ISBN : 978-0-521-55961-4 Catégories : Mathématiques Mathématiques:Principes généraux des mathématiques Index. décimale : 511 Principes généraux des mathématiques

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9780521559614MIT001	511/075	Livre	Maths&Informatique	Fonds mathématiques	Disponible
9780521559614MIT002	511/075	Livre	Maths&Informatique	Fonds mathématiques	Disponible

An introduction to support vector machines / Nello Cristianini

Public ISBD Titre : An introduction to support vector machines : and other kernel-based learning methods Type de document : texte imprimé Auteurs : Nello Cristianini (1968-..), Auteur ; John Shawe-Taylor, Auteur Editeur : Cambridge (U.K.) : Cambridge University Press Année de publication : 2000 ISBN/ISSN/EAN : 978-0-521-78019-3 Langues : Anglais (eng) Catégories : Informatique Informatique:Méthodes informatiques particulières Informatique:Méthodes informatiques particulières:Intelligence artificielle Mots-clés : Algorithms  Kernel functions  Machine learning  Intelligence artificielle  Apprentissage automatique  Acquisition des connaissances (systèmes experts)  Modèles stochastiques d'apprentissage  Traitement vectoriel  Noyaux (analyse fonctionnelle)  Algorithmes Index. décimale : 006.3 Intelligence artificielle Résumé : This is the first comprehensive introduction to Support Vector Machines (SVMs), a new generation learning system based on recent advances in statistical learning theory. SVMs deliver state-of-the-art performance in real-world applications such as text categorisation, hand-written character recognition, image classification, biosequences analysis, etc., and are now established as one of the standard tools for machine learning and data mining. Students will find the book both stimulating and accessible, while practitioners will be guided smoothly through the material required for a good grasp of the theory and its applications. The concepts are introduced gradually in accessible and self-contained stages, while the presentation is rigorous and thorough. Pointers to relevant literature and web sites containing software ensure that it forms an ideal starting point for further study. Equally, the book and its associated web site will guide practitioners to updated literature, new applications, and on-line software. An introduction to support vector machines : and other kernel-based learning methods [texte imprimé] / Nello Cristianini (1968-..), Auteur ; John Shawe-Taylor, Auteur . - Cambridge (U.K.) : Cambridge University Press, 2000. ISBN : 978-0-521-78019-3 Langues : Anglais (eng) Catégories : Informatique Informatique:Méthodes informatiques particulières Informatique:Méthodes informatiques particulières:Intelligence artificielle Mots-clés : Algorithms  Kernel functions  Machine learning  Intelligence artificielle  Apprentissage automatique  Acquisition des connaissances (systèmes experts)  Modèles stochastiques d'apprentissage  Traitement vectoriel  Noyaux (analyse fonctionnelle)  Algorithmes Index. décimale : 006.3 Intelligence artificielle Résumé : This is the first comprehensive introduction to Support Vector Machines (SVMs), a new generation learning system based on recent advances in statistical learning theory. SVMs deliver state-of-the-art performance in real-world applications such as text categorisation, hand-written character recognition, image classification, biosequences analysis, etc., and are now established as one of the standard tools for machine learning and data mining. Students will find the book both stimulating and accessible, while practitioners will be guided smoothly through the material required for a good grasp of the theory and its applications. The concepts are introduced gradually in accessible and self-contained stages, while the presentation is rigorous and thorough. Pointers to relevant literature and web sites containing software ensure that it forms an ideal starting point for further study. Equally, the book and its associated web site will guide practitioners to updated literature, new applications, and on-line software.

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9780521780193MIT001	006.3/029	Livre	Maths&Informatique	Fonds informatique	Disponible
9780521780193MIT002	006.3/029	Livre	Maths&Informatique	Fonds informatique	Disponible

Extensions of first order logic / Maria Manzano

Public ISBD Titre : Extensions of first order logic Type de document : texte imprimé Auteurs : Maria Manzano, Auteur Editeur : Cambridge (U.K.) : Cambridge University Press ISBN/ISSN/EAN : 978-0-521-35435-6 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Algèbre Index. décimale : 511 Principes généraux des mathématiques Extensions of first order logic [texte imprimé] / Maria Manzano, Auteur . - Cambridge (U.K.) : Cambridge University Press, [s.d.]. ISBN : 978-0-521-35435-6 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Algèbre Index. décimale : 511 Principes généraux des mathématiques

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9780521354356MIT001	511/074	Livre	Maths&Informatique	Fonds mathématiques	Disponible
9780521354356MIT002	511/074	Livre	Maths&Informatique	Fonds mathématiques	Disponible

Normal Forms and Bifurcation of Planar Vector fields / Shui-Nee Chow

Public ISBD Titre : Normal Forms and Bifurcation of Planar Vector fields Type de document : texte imprimé Auteurs : Shui-Nee Chow, Auteur Editeur : Cambridge (U.K.) : Cambridge University Press ISBN/ISSN/EAN : 978-0-521-37226-8 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Analyse mathématique Mathématiques:Analyse mathématique:Calcul différentiel Index. décimale : 515.35 Equations différentielles Normal Forms and Bifurcation of Planar Vector fields [texte imprimé] / Shui-Nee Chow, Auteur . - Cambridge (U.K.) : Cambridge University Press, [s.d.]. ISBN : 978-0-521-37226-8 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Analyse mathématique Mathématiques:Analyse mathématique:Calcul différentiel Index. décimale : 515.35 Equations différentielles

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9780521372268MIT001	515.35/017	Livre	Maths&Informatique	Fonds mathématiques	Disponible

Riemannien Geometry / Isaac Chavel

Public ISBD Titre : Riemannien Geometry : A modern introduction Type de document : texte imprimé Auteurs : Isaac Chavel (1939-..), Auteur Mention d'édition : 2 nd Editeur : Cambridge (U.K.) : Cambridge University Press ISBN/ISSN/EAN : 978-0-521-61954-7 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Géométrie Index. décimale : 516 Géométrie Riemannien Geometry : A modern introduction [texte imprimé] / Isaac Chavel (1939-..), Auteur  . -  2 nd . - Cambridge (U.K.) : Cambridge University Press, [s.d.]. ISBN : 978-0-521-61954-7 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Géométrie Index. décimale : 516 Géométrie

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9780521619547MIT001	516/003	Livre	Maths&Informatique	Fonds mathématiques	Disponible
9780521619547MIT002	516/003	Livre	Maths&Informatique	Fonds mathématiques	Disponible

Stability, instability and chaos / Paul Glendinning

Permalink

---

1 (1 - 6 / 6)