Papers and presentations


Charles University in Prague

Prague
Dedekind
assignment on construction of real numbers via Dedekind's cuts
assignment for Mathematical Analysis I, written in Czech

[problems] [solutions]
Evaluation of Commercial Workshops
essay on evaluation of Commercial Workshops
assignment for Commercial Workshops, written in Czech
[paper]
Link/cut link/cut trees designed by D. Sleator and R. E. Tarjan with applications: Nearest Common Ancestor; Constrained Minimum Spanning Trees; fast search for Blocking Flows used for reducing Dinitz's Algorithm's running time to O(mn log n); and many more
eassignment for Algorithms and Data Structures II, written in Czech
[paper]
MA IV
the first chapter of lecture notes on Mathematical Analysis IV
taught by Mgr. Rober Šámal, Ph. D.
assignment for Proseminar on Mathematical Analysis
, written in Czech with D. Pegrimek
[paper]
[whole eBook]
Matprog
my lecture notes on Mathematical Programming and Polyhedral Combinatorics
taught
by prof. RNDr. Martin Loebl, CSc. & doc. Mgr. Petr Kolman, Ph.D.
[pdf]
Ocesses I
my lecture notes on Optimization Processes I
taught
by RNDr. Jan Palata, CSc.
[pdf]
[link to archive]
Ocesses II my lecture notes on Optimization Processes II
taught
by RNDr. Jan Palata, CSc.
[pdf]
Separation Axioms study of separation axioms in the context of pointless topology
supervised by prof. RNDr. Aleš Pultr, DrSc.
bachelor thesis
[thesis]
[presentation]
Algorithmic Game Theory introductory presentation to series of lectures on algorithmic game theory
talk given for Spring School of Combinatorics 2014, Charles University in Prague
[video]
[presentation]

AlphaGo presentation of the article Mastering the game of Go with deep neural networks and tree search by Google DeepMind
talk given for Spring School of Combinatorics 2016, Charles University in Prague
[video] [handout]
[presentation]

AlphaGo: Reprise presentation of the article Mastering the game of Go with deep neural networks and tree search by Google DeepMind
talk given for Optimization Seminar (NOPT053), Charles University in Prague
[event] [leaflet]
[presentation]

AlphaGo: DISCO presentation of the article Mastering the game of Go with deep neural networks and tree search by Google DeepMind
talk given for Distributed Computing Group, ETH 
Zürich
[presentation]
Refining Subgames the paper Refining Subgames in Large Imperfect Information Games with M. Moravčík, M. Schmid, M. Hladík, S. J. Gaukrodger
AAAI Publications, Thirtieth AAAI Conference on Artificial Intelligence
[pdf]
           
CERN

CERN summies 2014
Summer Student Project 2014
project for CERN Summer Student Programme 2014
supervised by Julien Marcel Leduc, IT-DSS-TAB

[presentation] 
[report]
Dialog about Dialog talk about my CERN experience
presented in IBM Watson meeting

[presentation]
SOS talk about my CERN experience
presented at Charles University in Prague
[presentation]
Technical Student Project 2016
project for CERN Technical Student Programme 2015-2016
supervised by Rainer Andreas Schwemmer, PH-LBC

[report]

IBM

Dialog about Dialog presentation of paper Question Answering with Subgraph Embeddings by Facebook AI Research
presented in IBM Watson meeting

[presentation]

ċ
GraphAlpha.zip
(706k)
Karel Ha,
Aug 8, 2012, 1:27 PM
Ċ
Karel Ha,
Apr 7, 2012, 3:44 PM
ċ
RegEx-DFA.hs
(16k)
Karel Ha,
Aug 8, 2012, 1:27 PM
Ċ
Karel Ha,
May 26, 2013, 12:21 AM
Ċ
Karel Ha,
May 26, 2013, 12:22 AM
Ċ
Karel Ha,
Apr 7, 2012, 3:40 PM
Ċ
Karel Ha,
Apr 7, 2012, 3:40 PM
Ċ
Karel Ha,
Aug 8, 2012, 1:27 PM
Ċ
Karel Ha,
Aug 8, 2012, 1:27 PM
Ċ
esej.pdf
(77k)
Karel Ha,
Dec 1, 2012, 2:04 AM
Ċ
matprog.pdf
(2605k)
Karel Ha,
Apr 23, 2016, 11:13 AM
Ċ
Karel Ha,
Apr 23, 2016, 11:26 AM
Ċ
Karel Ha,
Apr 23, 2016, 11:56 AM
Ċ
Karel Ha,
Jun 21, 2013, 12:45 AM
Ċ
Karel Ha,
Apr 7, 2012, 3:30 PM
Ċ
thesis.pdf
(414k)
Karel Ha,
May 26, 2013, 12:22 AM
ċ
twhree.zip
(6k)
Karel Ha,
Aug 8, 2012, 1:27 PM
Comments