Utilize the web fullyThanks to cookies, browsing the web will be easier and more comfortable. To process some of them, we need your consent which you can give by clicking the “Accept all” button. More information about cookies and their settings. By refusing, only essential cookies will be loaded.
Accept all Refuse
Show cookie utilization selection

UO > About > Organizational Structure > Faculties & Institutes > Centre of Excellence IT4Innovations, division of UO, Institute for Research and Applications of Fuzzy Modeling

David Mojžíšek


Academic degree, name, surname:Mgr. David Mojžíšek
Room, floor, building: C 702, Building C
Position:
Research interests and teaching:image processing, experimental development of artificial intelligence
Department (Faculty): Institute for Research and Applications of Fuzzy Modeling
Phone number, mobile: +420 553 46 1417
E-mail:



No record found.



Graph Neural Networks for Scheduling of SMT Solvers
David Mojžíšek, Jan Hůla, Mikoláš Janota
Year: 2021
abstract in proceedings

Graph Neural Networks for Scheduling of SMT Solvers
David Mojžíšek, Jan Hůla, Mikoláš Janota
Year: 2021
presentations (congresses, symposia, conferences, workshops)

Segmenting out Generic Objects in Monocular Videos
Jan Hůla, David Mojžíšek, David Adamczyk, Vojtěch Molek
Year: 2021
abstract in proceedings

Towards Graph Neural Networks for SMT Portfolios
Jan Hůla, David Mojžíšek, Mikoláš Janota
Year: 2021
presentations (congresses, symposia, conferences, workshops)

Unsupervised action discovery based on motion prediction
David Mojžíšek
Year: 2021
presentations (congresses, symposia, conferences, workshops)

Acquiring custom OCR system with minimalmanual annotation
David Adamczyk, Jan Hůla, David MOJŽÍŠEK, Radek Čech
Year: 2020
abstract in proceedings

Graph Neural Networks in Automated Reasoning
David MOJŽÍŠEK
Year: 2020
presentations (congresses, symposia, conferences, workshops)

Community detection with graph neural networks
David Mojžíšek, Jan HŮLA
Year: 2019
abstract in proceedings

Semi-Supervised Classification of Scientific Papers With Graph Convolutional Networks and Topic Modeling
Jan HŮLA, David Mojžíšek, Miroslav Kubát
Year: 2019
abstract in proceedings

Transcription of old Letterpress printed texts with Neural Networks
David MOJŽÍŠEK, Jan HŮLA
Year: 2019
presentations (congresses, symposia, conferences, workshops)

Geometric proofs
David Mojžíšek
Year: 2018
abstract in proceedings

Geometric proofs
David Mojžíšek
Year: 2018
presentations (congresses, symposia, conferences, workshops)

No record found.

View more records

View more records

View more records

View more records

View more records

View more records

View more records

View more records



No record found.



No record found.

social hub