OU Portal
  • Log In

  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}

Pomocí tohoto dialogu můžete vyhledat domácí autory, čili autory, kteří jsou vedeni v personálních systémech Ostravské univerzity.

Do našeptávače níže napište hledaný text a tento text bude vyhledán ve jméně nebo příjmení autora. Autoři, kteří budou hledanému textu odpovídat, Vám budou nabídnuti v seznamu. Pomocí myši nebo šipek na klávesnici vyberte požadovaného autora.

Našeptávač : 
Přidat autora k záznamu Zavřít

Pomocí tohoto dialogu můžete k záznamu přidat cizího autora, čili autora, který nemá žádný pracovní ani studijní vztah k Ostravské univerzitě. Takto přidaný autor bude do RIV vykázán jako nedomácí.

Pro přidání autora vepište jeho jméno a příjmení do určených položek.

Jméno :
Příjmení :
Přidat k záznamu Zavřít
Zavřít
Publikační činnost


preloading...   Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu * : prezentace (kongresy, sympózia, konference, workshopy)
Domácí pracoviště * : Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název * : Automated proofs for composition-based fuzzy relational notions
Citace : Daňková, M. a Běhounek, L. Automated proofs for composition-based fuzzy relational notions. In: Int. conf. on LSC'06 and workshop of ERCIM06. Malaga. 2006.
Podnázev :
Rok : 2006
Obor : Obecná matematika
Místo konání : Malaga
Stát konání akce : Španělské království
Název akce : Int. conf. on LSC'06 and workshop of ERCIM06
Datum od :
Datum do :
Druh prezentace : Přednáška
Instituce :
Klíčová slova anglicky :
Fuzzy relations; Fuzzy class theory
Popis v původním jazyce :
In this contribution, we use the theory of formal interpretations to unify a significant class of notions related to fuzzy sets and fuzzy relations by means of compositions. This trick allows us to simplify the proofs of properties of the composition-related notions and leads to its automatization by a computer.
Popis v anglickém jazyce :
In this contribution, we use the theory of formal interpretations to unify a significant class of notions related to fuzzy sets and fuzzy relations by means of compositions. This trick allows us to simplify the proofs of properties of the composition-related notions and leads to its automatization by a computer.
Typ zdroje financování výsledku :
Seznam projektů :
ID Projektu Název projektu
Seznam ohlasů : 
Ohlas
R01: RIV/61988987:17610/06:00000052

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
  • Ing. Lucie Svitaneková (phone: +420 597 091 108, phone flap for UO: 1108)
Complementary Content
  • ${title}${badge}
${loading}