Formal Concept Atribute Distances
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F14%3APR27962" target="_blank" >RIV/00216305:26220/14:PR27962 - isvavai.cz</a>
Výsledek na webu
<a href="http://matika.umat.feec.vutbr.cz/software/webmath/FormalConcepts2.jsp" target="_blank" >http://matika.umat.feec.vutbr.cz/software/webmath/FormalConcepts2.jsp</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Formal Concept Atribute Distances
Popis výsledku v původním jazyce
Formal concept and formal context are two key notions of Formal Concept Analysis, introduced by B. Ganter and R. Wille at the end of the 70's. They are used in theoretical computer scince for various purposes, but especially in connection with data representation, organization and analysis. An important characteristic of a formal cotext is the generalized distance between its concepts. There are several modifications how it could be defined, in general it serves as a measure of similarity of these two concepts. A formal concept could be an object or a class of objects of a very general type, including mathematical or information structures, but not only. Among many other possibilities, there can be mentioned various algebraic or topological structures,data structures, models, dynamical systems, etc. Application Formal Concept Atribute Distances checks first if the formal context and its two formal concepts are correctly given by the input. If so it calculates the four modifications of
Název v anglickém jazyce
Formal Concept Atribute Distances
Popis výsledku anglicky
Formal concept and formal context are two key notions of Formal Concept Analysis, introduced by B. Ganter and R. Wille at the end of the 70's. They are used in theoretical computer scince for various purposes, but especially in connection with data representation, organization and analysis. An important characteristic of a formal cotext is the generalized distance between its concepts. There are several modifications how it could be defined, in general it serves as a measure of similarity of these two concepts. A formal concept could be an object or a class of objects of a very general type, including mathematical or information structures, but not only. Among many other possibilities, there can be mentioned various algebraic or topological structures,data structures, models, dynamical systems, etc. Application Formal Concept Atribute Distances checks first if the formal context and its two formal concepts are correctly given by the input. If so it calculates the four modifications of
Klasifikace
Druh
R - Software
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2014
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Interní identifikační kód produktu
FormalConcepts2
Technické parametry
Software je spouštěn ze serveru UMAT FEKT VUT v Brně prostřednictvím internetového prohlížeče. Na klientském PC je nutné mít nainstalovánu Javu. Podmínkou spuštění softwaru je přístup k serveru UMAT FEKT VUT prostřednictvím WWW - ten není omezován, takžesoftware může využívat libovolná vědecká nebo výzkumná instituce. Pro vědecké a výzkumné účely lze software využívat zdarma. V ostatních případech kontaktujte RNDr. M. Nováka, Ph.D., Vysoké učení technické v Brně, UMAT FEKT, Technická 8, 616 00 Brno, email: novakm@feec.vutbr.cz, tel.: 541143135.
Ekonomické parametry
Ekonomické parametry (zvýšení zisku, objemu výroby apod.) prozatím nejsou známy. Jedná se o software využitelný v různých projektech aplikovaném výzkumu.
IČO vlastníka výsledku
00216305
Název vlastníka
Ústav matematiky