Kucera, L
227  Ergebnisse:
Personensuche X
?
1

One-counter Markov decision processes:

, In: Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete algorithms,
Brázdil, T. ; Brožek, V. ; Etessami, K... - p. 863-874 , 2010
 
?
2

Experimentelle Methoden zur Charakterisierung des Bruchverh..:

, In: Deformation und Bruchverhalten von Kunststoffen,
Nezbedova, E. ; Kucera, J. - p. 91-98 , 1998
 
?
3

Balancing of a Stick with a Robot:

, In: Proceedings of 1995 IEEE International Conference on Robotics and Automation,
Huppi, R. ; Kucera, L. ; Mourad, S.. - p. V5 , 1995
 
?
4

MECHANICAL INSTABILITY OF GELS UNDERGOING LARGE SWELLING:

, In: Physical optics of dynamic phenomena and processes in macromolecular systems,
Hirokawa, Y. ; Kucera, J. ; Sun, S.-T.. - p. 197-204 , 1985
 
?
7

Metrology for Electric Vehicle Charging Systems: An Overvie..:

, In: 2024 IEEE International Workshop on Metrology for Automotive (MetroAutomotive),
 
?
8

On Harmonic Properties of Carrier-Based Asynchronous Modula..:

, In: 2024 IEEE 22nd Mediterranean Electrotechnical Conference (MELECON),
Baum, Filip ; Kucera, Jakub ; Zakopal, Petr.. - p. 586-591 , 2024
 
?
9

FPGA-Based Unit for Selective Harmonic Elimination in Volta..:

, In: 2024 IEEE 22nd Mediterranean Electrotechnical Conference (MELECON),
Zakopal, Petr ; Kucera, Jakub ; Baum, Filip.. - p. 598-603 , 2024
 
?
10

Algovision - An Algorithm Visualization Tool:

, In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 2,
Kučera, Luděk - p. 1925 ff. , 2024
 
?
11

Switching Loss Reduction in Dual Inverter Topology Using Op..:

, In: 2024 IEEE 22nd Mediterranean Electrotechnical Conference (MELECON),
Kucera, Jakub ; Baum, Filip ; Zakopal, Petr.. - p. 592-597 , 2024
 
?
12

Windower: Feature Extraction for Real-Time DDoS Detection U..:

, In: NOMS 2024-2024 IEEE Network Operations and Management Symposium,
Goldschmidt, Patrik ; Kucera, Jan - p. 1-10 , 2024
 
?
13

The Finite Satisfiability Problem for PCTL is Undecidable:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,
Chodil, Miroslav ; Kučera, Antonín - p. 1-14 , 2024
 
?
14

Use of Satellite Imagery to Identify Light Pollution Source..:

, In: 2024 24th International Scientific Conference on Electric Power Engineering (EPE),
 
?
15

Enlightening University Students about Containerization thr..:

, In: 2023 International Conference on Modeling, Simulation & Intelligent Computing (MoSICom),
Beno, Lukas ; Pribis, Rudolf ; Kucera, Erik... - p. 47-52 , 2023
 
1-15