Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Adamek, Jiri
388  Ergebnisse:
Personensuche X
?
1

(Pulmonary embolism in the Tábor region - revised Geneva sc..:

Adámek, Jiří ; Kuchař, Jan
Cor et Vasa.  66 (2024)  1 - p. 17-21 , 2024
Link: https://doi.org/10.33678..
 
?
2

An extensive analysis of SOL properties in high-δ plasmas i..:

Redl, Andreas ; Eich, Thomas ; Vianello, Nicola...
Nuclear Fusion.  , 2024
Link: https://doi.org/10.1088/..
 
?
3

Smallness in topology:

Adámek, Jiří ; Hušek, Miroslav ; Rosický, Jiří.
Quaestiones Mathematicae.  46 (2023)  sup1 - p. 13-39 , 2023
Link: https://doi.org/10.2989/..
 
?
4

Development of the diagnostic tools for the COMPASS-U tokam..:

Weinzettl, Vladimir ; Bilkova, Petra ; Duran, Ivan...
Fusion Engineering and Design.  191 (2023)  - p. 113545 , 2023
Link: https://doi.org/10.1016/..
 
?
5

Varieties of ordered algebras as categories:

Adámek, Jiří ; Rosický, Jiří
Algebra universalis.  84 (2023)  2 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
6

Varieties of Quantitative Algebras and Their Monads:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,
Adamek, Jiri - p. 1-10 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

On the behaviour of coalgebras with side effects and algebr..:

Adámek, Jiří ; Milius, Stefan ; Urbat, Henning
Journal of Logic and Computation.  31 (2021)  6 - p. 1429-1481 , 2021
Link: https://doi.org/10.1093/..
 
?
8

Reiterman's Theorem on Finite Algebras for a Monad:

Adámek, Jiří ; Chen, Liang-Ting ; Milius, Stefan.
ACM Transactions on Computational Logic.  22 (2021)  4 - p. 1-48 , 2021
Link: https://doi.org/10.1145/..
 
?
9

Finitary monads on the category of posets:

Adámek, Jiří ; Ford, Chase ; Milius, Stefan.
Mathematical Structures in Computer Science.  31 (2021)  7 - p. 799-821 , 2021
Link: https://doi.org/10.1017/..
 
?
10

D-ultrafilters and their monads:

Adámek, Jiří ; Sousa, Lurdes
Advances in Mathematics.  377 (2021)  - p. 107486 , 2021
Link: https://doi.org/10.1016/..
 
?
11

Test bench for calibration of magnetic field sensor prototy..:

Torres, Andre ; Kovarik, Karel ; Markovic, Tomas...
Fusion Engineering and Design.  168 (2021)  - p. 112467 , 2021
Link: https://doi.org/10.1016/..
 
?
12

How nice are free completions of categories?:

Adámek, Jiří ; Rosický, Jiří
Topology and its Applications.  273 (2020)  - p. 106972 , 2020
Link: https://doi.org/10.1016/..
 
?
13

On Well-Founded and Recursive Coalgebras:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Adámek, Jiří ; Milius, Stefan ; Moss, Lawrence S. - p. 17-36 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Interchange-turbulence-based radial transport model for SOL..:

Carli, Stefano ; Dekeyser, Wouter ; Coosemans, Reinart...
Contributions to Plasma Physics.  60 (2020)  5-6 - p. e201900155 , 2020
Link: https://doi.org/10.1002/..
 
?
15

Approximate Coalgebra Homomorphisms and Approximate Solutio..:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,
Adámek, Jiří - p. 11-31 , 2020
Link: https://doi.org/10.1007/..
 
1-15