Formal Concept Object Distances

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F14%3APR27961" target="_blank" >RIV/00216305:26220/14:PR27961 - isvavai.cz</a>

Výsledek na webu

<a href="http://matika.umat.feec.vutbr.cz/software/webmath/FormalConcepts.jsp" target="_blank" >http://matika.umat.feec.vutbr.cz/software/webmath/FormalConcepts.jsp</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Formal Concept Object Distances

Popis výsledku v původním jazyce

Formal concept of a formal context is a notion introduced by B. Ganter and R. Wille at the end of the 70's. Both, formal context and formal concept, are two key notions of Formal Concept Analysis. They are used in theoretical computer scince for especially in connection with data representation, organization and analysis. The generalized distance of two formal concepts is an important characteristic of their mutual similarity. This can be used for classification of various objects and structures in mathematics and information sciences. As examples there can be mentioned databases, information systems, dynamical systems, topological structures, causal structures and others. Application Formal Concept Object 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 the generalized distance between the two given concepts. The calcullation is based on the properties of the framework associated wi

Název v anglickém jazyce

Formal Concept Object Distances

Popis výsledku anglicky

Formal concept of a formal context is a notion introduced by B. Ganter and R. Wille at the end of the 70's. Both, formal context and formal concept, are two key notions of Formal Concept Analysis. They are used in theoretical computer scince for especially in connection with data representation, organization and analysis. The generalized distance of two formal concepts is an important characteristic of their mutual similarity. This can be used for classification of various objects and structures in mathematics and information sciences. As examples there can be mentioned databases, information systems, dynamical systems, topological structures, causal structures and others. Application Formal Concept Object 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 the generalized distance between the two given concepts. The calcullation is based on the properties of the framework associated wi

Druh

R - Software

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

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ů

Interní identifikační kód produktu

FormalConcepts

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