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

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

Language of Preference Formulae
Nedbal, Radim
2012 - anglický There is a need for handling preferences in relational query languages that arises naturally in real-world applications dealing with possible choices generated by the current state of the world captured in the relational data model. To address this problem, we propose a fully declarative language for encoding preferences conditional on the current state of the world represented as a relation database instance. Being based purely on the qualitative type of information about the preference model, the language is intuitive and leads to a exible approach for specifying the most desirable choices of autonomous systems that act on behalf of their designers. Throughout the paper, we use an example of a control support system for a bank surveillance to motivate the need for our framework and to illustrate it. Klíčová slova: conflicting preferences; relational data model; database query Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Language of Preference Formulae

There is a need for handling preferences in relational query languages that arises naturally in real-world applications dealing with possible choices generated by the current state of the world ...

Nedbal, Radim
Ústav informatiky, 2012

On iterative refinement for seminormal equations
Kopal, J.; Rozložník, Miroslav; Smoktunowicz, A.
2012 - anglický Klíčová slova: orthogonalization process; nonstandard inner product; approximate inverse preconditioning Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. On iterative refinement for seminormal equations

Kopal, J.; Rozložník, Miroslav; Smoktunowicz, A.
Ústav informatiky, 2012

Estimation of diffusivity of phycobilisomes on thylakoid membrane based on spatio-temporal FRAP images
Papáček, Š.; Kaňa, Radek
2012 - anglický Klíčová slova: FRAP technique; diffusion equation; boundary value problem Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. Estimation of diffusivity of phycobilisomes on thylakoid membrane based on spatio-temporal FRAP images

Papáček, Š.; Kaňa, Radek
Ústav informatiky, 2012

Analysis of Phycobilisomes Mobility on Thylakoid Membrane: Part I. Reconstruction of Diffussion based on Spatio-Temporal FRAP Images
Papáček, Š.; Matonoha, Ctirad
2011 - anglický Klíčová slova: thylakoid membrane; FRAP; boundary value problem Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Analysis of Phycobilisomes Mobility on Thylakoid Membrane: Part I. Reconstruction of Diffussion based on Spatio-Temporal FRAP Images

Papáček, Š.; Matonoha, Ctirad
Ústav informatiky, 2011

Classification Methods for Brain-Computer Interface
Bobrov, P.; Frolov, A. A.; Húsek, Dušan
2011 - anglický The performance of four classifiers for Brain Computer Interface (BCI) systems based on multichannel EEG recordings is tested in this work. The classifiers are designed to distinguish EEG patterns corresponding to performance of several mental tasks. It is shown that relatively simple classifiers based on the Bayesian approach are comparable in classification accuracy with more sophisticated classifiers based on Common Spatial Patterns and Common Tensor Discriminant Analysis Klíčová slova: brain computer interface; BCI; EEG; Bayesian classifier; common spatial patterns; CSP; common tensor discriminant analysis; CTDA; classification accuracy Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. Classification Methods for Brain-Computer Interface

The performance of four classifiers for Brain Computer Interface (BCI) systems based on multichannel EEG recordings is tested in this work. The classifiers are designed to distinguish EEG patterns ...

Bobrov, P.; Frolov, A. A.; Húsek, Dušan
Ústav informatiky, 2011