UU Student Theses Repository: Recent submissions
Now showing items 41-60 of 44686
-
Proof Systems and the Correspondence between Cut Elimination in Sequent Calculus and Normal forms in Natural Deduction
(2025)Normalisation and cut elimination are methods used to perform combinatoral analysis on the structure of formal proofs, while translations between proof systems are used to analyse and interpret the meaning of proofs. In ... -
Algebraïsche theorie van lineaire cellulaire automaten
(2025)Vaak worden resultaten met betrekking tot cellulaire automaten gevonden door middel van computerexperimenten. Ook fixpunten van cellulaire automaten worden door experimenteren gevonden. In deze scriptie zullen we bepaalde ... -
Optimal matrix distribution by simulated annealing for a parallel sparse matrix-vector multiplication
(2025)In parallel Sparse Matrix-Vector Multiplication (SpMV), finding an efficient matrix partitioning is crucial to minimize communication cost. This thesis explores the use of Simulated Annealing to find optimal matrix ... -
Constructing Morse Homology
(2025)In this thesis we discuss the construction of the Morse homology groups for compact orientable manifolds. Morse homology is a way of describing information of manifolds in the form of algebraic groups, called the Morse ... -
Groups of polynomial growth
(2025)In this thesis, we prove Gromov's theorem: if a finitely generated group has polynomial growth then it contains a nilpotent subgroup of finite index. We follow Gromov's original proof from his 1981 paper, "Groups of ... -
Foliations and homotopies
(2025) -
Contact processes on lattices
(2025) -
Linear sections of Grassmannians
(2025) -
De basis van de ergodentheorie
(2025) -
Markov Regime-Switching Models
(2025) -
Wiskunde in beweging; Leeropbrengst van dynamische visualisaties in geanimeerde video’s over infinitesimaalrekening
(2025)In dit onderzoek staat centraal wat de leeropbrengst van wiskunde is door dynamische visualisaties in geanimeerde educatieve wiskundevideo’s. In het bijzonder interesseren we ons ook in de ervaring van studenten omtrent ... -
Structuur van Copriem-Grafen
(2025)