Searched for:
(1 - 20 of 502)

Pages

document
Ho-Huu, V. (author), Hartjes, S. (author), Perez Castan, J.A. (author), Visser, H.G. (author), Curran, R. (author)
This paper presents the development of a multilevel optimization framework for the design and selection of departure routes, and the distribution of aircraft movements among these routes, while taking the sequence and separation requirements for aircraft on runways and along selected routes into account. The main aim of the framework is to...
journal article 2020
document
Alfaro Barrantes, J.A. (author), Mastrangeli, M. (author), Thoen, David (author), Visser, Sven (author), Bueno Lopez, J. (author), Baselmans, J.J.A. (author), Sarro, P.M. (author)
This paper presents the fabrication and electrical characterization of superconducting high-aspect ratio through-silicon vias DC-sputtered with aluminum. Fully conformal and void-free coating of 300 μm-deep and 50 μmwide vias with Al, a CMOS-compatible and widely available superconductor, was made possible by tailoring a funneled sidewall...
journal article 2020
document
Rouvoet, A.J. (author), Poulsen, C.B. (author), Krebbers, R.J. (author), Visser, Eelco (author)
An intrinsically-typed definitional interpreter is a concise specification of dynamic semantics, that is executable and type safe by construction. Unfortunately, scaling intrinsically-typed definitional interpreters to more complicated object languages often results in definitions that are cluttered with manual proof work. For linearly-typed...
working paper 2020
document
Smits, J. (author), Wachsmuth, G.H. (author), Visser, Eelco (author)
Data-flow analysis is the static analysis of programs to estimate their approximate run-time behavior or approximate intermediate run-time values. It is an integral part of modern language specifications and compilers. In the specification of static semantics of programming languages, the concept of data-flow allows the description of well...
journal article 2020
document
Kosari, A. (author), Zandbergen, H.W. (author), Tichelaar, F.D. (author), Visser, P. (author), Terryn, H.A. (author), Mol, J.M.C. (author)
Identifying corrosion initiation events in metals and alloys demands techniques that can provide temporal and spatial resolution simultaneously. Transmission electron microscopy (TEM) enables one to obtain microstructural and chemical descriptors of materials at atomic/nanoscopic level and has been used in corrosion studies of many metal...
review 2020
document
Visser, P.M. (author), Mol, Maaike (author)
Context. A double planet system or planet binary undergoes eclipses that modify the reflective light curve. In the time domain, the eclipse events are fast and weak. This would make their signal difficult to find and recognize in the phase light curve, even for small inclinations when eclipses happen frequently. However, due to the quasiperiodic...
journal article 2020
document
Middelburg, L.M. (author), Ghaderi, M. (author), Visser, J.H. (author), Wolfenbuttel, R.F. (author)
The resistive particulate matter sensor is a simple device that transduces the presence of soot through impedance change across inter-digital electrodes (IDEs). We investigate the information provided by impedance spectroscopy over the frequency range from 100 Hz to 10 kHz for two purposes. The first is to investigate the opportunities for an...
journal article 2020
document
Middelburg, L.M. (author), Ghaderi, Mohammadamir (author), Bilby, David (author), Visser, Jaco H. (author), Zhang, Kouchi (author), Lundgren, Per (author), Enoksson, Peter (author), Wolfenbuttel, R.F. (author)
Ensuring optical transparency over a wide spectral range of a window with a view into the tailpipe of the combustion engine, while it is exposed to the harsh environment of sootcontaining exhaust gas, is an essential pre-requisite for introducing optical techniques for long-term monitoring of automotive emissions. Therefore, a regenerable...
journal article 2020
document
Ridder, M. L. (author), Nagayoshi, K. (author), Bruijn, M. P. (author), Gottardi, L. (author), Taralli, E. (author), Khosropanah, P. (author), Akamatsu, H. (author), van der Kuur, J. (author), Ravensberg, K. (author), Visser, S. (author), Nieuwenhuizen, A. C.T. (author), Gao, J. (author), den Herder, J. W. (author)
Superconducting transition-edge sensors (TESs) are highly sensitive detectors. Based on the outstanding performance on spectral resolution, the X-ray integral field unit (X-IFU) instrument on-board athena will be equipped with a large array of TES-based microcalorimeters. For optimal performance in terms of the energy resolution, it is...
journal article 2020
document
Sapra, H.D. (author), Godjevac, M. (author), de Vos, P. (author), Van Sluijs, Wim (author), Linden, Youri (author), Visser, K. (author)
With increasingly stringent emission regulations, marine natural gas engines need to improve their performance. Various proven advantages of hydrogen-natural gas (H-NG) blends make them a promising enhanced fuel solution. Although modelling of H-NG combustion has been investigated before, mostly using CFD models, the literature on the...
journal article 2020
document
Visser, P.W. (author), Kooi, Henk (author), Bense, Victor (author), Boerma, Emiel (author)
Subsurface temperatures are substantially higher in urban areas than in surrounding rural environments; the result is a subsurface urban heat island (SUHI). SUHIs and their drivers have received attention in studies world-wide. In this study, a well-constrained data set of subsurface temperatures from Amsterdam, The Netherlands, is presented....
journal article 2020
document
van Biert, L. (author), Visser, K. (author), Aravind, P.V. (author)
Various concepts have been proposed to use hydrocarbon fuels in solid oxide fuel cell (SOFC) systems. A combination of either allothermal or adiabatic pre-reforming and water recirculation (WR) or anode off-gas recirculation (AOGR) is commonly used to convert the fuel into a hydrogen rich mixture before it is electrochemically oxidised in the...
journal article 2020
document
Middelburg, L.M. (author), Ghaderi, Mohammadamir (author), Bilby, David (author), Visser, J.H. (author), Zhang, Kouchi (author), Wolffenbuttel, R.F. (author)
Impedance spectroscopy in the frequency range 100 Hz to 10 kHz has been applied to the Inter-Digitated Electrode (IDE) structure that is conventionally operated as a resistive sensor for the measurement of Particulate Matter (PM). The measurement of both the in-phase (resistive) and out-of-phase (capacitive) components of the impedance over this...
conference paper 2020
document
Sui, C. (author), de Vos, P. (author), Stapersma, D. (author), Visser, K. (author), Ding, Yu (author)
Hybrid propulsion and using liquefied natural gas (LNG) as the alternative fuel have been applied on automobiles and some small ships, but research investigating the fuel consumption and emissions over the total voyage of ocean-going cargo ships with a hybrid propulsion and different fuels is limited. This paper tries to fill the knowledge...
journal article 2020
document
Kosari, A. (author), Zandbergen, H.W. (author), Tichelaar, F.D. (author), Visser, P. (author), Taheri, P. (author), Terryn, H.A. (author), Mol, J.M.C. (author)
Dealloying is involved in materials science responsible for fabrication of nanoscale structures beneficially but for corrosion degradations detrimentally. Detailed understanding related to the latter is critical for designing corrosion-resistance alloys and dedicated inhibition systems. Thus, direct nanoscopic observations of nano-structural...
journal article 2020
document
Kosari, A. (author), Visser, P. (author), Tichelaar, F.D. (author), Eswara, S. (author), Audinot, J. N. (author), Wirtz, T. (author), Zandbergen, H.W. (author), Terryn, H.A. (author), Mol, J.M.C. (author)
This work focuses on the cross-sectional characterization of the protective conversion layer formed on AA2024-T3 by lithium-leaching from a polyurethane coating in a corrosive environment. The layer shows a multi-layered arrangement comprising nanoscopic local phases. Transmission electron microscopy (TEM) and complementary high-resolution...
journal article 2020
document
Kosari, A. (author), Tichelaar, F.D. (author), Visser, P. (author), Zandbergen, H.W. (author), Terryn, H.A. (author), Mol, J.M.C. (author)
Nanoscopic characterization of heterogeneous intermetallic particles (IMPs) which microstructurally and compositionally evolve during local corrosion is crucial in unravelling the mechanisms and sequence of initial and local corrosion events. Herein, we study site-specific initiation events focused on microscopic constituent intermetallic...
journal article 2020
document
Timbergen, Milea J.M. (author), Starmans, Martijn P.A. (author), Padmos, Guillaume A. (author), Grünhagen, Dirk J. (author), van Leenders, Geert J.L.H. (author), Hanff, D. F. (author), Niessen, W.J. (author), Klein, S. (author), Visser, J.J. (author)
Purpose: Diagnosing desmoid-type fibromatosis (DTF) requires an invasive tissue biopsy with β-catenin staining and CTNNB1 mutational analysis, and is challenging due to its rarity. The aim of this study was to evaluate radiomics for distinguishing DTF from soft tissue sarcomas (STS), and in DTF, for predicting the CTNNB1 mutation types....
journal article 2020
document
van Biert, L. (author), Visser, K. (author), Purushothaman Vellayani, A. (author)
Direct internal reforming in solid oxide fuel cells (SOFCs) is advantageous as it enables to heat and steam from the exothermic hydrogen oxidation reaction in the endothermic steam reforming reaction. However, it may increase potentially deteriorating temperature gradients as well. The temperature and concentration profiles can be accurately...
journal article 2019
document
Borst, C. (author), Visser, Roeland M. (author), van Paassen, M.M. (author), Mulder, Max (author)
In many work domains, the push toward higher levels of automation raises the concern of diminishing human expertise. Ecological interfaces could help operators in retaining and potentially even in acquiring expertise as they are hypothesized to lead to a deeper understanding of the work domain. This study explores the short-term impact of...
journal article 2019
Searched for:
(1 - 20 of 502)

Pages