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 > Institute for Research and Applications of Fuzzy Modeling

David Mojžíšek


Academic degree, name, surname:
Mgr. David Mojžíšek
Room, floor, building:
C 705, Building C
Position:
Research interests and teaching:
deep learning, learning from graph data a computer vision
Department (Faculty):
Centrum excelence IT4Innovations, divize OU, Ústav pro výzkum a aplikace fuzzy modelování
Phone number, mobile:
+420 553 46 1418
E-mail:



No record found.



Efficient Solver Scheduling and Selection for Satisfiability Modulo Theories (SMT) Problems.
David Mojžíšek, Jan Hůla
Year: 2024
abstract in proceedings
 
Kód pro GNN na kombintarorických problémech
Jan Hůla, David Mojžíšek
Year: 2024
software
 
Understanding (Geometric) Reasoning in Neural Networks
David Mojžíšek
Year: 2024
presentations (congresses, symposia, conferences, workshops)
 
Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
Jan Hůla, David Mojžíšek, Mikoláš Janota
Year: 2024
abstract in proceedings
 
FAST-GNN-SAT
Jan Hůla, David Mojžíšek
Year: 2023
software
 
Deep learning models for long sequence modeling in motion prediction.
David Mojžíšek
Year: 2022
presentations (congresses, symposia, conferences, workshops)
 
Image classification with reject option and dynamical known class set.
David Mojžíšek
Year: 2022
presentations (congresses, symposia, conferences, workshops)
 
Image Classifier with Dynamic Set of Known Classes
Jan Hůla, David Mojžíšek
Year: 2022
abstract in proceedings
 
S4 – A new model for modeling sequences and how it can be useful for us.
David Mojžíšek
Year: 2022
presentations (congresses, symposia, conferences, workshops)
 
3D Shapes Classification Using Intermediate Parts Representation
Jan Hůla, David Mojžíšek, David Adamczyk
Year: 2022
abstract in proceedings
 
Graph Neural Networks for Scheduling of SMT Solvers
Jan HŮLA, David MOJŽÍŠEK, 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
presentations (congresses, symposia, conferences, workshops)
 
Geometric proofs
David Mojžíšek
Year: 2018
abstract in proceedings
 

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.



The Ability of Neural Networks to reason about language and visual data.
Main solver
Mgr. David Mojžíšek
Period
1/2025 - 12/2025
Provider
Specifický VŠ výzkum
State
solved
 

social hub