- document
-
Olsthoorn, Mitchell (author)Software testing is important to make sure that code works as intended. Traditionally, this verification process has relied on manual testing, which is not only time-consuming but also susceptible to human errors. Through the use of automated test case generation techniques, we can automate this process and reduce the time and effort needed to...doctoral thesis 2024
- document
-
Kalender, Deniz (author)Research on hangar parking is scarce and either neglects or oversimplifies towing considerations. In this paper, a novel approach is presented that integrates towing operations as a fundamental aspect of the hangar parking optimization, and uniquely focuses on minimizing towing operations. For the method, two A* adaptations, Dynamic State A* and...master thesis 2024
- document
-
Lagerwij, Sam (author)In response to the growing demand for air travel, major airports are approaching critical thresholds in their infrastructure capacity. As the transportation sector continues to expand, it is increasingly important to address environmental concerns that arise from aspects, such as noise annoyance and fuel consumption. This paper aims to enhance...master thesis 2024
- document
-
Bekooy, Mark (author)Type annotations in Python are an integral part of static analysis. They can be used for code documentation, error detection and the development of cleaner architectures. By enhancing code quality, they contribute to the robustness, maintainability and comprehensibility of codebases. Tools like static type checkers use type annotations to detect...master thesis 2024
- document
-
Esteves Henriques, Bernardo (author)Search and Rescue (SaR) missions present challenges due to the complexity of the disaster scenarios. Most life losses and injuries occur in developing countries. Robotics has become indispensable for rapidly locating disaster victims. Combining flying and ground robots more effectively serves this purpose due to their complementary features. To...master thesis 2024
- document
-
van Droffelaar, I.S. (author), Kwakkel, J.H. (author), Mense, Jelte P. (author), Verbraeck, A. (author)Simulation–optimization models are well-suited for real-time decision-support to the control room for search and interception of fugitives by Police on a road network, due to their ability to encode complex behavior while still optimizing the interception. The typical simulation–optimization configuration is simulation model optimization,...journal article 2024
- document
-
Zoutendijk, M. (author), Mitici, M.A. (author)Taxiing aircraft using electric vehicles is seen as an effective solution to meet aviation targets of climate neutrality. However, making the transition to electric taxiing operations is expected to significantly increase the electricity demand at airports. In this paper we propose a mixed-integer linear program to schedule electric vehicles...journal article 2024
- document
-
Rieger, A. (author), Draws, T.A. (author), Theune, Mariët (author), Tintarev, N. (author)When people use web search engines to find information on debated topics, the search results they encounter can influence opinion formation and practical decision-making with potentially far-reaching consequences for the individual and society. However, current web search engines lack support for information-seeking strategies that enable...journal article 2024
- document
-
Xia, Dongyang (author), Ma, Jihui (author), Sharif Azadeh, S. (author)Integrating emerging shared mobility with traditional fixed-line public transport is a promising solution to the mismatch between supply and demand in urban transportation systems. The advent of modular vehicles (MVs) provides opportunities for more flexible and seamless intermodal transit. The MVs, which have been implemented, are comprised...journal article 2024
- document
-
Wang, S. (author), Zhu, Xiaoning (author), Shang, Pan (author), Lin, X. (author), Yang, Liya (author), Tavasszy, Lorant (author)The considerable increase in parcel deliveries has negatively impacted the accessibility and livability of cities. One solution strategy is to decouple short-distance from long-distance shipping so that last-mile transport can be performed with low-footprint vehicles. Such solutions are referred to in the literature as multi-echelon...journal article 2024
- document
-
Wang, Ranran (author), Zhang, Jun (author), Lu, Yijun (author), Ren, S. (author), Huang, Jiandong (author)The design of geopolymer concrete must meet more stringent requirements for the landscape, so understanding and designing geopolymer concrete with a higher compressive strength challenging. In the performance prediction of geopolymer concrete compressive strength, machine learning models have the advantage of being more accurate and faster....journal article 2024
- document
-
Rieger, A. (author), Bredius, Frank (author), Theune, Mariët (author), Pera, M.S. (author)An essential characteristic for unbiased and diligent information-seeking that can enable informed opinion formation and decision-making is intellectual humility (IH), the awareness of the limitations of one's knowledge and opinions. While researchers have recognized the potential to boost IH in individuals, the effect of such interventions...conference paper 2024
- document
-
Yaghoubi Nasrabadi, V. (author), Kumru, B. (author)Over the past 30 years, the polymer composite industry has flourished, producing advanced structural materials for the aviation, energy, and transportation sectors. However, the use of crosslinked thermoset matrices has been linked to significant end-of-life challenges, presenting a critical issue for the industry. Moreover, the industry is...journal article 2024
- document
-
Zatarain Salazar, J. (author), Kwakkel, J.H. (author), Witvliet, Mark (author)Evolutionary Multi-Objective Direct Policy Search (EMODPS) is a prominent framework for designing control policies in multi-purpose environmental systems, combining direct policy search with multi-objective evolutionary algorithms (MOEAs) to identify Pareto approximate control policies. While EMODPS is effective, the choice of functions...journal article 2024
- document
-
de Vos, M.A. (author), Ishmaev, G. (author), Pouwelse, J.A. (author)The popularity of blockchain technology has bootstrapped many “Web3” applications, e.g., Ethereum and IPFS, that apply distributed ledger technology to store transactions. The amount of transactions generated and stored in such Web3 applications is significant and, in its raw form, usually not searchable by users. Existing Web3 transaction...journal article 2024
- document
-
Meppelink, Geert jan (author)The growing demand for electricity, driven by widespread adoption of heat pumps, electric vehicles, and industrial electrification, strains power grids and introduces challenges for a reliable and secure supply amidst intermittent renewable energy integration. Network topology control offers flexibility, altering connections to redirect power...master thesis 2023
- document
- Draws, T.A. (author) doctoral thesis 2023
- document
-
Mo, Tianyu (author)ChatGPT, a cutting-edge technology based on LLM, demonstrated great potential in search tasks. While the importance and potential of ChatGPT are growing, the gap in the understanding of how users interact and engage in ChatGPT search remains open. Past research has extensively examined traditional information search, but there is a need for...master thesis 2023
- document
-
Tatabitovska, Ana (author)Maximum Satisfiability (MaxSAT) is a known problem within the optimization field which has led many different solving approaches to be devised in the last several decades. From Linear Search to unsatisfiable core-based solvers, many MaxSAT algorithms rely on cardinality constraints to express how many soft clauses can be violated at most....master thesis 2023
- document
-
Lin, Longfei (author)Software testing, a critical phase in the software development lifecycle, is often hindered by the time-intensive and costly manual creation of test cases. While automating test case generation could mitigate these challenges, its adoption in the industry has been limited due to difficulties in comprehending the generated test cases. To address...master thesis 2023