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

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

Regional scale modelling of CO2 concentrations and impact of anthropogenic emissions
Pelikán, Emil; Juruš, Pavel; Musílek, P.; Brabec, Marek; Krč, Pavel; Paluš, Milan; Vejmelka, Martin
2011 - anglický Klíčová slova: CO2 modelling; satellite CO2 observation; regional scale Eulerian models; CO2 fluxes Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Regional scale modelling of CO2 concentrations and impact of anthropogenic emissions

Pelikán, Emil; Juruš, Pavel; Musílek, P.; Brabec, Marek; Krč, Pavel; Paluš, Milan; Vejmelka, Martin
Ústav informatiky, 2011

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

Mode Change in Real-time Component Systems - Suitable Form of Run-Time Variability in Resource Constrained Environments
Outlý, M.; Pop, T.; Bureš, Tomáš
2011 - anglický The document describes and examines possibilities of run-time vari- ability in real-time embedded component systems. Namely it formally describes sup- port of operating modes. The report introduces a recon guration mechanism based on properties and relations between them. The mechanism is designed to facilitate a straight forward modeling of operating modes and recon guration rules and pre- serves re-usability of assembled components. The report also presents a realization of the mechanism suitable for the domain of embedded real-time systems. Klíčová slova: embedded-systems; real-time systems; software variability; software architecture modes; SOFA Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Mode Change in Real-time Component Systems - Suitable Form of Run-Time Variability in Resource Constrained Environments

The document describes and examines possibilities of run-time vari- ability in real-time embedded component systems. Namely it formally describes sup- port of operating modes. The report introduces a ...

Outlý, M.; Pop, T.; Bureš, Tomáš
Ústav informatiky, 2011

Morphisms of Dempster's Semigroup: A Revision and Interpretation
Daniel, Milan
2011 - anglický Analyzing three new approaches to interpretation, definition, and measurement of conflicts of belief Functions (BFs), we previously observed a possibility of expression of a BF Bel as Dempster's sum of non-conflicting BF Bel0 with the same plausibility decisional support as the original BF Bel has and of indecisive BF BelS which does not prefer any of the elements of frame of discernment. Based on this observation, the theory of homomorphisms of Dempster's semigroup (the algebra of non-extremal BFs on 2-element frame of discernment with Dempster's rule as its binary operation) is updated in the present contribution. New homomorphisms are introduced; their interpretation and relation to the original ones are presented. Klíčová slova: belief function; Dempster-Shafer theory; Dempster's semigroup; conflict between belief functions; uncertainty; non-conflicting part of belief function; conflicting part of belief function Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Morphisms of Dempster's Semigroup: A Revision and Interpretation

Analyzing three new approaches to interpretation, definition, and measurement of conflicts of belief Functions (BFs), we previously observed a possibility of expression of a BF Bel as Dempster's sum ...

Daniel, Milan
Ústav informatiky, 2011

Feasibility study of weather components prediction along expected vehicle trajectory
Novák, M.; Bouchner, P.; Pelikán, Emil; Novotný, S.; Derbek, P.; Eben, Kryštof; Juruš, Pavel
2011 - anglický Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Feasibility study of weather components prediction along expected vehicle trajectory

Novák, M.; Bouchner, P.; Pelikán, Emil; Novotný, S.; Derbek, P.; Eben, Kryštof; Juruš, Pavel
Ústav informatiky, 2011

Analysis of Phycobilisomes Mobility on Thylakoid Membrane: Part II. Single Parameter Estimation Problem
Matonoha, Ctirad; Papáček, Š.
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 II. Single Parameter Estimation Problem

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