Létající amorfní počítač
Petrů, L.; Wiedermann, Jiří
2009 - český 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. Klíčová slova: amorfní počítač; komunikační protokol; výpočetní složitost; simulace Plné texty jsou dostupné v digitálním repozitáři Akademie Věd. 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 - český 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. Klíčová slova: informační zdroje; databáze; medicína založená na důkazech; EBM; vědecké lékařské informace Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - český Klíčová slova: e3zdraví; elektronické, ekonomické a environmentální zdraví Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - český Klíčová slova: HL7; Snomed; interoperabilita Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - český Klíčová slova: informační kiosek; čpové karty; biometrie Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - český Klíčová slova: podpora rozhodování; výuka; vyhodnocování znalostí Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - český 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. Klíčová slova: internet; autorský zákon; ochrana osobních údajů Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - český Klíčová slova: ontology matching; ontology alignment Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - český 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. Klíčová slova: nonlinear programming; interior point methods; indefinite systems; indefinite preconditioners; preconditioned conjugate gradient method; merit functions; algorithms; computational experiments Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - český Klíčová slova: formalizace lékařských doporučení; arteriální hypertenze; doporučení pro hypertenzi Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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