Filtry
On free completely iterative algebras
Pure mathematics
- 2020 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Terminal Coalgebras and Free Iterative Theories
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Elgot Theories: A new Perspective of Iteration Theories (Extended Abstract)
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Hyperbolic sine and cosine from the iteration theory point of view
AM - Pedagogika a školství
- 2016 •
- D
Rok uplatnění
D - Stať ve sborníku
From groups of linear functions to noncommutative transposition hypergroups
BA - Obecná matematika
- 2001 •
- D
Rok uplatnění
D - Stať ve sborníku
Jak iterativní jsou iterativní algebry?
Iterativní algebry jsou definovány jako ty, ve kterých má každá guarded soustava rekursivních rovnic jediné řešení. Dokazujeme, že iterativní algebry mají mnohem silnější vlastnost: každá soustava rekursivních rovnic má jediné strik...
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Iterativní algebry pro báze
Je zaveden pojem iterativity vzhledem k bázi (což je funktor dvou proměnných dávající v jedné proměnné finitární monády) a je podána koalgebraická konstrukce volných iterativních algeber......
BA - Obecná matematika
- 2005 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Iterativní algebry: jak jsou iterativní?
Dokazujeme, že terativní algebry, které jsou definovány vlastností, že každá guarded rovnice má jediní řešení, mají daleko silnější vlastnost: každý systém rekursivních rovnic má jediné striktní řešení. Je podána charakterizace systémů rovni...
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Harrachov 2007. Výpočetní lineární algebra s aplikacemi
Program se zaměří na výpočetní metody, zejména metody numerické lineární algebry, jejich sekvenční a paralelní implementace a aplikace s nimi související. Protože významná část takových aplikací vzniká při numerickém řešení parciálních difer...
BA - Obecná matematika
- 2007 •
- M
Rok uplatnění
M - Uspořádání konference
Intelligent Information retrieval using numerical linear algebra and applications
The article presents a method for automatic image retrieval using the numerical linear algebra. A raster image is represented as a sequence of pixels. Information retrieval is conducted by the Latent Semantic Indexing (LSI) method. The parti...
IN - Informatika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 z 2 300