document

The CCAP for graph products of operator algebras

Borst, M.J. (author)

For a simple graph Γ and for unital C^*-algebras with GNS-faithful states (A_v,φ_v) for v∈VΓ, we consider the reduced graph product (A,φ)=⁎_v,Γ(A_v,φ_v), and show that if every C^*-algebra A_v has the completely contractive approximation property (CCAP) and...

journal article 2024

document

Supplementing Haptic Feedback in Flight Envelope Protection Through Visual Display Indications

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

Observation and control of hybrid spin-wave-Meissner-current transport modes

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

On the isomorphism class of q-Gaussian C*-algebras for infinite variables

Borst, M.J. (author), Caspers, M.P.T. (author), Klisse, M. (author), Wasilewski, Mateusz (author)

For a real Hilbert space H_R and −1 < q < 1 Bozejko and Speicher introduced the C^∗-algebra A_q(H_R) and von Neumann algebra M_q(H_R) of qGaussian variables. We prove that if dim(H_R) = ∞ and −1 < q < 1, q ∕= 0 then M_q(H_R) does not have the...

journal article 2023

document

A solution to the multidimensional additive homological equation

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_∞([0, 1]; V) can be written in the form f = g ◦ T − g for some g ∈ L_∞([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

Nitrogen-vacancy magnetometry of CrSBr by diamond membrane transfer

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

Introducing CNN-LSTM network adaptations to improve remaining useful life prediction of complex systems

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

Learning for Air Traffic Management: guidelines for future AI systems

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

New FPT Algorithms for Finding the Temporal Hybridization Number for Sets of Phylogenetic Trees

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 ^k· n· m). We also present the concept...

journal article 2022

document

Filtering and Imaging of Frequency-Degenerate Spin Waves Using Nanopositioning of a Single-Spin Sensor

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

Human-automation interaction for helicopter flight: Comparing two decision-support systems for navigation tasks

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

Evaluation of a Decision-Based Invocation Strategy for Adaptive Support for Air Traffic Control

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

Situation Awareness Prompts: Bridging the Gap between Supervisory and Manual Air Traffic Control

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

Human Performance in Solving Multi-UAV Over-Constrained Dynamic Vehicle Routing Problems

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

document

Determining Air Traffic Controller Proficiency: Identifying Objective Measures Using Clustering

de Jong, T. P. (author), Borst, C. (author)

Air traffic control (ATC) is a complex and demanding job reserved for highly-trained professionals. Training ATC candidates is challenging as trainees are subjectively assessed by instructors who are biased by their own ways of working. As an effort to determine control expertise objectively, this study employed clustering techniques on an...

journal article 2022

document

Associations of thrombus perviousness derived from entire thrombus segmentation with functional outcome in patients with acute ischemic stroke

Santos, Emilie M.M. (author), Arrarte Terreros, Nerea (author), Kappelhof, Manon (author), Borst, Jordi (author), Boers, Anna M.M. (author), Lingsma, Hester F. (author), Berkhemer, Olvert A. (author), Dippel, Diederik W.J. (author), Niessen, W.J. (author)

Thrombus perviousness is strongly associated with functional outcome and intravenous alteplase treatment success in patients with acute ischemic stroke. Accuracy of thrombus attenuation increase (TAI) assessment may be compromised by a heterogeneous thrombus composition and interobserver variations of currently used manual measurements. We...

journal article 2021

document

Toward individual-sensitive automation for air traffic control using convolutional neural networks

van Rooijen, S. J. (author), Ellerbroek, Joost (author), Borst, C. (author), van Kampen, E. (author)

Lack of trust and lack of acceptance caused by strategic mismatches in problem-solving have been identified as obstacles in the introduction of workload-alleviating automation in air traffic control. One possible way to overcome these obstacles is by creating automation capable of providing personalized advisories conformal to the individual...

journal article 2020

document

Augmented visual feedback: Cure or distraction?

Eisma, Y.B. (author), Borst, C. (author), van Paassen, M.M. (author), de Winter, J.C.F. (author)

Objective: The aim of the study was to investigate the effect of augmented feedback on participants’ workload, performance, and distribution of visual attention. Background: An important question in human–machine interface design is whether the operator should be provided with direct solutions. We focused on the solution space diagram (SSD),...

journal article 2020

document

Assessment of urban freight travel characteristics: A case study of Delhi

Errrampalli, Madhu (author), Kayitha, Ravinder (author), Chalumuri, Ravi Sekhar (author), Tavasszy, Lorant (author), Borst, Jeroen (author), Chandra, Satish (author)

India spends 15-20% of its GDP on transport and logistics and Indian freight transport market is expected to grow at a CAGR of about 13% by 2020. Road freight constitutes around 63% of total freight movement and the average speed of trucks on Indian roads is about 20 km/hr covers only 250-300 km a day compared to 700-800 km in developed...

journal article 2020

document

Exciton-to-trion conversion as a control mechanism for valley polarization in room-temperature monolayer WS₂

Carmiggelt, J.J. (author), Borst, M. (author), van der Sar, T. (author)

Transition metal dichalcogenide (TMD) monolayers are two-dimensional semiconductors with two valleys in their band structure that can be selectively addressed using circularly polarized light. Their photoluminescence spectrum is characterized by neutral and charged excitons (trions) that form a chemical equilibrium governed by the net charge...

journal article 2020