- 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
-
van Veldhuizen, B.N. (author), van Biert, L. (author), Aravind, P.V. (author), Visser, K. (author)The marine industry must reduce emissions to comply with recent and future regulations. Solid oxide fuel cells (SOFCs) are seen as a promising option for efficient power generation on ships with reduced emissions. However, it is unclear how the devices can be integrated and how this affects the operation of the ship economically and...review 2023
- document
-
Geertsma, R.D. (author), Negenborn, R.R. (author), Visser, K. (author), Hopman, J.J. (author)The recent trend to design more efficient and versatile ships has increased the variety in hybrid propulsion and power supply architectures. In order to improve performance with these architectures, intelligent control strategies are required, while mostly conventional control strategies are applied currently. First, this paper classifies...review 2017
- document
-
Gurvits, L. (author), Cimò, Giuseppe (author), Dirkx, D. (author), Pallichadath, V. (author), Altobelli, Nicolas (author), Bocanegra Bahamon, T.M. (author), Cazaux, S.M. (author), Vermeersen, L.L.A. (author), Visser, P.N.A.M. (author)Planetary Radio Interferometry and Doppler Experiment (PRIDE) is a multi-purpose experimental technique aimed at enhancing the science return of planetary missions. The technique exploits the science payload and spacecraft service systems without requiring a dedicated onboard instrumentation or imposing on the existing instrumentation any...review 2023
- document
-
Nedeljković, Marija (author), Visser, Jeanette (author), Šavija, B. (author), Valcke, Siska (author), Schlangen, E. (author)This paper discusses the state-of-the-art of the fine recycled concrete aggregates (fRCA), focusing on their physical and chemical properties, engineering properties and durability of concretes with fRCA. Based on the systematic review of the published literature, it is impossible to deduce without any further research the guidelines and...review 2021
- 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, T.H.A. (author) report 2015
- document
-
Pronk, C.N.A. (author), Visser, F.B. (author), Sijmonsma, R.M.M. (author)Within the studies on Advanced Man-Machine Interfaces and Crew Support (AMMI&CS), being part of the Crew Workstation Testbed activities at ESTEC, a Dutch consortium is preparing the implementation of the User Support Organisation (USO) concept in a ground-based mission simulation. The objective of the Implementation study is to demonstrate and...report 1993
- document
-
Steetzel, H.J. (author), Visser, P.J. (author)In het kader van het meerjarig onderzoek naar bresgroei is in dit verslag de vertikale ontwikkeling van een initiële bres beschreven aan de hand van de resultaten van een modelonderzoek.report 1992
- document
-
Bouwers, E. (author), Visser, J. (author), Van Deursen, A. (author)Accepted for publication in the Proceedings of the International Conference on Software Maintenance (ICSM), 2009, IEEE Computer Society. Software architecture evaluation methods aim at identifying potential maintainability problems for a given architecture. Several of these methods exist, which typically prescribe the structure of the evaluation...report 2009
- document
-
Rakels, H. (author), Visser, M. (author)Document(en) uit de collectie Chemische Procestechnologie.report 1987
- document
-
Visser, W. (author)Document uit de collectie Chemische Procestechnologiereport 1947
- document
-
Raemaekers, S. (author), Van Deursen, A. (author), Visser, J. (author)For API users, backward compatibility of new releases is important, as it permits safe and fast upgrading when the new release becomes available. To signal safe upgrading, version naming schemes such as semantic versioning provide strict rules on major (breaking changes permitted) versus minor and patch (no breaking changes permitted) releases....report 2014
- document
-
Kuijpers, E.A. (author), Visser, F.B. (author), Padeken, D. (author), Weber, T. (author), Karemaker, J.M. (author), Stok, W.J. (author)During the D-2 mission an opportunity exists to execute a pilot experiment concerning distributed scientific user support for Anthrorack. A Dutch scientist will act as co-Investigator at GSOC and will get remote support from another scientist at NLR Noordoostpolder. Also, various operations are required during preparation and post-processing...report 1992
- document
-
Van Deursen, A. (author), Visser, E. (author), Warmer, J. (author)Software systems need to evolve, and systems built using model-driven approaches are no exception. What complicates model-driven engineering is that it requires multiple dimensions of evolution. In regular evolution, the modeling language is used to make the changes. In meta-model evolution, changes are required to the modeling notation. In...report 2007
- document
-
Bouwers, E. (author), Lilienthal, C. (author), Visser, J. (author), Van Deursen, A. (author)Evaluating the complexity of the architecture of a softwaresystem is a difficult task. Many aspects have to be considered to come to a balanced assessment. Several architecture evaluation methods have been proposed, but very few define a quality model to be used during the evaluation process. In addition, those methods that do introduce a...report 2010
- document
- Visser, C. (author) report 1976
- document
-
Visser, M.P. (author)Complex oceanographic circumstances are often found near the island of Texel. Generally, large variations occur in the water density (salinity, temperature), both in horizontal and in vertical direction, and in the course of time. Current velocity and direction are often depth dependent. Interaction between one aspect and the other is not yet...report 1977
- document
-
Visser, F.B. (author)Het doel van deze notitie is het samenvatten van de ideeën die binnen de Nederlandse industrie en het NLR bestaan met betrekking tot gebruik van ruimte-infrastructuren en de daaraan gerelateerde technologie. Daarnaast wordt een beeld geschetst van de toekomstverwachtingen die bestaan.report 1995
- document
-
Bravenboer, M. (author), Kalleberg, K.T. (author), Vermaas, R. (author), Visser, E. (author)Preprint of paper published in: Science of Computer Programming (Elsevier), 72 (1-2), 2008; doi:10.1016/j.scico.2007.11.003 Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules...report 2008