Number of found documents:
289
Published from
to
Significance of Multidimensional Data Analysis and Multidimensional Prediction Diagnostics
Novák, Mirko
2009 - English
Keywords:
multidimensional data analysis; prediction diagnostics
Available at various institutes of the ASCR
Significance of Multidimensional Data Analysis and Multidimensional Prediction Diagnostics
Fine-grained Entities in Component Architectures
Bureš, Tomáš; Ježek, P.; Malohlava, M.; Poch, T.; Šerý, O.
2009 - English
Keywords:
component model; architecture evolution; dynamic reconfiguration
Available at various institutes of the ASCR
Fine-grained Entities in Component Architectures
Možnosti vytvoření asistenčního systému pro stimulování aliančního chování řidičů
Novák, Mirko
2009 - Czech
Available at various institutes of the ASCR
Možnosti vytvoření asistenčního systému pro stimulování aliančního chování řidičů
Object Instance Profiling
Bulej, Lubomír; Marek, L.; Tůma, P.
2009 - English
Available at various institutes of the ASCR
Object Instance Profiling
A Characterization of Hitting Sets for 1 Branching Programs of Width 3
Šíma, Jiří; Žák, Stanislav
2008 - English
Keywords:
derandomization, hitting set; branching programs of bounded width
Available on request at various institutes of the ASCR
A Characterization of Hitting Sets for 1 Branching Programs of Width 3
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 - English
Keywords:
dynamic and quasi-static contact problems; classical and mortar finite element methods; human joints; total joint replacement
Available at various institutes of the ASCR
Dynamic and Quasi-Static FE Simulations of the Function of Human Joints and their Total Replacements based on the Mortar Approach
A Lower Bound Technique for Restricted Branching Programs (version G)
Žák, Stanislav
2007 - English
Keywords:
branching programs; lower bound
Available at various institutes of the ASCR
A Lower Bound Technique for Restricted Branching Programs (version G)
Slicing behavior specification of components
Šerý, O.; Plášil, František
2007 - English
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í. 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
Keywords:
formal verification; slicing; behavior protocols
Available at various institutes of the ASCR
Slicing behavior specification of components
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 ...
Gradient Learning in Networks of Smoothly Spiking Neurons
Šíma, Jiří
2007 - English
Keywords:
spiking neuron; back-propagation; SpikeProp; gradient learning
Available on request at various institutes of the ASCR
Gradient Learning in Networks of Smoothly Spiking Neurons
Feasible Disjunction Property and Feasible Interpolation in Modal Logic
Bílková, Marta
2007 - English
Keywords:
interpolation; modal logic; disjunction property; feasible interpolation
Available at various institutes of the ASCR
Feasible Disjunction Property and Feasible Interpolation in Modal Logic
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