 document

Ummels, Raphael (author)Inland waterway transport is a low CO2 emission alternative to road transport. A shift towards more inland waterway transport could also help reduce road congestion and noise pollution. Infrastructure bottlenecking, particularly at locks, is part of the reasons preventing this shift. Congestion is leading to delays. Locks can be physically...master thesis 2023
 document

Liu, Jin Jun (author)Sophus Lie (18421899) known as the founder of the theory of transformation groups, originally aimed to study solutions of differential equations via their symmetries. Over the decades this theory has evolved into the theory of Lie groups. These Lie groups are of an analytic and geometric nature, but Sophus Lie's principal discovery was that...bachelor thesis 2023
 document

van der Kuil, Lars (author)Algebras are vector spaces with a bilinear product. When we fix a finite dimension n and a finite field K with q elements, there are a finite number of nonisomorphic algebras. Seeing as vector spaces are completely determined by the dimension and scalar field, the number of nonisomorphic algebras is the number of ways we can define a bilinear...bachelor thesis 2023
 document

Donker, Quinten (author)This thesis is about Van Kampen's theorem and fundamental groupoids. Van Kampen's Theorem is a classical result in algebraic topology, which proposes a way of calculating the fundamental group of a topological spaces using the fundamental groups of certain subspaces. In this thesis we will construct the fundamental group, which intuitively...bachelor thesis 2023
 document

Bakker, Hidde (author)This thesis is about homological algebra and singular (co)homology. <br/><br/>In the first chapter the notions of complexes of abelian groups, (co)homology of these complexes and injective resolutions will be introduced. Then Extgroups will be defined and various properties dervied. A particularly interesting group, Ext(Q,Z), will be calculated...bachelor thesis 2023
 document

van der Meulen, P.Q. (author)Whereas aberrating layers are typically viewed as an impediment to medical ultrasound imaging, they can, surprisingly, also be used to our benefit. As long as we can model the effect of an aberrating layer, we can utilize ‘modelbased imaging’, the imaging technique explored throughout this thesis, to reconstruct ultrasound images where...doctoral thesis 2023
 document

Gupta, A. (author)Manmade systems, such as manufacturing and transportation networks, and their interactions with the environment are driven by humandesigned operational rules. These rules are most often based on the asynchronous occurrence of discrete events over time, such as the arrival and departure of trains at a station. The modelling, analysis, and...doctoral thesis 2023
 document

Poulsen, C.B. (author), van der Rest, C.R. (author)Algebraic effects and handlers is an increasingly popular approach to programming with effects. An attraction of the approach is its modularity: effectful programs are written against an interface of declared operations, which allows the implementation of these operations to be defined and refined without changing or recompiling programs...journal article 2023
 document

Caspers, M.P.T. (author), Klisse, M. (author), Skalski, Adam (author), Vos, G.M. (author), Wasilewski, Mateusz (author)We introduce the relative Haagerup approximation property for a unital, expected inclusion of arbitrary von Neumann algebras and show that if the smaller algebra is finite then the notion only depends on the inclusion itself, and not on the choice of the conditional expectation. Several variations of the definition are shown to be equivalent...journal article 2023
 document

Reinders, J.S. (author)Compilers transform a human readable source language into machine readable target language. Nanopass compilers simplify this approach by breaking up this transformation into small steps that are more understandable, maintainable, and extensible. We propose a semanticsdriven variant of the nanopass compiler architecture exploring the use a...conference paper 2023
 document

Jain, V. (author), Palha da Silva Clérigo, A. (author), Gerritsma, M.I. (author)In this work we use algebraic dual spaces with a domain decomposition method to solve the Darcy equations. We define the broken Sobolev spaces and their finite dimensional counterparts. A global trace space is defined that connects the solution between the broken spaces. Use of algebraic dual spaces results in a sparse, metricfree...journal article 2023
 document

Borst, M.J. (author), Caspers, M.P.T. (author), Klisse, M. (author), Wasilewski, Mateusz (author)For a real Hilbert space H<sub>R</sub> and −1 < q < 1 Bozejko and Speicher introduced the C<sup>∗</sup>algebra A<sub>q</sub>(H<sub>R</sub>) and von Neumann algebra M<sub>q</sub>(H<sub>R</sub>) of qGaussian variables. We prove that if dim(H<sub>R</sub>) = ∞ and −1 < q < 1, q ∕= 0 then M<sub>q</sub>(H<sub>R</sub>) does not have the...journal article 2023
 document

Ramesh Kumar, K. (author), Tasinafo Honório, H. (author), Hajibeygi, H. (author)Successful transition to renewable energy supply depends on the development of costeffective largescale energy storage technologies. Renewable energy can be converted to (or produced directly in the form of) green gases, such as hydrogen. Subsurface formations offer feasible solutions to store largescale compressed hydrogen. These...conference paper 2023
 document

Miaskiwskyi, L.T. (author)The subject of this thesis is twofold: The first part is the study of localtoglobal principles for the continuous Lie algebra (co)homology of certain infinitedimensional Lie algebras of geometric origin, specifically, GelfandFuks cohomology and continuous cohomology of gauge algebras. It includes both an exposition to classical results of...doctoral thesis 2022
 document

Klisse, M. (author)This dissertation is concerned with the study of the structure of certain deformations of operator algebras associated with Coxeter groups. These operator algebras, called Hecke C*algebras and Heckevon Neumann algebras, are operator algebraic completions of IwahoriHecke algebras. They occur as natural abstractions of certain endomorphism...doctoral thesis 2022
 document

Loor, Stephan (author)In the past few years, the search for good quantum low density parity check (qLDPC) codes suddenly took flight, and many different constructions of these codes have since been presented, including many product constructions. As these code constructions have a natural interpretation in the language of homology, this thesis studies the interplay...master thesis 2022
 document

Vermeulen, Joop (author)In this thesis, we will be studying Lie groups and their connection to certain orthogonal polynomials. We will look into the classical Krawtchouk, Meixner and Laguerre polynomials, and the multivariate Krawtchouk and Meixner polynomials as defined by Iliev. Using representations of the Lie groups SU(2) and SU(1,1), it will be shown that the...master thesis 2022
 document

Kitsios, Christos (author)In this thesis, we use a variation of a commutator technique to prove that l^pstability is independent of p, for p greater than or equal to one, and for convolutiondominated matrices indexed by relatively separated sets in groups of polynomial growth. Moreover, from the inverseclosedness of the Schur matrices we deduce a Wiener type Lemma for...master thesis 2022
 document

Smeets, Lucy (author)Sorting systems form an example of event driven systems. These types of systems are referred to as discrete event systems (DES), and they consist of jobs that need to be performed at available resources. In an autonomous sorting system, jobs consist of robots receiving and delivering parcels at the correct locations. With scheduling, optimal...master thesis 2022
 document

Hoogerwerf, Samuel (author)The goal in this thesis is to make a prediction on the total processing time for logistical systems to complete their tasks. For simple systems that can be described using a regular max plus state space model this is done by calculating the systems eigenvalue and multiplying that by the number of iterations required. But, for more complex...master thesis 2022