Filters
Acquiring the Exact Users Feedback Data in Context of E-learning Hypermedia Adaptation Process
This article deals with a formal description of exact user's feedback data acquiring in the E-learning hypermedia adaptation process. In general, adaptive hypermedia systems needs information about its particular students to adapt p...
IN - Informatika
- 2004 •
- A
Rok uplatnění
A - Audiovizuální tvorba
k-Dirac Complexes
will also prove that each k-Dirac complex is formally exact, i.e., it induces a long exact sequence of infinite (weighted) jets at any fixed point. In the second part of the series we use this information to show that each...
Pure mathematics
- 2018 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Particular Design of Structure for Exact Evaluation of E-learning Hypermedia Documents in Context of Hypermedia Adaptation Process
This article deals with particular formal design of structure for exact evaluation of e-learning hypermedia document. Used description is based on the formal theory designed for purpose of adaptive hypermedia system. Nevert...
JD - Využití počítačů, robotika a její aplikace
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
E-learning Adaptive Web System's Formal Design
This article deals with formal description of the adaptive web system. Adaptive web system monitors particular user's behaviour and characteristics. Based on them qualification and capability, preferences and his/her specific needs. Form...
JC - Počítačový hardware a software
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Metaheuristic Solver for Problems with Permutative Representation
be efficiently formulated as a mixed-integer program and solved with an exact solver. However, exact solvers do not scale well and thus custom metaheuristic algorithms are being-consuming development. This paper proposes a novel
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Factorizing Boolean matrices using formal concepts and iterative usage of essential entries
significantly, the available algorithms for exact and almost exact factorizations...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
E-learning Adaptive Web System
This article deals with formal description of the adaptive web system and consequent exact evaluation of learning hypermedia document. Adaptive web system monitors and to adapt E-learning process for the disabled student. Exact<...
JC - Počítačový hardware a software
- 2004 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Estimations of similarity in formal concept analysis of data with graded attributes.
We study similarity in formal concept analysis of data tables with graded attributes. We focus on similarity related to formal concepts and concept lattices, i.e. the outputs of formal concept analysis. We present several f...
BD - Teorie informace
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Design for Testability Support for RT Level Digital Circuits
A complete formal approach to the RT level digital circuits diagnostics is presneted. To develop the methodology, formal tools were used. It allows to create a formal model of a circuit, to describe its diagnostic and testa...
JC - Počítačový hardware a software
- 2007 •
- B
Rok uplatnění
B - Odborná kniha
Multiplicative renormalizability of Yang-Mills theory with the background field method in the BV-formalism
Studying the gauge-invariant renormalizability of four-dimensional Yang–Mills theory using the background field method and the BV formalism, we derive a classical master equation homogeneous with respect to the antibracket by introducing ant...
Particles and field physics
- 2020 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 out of 16 311