All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Object Frameworks

The result's identifiers

  • Result code in IS VaVaI

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

  • Result on the web

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

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    Object Frameworks

  • Original language description

    The concept of a framework is derived from a slightly more general notion, formal context, which was introduced by B. Ganter and R. Wille at the end of the 70's as one of the key notions in Formal Concept Analysis. It is used in theoretical computer scince especially in connection with data representation and organization. Framework is an algebraic structure whose purpose is capturing the topological or topology-like structure of a system from its externally observed properties. Formally, framework is aspecial formal context whose incidence relation is the membership relation. The framework structure may be used, for example, for investigation of topological properties of certain causal structures, motivated by quantum gravity, interactions of particles, Feynman diagrams, information systems and databases as well as for classification of other mathematical objects, like dynamical systems. Application Object Frameworks checks if the formal context is correctly given by the input and th

  • Czech name

  • Czech description

Classification

  • Type

    R - Software

  • CEP classification

    BA - General mathematics

  • OECD FORD branch

Result continuities

  • Project

  • Continuities

    S - Specificky vyzkum na vysokych skolach

Others

  • Publication year

    2014

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Internal product ID

    ObjectFrameworks

  • Technical parameters

    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.

  • Economical parameters

    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.

  • Owner IČO

    00216305

  • Owner name

    Ústav matematiky