- document
-
Denkers, J. (author), Brunner, Marvin (author), van Gool, Louis (author), Visser, Eelco (author)Within the printing industry, much of the variety in printed applications comes from the variety in finishing. Finishing comprises the processing of sheets of paper after being printed, e.g. to form books. The configuration space of finishers, i.e. all possible configurations given the available features and hardware capabilities, are large....conference paper 2021
- document
-
Visser, J.L. (author)Integrated design is a frequently used term in academics and practice. However, a common ground in the application of terminology, methodology, and description of insights from practice with respect to integrated design is lacking. Therefore, this dissertation describes a framework for integrated design that can be used as a platform for...doctoral thesis 2020
- 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, Massimo (author), Thoen, David (author), Visser, Sven (author), Bueno Lopez, J. (author), Baselmans, J.J.A. (author), Sarro, Pasqualina 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
-
Visser, P.M. (author), Mol, M.A. (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
-
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), Visser, Eelco (author)The Stratego language supports program transformation by means of term rewriting with programmable rewriting strategies. Stratego's traversal primitives support concise definition of generic tree traversals. Stratego is a dynamically typed language because its features cannot be captured fully by a static type system. While dynamic typing makes...conference paper 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
-
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
-
Giunti, Guido (author), Goossens, R.H.M. (author), de Bont, Antoinette (author), Visser, J.J. (author), Mulder, Mark (author), Schuit, Stephanie C.E. (author)The physical and social distancing measures that have been adopted worldwide because of COVID-19 will probably remain in place for a long time, especially for senior adults, people with chronic conditions, and other at-risk populations. Teleconsultations can be useful in ensuring that patients continue to receive clinical care while reducing...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
-
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
-
Smits, J. (author), Konat, G.D.P. (author), Visser, Eelco (author)Context Compilation time is an important factor in the adaptability of a software project. Fast recompilation enables cheap experimentation with changes to a project, as those changes can be tested quickly. Separate and incremental compilation has been a topic of interest for a long time to facilitate fast recompilation. Inquiry Despite the...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
-
Middelburg, L.M. (author), Ghaderi, M. (author), Visser, J.H. (author), Wolffenbuttel, 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
-
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
-
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