- document
-
Borst, M.J. (author)For a simple graph Γ and for unital C<sup>*</sup>-algebras with GNS-faithful states (A<sub>v</sub>,φ<sub>v</sub>) for v∈VΓ, we consider the reduced graph product (A,φ)=⁎<sub>v,Γ</sub>(A<sub>v</sub>,φ<sub>v</sub>), and show that if every C<sup>*</sup>-algebra A<sub>v</sub> has the completely contractive approximation property (CCAP) and...journal article 2024
- document
-
Vasilopoulos, V.G. (author), Borst, C. (author), van Paassen, M.M. (author), in 't Veld, A.C. (author), Mulder, Max (author)The Continuous Descent Approach (CDA) offers reduced aircraft noise emissions and fuel consumption, but the obstacle limiting it to reduced traffic density conditions, is the low predictability of the trajectory and Estimated Time of Arrival (ETA). The solution proposed by this research is to develop a pilot support interface to facilitate the...conference paper 2023
- document
-
de Rooij, G. (author), van Baelen, D. (author), Borst, C. (author), van Paassen, M.M. (author), Mulder, Max (author)Haptic cues on the side stick are a promising method to reduce loss of control in-flight incidents. They can be intuitively interpreted and provide immediate support, leading to a shared control system. However, haptic interfaces are limited in providing information, and the reason for cues may not always be clear to pilots. This study presents...journal article 2023
- document
-
Borst, M. (author), Vree, P.H. (author), Lowther, A. (author), Teepe, A. (author), Kurdi, S. (author), Bertelli, I. (author), Simon, B.G. (author), Blanter, Y.M. (author), van der Sar, T. (author)Superconductors are materials with zero electrical resistivity and the ability to expel magnetic fields, which is known as the Meissner effect. Their dissipationless diamagnetic response is central to magnetic levitation and circuits such as quantum interference devices. In this work, we used superconducting diamagnetism to shape the magnetic...journal article 2023
- document
-
de Rooij, G. (author), Stienstra, A. (author), Borst, C. (author), Tisza, A. B. (author), van Paassen, M.M. (author), Mulder, Max (author)To alleviate the workload of air traffic controllers, part of the air traffic may be handled by a future automated system. When deciding which flights to delegate, a distinction can be made between basic and non-basic flights, with the former being prime candidates for delegation. The human controller can then focus on the non-basic flights,...conference paper 2023
- document
-
Zou, Y. (author), Borst, C. (author)To facilitate a smooth integration of drones into the current Air Traffic Management (ATM) system, Unmanned Air Traffic Management (UTM) systems, services and protocols are currently under development. Unlike current ATM, UTM will rely on high levels of automation. This is potentially problematic, because 100% safe and reliable automation under...conference paper 2023
- document
-
Borst, M.J. (author), Caspers, M.P.T. (author), Klisse, M. (author), Wasilewski, Mateusz (author)For a real Hilbert space H<sub>R</sub> and −1 < q < 1 Bozejko and Speicher introduced the C<sup>∗</sup>-algebra A<sub>q</sub>(H<sub>R</sub>) and von Neumann algebra M<sub>q</sub>(H<sub>R</sub>) of qGaussian variables. We prove that if dim(H<sub>R</sub>) = ∞ and −1 < q < 1, q ∕= 0 then M<sub>q</sub>(H<sub>R</sub>) does not have the...journal article 2023
- document
-
de Rooij, G. (author), Borst, C. (author), van Paassen, M.M. (author), Mulder, Max (author)In academic air traffic control research, traffic scenarios are often repeated to increase the sample size and enable paired-sample comparisons, e.g., between different display variants. This comes with the risk that participants recognize scenarios and consequently recall the desired response. In this paper we provide an overview of mitigation...conference paper 2023
- document
-
Ber, Aleksei F. (author), Borst, M.J. (author), Borst, Sander J. (author), Sukochev, F. (author)We prove that, for a finite-dimensional real normed space V, every bounded mean zero function f ∈ L<sub>∞</sub>([0, 1]; V) can be written in the form f = g ◦ T − g for some g ∈ L<sub>∞</sub>([0, 1]; V) and some ergodic invertible measure preserving transformation T of [0, 1]. Our method moreover allows us to choose g, for any given ε > 0,...journal article 2023
- document
-
Ghiasi, T.S. (author), Borst, M. (author), Kurdi, S. (author), Simon, B.G. (author), Bertelli, I. (author), Boix-Constant, Carla (author), Mañas Valero, S. (author), van der Zant, H.S.J. (author), van der Sar, T. (author)Magnetic imaging using nitrogen-vacancy (NV) spins in diamonds is a powerful technique for acquiring quantitative information about sub-micron scale magnetic order. A major challenge for its application in the research on two-dimensional (2D) magnets is the positioning of the NV centers at a well-defined, nanoscale distance to the target...journal article 2023
- document
-
Borst, N.G. (author), Verhagen, W.J.C. (author)Prognostics and Health Management (PHM) models aim to estimate remaining useful life (RUL) of complex systems, enabling lower maintenance costs and increased availability. A substantial body of work considers the development and testing of new models using the NASA C-MAPSS dataset as a benchmark. In recent work, the use of ensemble methods...journal article 2023
- document
-
Cocchioni, Matteo (author), Bonelli, Stefano (author), Westin, C. A. L. (author), Borst, C. (author), Hilburn, B (author)The SESAR-funded Modern ATM via Human / Automation Learning Optimisation (MAHALO) project recently completed two years of technical work exploring the human performance impacts of AI and Machine Learning (ML), as applied to enroute ATC conflict detection and resolution (CD&R). It first developed a hybrid ML CD&R capability, along with a...journal article 2023
- document
-
Pijnappel, T.R. (author), van den Berg, J.L. (author), Borst, S.C. (author), Litjens, R. (author)Reliable mobile communications is of critical importance, and should be maintained even in case of extremely crowded events or emergency scenarios. In such scenarios the deployment of drone-mounted base stations offers an agile and cost-efficient way to sustain coverage and/or provide capacity relief. In this paper we develop an analytical...conference paper 2023
- document
-
Borst, Sander (author), van Iersel, L.J.J. (author), Jones, M.E.L. (author), Kelk, Steven (author)We study the problem of finding a temporal hybridization network containing at most k reticulations, for an input consisting of a set of phylogenetic trees. First, we introduce an FPT algorithm for the problem on an arbitrary set of m binary trees with n leaves each with a running time of O(5 <sup>k</sup>· n· m). We also present the concept...journal article 2022
- document
-
Simon, B.G. (author), Kurdi, S. (author), Carmiggelt, J.J. (author), Borst, M. (author), Katan, A.J. (author), van der Sar, T. (author)Nitrogen-vacancy (NV) magnetometry is a new technique for imaging spin waves in magnetic materials. It detects spin waves by their microwave magnetic stray fields, which decay evanescently on the scale of the spin-wavelength. Here, we use nanoscale control of a single-NV sensor as a wavelength filter to characterize frequency-degenerate spin...journal article 2022
- document
-
Friesen, D. (author), Borst, C. (author), Pavel, M.D. (author), Masarati, Pierangelo (author), Mulder, Max (author)This paper investigates the effects of different automation design philosophies for a helicopter navigation task. A baseline navigation display is compared with two more advanced systems: an advisory display, which provides a discrete trajectory suggestion; and a constraint-based display, which provides information about the set of possible...journal article 2022
- document
-
IJtsma, Martijn (author), Borst, C. (author), van Paassen, M.M. (author), Mulder, Max (author)Air traffic controller workload is a limiting factor in the current air traffic management system. Adaptive support systems have the potential to balance controller workload and gain acceptance as they provide support during times of need. Challenges in the design of adaptive support systems are to decide when and how to trigger support. The...journal article 2022
- document
-
de Rooij, G. (author), Tisza, A. B. (author), Borst, C. (author), van Paassen, M.M. (author), Mulder, Max (author)In the quest for more efficient air traffic management, a common approach is to allocate an increasing amount of functionality to higher levels of automation, with a supervisory role for humans. This potentially leads to forthcoming issues such as skill degradation and out-of-the-loop phenomenon. If the traffic in an airspace is instead shared...conference paper 2022
- document
-
Kim, Munyung (author), Borst, C. (author), Mulder, Max (author)To meet increasing safety and performance demands in air traffic control (ATC), more advanced automated systems will be introduced to assist human air traffic controllers. Some even foresee complete automation, with the human as a supervisor only to step-in when automation fails. Literature and empirical evidence suggest that supervising...journal article 2022
- document
-
Gupta, Ankit (author), Borst, C. (author), Mulder, Max (author)For many logistics applications, such as drone delivery missions, finding an optimized network of routes yields a Vehicle Routing Problem (VRP). Such optimizations are mostly conducted offline prior to actual operations for reasons of computational complexity. In case disturbances arise during operations, for example a sudden loss of a...journal article 2022