Research Project Results

 

Czech Republic membership in the European Research Consortium for Informatics and Mathematics (ERCIM)

Project Identification:LA09016
MU Investigator:Prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
MU Faculty/Unit:Faculty of Informatics
Project Period:3/2009 - 12/2012
Investor/Programme:Ministry of Education, Youth and Sports of the CR -

Publications:

First pagePrevious page|1|2|3|4|5|6|7|Next pageLast page
found: 185 records, displayed 1 - 30

 
2014

FORMÁNEK, David - ŠIŠKA, Robert - RŮŽIČKA, Michal - ADLER, Jakub - LÍŠKA, Martin - SOJKA, Petr.
MathML Canonicalizer 1.0.0. 2014.


more

 

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, 2014. 8.7.2012, Jacobs University, Bremen, Germany.


more

 

KILGARRIFF, Adam - JAKUBÍČEK, Miloš - POMIKÁLEK, Jan - SARDINHA, Tony Berber - WHITELOCK, Pete.
PtTenTen: A corpus for Portuguese lexicography. In Working with Portuguese Corpora. Vyd. 1. London : Bloomsbury Publishing, 2014. Bloomsbury Academic, ISBN 978-1-4411-9050-5, pp. 280-287.


more

 

NGUYEN, Filip - TOVARŇÁK, Daniel - PITNER, Tomáš.
Semantically Partitioned Peer to Peer Complex Event Processing. In Intelligent Distributed Computing VII. Proceedings of the 7th International Symposium on Intelligent Distributed Computing - IDC 2013, Prague, Czech Republic, September 2013. Vyd. 511. Cham : Springer International Publishing Switzerland, 2014. ISBN 978-3-319-01570-5, pp. 55-65. 2013, Praha.


more

 

BYDŽOVSKÁ, Hana - POPELÍNSKÝ, Lubomír.
The Influence of Social Data on Student Success Prediction. In Proceedings of the 18th International Database Engineering & Applications Symposium - IDEAS 2014. Portugal : BytePress, 2014. ISBN 978-1-4503-2627-8, pp. 374-375. 7.7.2014, Porto, Portugal.


more

 
2013

SOJKA, Petr.
Digital Mathematical Libraries in the Past, Present and Future (invited talk 8.10.2013, Informatics Colloquium, Masaryk University, Brno, CZ). 2013.


more

 

ZLATUŠKA, Jiří.
Proměna knihoven a nové způsoby šíření poznání – digitální knihovny a otevřený přístup k vědeckým výsledkům. 2013.


more

 

KOSINA, Petr - GAMA, Joao.
Very Fast Decision Rules for Classification in Data Streams. Data Mining and Knowledge Discovery, Springer US, USA. ISSN 1384-5810, 2013, pp. 1-35.


more

 
2012

DAVID, Alexandre - JACOBSEN, Lasse - JACOBSEN, Morten - SRBA, Jiří.
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets. Electronic Proceedings of Theoretical Computer Science, Nizozemi, Open Publishing Association, The Nederlands. ISSN 2075-2180, 2012, vol. 102, no. 1, pp. 125-140.


more

 

