Flying Amorphous Computer
Petrů, L.; Wiedermann, Jiří
2009 - Czech 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. 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. Keywords: amorfní počítač; komunikační protokol; výpočetní složitost; simulace Available in digital repository of the ASCR Flying Amorphous Computer

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 ...

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

The spectrum of information resources to support evidence-based medicine
Papíková, Vendula; Papík, R.
2008 - Czech 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. 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. 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 The spectrum of information resources to support evidence-based medicine

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 ...

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

Author and other Law and Internet
Brechlerová, Dagmar
2008 - Czech The paper describes some law about Internet and discusses some other problems of Internet using. 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. Keywords: internet; autorský zákon; ochrana osobních údajů Available at various institutes of the ASCR Author and other Law and Internet

The paper describes some law about Internet and discusses some other problems of Internet using.

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

Interior Point Methods for Nonconvex Nonlinear Programming
Lukšan, Ladislav; Matonoha, Ctirad; Vlček, Jan
2008 - Czech 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. 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. 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 Interior Point Methods for Nonconvex Nonlinear Programming

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.

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

Formalization of guidelines for the managament of arterial hypertension – Czech Society of Hypertension, version 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 Formalization of guidelines for the managament of arterial hypertension – Czech Society of Hypertension, version 2007

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