- document
-
Lieverse, Kayleigh (author)Dependently-typed languages allow one to guarantee correctness of a program by providing formal proofs. The type checkers of such languages elaborate the user-friendly high-level surface language to a small and fully explicit core language. A lot of trust is put into this elaboration process, even though it is rarely verified. One such...master thesis 2024
- document
-
Flieger, Lucy (author)Traditional methods of building with concrete are materially wasteful, highly polluting, and often structurally inefficient. The vast global consumption of concrete plays a large role in the construction industry’s negative effects on the environment, necessitating a significant change in the way we design and build with concrete. The fluid...master thesis 2024
- document
-
Helmich, Max (author)This thesis investigates the efficacy of artificial intelligence (AI) models, particularly convolutional neural networks (CNNs) and U Net architectures, in reconstructing datasets with missing velocity data in river flow analysis. Optical flow and Particle Image Velocimetry (PIV) techniques have emerged as valuable tools for analyzing river flow...master thesis 2024
- document
-
van der Ende, Dyon (author)The internet is a system that was introduced over 30 years ago and has taken over the world since then. Connecting over 5 billion people is possible thanks to the global scale that the internet operates at. While the advantages are unmistakable, we must also acknowledge that the internet is a large contributor to the emission of greenhouse...master thesis 2024
- document
-
Boorsma, Reinder (author)The Wadden Sea is of great ecological importance. Key elements in the Wadden Sea are the extensive intertidal flats. These contain vast amounts of life, serve as feeding grounds for millions of birds, and provide ecosystem services such as coastal protection. It follows that it is important to be able to understand and predict how these vital...master thesis 2024
- document
-
ter Glane, K.E. (author)This thesis explores the interactions between the architect Christopher Alexander and the visionary grouping of architects known as Team 10, with a focus on Alexander's participation in one of Team 10's famous meetingsa t the Abbaye de Royaumont in 1962. Both Alexander and Team 10 went on to make important contributions to architectural history...student report 2024
- document
-
Waasdorp, Britt (author)Angiogenesis, i.e. the formation of blood vessels from existing ones, plays a vital role in bone or wound healing. The expansion of vascularization facilitates the healing process through the delivery of oxygen and nutrients to the injured site and through the removal of waste products. Clinical observations indicate that impaired angiogenesis...master thesis 2024
- document
-
Grimbacher, Elena (author)The current linear food system in the Netherlands has a negative impact on the environment, requiring almost ten times the biocapacity the country has to offer. The food sector plays a big role in generating this inequality - this overconsumption, and of the entire food supply chain up to a third of food waste is generated by the consumer. The...master thesis 2024
- document
-
Yan, Y. (author), Pargalgauskas, S. (author), Helmons, R.L.J. (author), Schott, D.L. (author)A convex pattern surface is proposed and optimized to mitigate the sliding wear of bulk handling equipment caused by interaction with bulk solids. This work investigates the effectiveness of the convex pattern surface on wear reduction during interactions with non-spherical particles. Multiple representative particles, obtained through a...journal article 2024
- document
-
Zhou, S. (author), Nijhuis, S. (author), Dijkstra, R.J. (author)In the inevitable high-density urbanization process, existing urban green space (UGS) design approaches are ineffective in creating more green areas and combining multidisciplinary design principles to provide balanced sets of ecosystem services (ESs). This paper proposes a systematic framework for UGS design in the context of high-density urban...journal article 2024
- document
-
Onat, N.B. (author), Yarovoy, Alexander (author), Aslan, Y. (author)The sunflower array topology concept is introduced, for the first time, to the constrained infinitesimal dipole modeling (IDM) technique to increase the computational efficiency and reduce the modeling errors. The concept is applied to embedded element pattern predictions via matrix inversion. A novel study on the impact of the type and...conference paper 2024
- document
-
Önen, Çağan (author), Pandharipande, Ashish (author), Joseph, G. (author), Myers, N.J. (author)Occupancy grid maps provide information about obstacles and available free space in the environment and are crucial in automotive driving applications. An occupancy map is constructed using point cloud data from sensor modalities such as light detection and ranging (LiDAR) and radar used for automotive perception. In this article, we...journal article 2024
- document
-
Kuruganti, V.V. (author), Isabella, O. (author), Mihailetchi, Valentin D. (author)Interdigitated back contact (IBC) architecture can yield among the highest silicon wafer-based solar cell conversion efficiencies. Since both polarities are realized on the rear side, there is a definite need for a patterning step. Some of the common patterning techniques involve photolithography, inkjet patterning, and laser ablation. This...journal article 2024
- document
-
Zhang, H. (author), Fu, Rui (author), Wang, Jianqiang (author), Calvert, S.C. (author), van Lint, J.W.C. (author)The in-vehicle communication provides promising opportunities to improve the road safety and traffic efficiency. Previous studies demonstrated that the professional drivers have better driving skills than the non-professional drivers who allocate more attention to secondary tasks. However, they may not be sensitive to the new in-vehicle...journal article 2024
- document
-
van der Vegt, N. (author), Klerk, W.J. (author), Peters, D.J. (author), van Gent, M.R.A. (author), Hofland, Bas (author)Initial damage, caused by previous wave loading or other events, might affect the hydraulic stability of pattern-placed revetments. Three common types of damage are considered in this study. The effect of this assumed initial damage on the hydraulic stability and failure probability of revetments is quantified using a FEM model. This model is...journal article 2024
- document
-
Lnenicka, Martin (author), Nikiforova, Anastasija (author), Luterek, Mariusz (author), Milic, Petar (author), Rudmark, Daniel (author), Neumaier, Sebastian (author), Santoro, C. (author), Casiano Flores, Cesar (author), Janssen, M.F.W.H.A. (author), Rodríguez Bolívar, Manuel Pedro (author)Open government and open (government) data are seen as tools to create new opportunities, eliminate or at least reduce information inequalities and improve public services. More than a decade of these efforts has provided much experience, practices, and perspectives to learn how to better deal with them. This paper focuses on benchmarking of...journal article 2024
- document
-
Versteeg, Rogier (author), Pool, D.M. (author), Mulder, Max (author)This article discusses a long short-term memory (LSTM) recurrent neural network that uses raw time-domain data obtained in compensatory tracking tasks as input features for classifying (the adaptation of) human manual control with single- and double-integrator controlled element dynamics. Data from two different experiments were used to train...journal article 2024
- document
-
Ho, Björn (author)A searchable symmetric encryption (SSE) scheme allows a user to securely perform a keyword search on an encrypted database. This search capability is useful but comes with the price of unintentional information leakage. An attacker abuses leakage to steal confidential information by launching SSE attacks. In this work, our goal is to design a...master thesis 2023
- document
-
Hutiri, Wiebke (author)From smart phones to speakers and watches, Edge Al is deployed on billions of devices to process large volumes of personal data efficiently, privately and in real-time. While Edge Al applications are promising, many recent incidents of bias in Al systems caution that Edge Al too, may systematically discriminate against groups of people based on...doctoral thesis 2023
- document
-
Bollen, Thomas (author)Cities worldwide are grappling with spatial constraints, particularly in rapidly growing urban areas. Rotterdam, as an aspiring sustainable city, faces similar challenges in balancing sustainability goals with limited space. This predicament extends to the underutilized rooftop spaces across the city. While initiatives like the “multifunction...master thesis 2023