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 ...
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í
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
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
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
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.
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 ...
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í
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.
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
NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web
Send your suggestions and comments to nusl@techlib.cz
Provider
Other bases