Využijte web naplnoDíky cookies pro vás bude prohlížení stránek příjemnější a jednodušší. Ke zpracování některých z nich potřebujeme váš souhlas, který dáte kliknutím na „Přijmout vše“. Odmítnutím se načtou jen nezbytně nutné cookies. Více informací o cookies a jejich nastavení.
Přijmout vše Odmítnout
Výběr cookies

OU > O univerzitě > Struktura univerzity > Fakulty a ústavy > Ústav pro výzkum a aplikace fuzzy modelování

David Mojžíšek


titul, jméno, příjmení:
Mgr. David Mojžíšek
místnost, podlaží, budova:
C 705, budova C
funkce:
obor činnosti:
hluboké učení, učení na grafových datech a počítačové vidění
katedra / středisko (fakulta):
Centrum excelence IT4Innovations, divize OU, Ústav pro výzkum a aplikace fuzzy modelování
telefon, mobil:
553 46 1418
e-mail:



Nenalezen žádný záznam.



Efficient Solver Scheduling and Selection for Satisfiability Modulo Theories (SMT) Problems.
David Mojžíšek, Jan Hůla
Rok: 2024
stať ve sborníku
 
Understanding (Geometric) Reasoning in Neural Networks
David Mojžíšek
Rok: 2024
prezentace (kongresy, sympózia, konference, workshopy)
 
Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
Jan Hůla, David Mojžíšek, Mikoláš Janota
Rok: 2024
stať ve sborníku
 
FAST-GNN-SAT
Jan Hůla, David Mojžíšek
Rok: 2023
software
 
Deep learning models for long sequence modeling in motion prediction.
David Mojžíšek
Rok: 2022
prezentace (kongresy, sympózia, konference, workshopy)
 
Image classification with reject option and dynamical known class set.
David Mojžíšek
Rok: 2022
prezentace (kongresy, sympózia, konference, workshopy)
 
Image Classifier with Dynamic Set of Known Classes
Jan Hůla, David Mojžíšek
Rok: 2022
stať ve sborníku
 
S4 – A new model for modeling sequences and how it can be useful for us.
David Mojžíšek
Rok: 2022
prezentace (kongresy, sympózia, konference, workshopy)
 
3D Shapes Classification Using Intermediate Parts Representation
Jan Hůla, David Mojžíšek, David Adamczyk
Rok: 2022
stať ve sborníku
 
Graph Neural Networks for Scheduling of SMT Solvers
David Mojžíšek, Jan Hůla, Mikoláš Janota
Rok: 2021
prezentace (kongresy, sympózia, konference, workshopy)
 
Graph Neural Networks for Scheduling of SMT Solvers
Jan HŮLA, David MOJŽÍŠEK, Mikoláš Janota
Rok: 2021
stať ve sborníku
 
Segmenting out Generic Objects in Monocular Videos
Jan Hůla, David Mojžíšek, David Adamczyk, Vojtěch Molek
Rok: 2021
stať ve sborníku
 
Towards Graph Neural Networks for SMT Portfolios
Jan Hůla, David Mojžíšek, Mikoláš Janota
Rok: 2021
prezentace (kongresy, sympózia, konference, workshopy)
 
Unsupervised action discovery based on motion prediction
David Mojžíšek
Rok: 2021
prezentace (kongresy, sympózia, konference, workshopy)
 
Acquiring custom OCR system with minimalmanual annotation
David Adamczyk, Jan Hůla, David MOJŽÍŠEK, Radek Čech
Rok: 2020
stať ve sborníku
 
Graph Neural Networks in Automated Reasoning
David MOJŽÍŠEK
Rok: 2020
prezentace (kongresy, sympózia, konference, workshopy)
 
Community detection with graph neural networks
David Mojžíšek, Jan HŮLA
Rok: 2019
stať ve sborníku
 
Semi-Supervised Classification of Scientific Papers With Graph Convolutional Networks and Topic Modeling
Jan HŮLA, David Mojžíšek, Miroslav Kubát
Rok: 2019
stať ve sborníku
 
Transcription of old Letterpress printed texts with Neural Networks
David MOJŽÍŠEK, Jan HŮLA
Rok: 2019
prezentace (kongresy, sympózia, konference, workshopy)
 
Geometric proofs
David Mojžíšek
Rok: 2018
prezentace (kongresy, sympózia, konference, workshopy)
 
Geometric proofs
David Mojžíšek
Rok: 2018
stať ve sborníku
 

Nenalezen žádný záznam.

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů



Nenalezen žádný záznam.



Nenalezen žádný záznam.

Facebook
social hub