Searched for:
(21 - 40 of 429)

Pages

document
Poulsen, C.B. (author), Rouvoet, A.J. (author), Tolmach, Andrew (author), Krebbers, R.J. (author), Visser, Eelco (author)
A definitional interpreter defines the semantics of an object language in terms of the (well-known) semantics of a host language, enabling understanding and validation of the semantics through execution. Combining a definitional interpreter with a separate type system requires a separate type safety proof. An alternative approach, at least for...
journal article 2018
document
Visser, Mirjam (author), Schoormans, J.P.L. (author), Vogtländer, J.G. (author)
Although most people claim to prefer a more sustainable product, only a limited number of ‘green buyers’ act on their words at the moment of purchase. To find out how to get mainstream buyers to buy more sustainable products, we used data on 950 Western European buyers of 32 different vacuum cleaner models. The issue was why three out of four...
journal article 2018
document
van Antwerpen, H. (author), Poulsen, C.B. (author), Rouvoet, A.J. (author), Visser, Eelco (author)
Scope graphs are a promising generic framework to model the binding structures of programming languages, bridging formalization and implementation, supporting the definition of type checkers and the automation of type safety proofs. However, previous work on scope graphs has been limited to simple, nominal type systems. In this paper, we show...
journal article 2018
document
Dirkx, D. (author), Prochazka, Ivan (author), Bauer, Sven (author), Visser, P.N.A.M. (author), Noomen, R. (author), Gurvits, L. (author), Vermeersen, L.L.A. (author)
At present, tracking data for planetary missions largely consists of radio observables: range-rate (Doppler), range and angular position (VLBI/Δ DOR). Future planetary missions may use Interplanetary Laser Ranging (ILR) as a tracking observable. Two-way ILR will provide range data that are about 2 orders of magnitude more accurate than radio...
journal article 2018
document
Meeusen, M. (author), Visser, P. (author), Fernández Macía, L. (author), Hubin, A. (author), Terryn, H.A. (author), Mol, J.M.C. (author)
In this work, the study of the time-dependent behaviour of lithium carbonate based inhibitor technology for the active corrosion protection of aluminium alloy 2024-T3 is presented. Odd random phase electrochemical impedance spectroscopy (ORP-EIS) is selected as the electrochemical tool to study the corrosion protective properties of a model...
journal article 2018
document
Visser, T. (author), Doornbos, E.N. (author), de Visser, C.C. (author), Visser, P.N.A.M. (author), Fritsche, Bent (author)
journal article 2018
document
Visser, P. (author), Gonzalez Garcia, Y. (author), Mol, J.M.C. (author), Terryn, H.A. (author)
This study focuses on the elucidation of the formation mechanism of passive layers on AA2024-T3 during the exposure to alkaline lithium carbonate solutions in the presence of sodium chloride. Under controlled conditions, in an electrochemical cell, a protective layer was generated comprising an amorphous inner layer and a crystalline outer...
journal article 2018
document
Ho Huu, V. (author), Hartjes, S. (author), Visser, H.G. (author), Curran, R. (author)
Recently, a multi-objective evolutionary algorithm based on decomposition (MOEA/D) has emerged as a potential method for solving multi-objective optimization problems (MOPs) and attracted much attention from researchers. In MOEA/D, the MOPs are decomposed into a number of scalar optimization sub-problems, and these sub-problems are optimized...
conference paper 2018
document
Hartjes, S. (author), Visser, H.G. (author)
This paper discusses the development of a software suite that aims to optimize helicopter trajectories with respect to the noise impact on the ground. The software suite has been developed around an advanced gradient-based optimization algorithm based on optimal control theory. The helicopter trajectories are modeled using an eight-degree-of...
journal article 2018
document
Geertsma, R.D. (author), Visser, K. (author), Negenborn, R.R. (author)
and particulate matter (PM) emissions and due to underwater noise. On the other hand, multifunction ships such as offshore support vessels, anchor handling and towing vessels, naval vessels and wind farm construction and support vessels...
journal article 2018
document
Denkers, J. (author), van Gool, Louis (author), Visser, Eelco (author)
We present a tool architecture that supports migrating custom domain-specific language (DSL) implementations to a language workbench. We demonstrate an implementation of this architecture for models in the domains of defining component interfaces (IDL) and modeling system behavior (OIL) which are developed and used at a digital printer...
conference paper 2018
document
Harkes, D.C. (author), van Chastelet, E. (author), Visser, Eelco (author)
To provide empirical evidence to what extent migration of business logic to an incremental computing language (ICL) is useful, we report on a case study on a learning management system. Our contribution is to analyze a real-life project, how migrating business logic to an ICL affects information system validatability, performance, and...
conference paper 2018
document
de Souza Amorim, L.E. (author), Erdweg, S.T. (author), Steindorfer, M.J. (author), Visser, Eelco (author)
In layout-sensitive languages, the indentation of an expression or statement can influence how a program is parsed. While some of these languages (e.g., Haskell and Python) have been widely adopted, there is little support for software language engineers in building tools for layout-sensitive languages. As a result, parsers, pretty-printers,...
conference paper 2018
document
Verhagen, Collin M.A. (author), Visser, H.G. (author), Lopes Dos Santos, Bruno F. (author)
This paper describes the development of an optimization-based cooperative planning system for the efficient routing and scheduling of extended flight formations. This study considers the use of formation flight as a means to reduce the overall fuel consumption in long-haul airline operations. It elaborates on the operational implementation of...
journal article 2018
document
Homulle, Harald (author), Visser, Stefan (author), Patra, B (author), Charbon, E.E.E. (author)
journal article 2018
document
Visser, T. (author), March, G. (author)
other 2018
document
Hartjes, S. (author), van Hellenberg Hubar, Marco (author), Visser, H.G. (author)
In this paper a tool is developed that optimizes the trajectories of multiple airliners that seek to join in formation to minimize overall fuel consumption or direct operating cost. The developed optimization framework relies on optimal control theory to solve the multiple-phase optimization problem associated to flight formation assembly. A...
journal article 2018
document
March, G. (author), Doornbos, E.N. (author), Visser, P.N.A.M. (author)
other 2018
document
March, G. (author), Visser, T. (author), Doornbos, E.N. (author), Iorfida, E. (author), van den IJssel, J.A.A. (author), Visser, P.N.A.M. (author)
poster 2018
document
Konat, G.D.P. (author), Erdweg, S.T. (author), Visser, Eelco (author)
Incremental build systems are essential for fast, reproducible software builds. Incremental build systems enable short feedback cycles when they capture dependencies precisely and selectively execute build tasks efficiently. A much overlooked feature of build systems is the expressiveness of the scripting language, which directly influences the...
conference paper 2018
Searched for:
(21 - 40 of 429)

Pages