Létající amorfní počítač
Petrů, L.; Wiedermann, Jiří
2009 - Czech V příspěvku navrhneme formální model létajícího amorfního počítače a ukážeme, že k libovolnému počítači RAM s libovolně velkým vstupem existuje amorfní počítač, jehož velikost záleží pouze na velikosti vstupu a jenž konkrétně realizuje počítač RAM pro daný vstup s libovolně malou pravděpodobností chyby. A formal model of so-called flying amorphous computer is designed. It is known that to any RAM computer with a given input there exists an amorphous flying computer whose size only depends on the size of the input and which simulates the given RAM computer with an arbitrarily small error probability. Keywords: amorfní počítač; komunikační protokol; výpočetní složitost; simulace Available in digital repository of the ASCR Létající amorfní počítač

V příspěvku navrhneme formální model létajícího amorfního počítače a ukážeme, že k libovolnému počítači RAM s libovolně velkým vstupem existuje amorfní počítač, jehož velikost záleží pouze na ...

Petrů, L.; Wiedermann, Jiří
Ústav informatiky, 2009

Spektrum informačních zdrojů pro podporu evidence-based medicine
Papíková, Vendula; Papík, R.
2008 - Czech Od počátku 90. let 20. století, kdy se systematicky začaly vyvíjet nástroje a metodika pro zavádění medicíny založené na důkazech (EBM) do klinické praxe, došlo ke značnému rozvoji informačních zdrojů a služeb zaměřených na podporu EBM. Tato práce shrnuje současné spektrum specializovaných dokumentů, databází a informačních služeb s tímto zaměřením a zmiňuje možný další vývoj v této oblasti. Since the early 90s of the 20th century when it began to systematically develop tools and methodology for implementation of evidence-based medicine (EBM) into clinical practice, there has been considerable development of information resources and services designed to support EBM. This paper summarizes the current range of specialized documents, databases and information services focussed on this task, and mentions possible future developments in this area. Keywords: informační zdroje; databáze; medicína založená na důkazech; EBM; vědecké lékařské informace Available at various institutes of the ASCR Spektrum informačních zdrojů pro podporu evidence-based medicine

Od počátku 90. let 20. století, kdy se systematicky začaly vyvíjet nástroje a metodika pro zavádění medicíny založené na důkazech (EBM) do klinické praxe, došlo ke značnému rozvoji informačních zdrojů ...

Papíková, Vendula; Papík, R.
Ústav informatiky, 2008

e3Zdraví: Tři hlavní rysy moderního zdravotnictví
Zvárová, Jana
2008 - Czech Keywords: e3zdraví; elektronické, ekonomické a environmentální zdraví Available at various institutes of the ASCR e3Zdraví: Tři hlavní rysy moderního zdravotnictví

Zvárová, Jana
Ústav informatiky, 2008

Klasifikace, nomenklatury a moderní informační technologie v elektronickém zdravotním záznamu
Nagy, Miroslav; Hanzlíček, Petr; Přečková, Petra; Dioszegi, Matěj; Peleška, Jan; Tomečková, Marie; Zvárová, Jana
2008 - Czech Keywords: HL7; Snomed; interoperabilita Available at various institutes of the ASCR Klasifikace, nomenklatury a moderní informační technologie v elektronickém zdravotním záznamu

Nagy, Miroslav; Hanzlíček, Petr; Přečková, Petra; Dioszegi, Matěj; Peleška, Jan; Tomečková, Marie; Zvárová, Jana
Ústav informatiky, 2008

Informační kiosek v ambulanci preventivní kardiologie na ÚI AV ČR
Hanzlíček, Petr; Pokorný, Vít; Tomečková, Marie; Peleška, Jan; Grünfeldová, H.; Brechlerová, Dagmar
2008 - Czech Keywords: informační kiosek; čpové karty; biometrie Available at various institutes of the ASCR Informační kiosek v ambulanci preventivní kardiologie na ÚI AV ČR

Hanzlíček, Petr; Pokorný, Vít; Tomečková, Marie; Peleška, Jan; Grünfeldová, H.; Brechlerová, Dagmar
Ústav informatiky, 2008

Program pro testování kompetencí TeCom
Heroutová, Helena; Zvárová, Jana; Tomečková, Marie; Zvolský, Miroslav; Grünfeldová, H.
2008 - Czech Keywords: podpora rozhodování; výuka; vyhodnocování znalostí Available at various institutes of the ASCR Program pro testování kompetencí TeCom

Heroutová, Helena; Zvárová, Jana; Tomečková, Marie; Zvolský, Miroslav; Grünfeldová, H.
Ústav informatiky, 2008

Autorská a další práva a Internet
Brechlerová, Dagmar
2008 - Czech Příspěvek seznamuje s některými zákony týkajícími se Internetu a věnuje se i problémům, které nejsou zákony postiženy. The paper describes some law about Internet and discusses some other problems of Internet using. Keywords: internet; autorský zákon; ochrana osobních údajů Available at various institutes of the ASCR Autorská a další práva a Internet

Příspěvek seznamuje s některými zákony týkajícími se Internetu a věnuje se i problémům, které nejsou zákony postiženy....

Brechlerová, Dagmar
Ústav informatiky, 2008

Možnosti a výzvy matchingu ontologií
Tyl, Pavel
2008 - Czech Keywords: ontology matching; ontology alignment Available at various institutes of the ASCR Možnosti a výzvy matchingu ontologií

Tyl, Pavel
Ústav informatiky, 2008

Metody vnitřních bodů pro nekonvexní úlohy nelineárního programování
Lukšan, Ladislav; Matonoha, Ctirad; Vlček, Jan
2008 - Czech Příspěvek obsahuje stručný popis metod vnitřních bodů pro řešení nekonvexních úloh nelineárního programování společně s výsledky autorů publikovanými ve speciálních článcích. The contribution contains a short description of interior point s methods for nonconvex nonlinear programming problems together with results proposed by authors in special papers. Keywords: nonlinear programming; interior point methods; indefinite systems; indefinite preconditioners; preconditioned conjugate gradient method; merit functions; algorithms; computational experiments Available at various institutes of the ASCR Metody vnitřních bodů pro nekonvexní úlohy nelineárního programování

Příspěvek obsahuje stručný popis metod vnitřních bodů pro řešení nekonvexních úloh nelineárního programování společně s výsledky autorů publikovanými ve speciálních článcích....

Lukšan, Ladislav; Matonoha, Ctirad; Vlček, Jan
Ústav informatiky, 2008

Formalizace Doporučení diagnostických a léčebných postupů u arteriální hypertenze České společnosti pro hypertenzi – verze 2007
Peleška, Jan; Anger, Z.; Buchtela, David; Tomečková, Marie; Veselý, Arnošt; Zvárová, Jana; Zvolský, Miroslav
2008 - Czech Keywords: formalizace lékařských doporučení; arteriální hypertenze; doporučení pro hypertenzi Available at various institutes of the ASCR Formalizace Doporučení diagnostických a léčebných postupů u arteriální hypertenze České společnosti pro hypertenzi – verze 2007

Peleška, Jan; Anger, Z.; Buchtela, David; Tomečková, Marie; Veselý, Arnošt; Zvárová, Jana; Zvolský, Miroslav
Ústav informatiky, 2008