- document
-
Ihsan, A.F. (author), van Horssen, W.T. (author), Tuwankotta, J.M. (author)In this paper, a classical Stefan problem with a prescribed and small time-dependent temperature at the boundary is studied. By using a multiple time-scales perturbation method, it is shown analytically how the moving boundary profile is influenced by the prescribed temperature at the boundary and the initial conditions. Only a few exact...journal article 2024
- document
-
Pouliasis, George (author)Wave overtopping of coastal structures is generally expressed in terms of average discharge and maximum overtopping volume. While substantial research can be found on the relationship of such variables with incident spectral characteristics and other geometrical dimensions, limited research has been done to identify the conditions for which...master thesis 2023
- document
-
Holten, Lucas (author)Writing software that follows its specification is important for many applications. One approach to guarantee this is formal verification in a dependently-typed programming language. Formal verification in these dependently-typed languages is based on proof writing. Sadly, while proofs are easy to check for computers, writing proofs can be...master thesis 2023
- document
-
Ntagkras, Dimitris (author)As the energy transition gains momentum, the development of effective energy storage technologies is crucial. Among these technologies, batteries are of utmost importance as they store chemical energy that can be converted into electrical energy. The operation of batteries is a complex process that involves the interplay of material technology,...master thesis 2023
- document
-
Schaper, Jelle (author)Concrete is widely used in civil engineering and despite its long history, accurate prediction of the hardening process, particularly in partially restrained conditions, remains a challenge. During the hardening of partially restrained concrete, residual stresses occur due to restrained deformations caused by factors such as heating/cooling and...master thesis 2023
- document
-
Steensma, Tijmen (author)The Green Deal (Fetting, 2020), initiated by the European Commission, aims to reduce greenhouse gas emissions within the EU to limit global warming to 1.5 degrees Celsius compared to pre-industrial levels (International Panel of Climate Change, 2022). The EU focuses on energy that is acceptable, applicable, available, and affordable – referring...master thesis 2023
- document
-
Tomassen, Niels (author)This research explores the size variations of artifacts in Maven Central, a repository containing a large collection of Java artifacts. This analysis sheds light on the coding habits and dependency management ecosystems within Maven Central, emphasizing the importance of managing artifact sizes effectively. It also provides valuable insights to...bachelor thesis 2023
- document
-
de Bruin, Ivar (author)Agda is a language used to write computer-verified proofs. It has a module system that provides namespacing, module parameters and module aliases. These parameters and aliases can be used to write shorter and cleaner proofs. However, the current implementation of the module system has several problems, such as an exponential desugaring of module...master thesis 2023
- document
-
Bastenhof, Jeroen (author)Refactoring is a useful tool for increasing the overall quality of software without making changes to how it interacts with the environment. To verify that a refactoring operation correctly transforms an expression, one can provide a formal proof. Using Agda, a dependently-typed language, as a proof assistant, we investigate the feasibility of...bachelor thesis 2023
- document
-
Khakimova, Maria (author)While dependent types can allow programmers to verify properties of their programs, implementing a type checker for a dependent type theory is often difficult. This is due to the fact that, in the presence of dependent types, deciding the equality of types - conversion checking - becomes non-trivial. Due to an identified gap in literature...bachelor thesis 2023
- document
-
Swinkels, Siene (author)Many western European countries have undergone the process of deindustrialisation. The has resulted in a changed economy focused on knowledge. This went hand in hand with urbanisation, resulting in explosive population growth in many cities. In combination with the rise of neoliberal planning made cities an attractive investment object. All...master thesis 2023
- document
-
Brouwer, Jonathan (author)Static type systems can greatly enhance the quality of programs, but implementing a type checker for them is challenging and error-prone. The Statix meta-language (part of the Spoofax language workbench) aims to make this task easier by automatically deriving a type checker from a declarative specification of the type system. However, so far...master thesis 2023
- document
-
Draisma, Max (author)Understanding the factors that drive extreme water levels is key to an accurate assessment of flood hazard. The city of Venice has always been affected by flooding due to extreme water levels. In this study, we examine the factors driving and influencing extreme water levels in the Venice lagoon, aiming at deriving accurate extreme water level...master 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
-
Alves Maia, M. (author), Rocha, I.B.C.M. (author), Kerfriden, P. (author), van der Meer, F.P. (author)Driven by the need to accelerate numerical simulations, the use of machine learning techniques is rapidly growing in the field of computational solid mechanics. Their application is especially advantageous in concurrent multiscale finite element analysis (FE<sup>2</sup>) due to the exceedingly high computational costs often associated with it...journal article 2023
- document
-
Wang, Q. (author), Zhao, C. (author), Yao, Zhenpeng (author), Wang, Jianlin (author), Wu, Fangting (author), Kumar, Sai Govind Hari (author), Ganapathy, S. (author), Eustace, S.J. (author), Wagemaker, M. (author)Developing liquid electrolytes with higher kinetics and enhanced interphase stability is one of the key challenges for lithium batteries. However, the poor solubility of lithium salts in solvents sets constraints that compromises the electrolyte properties. Here, it is shown that introducing multiple salts to form a high-entropy solution,...journal article 2023
- document
-
Abbas, Yawar (author), Ansari, Sumayya M. (author), Taha, Inas (author), Abunahla, H.N. (author), Khan, Muhammad Umair (author), Rezeq, Moh'd (author), Aldosari, Haila M. (author), Mohammad, Baker (author)Recently, phase change chalcogenides, such as monochalcogenides, are reported as switching materials for conduction-bridge-based memristors. However, the switching mechanism focused on the formation and rupture of an Ag filament during the SET and RESET, neglecting the contributions of the phase change phenomenon and the distribution and re...journal article 2023
- document
-
Liu, X. (author), Dabiri, A. (author), Wang, Yihui (author), De Schutter, B.H.K. (author)Real-time timetable scheduling is an effective way to improve passenger satisfaction and to reduce operational costs in urban rail transit networks. In this paper, a novel passenger-oriented network model is developed for real-time timetable scheduling that can model time-dependent passenger origin-destination demands with consideration of a...journal article 2023
- document
-
Chemical fingerprinting of volatile organic compounds from asphalt binder for quantitative detectionChang, Xiwen (author), Long, Yongshuang (author), Wang, C. (author), Xiao, Yue (author)Asphalt material is an irreplaceable material in road construction. However, it releases VOCs (Volatile Organic Compounds), which do cause pollution to the surrounding environment, during its full life cycle, especially in high-temperature paving stage and summer service time. Asphalt VOCs release mechanism and effective emission reduction...journal article 2023
- document
-
Reda, Abel Kebede (author), Holguin-Veras, Jose (author), Tavasszy, Lorant (author), Gebresenbet, Girma (author), Ljungberg, David (author)The choice of shipment size is a vital decision in logistics and has a strong indirect influence on freight transport demand, via the choice of mode and truck type choice. Through time, shipment sizes can change as a result of new decisions in the logistics process or due to conditions external to the supply chain. This study investigates the...journal article 2023