- 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
-
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.R. (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
-
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.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
-
Sui, Congbiao (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), 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
-
Middelburg, L.M. (author), Ghaderi, Mohammadamir (author), Bilby, David (author), Visser, Jaco H. (author), Zhang, Kouchi (author), Lundgren, Per (author), Enoksson, Peter (author), Wolffenbuttel, 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
-
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
-
Groenewegen, D.M. (author), van Chastelet, E. (author), Visser, Eelco (author)Web applications are ideal for implementing information systems; they can organize and persist the data in a database, do not require installation on client machines, and can be instantly updated everywhere. However, web programming is complex due to its heterogeneous nature, causing web frameworks to suffer from insufficient or leaky...conference paper 2020
- document
-
Müller, Fabian (author), Carraz, Olivier (author), Visser, P.N.A.M. (author), Witasse, Olivier (author)Cold Atom Interferometry (CAI) is a promising new technology for gravity missions, enabling measurements with a potential error level that is several orders of magnitude lower compared to classical electro-static accelerometers. Whereas the latter typically suffer from high noise at low frequencies, with biases and scale factor instabilities,...journal article 2020
- document
-
De Teixeira Da Encarnação, J. (author), Visser, P.N.A.M. (author), Arnold, Daniel (author), Bezdek, Ales (author), Doornbos, E.N. (author), Ellmer, Matthias (author), Guo, Junyi (author), van den IJssel, J.A.A. (author), Iorfida, E. (author)Although the knowledge of the gravity of the Earth has improved considerably with CHAMP, GRACE, and GOCE (see appendices for a list of abbreviations) satellite missions, the geophysical community has identified the need for the continued monitoring of the time-variable component with the purpose of estimating the hydrological and...journal article 2020
- document
-
Rouvoet, A.J. (author), van Antwerpen, H. (author), Poulsen, C.B. (author), Krebbers, R.J. (author), Visser, Eelco (author)There is a large gap between the specification of type systems and the implementation of their type checkers, which impedes reasoning about the soundness of the type checker with respect to the specification. A vision to close this gap is to automatically obtain type checkers from declarative programming language specifications. This moves...journal article 2020
- document
-
de Souza Amorim, L.E. (author), Visser, Eelco (author)SDF3 is a syntax definition formalism that extends plain context-free grammars with features such as constructor declarations, declarative disambiguation rules, character-level grammars, permissive syntax, layout constraints, formatting templates, placeholder syntax, and modular composition. These features support the multi-purpose...conference paper 2020
- 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
- document
-
Visser, T. (author)The decay of satellite orbits has been used extensively to obtain thermospheric density measurements. With the introduction of accelerometers in spacecraft, the spatial resolution of these data could be increased. At the same time, the direction of the measured acceleration provides a measure for the direction of the incoming flow, and therefore...doctoral thesis 2019
- document
-
Ho-Huu, V. (author), Hartjes, S. (author), Visser, H.G. (author), Curran, R. (author)In this article, we present the development of a two-step optimization framework to deal with the design and selection of aircraft departure routes and the allocation of flights among these routes. The aim of the framework is to minimize cumulative noise annoyance and fuel burn. In the first step of the framework, multi-objective trajectory...journal article 2019
- document
-
Mensing, Adrian D. (author), van Antwerpen, H. (author), Poulsen, C.B. (author), Visser, Eelco (author)Symbolic execution is a technique for automatic software validation and verification. New symbolic executors regularly appear for both existing and new languages and such symbolic executors are generally manually (re)implemented each time we want to support a new language. We propose to automatically generate symbolic executors from language...conference paper 2019
- document
-
Towards language-parametric semantic editor services based on declarative type system specificationsPelsmaeker, D.A.A. (author), van Antwerpen, H. (author), Visser, Eelco (author)New programming languages often lack good IDE support, as developing advanced semantic editor services takes additional effort. In previous work we discussed the operational requirements of a constraint solver that leverages the declarative type system specification of a language to provide language-parametric semantic editor services. In...conference paper 2019
- document
-
Hartjes, S. (author), Visser, H.G. (author), Hubar, Marco E.G.van Hellenberg (author)This paper presents a trajectory optimization study that has been conducted using a recently developed tool for the synthesis and analysis of extended flight formations of long-haul commercial aircraft, with the aim to minimize overall fuel consumption. In extended flight formations, trailing aircraft can attain an appreciable reduction in...journal article 2019