Dental Electronic Health Record Evaluation (Electronic Health Record versus WHO Dental Card)
Chleborád, K.; Zvára Jr., Karel; Dostálová, T.; Zvára, Karel; Ivančáková, R.; Zvárová, Jana; Smidl, L.; Trmal, J.; Psutka, J.
2013 - anglický Klíčová slova: dentistry; medical documentation; electronic health record Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Dental Electronic Health Record Evaluation (Electronic Health Record versus WHO Dental Card)

Chleborád, K.; Zvára Jr., Karel; Dostálová, T.; Zvára, Karel; Ivančáková, R.; Zvárová, Jana; Smidl, L.; Trmal, J.; Psutka, J.
Ústav informatiky, 2013

An Alternative Approach to the Structure Determination of Hierarchical Archimedean Copulas
Górecki, J.; Holeňa, Martin
2013 - anglický Copulas offer very a flexible tool for a stochastic dependence modeling. One of the most popular classes of copulas is the class of hierarchical Archimedean copulas, which gained its popularity due to the fact that the models from the class are able to model the stochastic dependencies conveniently even in high dimensions. One critical issue when estimating a hierarchical Archimedean copula is to correctly determine its structure. The paper describes an approach to the problem of the structure determination of a hierarchical Archimedean copula, which is based on the close relationship of the copula structure and the values of measure of concordance computed on all its bivariate margins. The presented approach is conveniently summarized as a simple algorithm. Klíčová slova: hierarchical Archimedean copula; structure determination; measure of concordance; bivariate margins; nesting condition Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. An Alternative Approach to the Structure Determination of Hierarchical Archimedean Copulas

Copulas offer very a flexible tool for a stochastic dependence modeling. One of the most popular classes of copulas is the class of hierarchical Archimedean copulas, which gained its popularity due to ...

Górecki, J.; Holeňa, Martin
Ústav informatiky, 2013

Formal Verification of Annotated Use-Cases
Šimko, V.; Hnětynka, P.; Bureš, Tomáš; Plášil, František
2012 - anglický Klíčová slova: specification; use-cases; behavior modeling; verification; temporal logic; formalization Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Formal Verification of Annotated Use-Cases

Šimko, V.; Hnětynka, P.; Bureš, Tomáš; Plášil, František
Ústav informatiky, 2012

Is There Something Beyond AI? Frequently Emerging, but Seldom Answered Questions about Artificial Super-Intelligence
Wiedermann, Jiří
2012 - anglický Using the contemporary theories and views of computing and of cognitive systems we indicate possible answers to the following frequently asked questions about artificial intelligence: (i) what is the "computational power" of artificial cognitive systems?; (ii) are there "levels" of intelligence?; (iii) what is the position of human intelligence w.r.t. the "levels" of intelligence?; (iv) is there a general mechanism of intelligence?; (v) can "fully-fledged" body-less intelligence exist?; (vi) can there exist a sentient cloud? We give qualified arguments suggesting that within the large class of computational models of cognitive systems the answers to the previous question are positive. These arguments are mostly based on the author's recent works related to this problematics. Klíčová slova: cognitive systems; computational models; non-uniform evolving automaton Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. Is There Something Beyond AI? Frequently Emerging, but Seldom Answered Questions about Artificial Super-Intelligence

Using the contemporary theories and views of computing and of cognitive systems we indicate possible answers to the following frequently asked questions about artificial intelligence: (i) what is the ...

Wiedermann, Jiří
Ústav informatiky, 2012

Algebraic error in the numerical solution of differential equations
Liesen, J.; Papež, J.; Strakoš, Zdeněk
2012 - anglický Klíčová slova: spatial distribution of errors; algebraic error; finite element method; iterative solver Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. Algebraic error in the numerical solution of differential equations

Liesen, J.; Papež, J.; Strakoš, Zdeněk
Ústav informatiky, 2012

Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method)
Keznikl, Jaroslav; Bureš, T.; Plášil, F.; Hnětynka, P.
2012 - anglický Klíčová slova: software architecture; software connectors; constraint solving; middleware-based connectors; connector theory; Alloy Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method)

Keznikl, Jaroslav; Bureš, T.; Plášil, F.; Hnětynka, P.
Ústav informatiky, 2012

Accuracy Estimates for Surrogate Solutions of Integral Equations by Neural Networks
Kůrková, Věra
2012 - anglický Surrogate solutions of integral equations by neural networks are investigated theoretically. Upper bounds on speed of convergence of approximate solutions computable by neural networks with increasing model complexity to exact solutions described by Fredholm theorem are derived. Klíčová slova: surrogate solutions by neural networks; Fredholm integral equations; network complexity Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Accuracy Estimates for Surrogate Solutions of Integral Equations by Neural Networks

Surrogate solutions of integral equations by neural networks are investigated theoretically. Upper bounds on speed of convergence of approximate solutions computable by neural networks with increasing ...

Kůrková, Věra
Ústav informatiky, 2012

On prescribing restarted GMRES
Duintjer Tebbens, Jurjen; Meurant, G.
2012 - anglický Klíčová slova: restarted GMRES; prescribed convergence; Arnoldi orthogonalization; stagnation; Ritz values Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. On prescribing restarted GMRES

Duintjer Tebbens, Jurjen; Meurant, G.
Ústav informatiky, 2012

Calculating the rank of the Sylvester matrix
Kuřátko, J.; Hnětynková, Iveta
2012 - anglický Klíčová slova: Sylvester matrix; rank revealing; regularization Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. Calculating the rank of the Sylvester matrix

Kuřátko, J.; Hnětynková, Iveta
Ústav informatiky, 2012

Direct Methods and Algebraic Preconditioners for Solving Large and Sparse Systems of Linear Equations
Tůma, Miroslav
2012 - anglický Klíčová slova: direct methods; sparse linear systems; incomplete decompositions; preconditioned iterative methods Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. Direct Methods and Algebraic Preconditioners for Solving Large and Sparse Systems of Linear Equations

Tůma, Miroslav
Ústav informatiky, 2012