BAUER, Sebastian S. - JUHL, Line - LARSEN, Kim G. - LEGAY, Axel - SRBA, Jiří.
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. In Proceedings of the 6th International Symposium on Theoretical Aspects of Software Engineering (TASE'12). USA : IEEE Computer Society Press, 2012. ISBN 978-1-4673-2353-6, pp. 77-84. 2012, China.


more

 

KACVINSKÝ, Martin.
Agilní metodologie řízení vývoje softwaru. Brno : Masarykova univerzita, 2012. 82 pp.


more

 

KRIKSCIUNIENE, Dalia.
Analytical methods for tracking customer portrait: intelligent interpretation of CRM philosophy. 2012. Carried out during the tenure of an ERCIM "Alain Bensoussan" Fellowship Programme.


more

 

BRANDEJS, Michal - KŘIPAČ, Miroslav.
Analýza pedagogického výkonu. 2012.


more

 

KRIKSCIUNIENE, Dalia.
Application of neural networks for the sensitivity analysis of customer loyalty. 2012. Carried out during the tenure of an ERCIM "Alain Bensoussan" Fellowship Programme.


more

 

BROSCH, Franz - KOZIOLEK, Heiko - BÜHNOVÁ, Barbora - REUSSNER, Ralf.
Architecture-Based Reliability Prediction with the Palladio Component Model. IEEE transactions on software engineering, New York, IEEE Computer Society, USA. ISSN 0098-5589, 2012, vol. 38, no. 6, pp. 1319-1339.


more

 

CHEN, Taolue - FOREJT, Vojtěch - KWIATKOWSKA, Marta - PARKER, Dave - SIMAITIS, Aistis.
Automatic Verification of Competitive Stochastic Systems. In Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference. Berlin, Heidelberg : Springer, 2012. ISBN 978-3-642-28755-8, pp. 315-330. 2012, Tallinn.


more

 

FOREJT, Vojtěch - JANČAR, Petr - KIEFER, Stefan - WORRELL, James.
Bisimilarity of Probabilistic Pushdown Automata. In FSTTCS. Dagstuhl : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. ISBN 978-3-939897-47-7, pp. 448-460. 2012, Hyderabad.


more

 

SLABÝ, Jiří - STREJČEK, Jan - TRTÍK, Marek.
ClabureDB. 2012.


more

 

book coverKOPEČEK, Ivan - OŠLEJŠEK, Radek - PLHÁK, Jaromír.
Communicative Images – New Approach to Accessibility of Graphics. In Proceedings of the Conference Universal Learning Design. Brno : Masaryk University, 2012. ISBN 978-80-210-6060-9, pp. 159-164. 2012, Linz, Austria.


more

 

BYSTRÝ, Vojtěch - LEXA, Matej.
cswHMM: a novel context switching hidden Markov model for biological sequence analysis. In Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms. Neuveden : SciTePress, 2012. ISBN 978-989-8425-90-4, pp. 208-213. 1.2.2012, Algarve, Portugal.


more

 

NEVĚŘILOVÁ, Zuzana.
Declension of Czech Noun Phrases. In Actes du 31e Colloque International sur le Lexique et la Grammaire. České Budějovice : Université de Boheme du Sud a České Budějovice (République tcheque), 2012. ISBN 978-80-7394-409-4, pp. 134-138.


more

 

KRIKSCIUNIENE, Dalia - SAKALAUSKAS, Virgilijus - TAMASAUSKAS, Darius.
Evaluation framework of hierarchical clustering methods for binary data. In Proceedings of 12th International Conference on Hybrid Intelligent Systems (HIS). Pune, India : IEEE, 2012. ISBN 978-1-4673-5114-0, pp. 421-426. 4.12.2012, Pune, India. Carried out during the tenure of an ERCIM "Alain Bensoussan" Fellowship Programme.


more

 

KRIKSCIUNIENE, Dalia - SAKALAUSKAS, Virgilijus.
Evaluation the Day-of-the-Week Effect Using Long Range Dependence Measures. In Proceedings of 12th International Conference on Intelligent Systems Design and Applications (ISDA). Kochi, India : IEEE, 2012. ISBN 978-1-4673-5117-1, pp. 143-148. 27.11.2012, Kochi, India. Carried out during the tenure of an ERCIM "Alain Bensoussan" Fellowship Programme.


more

 

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


more

 

SLOVÁK, Petr - NOVÁK, Peter - TROUBIL, Pavel - RUSŇÁK, Vít - HOLUB, Petr - HOFER, Eric C..
Exploring collaboration in group-to-group videoconferencing. In From Research to Practice in the Design of Cooperative Systems: Results and Open Challenges; Proceedings of the 10th International Conference on the Design of Cooperative Systems. London : Springer, 2012. ISBN 978-1-4471-4092-4, pp. 229-244. 30.5.2012, Marseille, France.


more

 

BAUER, Sebastian S. - JUHL, Line - LARSEN, Kim G. - LEGAY, Axel - SRBA, Jiří.
Extending Modal Transition Systems with Structured Labels. Mathematical Structures in Computer Science, The Nederlands. ISSN 0960-1295, 2012, vol. 22, no. 4, pp. 581-617.


more

 

ŽILKA, Roman - MATYÁŠ, Václav - KYNCL, Libor.
Four Authorization Protocols for an Electronic Payment System. In Mathematical and Engineering Methods in Computer Science 2011, Springer LNCS 7119. Heidelberg : Springer Verlag, 2012. ISBN 978-3-642-25928-9, pp. 205-214. 2011, Lednice.


more

 

KRIKSCIUNIENE, Dalia - STRIGUNAITE, Sandra.
Fuzzy Expert System for Virtual Team Collaboration and Work Evaluation. In Business Information Systems Workshops BIS 2012 International Workshops and Future Internet Symposium, Vilnius, Lithuania, May 21-23, 2012 Revised Papers. Berlin : Springer Berlin Heidelberg, 2012. ISBN 978-3-642-34227-1, pp. 37-43. 2012, Vilnius. Carried out during the tenure of an ERCIM "Alain Bensoussan" Fellowship Programme.


more

 

COURTIAL, Johannes Klaus - TYC, Tomáš.
Generalized laws of refraction that can lead to wave-optically forbidden light-ray field. Journal of Optical Society of America A, USA. ISSN 1084-7529, 2012, vol. 29, no. 7, pp. 1407-1411.


more

 

HLINĚNÝ, Petr - MORIŠ, Ondrej.
Generalized Maneuvers in Route Planning. In MEMICS 2011 Proceedings. Berlin Heidelberg : LNCS, Springer-Verlag, 2012. ISBN 978-3-642-25928-9, pp. 155-166. 14.10.2011, Lednice.


more

 
First pagePrevious page|1|2|3|4|5|6|7|Next pageLast page
found: 185 records, displayed 1 - 30