Publikace [2013]

Titulů v roce 2013 je celkem: 91

Abecední seznam 50 titulů od záznamu: 1

Písmeno A, strana 1Písmeno B, strana 1Písmeno C, strana 1Písmeno D, strana 1Písmeno E, strana 1Písmeno F, strana 1Písmeno G, strana 1Písmeno H, strana 1Písmeno CH, strana 1Písmeno I, strana 1Písmeno J, strana 1Písmeno K, strana 1Písmeno L, strana 1Písmeno M, strana 1Písmeno N, strana 1Písmeno O, strana 2Písmeno P, strana 2Písmeno Q, strana 2Písmeno R, strana 2Písmeno S, strana 2Písmeno T, strana 2Písmeno U, strana 2Písmeno V, strana 2Písmeno W, strana 2Písmeno X, strana 2Písmeno Y, strana 2Písmeno Z, strana 2
První stranaPředchozí strana|1|2|Následující stranaPoslední strana
nalezeno: 91 položek, zobrazeno 1 - 50

 

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, s. 131-142. 2012, Znojmo.

více

 

NACCACHE, David - ŘÍHA, Zdeněk.
Accelerating Biometric Identification. Infocommunications Journal, Budapest, Hungary, Scientific Association for Infocommunica, Maďarsko. ISSN 2061-2079, 2013, vol. IV, no. 4, s. 42-44.

více

 

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. .

více

 

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, s. 155-167. 2012, Znojmo.

více

 

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, s. 179-208.

více

 

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, Spojené státy. ISSN 1073-6085, 2013, vol. 53, no. 1, s. 29-40.

více

 

BRÁZDIL, Tomáš - ESPARZA, Javier - KIEFER, Stefan - KUČERA, Antonín.
Analyzing probabilistic pushdown automata. Formal Methods in System Design, , Springer Netherlands, Nizozemsko. ISSN 0925-9856, 2013.

více

 

Š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 s.

více

 

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, Nizozemsko. ISSN 0890-5401, 2013, 18 s.

více

 

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. .

více

 

ŠTĚPKA, Karel.
Automated Cell Counting in Bürker Chamber. In 18th Scandinavian Conference on Image Analysis, SCIA 2013. Espoo (Finland) : Springer, 2013. 10 s. 17.6.2013, Espoo (Finland).

více

 

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, s. 664-667. 7.4.2013, San Francisco.

více

 

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.

více

 

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.

více

 

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í, Polsko. ISSN 0169-2968, 2013, vol. 123, s. to appear.

více

 

ŘÍHA, Zdeněk.
Bezpečnost HTML5. Data Security Management, Praha, Tate International. ISSN 1211-8737, 2013, vol. XVII, no. 1, s. 22-26.

více

 

KOMENDA, Martin - SCHWARZ, Daniel - DUŠEK, Ladislav.
Building platform for optimization of medical education. 2013.

více

 

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., Spojené království. ISSN 1052-9284, 2013, vol. 23, no. 1, s. 25-36.

více

 

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, s. 268-274. 2013, Rome, Italy.

více

 

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.

více

 

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, Německo. ISSN 1439-0108, 2013, vol. Volume 13, no. Issue 5, s. 906-915.

více

 

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, Nizozemsko. ISSN 0890-5401, 2013, vol. 2013, no. 224, s. 46-70.

více

 

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, s. 118-130. 2012, Znojmo.

více

 

ŠTĚPÁNEK, Libor.
Creative Language Learning: Rules of Serious Play. 2013.

více

 

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 s.

více

 

Š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), , , Německo. ISSN 2191-611X, 2013, vol. Volume 2, no. Issue 1, 163–171-9 s.

více

 

BRÁZDIL, Tomáš - KUČERA, Antonín - NOVOTNÝ, Petr.
Determinacy in Stochastic Games with Unbounded Payoff Functions. In MEMICS 2012. Heidelberg : Springer, 2013. s. 94-105. 2012, Znojmo.

více

 

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, Spojené království. ISSN 1107-3756, 2013, vol. Neuveden, no. Neuveden, Neuveden-8 s.

více

 

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., Řecko. ISSN 1107-3756, 2013.

více

 

BARNAT, Jiří - HAVLÍČEK, Jan - ROČKAI, Petr.
Distributed LTL Model Checking with Hash Compaction. In Proceedings of PASM/PDMC 2012. : 2013. .

více

 

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, Spojené arabské emiráty. ISSN 1381-6128, 2013, vol. Neuveden, no. Neuveden, Neuveden-9 s.

více

 

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, s. 552-563. 2013.

více

 

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, s. 282-293.

více

 

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.

více

 

SOJKA, PetrLÍŠKA, Martin.
Evaluation of Mathematics Retrieval. školitel diplomové práce. 2013.

více

 

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, s. 3-17. 2009, Cambridge, UK.

více

 

SOJKA, Petr.
Exploiting Semantic Annotations in Math Information Retrieval. In Proceedings of ESAIR 2012. Maui, USA : ACM, 2013. ISBN 978-1-4503-1717-7, s. 15-16. 2.11.2012, Lahaina, Maui, Hawaii, USAESAIR 2012 (c/o CIKM 2012).

více

 

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, s. 853-856. 2013, Moscow.

více

 

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.

více

 

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, s. 41-51.

více

 

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 s.

více

 

HLINĚNÝ, Petr - DERKA, Martin - CHIMANI, Markus - KLUSÁČEK, Matěj.
How Not to Characterize Planar-emulable Graphs. Advances in Applied Mathematics, Holandsko, Elsevier, Nizozemsko. ISSN 0196-8858, 2013, vol. 50, no. 1, s. 46-68.

více

 

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, Německo. ISSN 0958-1952, 2013, vol. Volume 19, no. Issue 2, s. 360-369. Accepted.

více

 

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, s. 314-319. 2013, Istanbul.

více

 

ŠEVČÍK, Jonáš.
Indoor User Localization Using Mobile devices. ERCIM News, France, ERCIM EEIG, Francie. ISSN 0926-4981, 2013, vol. 2013, no. 93, s. 36-37.

více

 

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, s. 59-59.

více

 

obálkaHLAVÁČKOVÁ, Dana.
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, s. 19-31.

více

 

MAREK, Jiří - HOLUB, Petr - RUDOVÁ, Hana.
Local Search Heuristics for Media Streams Planning Problem. 2013. .

více

 

PŘENOSIL, Václav - FRANTIŠ, Petr - HODICKÝ, Jan - HAVELKA, Ladislav.
Metodika pro vizualizaci taktických dat ve 3D pro OTS VŘ PozS. 2013.

více

 

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.

více

 
První stranaPředchozí strana|1|2|Následující stranaPoslední strana
nalezeno: 91 položek, zobrazeno 1 - 50