Searched for: collection%3Air
(1 - 20 of 334)

Pages

document
Ho Huu, V. (author), Hartjes, S. (author), Visser, H.G. (author), Curran, R. (author)
This paper presents a new multi-objective optimization formulation for the design and allocation of optimal aircraft departure routes. In the considered problem – besides two conventional objectives based on cumulative noise criteria and fuel burn – a new objective considering the flight frequency is introduced. Moreover, to take advantage of...
journal article 2018
document
Smits, J.E.P. (author), Eigenraam, P. (author), Gkaidatzis, R. (author), Visser, Dirk Rinze (author), Wong, Kailin (author), Wassermann-Fry, Stephan (author)
This paper investigates the symbiotic relationship between the architectural appearance of a bridge and the structural design. The research is done by reviewing and comparing the design methodology employed by the first author in the conceptualization of two of his bridges; an early work from 1997 and a recent work from 2017. The review of the...
journal article 2018
document
Mao, X. (author), Visser, P.N.A.M. (author), van den IJssel, J.A.A. (author)
The European Space Agency (ESA) Swarm mission is a satellite constellation launched on 22 November 2013 aiming at observing the Earth geomagnetic field and its temporal variations. The three identical satellites are equipped with high-precision dual-frequency Global Positioning System (GPS) receivers, which make the constellation an ideal...
journal article 2018
document
Jiang, M. (author), Visser, O.W. (author), Prasetya, I.S.W.B. (author), Iosup, A. (author)
Mobile gaming is already a popular and lucrative market. However, the low performance and reduced power capacity of mobile devices severely limit the complexity of mobile games and the duration of their game sessions. To mitigate these issues, in this article, we explore using computation‐offloading, that is, allowing the compute‐intensive parts...
journal article 2018
document
Konat, G.D.P. (author), Steindorfer, M.J. (author), Erdweg, S.T. (author), Visser, Eelco (author)
Context.
Software development pipelines are used for automating essential parts of software engineering processes, such as build automation and continuous integration testing. In particular, interactive pipelines, which process events in a live environment such as an IDE, require timely results for low-latency feedback, and persistence to...
journal article 2018
document
de Souza Amorim, L.E. (author), Steindorfer, M.J. (author), Visser, Eelco (author)
Context Context-free grammars are widely used for language prototyping and implementation. They allow formalizing the syntax of domain-specific or general-purpose programming languages concisely and declaratively. However, the natural and concise way of writing a context-free grammar is often ambiguous. Therefore, grammar formalisms support...
journal article 2018
document
Van der Bent, Eduard (author), Hage, Jurriaan (author), Visser, Joost (author), Gousios, Giorgos (author)
Puppet is a declarative language for configuration management that has rapidly gained popularity in recent years. Numerous organizations now rely on Puppet code for deploying their software systems onto cloud infrastructures. In this paper we provide a definition of code quality for Puppet code and an automated technique for measuring and rating...
conference paper 2018
document
Ho Huu, V. (author), Hartjes, S. (author), Visser, H.G. (author), Curran, R. (author)
The multi-objective evolutionary algorithm based on decomposition (MOEA/D) has been recognized as a promising method for solving multi-objective optimization problems (MOPs), receiving a lot of attention from researchers in recent years. However, its performance in handling MOPs with complicated Pareto fronts (PFs) is still limited,...
journal article 2018
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
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
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
ten Veen, Nick (author), Harkes, D.C. (author), Visser, Eelco (author)
Modern web applications are interactive. Reactive programming languages and libraries are the state-of-the-art approach for declaratively specifying these interactive applications. However, programs written with these approaches contain error-prone boilerplate code for efficiency reasons. In this paper we present PixieDust, a declarative user...
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
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
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
Verhagen, C.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
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
Marcoen, Kristof (author), Visser, P (author), Trindade, G. F. (author), Abel, M. L. (author), Watts, J. F. (author), Mol, J.M.C. (author), Terryn, H.A. (author), Hauffman, T. (author)
Organic primer coatings loaded with environmentally harmful Cr(VI) corrosion inhibitive pigments still play an important role in corrosion protection of aluminium alloys for the aerospace industry. A potential “green” alternative coating system has recently been developed, loaded with lithium salt corrosion inhibitors. Under exposure to...
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
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
Searched for: collection%3Air
(1 - 20 of 334)

Pages