- document
-
Zwinkels, Stan (author)In household and retail store environments, humans efficiently identify grasp regions of an object to perform everyday tasks. To enable robots to understand the requirements of a task and the properties of an object, a novel grasp framework, called the Shape Primitive and Reasoning Grasping Engine (SPaRGE), is proposed in this thesis. SPaRGE...master thesis 2023
- document
-
Schouhamer Immink, Kees A. (author), Weber, J.H. (author)We present and analyze a new construction of bipolar balanced codes where each codeword contains equally many -1's and +1's. The new code is minimally modified as the number of symbol changes made to the source word for translating it into a balanced codeword is as small as possible. The balanced codes feature low redundancy and time...journal article 2023
- document
-
van Leeuwen, Elske (author)Computational Fluid Dynamics (CFD) is the main tool to use in industry and engineering problems including turbulent flows. Turbulence modeling relies on solving the Navier-Stokes equations. Solving these equations directly takes a lot of time and computational power. More affordable methods solve the Reynolds Averaged Navier-Stokes (RANS)...master thesis 2022
- document
-
Serné, Luke (author)In recent years, computers have found their way into nearly every part of life. This led to the creation of many embedded devices, which are usually quite different from the more commonly known computers and each other. The cause of this is the diversity in constraints that are placed on these devices, in terms of size, weight, energy...master thesis 2022
- document
-
Baartman, Wesley (author)In this thesis, we have defined a symbolic execution technique to automatically generate test suites for programs written in functional programming languages that can find the behavioural differences between a reference implementation and a set of potentially different implementations. Our symbolic execution technique uses a constraint solver in...master thesis 2022
- document
-
Hemmes, Jasper (author)When simulating fluids the industry standard is Reynolds averaged Navier-Stokes (RANS). However, the results for certain flows are inaccurate. The main source of error in popular RANS turbulence models is the Boussinesq approximation, assuming a linear relationship between the Reynolds stress anisotropy and the mean rate of strain. Experiments...master thesis 2022
- document
-
Zhou, H. (author)Applying deep neural networks (DNNs) for system identification (SYSID) has attracted more andmore attention in recent years. The DNNs, which have universal approximation capabilities for any measurable function, have been successfully implemented in SYSID tasks with typical network structures, e.g., feed-forward neural networks and recurrent...doctoral thesis 2022
- document
-
Wang, R. (author), Hein, C.M. (author)People around the world have shaped societies and urban spaces around water for millennia. They have transformed natural water structures and patterns to serve their diverse needs. The ways in which historical decisions affect contemporary water systems and influence future planning of urban systems still need to be fully recognized. This...journal article 2022
- document
-
Liu, D. (author), Virgolin, Marco (author), Alderliesten, T. (author), Bosman, P.A.N. (author)Genetic programming (GP) is one of the best approaches today to discover symbolic regression models. To find models that trade off accuracy and complexity, the non-dominated sorting genetic algorithm II (NSGA-II) is widely used. Unfortunately, it has been shown that NSGA-II can be inefficient: in early generations, low-complexity models over...conference paper 2022
- document
-
Harrison, J. (author), Alderliesten, T. (author), Bosman, P.A.N. (author)Genetic Programming (GP) can make an important contribution to explainable artificial intelligence because it can create symbolic expressions as machine learning models. Nevertheless, to be explainable, the expressions must not become too large. This may, however, limit their potential to be accurate. The re-use of subexpressions has the...conference paper 2022
- document
-
Ben Hassan Saïdi, Ismaïl (author), Schmelzer, M. (author), Cinnella, Paola (author), Grasso, Francesco (author)A CFD-driven deterministic symbolic identification algorithm for learning explicit algebraic Reynolds-stress models (EARSM) from high-fidelity data is developed building on the frozen-training SpaRTA algorithm of [1]. Corrections for the Reynolds stress tensor and the production of transported turbulent quantities of a baseline linear eddy...journal article 2022
- document
-
Van der Ploeg, Chris (author), Alirezaei, Mohsen (author), Van De Wouw, Nathan (author), Mohajerin Esfahani, P. (author)In this article, we propose a tractable nonlinear fault estimation filter along with explicit performance bounds for a class of linear dynamical systems in the presence of both additive and nonlinear multiplicative faults. We consider the case, where both faults may occur simultaneously and through an identical dynamical relationship, a...journal article 2022
- document
-
Balayn, A.M.A. (author), He, G. (author), Hu, Andrea (author), Yang, J. (author), Gadiraju, Ujwal (author)Access to commonsense knowledge is receiving renewed interest for developing neuro-symbolic AI systems, or debugging deep learning models. Little is currently understood about the types of knowledge that can be gathered using existing knowledge elicitation methods. Moreover, these methods fall short of meeting the evolving requirements of...conference paper 2022
- document
-
Patel, Kartik (author), Myers, N.J. (author), Heath, Robert W. (author)Eavesdropping attacks are a severe threat to millimeter-wave (mmWave) networks that use low-resolution phased arrays. Although directional beamforming in mmWave phased arrays provides natural defense against eavesdropping, the use of low-resolution phase shifters induces energy leakage into unintended directions. This energy leakage can be...conference paper 2022
- document
-
Ofe, H.A. (author), Minnema, Harm (author), de Reuver, G.A. (author)Purpose: This paper aims to propose a framework for how privacy-preserving technologies (PETs) create business value for organizations. The framework was developed by examining the literature on privacy and information technology’s impact (symbolic and function). The authors evaluate the framework’s applicability using multiparty computation ...journal article 2022
- document
-
van Turnhout, J. (author)The dielectric spectra of colloidal systems and other dielectric media often contain a typical low frequency dispersion, which usually remains unnoticed, because of the presence of strong conduction losses. The KK relations offer a means for converting ' into " data. This allows us to calculate conduction free " spectra in which the l.f....book chapter 2022
- document
-
Kramer, O.J.I. (author)In drinking water treatment plants, multiphase flows are a frequent phenomenon. Examples of such flows are pellet-softening and filter backwashing where liquid-solid fluidisation is applied. A better grasp of these fluidisation processes is needed to be able to determine optimal hydraulic states. In this research, models were developed, and...doctoral thesis 2021
- document
-
Leeuwis, Toby (author)When transforming PDE problems using Fourier and Laplace transforms, we can find functions that represent the problem, and which can be used to determine properties of the problem. We define such functions as symbols $P(\lambda,z)$. In general, we define the class of symbols $S(L_t\times L_x)$ are all functions which are represented by a...bachelor thesis 2021
- document
-
Pîrcălăboiu, Laura (author)Recent years have seen a surge of interest for dynamic testing techniques, one of which is symbolic execution. It is the main point of interest of this research paper, in which we give an overview of a framework for symbolically executing definitional interpreters. We will also discuss techniques that we made use of in developing the symbolic...bachelor thesis 2021
- document
-
van der Sar, martijn (author)Pick and place systems that operate in a warehouse setting have been studied a lot recently due to the high economic value for e-commerce companies. In this thesis, the focus is on the perception pipeline that performs object recognition given a certain input data stream (typically RGB-D images). Impressive results regarding object recognition...master thesis 2021