Publications [2013]
Total number of titles in2013:92
Alphabetical list of 50 titles starting from:1
|
JURNEČKA, Filip - MATYÁŠ, Václav.
A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks. In Proceedings of the 8th international conference on Mathematical and Engineering Methods in Computer Science. Vyd. 2013. Heidelberg : Springer, 2013. ISBN 978-3-642-36044-2, pp. 131-142. 2012, Znojmo.
NACCACHE, David - ŘÍHA, Zdeněk.
Accelerating Biometric Identification. Infocommunications Journal, Budapest, Hungary, Scientific Association for Infocommunica, Hungary. ISSN 2061-2079, 2013, vol. IV, no. 4, pp. 42-44.
SOJKA, Petr - RŮŽIČKA, Michal - KUCBEL, Maroš - JARMAR, Martin.
Accessibility Issues in Digital Mathematical Libraries. In Proceedings of the Conference Universal Learning Design. Brno : Masaryk University, 2013. .
LARSEN, Kim G. - LAURSEN, Simon - SRBA, Jiří.
Action Investment Energy Games. In Proceedings of Mathematical and Engineering Methods in Computer Science (MEMICS'12). Netherlands : Springer, 2013. ISBN 978-3-642-36044-2, pp. 155-167. 2012, Znojmo.
KARAS, Pavel - SVOBODA, David.
Algorithms for Efficient Computation of Convolution. In Design and Architectures for Digital Signal Processing. Vyd. 1st ed. Rijeka (CRO) : InTech, 2013. Neuveden, ISBN 978-953-51-0874-0, pp. 179-208.
PINDUROVÁ, Eva - ŽOURKOVÁ, Alexandra - ZRŮSTOVÁ, Jana - JUŘICA, Jan - PAVELKA, Antonín.
Alternative Reliable Method for Cytochrome P450 2D6 Poor Metabolizers Genotyping. Molecular biotechnology, USA, Humana Press, USA. ISSN 1073-6085, 2013, vol. 53, no. 1, pp. 29-40.
BRÁZDIL, Tomáš - ESPARZA, Javier - KIEFER, Stefan - KUČERA, Antonín.
Analyzing probabilistic pushdown automata. Formal Methods in System Design, , Springer Netherlands, The Nederlands. ISSN 0925-9856, 2013.
ŠIMARA, Pavel - STEJSKAL, Stanislav - KRONTORÁD KOUTNÁ, Irena - POTĚŠIL, David - TESAŘOVÁ, Lenka - POTĚŠILOVÁ, Michaela - ZDRÁHAL, Zbyněk - MAYER, Jiří.
Apoptosis in chronic myeloid leukemia cells transiently treated with imatinib or dasatinib is caused by residual BCR-ABL kinase inhibition. American Journal of Hematology. ISSN 1096-8652, 2013, vol. Neuveden, no. Neuveden, Neuveden-9 pp.
BRÁZDIL, Tomáš - BROŽEK, Václav - ETESSAMI, Kousha - KUČERA, Antonín.
Approximating the termination value of one-counter MDPs and stochastic games. Information and Computation, Netherlands, Elsevier Science, The Nederlands. ISSN 0890-5401, 2013, 18 p.
CHATTERJEE, Krishnendu - GAISER, Andreas - KŘETÍNSKÝ, Jan.
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. In Computer Aided Verification - 25th International Conference. : 2013. .
ŠTĚPKA, Karel.
Automated Cell Counting in Bürker Chamber. In 18th Scandinavian Conference on Image Analysis, SCIA 2013. Espoo (Finland) : Springer, 2013. 10 p. 17.6.2013, Espoo (Finland).
MAŠKA, Martin - MORALES, Xabier - MUNOZ-BARRUTIA, Arrate - ROUZAUT, Ana - ORTIZ-DE-SOLÓRZANO, Carlos.
Automatic Quantification of Filopodia-Based Cell Migration. In 10th IEEE International Symposium on Biomedical Imaging. San Francisco : IEEE, 2013. ISBN 978-1-4673-6454-6, pp. 664-667. 7.4.2013, San Francisco.
TELEC, Ivo.
Autorský zákon a předpisy související [Beck, 1996]. Edited by Ivo Telec. 2. vyd. Praha : Beck, 2013. xxvii, 283. ISBN 3-406-40754-4.
TELEC, Ivo.
Autorský zákon a předpisy související : AutZ, Autorský zákon : Televizní právo, Rozhlasové právo, Tiskové právo, Audiovizuální produkce, Kulturní produkce a předpisy z dalších souvisejících oblastí. Edited by Ivo Telec. 1. vyd. Praha : Beck, SEVT, 2013. xxiv, 303. ISBN 3-406-39310-1.
GANIAN, Robert - HLINĚNÝ, Petr - OBDRŽÁLEK, Jan.
Better algorithms for satisfiability problems for formulas of bounded rank-width. Fundamenta Informaticae, Polsko, IOS Press, Nizozemí, Poland. ISSN 0169-2968, 2013, vol. 123, p. to appear.
ŘÍHA, Zdeněk.
Bezpečnost HTML5. Data Security Management, Praha, Tate International. ISSN 1211-8737, 2013, vol. XVII, no. 1, pp. 22-26.
KOMENDA, Martin - SCHWARZ, Daniel - DUŠEK, Ladislav.
Building platform for optimization of medical education. 2013.
MACHÁČKOVÁ, Hana - DĚDKOVÁ, Lenka - ŠEVČÍKOVÁ, Anna - ČERNÁ, Alena.
Bystanders’ Support of Cyberbullied Schoolmates. Journal of Community & Applied Social Psychology, London, GB, London - John Wiley a Sons, Ltd., Great Britain. ISSN 1052-9284, 2013, vol. 23, no. 1, pp. 25-36.
SLABÝ, Jiří - STREJČEK, Jan - TRTÍK, Marek.
ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools. In Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013. Berlin, Heidelberg : Springer, 2013. ISBN 978-3-642-35872-2, pp. 268-274. 2013, Rome, Italy.
ARASZKIEWICZ, Michał - ŠAVELKA, Jaromír.
Coherence: Insights from Philosophy, Jurisprudence and Artificial Intelligence. Dordrecht Heidelberg London New York : Springer, 2013. 270 s. Law and Philosophy Library 107. ISBN 978-94-007-6109-4.
KALÁBOVÁ, TerezaVAŠÍČKOVÁ, JanaKOMPRDOVÁ, Klára - KALÁBOVÁ, Tereza - KOMPRDOVÁ, KláraPRIESSNITZ, Jan - PRIESSNITZ, Jan - DYMÁK, Michal - LÁNA, Jan - ŠKULCOVÁ, Lucia - ŠINDELÁŘOVÁ, Lucie - SÁŇKA, Milan - ČUPR, Pavel - VÁCHA, Radim - HOFMAN, Jakub.
Comparison of approaches towards ecotoxicity evaluation for the application of dredged sediment on soil. Journal of Soils and Sediments, , Springer-Verlag, Germany. ISSN 1439-0108, 2013, vol. Volume 13, no. Issue 5, pp. 906-915.
BRÁZDIL, Tomáš - FOREJT, Vojtěch - KRČÁL, Jan - KŘETÍNSKÝ, Jan - KUČERA, Antonín.
Continuous-Time Stochastic Games with Time-Bounded Reachability. Information and Computation, , Elsevier, The Nederlands. ISSN 0890-5401, 2013, vol. 2013, no. 224, pp. 46-70.
CHMELÍK, Martin - ŘEHÁK, Vojtěch.
Controllable-choice Message Sequence Graphs. In Proceedings of Mathematical and Engineering Methods in Computer Science, 8th Doctoral Workshop (MEMICS 2012), Selected Papers. Berlin Heidelberg : Springer, 2013. ISBN 978-3-642-36044-2, pp. 118-130. 2012, Znojmo.
ŠTĚPÁNEK, Libor.
Creative Language Learning: Rules of Serious Play. 2013.
KOSINA, Marcel - MAŠLAŇOVÁ, Ivana - VÁVROVÁ PASCUTTI, Andrea - ŠEDO, Ondrej - LEXA, Matej - ŠVEC, Pavel - SEDLÁČEK, Ivo.
Description of Pseudomonas jessenii subsp. pseudoputida subsp. nov., amended description of Pseudomonas jessenii and description of Pseudomonas jessenii subsp. jessenii subsp. nov. Folia Microbiologica, Praha, Czechoslovak Society for Microbiology. ISSN 1874-9356, 2013, vol. 58, no. 3, nestránkováno-9 pp.
ŠTĚPÁNEK, Libor - HRADILOVÁ, Alena.
Designing ICT-enhanced language programmes: Academic writing for postgraduate studies. Language Learning in Higher Education; Journal of the European Confederation of Language Centres in Higher Education (CercleS), , , Germany. ISSN 2191-611X, 2013, vol. Volume 2, no. Issue 1, 163–171-9 pp.
BRÁZDIL, Tomáš - KUČERA, Antonín - NOVOTNÝ, Petr.
Determinacy in Stochastic Games with Unbounded Payoff Functions. In MEMICS 2012. Heidelberg : Springer, 2013. pp. 94-105. 2012, Znojmo.
RUČKA, Zdeněk - VAŇHARA, Petr - KRONTORÁD KOUTNÁ, Irena - TESAŘOVÁ, Lenka - POTĚŠILOVÁ, Michaela - STEJSKAL, Stanislav - ŠIMARA, Pavel - DOLEŽEL, Jan - ZVONÍČEK, Václav - COUFAL, Oldřich - ČAPOV, Ivan.
Differential effects of insulin and dexamethasone on pulmonary surfactant-associated genes and proteins in A549 and H441 cells and lung tissue. INTERNATIONAL JOURNAL OF MOLECULAR MEDICINE, UNITED STATES, SPANDIDOS PUBL LTD, Great Britain. ISSN 1107-3756, 2013, vol. Neuveden, no. Neuveden, Neuveden-8 pp.
RUCKA, Zdenek - VAŇHARA, Petr - KRONTORÁD KOUTNÁ, Irena - TESAŘOVÁ, Lenka - POTĚŠILOVÁ, Michaela - STEJSKAL, Stanislav - ŠIMARA, Pavel - DOLEŽEL, Jan - ZVONÍČEK, Václav - COUFAL, Oldřich - ČAPOV, Ivan.
Differential effects of insulin and dexamethasone on pulmonary surfactant-associated genes and proteins in A549 and H441 cells and lung tissue. International Journal of Molecular Medicine, Athens, Spandidos Publications Ltd., Greece. ISSN 1107-3756, 2013.
BARNAT, Jiří - HAVLÍČEK, Jan - ROČKAI, Petr.
Distributed LTL Model Checking with Hash Compaction. In Proceedings of PASM/PDMC 2012. : 2013. .
TESAŘOVÁ, Lenka - STEJSKAL, Stanislav - KRONTORÁD KOUTNÁ, Irena.
Driven hematopoietic differentiation of embryonic stem cells: Epigenetic perspectives. CURRENT PHARMACEUTICAL DESIGN, SHARJAH, BENTHAM SCIENCE PUBL LTD, United Arab Emirates. ISSN 1381-6128, 2013, vol. Neuveden, no. Neuveden, Neuveden-9 pp.
TSIKERDEKIS, Michail.
Dynamic Voting Interface in Social Media: Does it Affect Individual Votes?. SOFSEM 2013: Theory and Practice of Comp : Springer Berlin Heidelberg, 2013. ISBN 978-3-642-35842-5, pp. 552-563. 2013.
JAKUBÍČEK, Miloš - KOVÁŘ, Vojtěch.
Enhancing Czech Parsing with Verb Valency Frames. In CICLing 2013. Greece : Springer Verlag, 2013. ISBN 978-3-642-37246-9, pp. 282-293.
ANGHELACHE, Romeo - SOJKA, Petr - DOHNAL, Vlastislav - PAVLOV, Radoslav - SIMEONOV, Georgi - JOST, Michael - KIERMEIER, Klaus - SANTAMARIA LARA, Lucia - MIHALJEVIC-BRANDT, Helena - PEROVIC, Aleksandar - TESCHKE, Olaf - NOWINSKI, Aleksander - ARCHIMBAUD, Jean-Luc - WOJCIECHOWSKI, Krzysztof - BIDEGARAY-FESQUET, Brigitte - LAURENT, Yves - BOUCHE, Thierry - PUYDT, Julien.
EuDML Assessment and Evaluation — Final Report: Deliverable 11.4 of project EuDML. 2013.
SOJKA, PetrLÍŠKA, Martin.
Evaluation of Mathematics Retrieval. školitel diplomové práce. 2013.
KŮR, Jiří - MATYÁŠ, Václav - ŠVENDA, Petr.
Evolutionary Design of Attack Strategies. In Security Protocols XVII - 17th International Workshop, Revised Selected Papers. Německo : Springer Verlag, 2013. ISBN 978-3-642-36212-5, pp. 3-17. 2009, Cambridge, UK.
SOJKA, Petr.
Exploiting Semantic Annotations in Math Information Retrieval. In Proceedings of ESAIR 2012. Maui, USA : ACM, 2013. ISBN 978-1-4503-1717-7, pp. 15-16. 2.11.2012, Lahaina, Maui, Hawaii, USAESAIR 2012 (c/o CIKM 2012).
SEDMIDUBSKÝ, Jan - BATKO, Michal - ZEZULA, Pavel.
Face-based People Searching in Videos. In 35th European Conference on Information Retrieval (ECIR 2013), LNCS 7814. Berlin Heidelberg : Springer-Verlag, 2013. ISBN 978-3-642-36973-5, pp. 853-856. 2013, Moscow.
BOUCHE, Thierry - GOUTORBE, Claude - HOUILLON, Nicolas - JORDA, Jean-Paul - ANGHELACHE, Romeo - COTI ZELATI, Vittorio - KREJČÍŘ, Vlastimil - SOJKA, Petr.
Final report on external imported metadata: Deliverable 3.5 of project EuDML. 2013.
VYKOPAL, Jan - DRAŠAR, Martin - WINTER, Philipp.
Flow-based Brute-force Attack Detection. In Advances in IT Early Warning. Garching near Muenchen : Fraunhofer Research Institution AISEC, 2013. Neuveden, ISBN 978-3-8396-0474-8, pp. 41-51.
YORDANOV, Boyan - TŮMOVÁ, Jana - ČERNÁ, Ivana - BARNAT, Jiří - BELTA, Calin.
Formal analysis of piecewise affine systems through formula-guided refinement. Automatica, , Elsevier. ISSN 0005-1098, 2013, vol. 49, no. 1, 261–266-6 pp.
HLINĚNÝ, Petr - DERKA, Martin - CHIMANI, Markus - KLUSÁČEK, Matěj.
How Not to Characterize Planar-emulable Graphs. Advances in Applied Mathematics, Holandsko, Elsevier, The Nederlands. ISSN 0196-8858, 2013, vol. 50, no. 1, pp. 46-68.
FOLTÁNKOVÁ, Veronika - MATULA, Pavel - SOROKIN, Dmitry - KOZUBEK, Stanislav - BÁRTOVÁ, Eva.
Hybrid detectors improved time-lapse confocal microscopy of PML and 53BP1 nuclear body co-localization in DNA lesions. Microscopy and Microanalysis, Saarbrücken, Cambridge University Press, Germany. ISSN 0958-1952, 2013, vol. Volume 19, no. Issue 2, pp. 360-369. Accepted.
FOREJT, Vojtěch - KWIATKOWSKA, Marta - PARKER, David - QU, Hongyang - UJMA, Mateusz.
Incremental Runtime Verification of Probabilistic Systems. In Runtime Verification. Berlin, Heidelberg : Springer, 2013. ISBN 978-3-642-35631-5, pp. 314-319. 2013, Istanbul.
ŠEVČÍK, Jonáš.
Indoor User Localization Using Mobile devices. ERCIM News, France, ERCIM EEIG, France. ISSN 0926-4981, 2013, vol. 2013, no. 93, pp. 36-37.
TELEC, Ivo.
Kateřina Ronovská: Nové české nadační právo v evropském srovnání. (Recenze). Bulletin advokacie, Praha, . ISSN 1210-6348, 2013, vol. 2013, no. 5, p. 59-59.
Korpusové zpracování korespondenčních textů: morfologické značkování. In Soukromá korespondence jako lingvistický pramen. 1. vyd. Brno : Masarykova univerzita, 2013. neuveden, ISBN 978-80-210-6140-8, pp. 19-31.
MAREK, Jiří - HOLUB, Petr - RUDOVÁ, Hana.
Local Search Heuristics for Media Streams Planning Problem. 2013. .
PŘENOSIL, Václav - FRANTIŠ, Petr - HODICKÝ, Jan - HAVELKA, Ladislav.
Metodika pro vizualizaci taktických dat ve 3D pro OTS VŘ PozS. 2013.
FORMÁNEK, David - LÍŠKA, Martin - RŮŽIČKA, Michal - SOJKA, Petr.
Normalization of Digital Mathematics Library Content. In DML 2012: Towards a Digital Mathematics Library. Brno : Masaryk University, 2013. 8.7.2012, Jacobs University, Bremen, Germany.
