RIV/00216224:14330/12:00060322 - Normalization of Digital Mathematics Library Content (2012)

Údaje o výsledku
Identifikační kódRIV/00216224:14330/12:00060322
Název v původním jazyceNormalization of Digital Mathematics Library Content
DruhJ - Článek v odborném periodiku
Jazykeng - angličtina
OborIN - Informatika
Rok uplatnění2012
Kód důvěrnosti údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Počet výskytů výsledku1
Údaje z Hodnocení výsledků výzkumných organizací 2014
Výsledek byl hodnocen v Pilíři I
Rozsah vyřazení výsledkuTento výskyt výsledku není vyřazen
Zařazení výsledku v hodnoceníJsc - Článek v časopise evidovaném v databázi Scopus, který není evidován ve Web of Science
Skupina oboru v hodnocení04 - Technické a informatické vědy
Konkrétní způsob(y) hodnocení výsledkuVýsledek hodnocený již v předchozím hodnocení, body se přebírají
Bodové ohodnocení10,000
Faktor korekce83,3 %
Body (upravené podle přílohy č. 8 Metodiky)8,331
Rozdělení výsledku mezi předkladatele
OrganizaceVýzkumná organizace?PodílBodyBody (upravené podle přílohy č. 8 Metodiky)
Masarykova univerzita / Fakulta informatikyano100,0 %10,0008,331
Tvůrci výsledku
Počet tvůrců celkem4
Počet domácích tvůrců4
TvůrceFormánek David (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 8151598)
TvůrceLíška Martin (státní příslušnost: SK - Slovenská republika; A - domácí tvůrce; vedidk: 4357469)
TvůrceRůžička Michal (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 9619097)
TvůrceSojka Petr (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku; vedidk: 7883927)
Údaje blíže specifikující výsledek
Popis v původním jazycePaper discusses the needs for data normalization in a Digital Mathematics Library (DML). Specifically, emphasis is given to canonicalizing formulae encoded in Presentation MathML notation which starts to be available in several DMLs and is used by DML applications. This is a prerequisite for advanced processing – namely math enabled fulltext searching or semantic filtering and automated classification. Different sources of MathML and their specifics are described. Several use cases of possible formulae canonicalization transformations are listed and discussed in detail. Findings are finally concluded and a design of a to-be-developed canonicalization tool is outlined.
Klíčová slovaMathML normalization; canonicalization; digital mathematics libraries; DML; presentation MathML
Název periodkaCEUR Workshop Proceedings
Rozsah stran91-103
ISSN1613-0073
Svazek periodika921
Číslo periodika v rámci uvedeného svazkuOctober
Stát vydavatele periodikaDE - Spolková republika Německo
Počet stran výsledku13
Adresa www stránky s výsledkemhttp://ceur-ws.org/Vol-921/wip-05.pdf
Údaje o tomto záznamu o výsledku
PředkladatelMasarykova univerzita / Fakulta informatiky
DodavatelMSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT)
Rok sběru2013
Systémové označení dodávky datRIV13-MSM-14330___/02:2
SpecifikaceRIV/00216224:14330/12:00060322!RIV13-MSM-14330___
Kontrolní kód[427F73D858C3]
Jiný výskyt tohoto výsledku se v RIV nenachází
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
ProjektLA09016 - Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (2009-2012, MSM/LA)
S - Specifický výzkum na vysokých školách