Vzdělávání v biomedicínské informatice a ezdraví s podporou informačních a komunikačních techlogogií
Zvárová, Jana
2007 - Czech Keywords: vzdělávání; biomedicínská informatika; eZdraví Available at various institutes of the ASCR Vzdělávání v biomedicínské informatice a ezdraví s podporou informačních a komunikačních techlogogií

Zvárová, Jana
Ústav informatiky, 2007

Online nástroje pro podporu klinického rozhodování
Papíková, Vendula
2007 - Czech Keywords: medicína založená na důkazech; informační zdroje; biomedicínské databáze Available at various institutes of the ASCR Online nástroje pro podporu klinického rozhodování

Papíková, Vendula
Ústav informatiky, 2007

Umění vidět v Mat(h)ematice
Porubský, Štefan
2007 - Czech Keywords: programovaní; Mathematica; teorie čísel; polygonalní čísla; hudba Available at various institutes of the ASCR Umění vidět v Mat(h)ematice

Porubský, Štefan
Ústav informatiky, 2007

Elektronický zdravotní záznam ve stomatologii
Hanzlíček, Petr; Nagy, Miroslav; Zvárová, Jana
2007 - Czech Keywords: elektronický zdravotní záznam; stomatologie; interaktivní komponenta zubního kříže Available at various institutes of the ASCR Elektronický zdravotní záznam ve stomatologii

Hanzlíček, Petr; Nagy, Miroslav; Zvárová, Jana
Ústav informatiky, 2007

Archív pro meteorologická data
Lehner, Lukáš
2007 - Czech Available at various institutes of the ASCR Archív pro meteorologická data

Lehner, Lukáš
Ústav informatiky, 2007

Dvě souvislosti mezi epistemickou a fuzzy logikou
Běhounek, Libor
2007 - Czech Článek se zabývá dvěma možnostmi propojení epistemické a fuzzy logiky. Epistemická fuzzy logika jakožto druh modální fuzzy logiky popisuje usuzování agentů o vágních výrocích; v článku jsou naznačeny problémy takové syntézy související s neplatností axiomu K ve fuzzy kripkovských rámcích. Druhým směrem je založení epistemické logiky na fuzzy logice; v článku je naznačeno, jak chápání proveditelné znalosti jako fuzzy modality odstraňuje paradox logické vševědoucnosti agentů Two possible connections between epistemic and fuzzy logics are studied. Epistemic fuzzy logic as a kind of modal logic studies the reasoning of agents about fuzzy propositions; problems of such a synthesis caused by the invalidity of the axiom K are hinted at. Another direction is to found epistemic on fuzzy logic; the paper sketches the way how representing feasible knowledge as a fuzzy modality eliminated the logical omniscience paradox. Keywords: epistemická logika; fuzzy logika; paradox logické vševědoucnosti; modální fuzzy logika Available at various institutes of the ASCR Dvě souvislosti mezi epistemickou a fuzzy logikou

Článek se zabývá dvěma možnostmi propojení epistemické a fuzzy logiky. Epistemická fuzzy logika jakožto druh modální fuzzy logiky popisuje usuzování agentů o vágních výrocích; v článku jsou naznačeny ...

Běhounek, Libor
Ústav informatiky, 2007

Matematické modelování spotřeby zemního plynu domácností a maloodběratelů
Konár, Ondřej
2006 - Czech Spotřeba zemního plynu domácností a maloodběratelů je zjišťována zpravidla jednou ročně odečtením plynoměru. V~každém měsíci je odečtena část (přibližně 1/12) zákazníků. V~každém okamžiku proto existuje určitý objem plynu, který nebyl vyfakturován. Tento objem je třeba odhadnout pomocí vhodného matematického modelu. V~příspěvku bude představen nelineární regresní model GAMMA pro odhad objemu nevyfakturovaného plynu, vyvíjený v~Ústavu informatiky AV ČR. Model je využíván v~rutinním provozu v~Západočeské plynárenské, a.s. Natural gas consumption of households and small commercial customers is read from gas-meters usually once a year in the Czech republic. Every month a part (approximately 1/12) of customers is read. Hence there's always a certain amount of delivered natural gas which hadn't been invoiced yet. This amount needs to be estimated by a proper estimator. In this paper a nonlinear regression model GAMMA, which was developped in the Institute of Computer Science of AS CR is presented. Keywords: zemní plyn; nelineární regrese Available on request at various institutes of the ASCR Matematické modelování spotřeby zemního plynu domácností a maloodběratelů

Spotřeba zemního plynu domácností a maloodběratelů je zjišťována zpravidla jednou ročně odečtením plynoměru. V~každém měsíci je odečtena část (přibližně 1/12) zákazníků. V~každém okamžiku proto ...

Konár, Ondřej
Ústav informatiky, 2006

Singulární rozklad - aplikace v image deblurring
Plešinger, Martin; Strakoš, Zdeněk
2006 - Czech Available at various institutes of the ASCR Singulární rozklad - aplikace v image deblurring

Plešinger, Martin; Strakoš, Zdeněk
Ústav informatiky, 2006

Kurt Godel: život, výsledky a jejich význam
Běhounek, Libor
2006 - Czech Přehled nejdůležitějších výsledků a prací K. Gödela v oblasti metamatematiky, teorie množin, fyziky a filosofie. Zvláštní pozornost je věnována demytizaci Gödelových vět o neúplnosti a jejich důsledkům pro informatiku, umělou inteligenci, filosofii a další obory. A survey (in Czech) of K. Gödel’s most important results and works in metamathematics, set theory, physics, and philosophy. A special attention is given to de-mything Gödel’s Incompleteness Theorems and to their consequences for computer science, artificial intelligence, philosophy, and other disciplines. Keywords: Kurt Goedel; věty o neúplnosti; umělá inteligence Available at various institutes of the ASCR Kurt Godel: život, výsledky a jejich význam

Přehled nejdůležitějších výsledků a prací K. Gödela v oblasti metamatematiky, teorie množin, fyziky a filosofie. Zvláštní pozornost je věnována demytizaci Gödelových vět o neúplnosti a jejich ...

Běhounek, Libor
Ústav informatiky, 2006

Elektronická identifikace a elektronický zdravotní záznam jako klíčové prvky eZdraví
Hanzlíček, Petr; Trpišovský, T.
2006 - Czech Keywords: elektronický zdravotní záznam; elektronická identifikace; eZdraví Available at various institutes of the ASCR Elektronická identifikace a elektronický zdravotní záznam jako klíčové prvky eZdraví

Hanzlíček, Petr; Trpišovský, T.
Ústav informatiky, 2006