Publications [2015]

Total number of titles in 2015: 8

 

KROUPOVÁ, Lenka.
A massa a levedar: A imagem de Angola e Moçambique no Diário de Miguel Torga. 2015.


more

 

HORÁKOVÁ, Marcela - ŠÁLKOVÁ, Tereza - UHLÍŘOVÁ, Hana - DOHNALOVÁ, Alena - NOVÁK, Jan - VÁVRA, Jiří - JIŘÍK, Jaroslav - KUCHAŘÍK, Milan.
Archeobotany and osteology on the migration period burial ground Prague-Zličín. 2015.


more

 

UHLÍŘOVÁ, Hana.
Archeozoologické zpracování materiálu ze sídliště doby římské z Hrušovan u Brna. Pravěk Nová řada, Brno, Ústav archeologické památkové péče. ISSN 1211-8338, 2015, vol. 22/2012, no. 1, p. 313-326.


more

 

KROUPOVÁ, Lenka.
Hledání ztraceného impéria: Obraz Angoly a Mosambiku v Deníku Miguela Torgy. 2015.


more

 

SVOREŇOVÁ, Mária - ČERNÁ, Ivana - BELTA, Calin.
Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties. IEEE Transactions on Automatic Control, IEEE Control Systems Society, USA. ISSN 0018-9286, 2015, vol. 60, no. 6, pp. 1-14.


more

 

STODOLA, Jiří.
Revisualization and de-visualization of data: transformation of visual data into information for visually impaired users. In Design, innovation, participation. Brno : Flow, 2015. ISBN 978-80-905480-7-7, pp. 232-238. 2015, Brno.


more

 

SVOREŇOVÁ, Mária - KŘETÍNSKÝ, Jan - CHMELÍK, Martin - CHATTERJEE, Krishnendu - ČERNÁ, Ivana - BELTA, Calin.
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. Seattle, Washington, USA : Association for Computing Machinery (ACM), 2015. ISBN 978-1-4503-3433-4, pp. 259-268. 2015, Seattle, Washington, USA.


more

 

SVOREŇOVÁ, Mária - CHMELÍK, Martin - LEAHY, Kevin - ENISER, Hasan Ferit - CHATTERJEE, Krishnendu - ČERNÁ, Ivana - BELTA, Calin.
Temporal Logic Motion Planning using POMDPs with Parity Objectives. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. Seattle, Washington, USA : Association for Computing Machinery (ACM), 2015. ISBN 978-1-4503-3433-4, pp. 233-238. Seattle, Washington, USA.


more