Formal methods for mining structured objects
In the field of knowledge discovery, graphs of concepts are an expressive and versatile modeling technique providing ways to reason about information implicit in a set of data. Interesting examples of this can be found under the mathematical theory of formal concept analysis, dedicated to the constr...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Udgivelse: | 1st ed. 2013. |
| Serier: | Studies in Computational Intelligence
475 |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal methods for mining structured objects, Gemma C Garriga, Berlin, HeidelbergSpringer, 2013, 1 vol.(X-108 p.), Studies in Computational Intelligence, 978-3-642-36680-2 • Formal Methods for Mining Structured Objects, Texte imprimé, 9783642430633 • Formal Methods for Mining Structured Objects, Texte imprimé, 9783642366826 • Formal methods for mining structured objects, Gemma C Garriga, Berlin, HeidelbergSpringer, 2013, 1 vol.(X-108 p.), Studies in Computational Intelligence, 978-3-642-36680-2 |
| LEADER | 03427nam a22003617a 4500 | ||
|---|---|---|---|
| 001 | 945913 | ||
| 008 | 130325q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN168330377 | ||
| 020 | |a 9783642366819 | ||
| 041 | 0 | |a eng | |
| 082 | |a 006.3 | ||
| 100 | 1 | |a Garriga, Gemma. | |
| 245 | 1 | 0 | |a Formal methods for mining structured objects |c by Gemma C. Garriga. |
| 250 | |a 1st ed. 2013. | ||
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Studies in Computational Intelligence |v 475 |x 1860-9503 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 1 | |a Introduction Preliminaries Horn Axiomatizations for Sequences Transformations on Injective Partial Orders Transformations on General Partial Orders Towards Other Structured Data | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a In the field of knowledge discovery, graphs of concepts are an expressive and versatile modeling technique providing ways to reason about information implicit in a set of data. Interesting examples of this can be found under the mathematical theory of formal concept analysis, dedicated to the construction of a lattice of concepts by defining a Galois connection on a binary relationship. This book present such graph of concepts under the more complex case of data that comes in a set of structured objects; e.g. a set of sequences, trees or graphs. Nodes of this graph will represent patterns in the data and edges will correspond to relationships of specificity. From this combinatorial object results are derived such as a full characterization of logical implications and closed partial orders. The results presented in this book are coupled with examples and empirical experiments that illustrate the derived theoretical contributions | ||
| 776 | 0 | |0 171001052 |t Formal methods for mining structured objects |f Gemma C Garriga |c Berlin, HeidelbergSpringer |d 2013 |p 1 vol.(X-108 p.) |s Studies in Computational Intelligence |z 978-3-642-36680-2 | |
| 776 | 0 | |t Formal Methods for Mining Structured Objects |b Texte imprimé |z 9783642430633 | |
| 776 | 0 | |t Formal Methods for Mining Structured Objects |b Texte imprimé |z 9783642366826 | |
| 776 | 0 | |0 171001052 |t Formal methods for mining structured objects |f Gemma C Garriga |c Berlin, HeidelbergSpringer |d 2013 |p 1 vol.(X-108 p.) |s Studies in Computational Intelligence |z 978-3-642-36680-2 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-36681-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-VXVLJBVH-6 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747908516 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-3-642-36681-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750921471 |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-3-642-36681-9 |z Accès INSA CVL | |
| 997 | |0 945913 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||