- 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 (1842-1899) 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 non-isomorphic algebras. Seeing as vector spaces are completely determined by the dimension and scalar field, the number of non-isomorphic 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 Ext-groups 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 ‘model-based imaging’, the imaging technique explored throughout this thesis, to reconstruct ultrasound images where...doctoral thesis 2023
- document
-
Gupta, A. (author)Man-made systems, such as manufacturing and transportation networks, and their interactions with the environment are driven by human-designed 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 semantics-driven 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, metric-free...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 cost-effective large-scale 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 large-scale 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 local-to-global principles for the continuous Lie algebra (co-)homology of certain infinite-dimensional Lie algebras of geometric origin, specifically, Gelfand-Fuks 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 Hecke-von Neumann algebras, are operator algebraic completions of Iwahori-Hecke 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^p-stability is independent of p, for p greater than or equal to one, and for convolution-dominated matrices indexed by relatively separated sets in groups of polynomial growth. Moreover, from the inverse-closedness 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