Events

MEMICS'09 -- 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

Znojmo 13.-15.11.2009

MEMICS'09 provides a forum for doctoral students interested in applications of mathematical and engineering methods in computer science.

Programme Committee (members from FIT)

Češka Milan, prof. RNDr., CSc., UITS FIT VUT
Hanáček Petr, doc. Dr. Ing., UITS FIT VUT
Kolář Dušan, doc. Dr. Ing., UIFS FIT VUT
Kotásek Zdeněk, doc. Ing., CSc., UPSY FIT VUT
Křena Bohuslav, Ing., Ph.D., UITS FIT VUT
Sekanina Lukáš, prof. Ing., Ph.D., UPSY FIT VUT
Vojnar Tomáš, prof. Ing., Ph.D., UITS FIT VUT, chairman

Steering Committee (members from FIT)

Češka Milan, prof. RNDr., CSc., UITS FIT VUT
Kotásek Zdeněk, doc. Ing., CSc., UPSY FIT VUT
Vojnar Tomáš, prof. Ing., Ph.D., UITS FIT VUT, chairman

Selected publications

2009HOLÍK Lukáš and ŠIMÁČEK Jiří. Optimizing an LTS-Simulation Algorithm. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Faculty of Informatics MU, 2009, pp. 93-101. ISBN 978-3-939897-15-6.
 JIRÁK Ota and KOLÁŘ Dušan. Derivation in Scattered Context Grammar via Lazy Function Evaluation. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2009, pp. 118-125. ISBN 978-80-87342-04-6.
 JIRÁK Ota and KOLÁŘ Dušan. Derivation in Scattered Context Grammar via Lazy Function Evaluation. In: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2009, p. 10. ISBN 978-3-939897-15-6. ISSN 2190-6807.
 MEDUNA Alexander and GOLDEFUS Filip. Weak Leftmost Derivations in Cooperative Distributed Grammar Systems. In: MEMICS 09. Brno: Brno University of Technology, 2009, pp. 144-151. ISBN 978-80-87342-04-6.
 MIKUŠEK Petr and DVOŘÁK Václav. Heuristic Synthesis of MTBDDs Based On Local Width Minimization. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2009, pp. 235-235. ISBN 978-80-87342-04-6.
 PŘIKRYL Zdeněk and HRUŠKA Tomáš. Cycle Accurate Profiler for ASIPs. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2009, pp. 168-175. ISBN 978-80-87342-04-6.
 STRAKA Martin and KOTÁSEK Zdeněk. Reliability Models for Fault Tolerant Architectures Based on FPGA. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2009, pp. 239-239. ISBN 978-80-87342-04-6.
 VAŠÍČEK Zdeněk and SEKANINA Lukáš. Efficient Hardware Accelerator for Symbolic Regression Problems. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Masaryk University, 2009, pp. 192-199. ISBN 978-80-87342-04-6.

Your IPv4 address: 54.163.209.109
Switch to IPv6 connection

DNSSEC [dnssec]