Filtry
Process algebra in ambient intelligence : a survey
The paper gives a survey on algebraic tools used in the ambient intelligence to model processes in ambient intelligence environment. These techniques, in general expressed as process calculus, proved to be a valid option to...
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Ladislav Jandera - the Contemporary of Bernard Bolzano
Basic themes of document: teaching of mathematics; differential calculus; integral calculus...
AB - Dějiny
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Modernisation and innovation of the calculus teaching
In this chapter is shown different innovative approaches to the calculus teaching. It is important for the understanding of concepts such limit, derivative and integral....
AM - Pedagogika a školství
- 2009 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Mathematics.
Basic themes in document: defferential calculus; derivate; chain rule; integral calculus; basic methods og integration.
BA - Obecná matematika
- 2003 •
- B
Rok uplatnění
B - Odborná kniha
Fractional calculus and convolution equations.
Applications fractional calculus to convolution equations is considered.
BA - Obecná matematika
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Calculus of variations
No annotation exists in the publication itself. Otherwise the chapter surveys basics from variational calculus.
BA - Obecná matematika
- 2014 •
- C •
- Odkaz
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Propositional calculus
Basic themes of document: propositional calculus; negation; conjunction; disjunction; implication...
AM - Pedagogika a školství
- 2016 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Predicate calculus
Basic themes of document: predicace calculus; predicat; variable; universal quantifier...
AM - Pedagogika a školství
- 2016 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Route for Infinitesimal Calculus
Basic themes of document: matheamtics; infinitesimal calculus; Galilei; Leibniz; Newton...
Applied Economics, Econometrics
- 2017 •
- Jost
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Proof Complexity of the Cut-free Calculus of Structures
We investigate the proof complexity of analytic subsystems of the deep inference proof system SKSg (the calculus of structures). Exploiting the fact calculus, we establish that the "analytic" system KSg + c{uparrow} has essentially ...
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 z 5 577