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):
Institute for Research and Applications of Fuzzy Modeling
Phone number, mobile:
+420 553 46 1418
E-mail:



No record found.



Neural approaches to SAT solving: Design choices and interpretability
David Mojžíšek, Jan Hůla, Mikolas Janota, Ziwei Li, Ziyu Zhou
Year: 2026, International Journal of Approximate Reasoning
journal article
 
Geometric Reasoning in the Embedding Space
David Mojžíšek, Jan Hůla, Jiří Janeček, David Herel, Mikolas Janota
Year: 2025, Machine Learning and Knowledge Extraction
journal article
 
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
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.



The Ability of Neural Networks to reason about language and visual data.
Period
1/2025 – 12/2025
Provider
Specifický VŠ výzkum
State
solved
Role in the project
Principal Investigator
Total costs
799 700 CZK
 
Deep learning algorithms
Period
1/2024 – 12/2024
Provider
Specifický VŠ výzkum
State
finished
Role in the project
Co-Investigator
Total costs
590 000 CZK
 
Machine learning as a tool for sequence processing.
Period
1/2023 – 12/2023
Provider
Specifický VŠ výzkum
State
finished
Role in the project
Co-Investigator
Total costs
408 100 CZK
 
Artificial intelligence as a tool for solving real problems
Period
1/2022 – 12/2022
Provider
Specifický VŠ výzkum
State
finished
Role in the project
Co-Investigator
Total costs
632 000 CZK
 
Data analysis using F-transform and neural networks
Period
1/2021 – 12/2021
Provider
Specifický VŠ výzkum
State
finished
Role in the project
Co-Investigator
Total costs
592 000 CZK
 
Data and image analysis
Period
1/2020 – 12/2020
Provider
Specifický VŠ výzkum
State
finished
Role in the project
Co-Investigator
Total costs
542 890 CZK
 
Optical Character Recognition in Old Prints
Period
1/2020 – 12/2020
Provider
Specifický VŠ výzkum
State
finished
Role in the project
Co-Investigator
Total costs
152 230 CZK
 

social hub