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 ...
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í
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
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
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
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....
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ů ...
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í
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....
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
NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.
Vaše náměty a připomínky posílejte na email nusl@techlib.cz
Provozovatel
Zahraniční báze