Formal methods for mining structured objects:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
Schriftenreihe: | Studies in computational intelligence
475 |
Schlagworte: | |
Online-Zugang: | BTU01 FHA01 FHI01 FHN01 FHR01 FKE01 FWS01 UBY01 Volltext Inhaltsverzeichnis Abstract |
Beschreibung: | 1 Online-Ressource |
ISBN: | 9783642366819 |
DOI: | 10.1007/978-3-642-36681-9 |
Internformat
MARC
LEADER | 00000nmm a2200000 cb4500 | ||
---|---|---|---|
001 | BV041089210 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 130614s2013 |||| o||u| ||||||eng d | ||
020 | |a 9783642366819 |c Online |9 978-3-642-36681-9 | ||
024 | 7 | |a 10.1007/978-3-642-36681-9 |2 doi | |
035 | |a (OCoLC)839974834 | ||
035 | |a (DE-599)BSZ379696134 | ||
040 | |a DE-604 |b ger | ||
041 | 0 | |a eng | |
049 | |a DE-898 |a DE-634 |a DE-573 |a DE-92 |a DE-Aug4 |a DE-859 |a DE-706 |a DE-863 | ||
082 | 0 | |a 006.3 | |
084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
100 | 1 | |a Garriga, Gemma C. |e Verfasser |0 (DE-588)1033071803 |4 aut | |
245 | 1 | 0 | |a Formal methods for mining structured objects |c Gemma C. Garriga |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
300 | |a 1 Online-Ressource | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 1 | |a Studies in computational intelligence |v 475 | |
650 | 4 | |a Ingenieurwissenschaften | |
650 | 4 | |a Künstliche Intelligenz | |
650 | 4 | |a Artificial intelligence | |
650 | 4 | |a Engineering | |
650 | 0 | 7 | |a Formale Begriffsanalyse |0 (DE-588)4351376-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Data Mining |0 (DE-588)4428654-5 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Data Mining |0 (DE-588)4428654-5 |D s |
689 | 0 | 1 | |a Formale Begriffsanalyse |0 (DE-588)4351376-1 |D s |
689 | 0 | |5 DE-604 | |
776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-642-36680-2 |
830 | 0 | |a Studies in computational intelligence |v 475 |w (DE-604)BV020822171 |9 475 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-36681-9 |x Verlag |3 Volltext |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026065828&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026065828&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
912 | |a ZDB-2-ENG | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-026065828 | ||
966 | e | |u https://doi.org/10.1007/978-3-642-36681-9 |l BTU01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-36681-9 |l FHA01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-36681-9 |l FHI01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-36681-9 |l FHN01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-36681-9 |l FHR01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-36681-9 |l FKE01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-36681-9 |l FWS01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-36681-9 |l UBY01 |p ZDB-2-ENG |x Verlag |3 Volltext |
Datensatz im Suchindex
DE-BY-FWS_katkey | 922911 |
---|---|
_version_ | 1806194901610659840 |
adam_text | FORMAL METHODS FOR MINING STRUCTURED OBJECTS
/ GARRIGA, GEMMA C.
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INTRODUCTION
PRELIMINARIES
HORN AXIOMATIZATIONS FOR SEQUENCES
TRANSFORMATIONS ON INJECTIVE PARTIAL ORDERS
TRANSFORMATIONS ON GENERAL PARTIAL ORDERS
TOWARDS OTHER STRUCTURED DATA
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
FORMAL METHODS FOR MINING STRUCTURED OBJECTS
/ GARRIGA, GEMMA C.
: 2013
ABSTRACT / INHALTSTEXT
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
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
any_adam_object | 1 |
author | Garriga, Gemma C. |
author_GND | (DE-588)1033071803 |
author_facet | Garriga, Gemma C. |
author_role | aut |
author_sort | Garriga, Gemma C. |
author_variant | g c g gc gcg |
building | Verbundindex |
bvnumber | BV041089210 |
classification_rvk | ST 300 |
collection | ZDB-2-ENG |
ctrlnum | (OCoLC)839974834 (DE-599)BSZ379696134 |
dewey-full | 006.3 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 006 - Special computer methods |
dewey-raw | 006.3 |
dewey-search | 006.3 |
dewey-sort | 16.3 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
doi_str_mv | 10.1007/978-3-642-36681-9 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02907nmm a2200577 cb4500</leader><controlfield tag="001">BV041089210</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">130614s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642366819</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-36681-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-36681-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)839974834</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ379696134</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-898</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-863</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Garriga, Gemma C.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1033071803</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods for mining structured objects</subfield><subfield code="c">Gemma C. Garriga</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Studies in computational intelligence</subfield><subfield code="v">475</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Begriffsanalyse</subfield><subfield code="0">(DE-588)4351376-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Data Mining</subfield><subfield code="0">(DE-588)4428654-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Data Mining</subfield><subfield code="0">(DE-588)4428654-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Begriffsanalyse</subfield><subfield code="0">(DE-588)4351376-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-642-36680-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in computational intelligence</subfield><subfield code="v">475</subfield><subfield code="w">(DE-604)BV020822171</subfield><subfield code="9">475</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-36681-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026065828&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026065828&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026065828</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-36681-9</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-36681-9</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-36681-9</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-36681-9</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-36681-9</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-36681-9</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-36681-9</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-36681-9</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
id | DE-604.BV041089210 |
illustrated | Not Illustrated |
indexdate | 2024-08-01T16:14:46Z |
institution | BVB |
isbn | 9783642366819 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026065828 |
oclc_num | 839974834 |
open_access_boolean | |
owner | DE-898 DE-BY-UBR DE-634 DE-573 DE-92 DE-Aug4 DE-859 DE-706 DE-863 DE-BY-FWS |
owner_facet | DE-898 DE-BY-UBR DE-634 DE-573 DE-92 DE-Aug4 DE-859 DE-706 DE-863 DE-BY-FWS |
physical | 1 Online-Ressource |
psigel | ZDB-2-ENG |
publishDate | 2013 |
publishDateSearch | 2013 |
publishDateSort | 2013 |
publisher | Springer |
record_format | marc |
series | Studies in computational intelligence |
series2 | Studies in computational intelligence |
spellingShingle | Garriga, Gemma C. Formal methods for mining structured objects Studies in computational intelligence Ingenieurwissenschaften Künstliche Intelligenz Artificial intelligence Engineering Formale Begriffsanalyse (DE-588)4351376-1 gnd Data Mining (DE-588)4428654-5 gnd |
subject_GND | (DE-588)4351376-1 (DE-588)4428654-5 |
title | Formal methods for mining structured objects |
title_auth | Formal methods for mining structured objects |
title_exact_search | Formal methods for mining structured objects |
title_full | Formal methods for mining structured objects Gemma C. Garriga |
title_fullStr | Formal methods for mining structured objects Gemma C. Garriga |
title_full_unstemmed | Formal methods for mining structured objects Gemma C. Garriga |
title_short | Formal methods for mining structured objects |
title_sort | formal methods for mining structured objects |
topic | Ingenieurwissenschaften Künstliche Intelligenz Artificial intelligence Engineering Formale Begriffsanalyse (DE-588)4351376-1 gnd Data Mining (DE-588)4428654-5 gnd |
topic_facet | Ingenieurwissenschaften Künstliche Intelligenz Artificial intelligence Engineering Formale Begriffsanalyse Data Mining |
url | https://doi.org/10.1007/978-3-642-36681-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026065828&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026065828&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV020822171 |
work_keys_str_mv | AT garrigagemmac formalmethodsforminingstructuredobjects |