Significance of Multidimensional Data Analysis and Multidimensional Prediction Diagnostics
Novák, Mirko
2009 - anglický Klíčová slova: multidimensional data analysis; prediction diagnostics Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Significance of Multidimensional Data Analysis and Multidimensional Prediction Diagnostics

Novák, Mirko
Ústav informatiky, 2009

Fine-grained Entities in Component Architectures
Bureš, Tomáš; Ježek, P.; Malohlava, M.; Poch, T.; Šerý, O.
2009 - anglický Klíčová slova: component model; architecture evolution; dynamic reconfiguration Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Fine-grained Entities in Component Architectures

Bureš, Tomáš; Ježek, P.; Malohlava, M.; Poch, T.; Šerý, O.
Ústav informatiky, 2009

Možnosti vytvoření asistenčního systému pro stimulování aliančního chování řidičů
Novák, Mirko
2009 - český Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Možnosti vytvoření asistenčního systému pro stimulování aliančního chování řidičů

Novák, Mirko
Ústav informatiky, 2009

Object Instance Profiling
Bulej, Lubomír; Marek, L.; Tůma, P.
2009 - anglický Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Object Instance Profiling

Bulej, Lubomír; Marek, L.; Tůma, P.
Ústav informatiky, 2009

A Characterization of Hitting Sets for 1 Branching Programs of Width 3
Šíma, Jiří; Žák, Stanislav
2008 - anglický Klíčová slova: derandomization, hitting set; branching programs of bounded width Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. A Characterization of Hitting Sets for 1 Branching Programs of Width 3

Šíma, Jiří; Žák, Stanislav
Ústav informatiky, 2008

Dynamic and Quasi-Static FE Simulations of the Function of Human Joints and their Total Replacements based on the Mortar Approach
Nedoma, Jiří; Daněk, Josef
2007 - anglický Klíčová slova: dynamic and quasi-static contact problems; classical and mortar finite element methods; human joints; total joint replacement Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Dynamic and Quasi-Static FE Simulations of the Function of Human Joints and their Total Replacements based on the Mortar Approach

Nedoma, Jiří; Daněk, Josef
Ústav informatiky, 2007

A Lower Bound Technique for Restricted Branching Programs (version G)
Žák, Stanislav
2007 - anglický Klíčová slova: branching programs; lower bound Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. A Lower Bound Technique for Restricted Branching Programs (version G)

Žák, Stanislav
Ústav informatiky, 2007

Slicing behavior specification of components
Šerý, O.; Plášil, František
2007 - anglický Being an important means of reducing development costs, behavior specification of software components facilitates reuse of a component and even reuse of a component’s architecture (assembly). However, since typically only a part of the components’ functionality is actually used in the new context, a significant part of the behavior specification may be superfluous. As a result, it may be hard to see (and filter out) the actual interplay among the components in their behavior specification. This paper targets the problem in the scope of behavior protocols [13]. It presents a technique for slicing behavior protocols with respect to a given context (composition), designed to remove the unused behavior from a behavior specification. The technique is based on a formal foundation, generic enough to support slicing with respect to a property expressed as a predicate. To demonstrate viability of the proposed approach, a positive experience with behavior specification slicing applied in real-li Specifikace chování umožňuje reuse nejen komponent, ale také komponentové architektury. V takovém případě je ovšem velmi obtížné určit, jaké je skutečné chování komponenty, neboť toto silně závisí na kontextu. V tomto článku popisujeme metodu slicingu behavior protokolů, která umožňuje automaticky určit chování komponenty v daném prostředí. Klíčová slova: formal verification; slicing; behavior protocols Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Slicing behavior specification of components

Being an important means of reducing development costs, behavior specification of software components facilitates reuse of a component and even reuse of a component’s architecture (assembly). However, ...

Šerý, O.; Plášil, František
Ústav informatiky, 2007

Gradient Learning in Networks of Smoothly Spiking Neurons
Šíma, Jiří
2007 - anglický Klíčová slova: spiking neuron; back-propagation; SpikeProp; gradient learning Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. Gradient Learning in Networks of Smoothly Spiking Neurons

Šíma, Jiří
Ústav informatiky, 2007

Feasible Disjunction Property and Feasible Interpolation in Modal Logic
Bílková, Marta
2007 - anglický Klíčová slova: interpolation; modal logic; disjunction property; feasible interpolation Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Feasible Disjunction Property and Feasible Interpolation in Modal Logic

Bílková, Marta
Ústav informatiky, 2007