Searched for: subject%3A%22Types%22
(1 - 20 of 316)

Pages

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
Poon, Chris (author)
Urban Energy Modeling (UEM) provides a comprehensive approach to urban planning, helping to create sustainable, resilient, and energy-efficient cities that meet the needs of current and future generations. The key inputs for UEM methodologies and tools are the geometry of the building stock and its thermophysical properties. In the Netherlands,...
master thesis 2024
document
Behdani, B. (author), Moghim, Ali (author), Mousavi, Sheyda (author), Soltanfar, Mostafa (author), Hojabri, Mojgan (author)
With the ongoing expansion and interconnection of electrical power systems, alongside the rapid proliferation of renewable distributed generations (DGs), the short-circuit extent in the power grid is experiencing a significant rise. Fault current limiters (FCLs) have been introduced in an effort to address this issue, ensuring the robustness and...
journal article 2024
document
Nijhuis, S. A. (author), Endedijk, M. D. (author), Kessels, W. F. M. (author), Vrijhoef, R. (author)
This study reports on a survey on project managers' priorities. The survey used ISO 21500 as a scaffold to ask various respondents, like junior, experienced, and senior project managers, project sponsors, and students, to share their perceptions on the priorities for junior project managers. The respondent groups shared similar perceptions....
journal article 2024
document
Kirchner, K. (author), Schwab, Christoph (author)
We formulate standard and multilevel Monte Carlo methods for the kth moment M<sub>ε</sub><sup>k</sup>[ξ] of a Banach space valued random variable ξ:Ω→E, interpreted as an element of the k-fold injective tensor product space ⊗<sub>ε</sub><sup>k</sup>E. For the standard Monte Carlo estimator of M<sub>ε</sub><sup>k</sup>[ξ], we prove the k...
journal article 2024
document
Men, Jinkun (author), Chen, Guohua (author), Reniers, G.L.L.M.E. (author)
Earthquake-triggered fire domino scenarios (E-FDSs) arise frequently from the interaction between earthquakes and chemical installations, resulting in catastrophic multi-hazard coupling events. The complicated mutually amplified phenomena between natural disasters and chemical accidents significantly aggravates the escalation of domino...
journal article 2024
document
Yong, Wen Pin (author), Menke, Hannah (author), Maes, Julien (author), Geiger, S. (author), Bakar, Zainol Affendi Abu (author), Lewis, Helen (author), Buckman, Jim (author), Bonnin, Anne (author), Singh, Kamaljit (author)
Microporosity is commonly assumed to be non-connected porosity and not commonly studied in geoengineering industry. However, the presence of micropores plays a key role in connecting macropores and it can contribute significantly to the overall flow performance. In this study, targeted CO<sub>2</sub> storage carbonate fields in Southeast Asia...
conference paper 2024
document
Cimen, Cansu (author), Bathoorn, Erik (author), Loeve, A.J. (author), Fliss, Monika (author), Berends, Matthijs S. (author), Nagengast, Wouter B. (author), Hamprecht, Axel (author), Voss, Andreas (author), Lokate, Mariëtte (author)
Contamination of duodenoscopes is a significant concern due to the transmission of multidrug-resistant organisms (MDROs) among patients who undergo endoscopic retrograde cholangiopancreatography (ERCP), resulting in outbreaks worldwide. In July 2020, it was determined that three different patients, all had undergone ERCP with the same...
journal article 2024
document
Slieker, Roderick C. (author), Münch, Magnus (author), Donnelly, Louise A. (author), Bouland, G.A. (author), Dragan, Iulian (author), Kuznetsov, Dmitry (author), Elders, Petra J.M. (author), Rutter, Guy A. (author), Ibberson, Mark (author)
Aims/hypothesis: People with type 2 diabetes are heterogeneous in their disease trajectory, with some progressing more quickly to insulin initiation than others. Although classical biomarkers such as age, HbA<sub>1c</sub> and diabetes duration are associated with glycaemic progression, it is unclear how well such variables predict insulin...
journal article 2024
document
Marynets, K. (author), Pantova, D.H. (author)
We study a system of non-linear fractional differential equations, subject to integral boundary conditions. We use a parametrization technique and a dichotomy-type approach to reduce the original problem to two “model-type” fractional boundary value problems with linear two-point boundary conditions. A numerical-analytic technique is applied...
journal article 2024
document
Du, Yunlu (author), Huang, Yunkai (author), Guo, Baocheng (author), Djelloul-Khedda, Zakarya (author), Peng, Fei (author), Yao, Y. (author), Dong, J. (author)
In this article, a nonlinear semianalytical model (SAM) is presented to predict the magnetic field distribution (MFD) and electromagnetic performances (EPs) in the cubic spoke-type permanent magnet (PM) machine. To model the rectangular PMs, the rectangular PM is simplified as a combination of fan-shaped regions with different arc angles....
journal article 2024
document
Li, Sitong (author), Rao, Chengzhi (author), Zhang, Chi (author), Wei, Wei (author)
In a rapidly evolving digital landscape, 3D city models have become more accurate and complex. Despite their widespread availability of open-source 3D city model datasets, these invaluable resources remain underutilized. Our primary goal centers on the classification of building and roof types. For our client, Spotr, our work directly impacts on...
student report 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
Tilro, Jesse (author)
Reusable tools for engineering software languages can bridge the gap between formal specification and implementation, lowering the bar for engineers to design and implement programming languages. Among such tools belong NaBL2 and its successor Statix, which are meta-languages for declaratively specifying the static semantics of programming...
master thesis 2023
document
Hofstee, Toon (author)
This research paper focuses on improving the performance of cross-docking operations under uncertainty in the context of e-commerce logistics. The growth of e-commerce sales has increased product returns and complexity to supply chains. To address this issue, this study investigates how cross-docking operations can be improved under external and...
master thesis 2023
document
van Dijk, Jolijn (author)
With the increasing transition to battery electric vehicles (EVs) and concerns about the capacity of the existing electrical infrastructure, the need for effective grid capacity management has become apparent. The V2X innovation, also known as bidirectional charging, has potential to enable EVs to interact with the electricity grid for various...
master thesis 2023
document
feng, lang (author)
Type inference plays a pivotal role in modern software development as it aids in understanding code, detecting errors, and facilitating code completion. Two main approaches, static analysis, and machine learning, contribute to this process. Each approach has its own benefits and limitations. This thesis investigates the potential of combining...
master 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
Spijksma, Cedric (author)
Architects and urban planners still rely on physical models in the design process, particularly for urban contexts. However, developing such models can be time-consuming and resource-intensive, despite the abundance of digital information available. This study investigates the feasibility of using pin-type models, specifically in the concept and...
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
Searched for: subject%3A%22Types%22
(1 - 20 of 316)

Pages