rok 2015 - Česká společnost pro kybernetiku a informatiku

Transkript

rok 2015 - Česká společnost pro kybernetiku a informatiku

                                    

Podobné dokumenty

Soupis publikovaných prací

Soupis publikovaných prací Impakt faktor: 0.554, rok: 2008 DOI: 10.1142/S0129054108006029 192. Wiedermann, Jiří An Architecture of an Embodied Cognitive Agent with Two Cooperating Internal World Models. Cybernetics and Syste...

Více

Curriculum vitae

Curriculum vitae předseda rady Ústavu informatiky AV ČR, v.v.i., 2012–dosud člen rady Ústavu informatiky AV ČR, v.v.i., 2007–dosud koordinátor pracovnı́ skupiny Mathematical Fuzzy Logic (105 členů z vı́ce ...

Více

2006

2006 Publ. House Cambridge University

Více

1 Ústav informatiky AV ČR, v. v. i. Pod Vodárenskou věží 2, 182 07

1 Ústav informatiky AV ČR, v. v. i. Pod Vodárenskou věží 2, 182 07 Jiřina, Marcel; Jiřina jr., M.: Classification Using the Zipfian Kernel. Journal of Classification. 2015, roč. 32, č. 2, s. 305-326. ISSN 0176-4268. V článku je navržen nový univerzální klasifikáto...

Více

Výroční zpráVa - České vysoké učení technické v Praze

Výroční zpráVa - České vysoké učení technické v Praze záležitosti ekonomické a sociální a delegován ČKR do Reprezentativní komise České konference rektorů, která je poradním orgánem Ministerstva školství, mládeže a tělovýchovy.

Více

VýroĊní zpráva pracoviště AV ČR

VýroĊní zpráva pracoviště AV ČR - vzala na vědomí informaci o dalším vývoji ve věci ţaloby podané na členy Centra biomedicínské informatiky; - podrobně se seznámila se skutečnostmi, které vedly k nepodepsání smlouvy o financování...

Více

Zpravodajpro kybernetiku a informatiku ˇCSKIˇCesk´a spoleˇcnost

Zpravodajpro kybernetiku a informatiku ˇCSKIˇCesk´a spoleˇcnost 18. března Vı́t Puncochář: Semilattices as semantic structures for superintuitionistic logics In my talk, I will present a nonstandard semantics for superintuitionistic (modal) propositional log...

Více

Slabˇe implikativnı logiky

Slabˇe implikativnı logiky kde CL je spočetná množina symbolů zvaných spojky, která každé spojce přiřazuje jejı́ aritu. Nulárnı́m spojkám řı́káme pravdivostnı́ konstanty. Pro jednoduchost pı́šeme hc, ni ∈ L, k...

Více