Searched for: collection%3Air
(61 - 80 of 341)

Pages

document
Middelburg, L.M. (author), de Graaf, G. (author), Ghaderi, M. (author), Bossche, A. (author), Bastemeijer, J. (author), Visser, J.H. (author), Soltis, R.E. (author), Wolfenbuttel, R.F. (author)
The optical absorption of water-containing bio-fuel is investigated as a parameter to determine the gasoline content of this fuel. Optical measurements reveal that gasoline shows an interesting and useful spectrum with typical absorption behavior in the UV range between 230 and 300 nm. This result indicates that significant information can be...
journal article 2016
document
Konat, G.D.P. (author), Erdweg, S.T. (author), Visser, Eelco (author)
It is common practice to bootstrap compilers of programming languages. By using the compiled language to implement the compiler, compiler developers can code in their own high-level language and gain a large-scale test case. In this paper, we investigate bootstrapping of compiler-compilers as they occur in language workbenches. Language...
conference paper 2016
document
Visser, T. (author), de Visser, C.C. (author), van Kampen, E. (author)
In recent research efforts the multivariate simplex spline has shown great promise in system identification applications. It has high approximation power, while its linearity in the parameters allows for computationally efficient estimation of the coefficients. In this paper the multivariate simplotope spline is derived from this spline, and...
conference paper 2016
document
Visser, T. (author), Doornbos, E.N. (author), de Visser, C.C. (author), Visser, P.N.A.M. (author), Fritsche, B (author)
In recent studies thermospheric densities and cross-winds have been derived from linear acceleration measurements of the gradiometer on board the GOCE satellite. Our current work is aimed at analyzing also the angular accelerations, in order to improve the thermosphere density and wind data by allowing for the estimation of more unknown...
conference paper 2016
document
Hartjes, S. (author), Visser, H.G. (author)
In this study, a genetic optimization algorithm is applied to the design of environmentally friendly aircraft departure trajectories. The environmental optimization has been primarily focused on noise abatement and local NOx emissions, whilst taking fuel burn into account as an economical criterion. In support of this study, a novel...
journal article 2016
document
Lemmens, D. (author), Bisschop, F. (author), Visser, P.J. (author), van Rhee, C. (author)
Dikes constructed from sand generally have a sand core and clay layers on the slopes and the crest to protect the core against erosion. In extreme hydraulic conditions, several failure mechanisms can lead to destruction of the clay layers, exposing the sand core to water. When water overtops the dike and the protective cover of the land-side...
journal article 2016
document
Visser, P (author), Liu, Y (author), Terryn, H.A. (author), Mol, J.M.C. (author)
Lithium salts are being investigated as leachable corrosion inhibitor and potential replacement for hexavalent chromium in organic coatings. Model coatings loaded with lithium carbonate or lithium oxalate demonstrated active corrosion inhibition and the formation of a protective layer in a damaged area during neutral salt spray exposure. The...
journal article 2016
document
van Antwerpen, H. (author), Neron, P.J.M. (author), Tolmach, Andrew (author), Visser, Eelco (author), Wachsmuth, G.H. (author)
In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We...
conference paper 2016
document
Mirakhorlo, M (author), Visser, J.M.A. (author), Goislard de Monsabert, B.A.A.X. (author), van der Helm, F.C.T. (author), Maas, H. (author), Veeger, H.E.J. (author)
A musculoskeletal model of the hand and wrist can provide valuable biomechanical and neurophysiological insights, relevant for clinicians and ergonomists. Currently, no consistent data-set exists comprising the full anatomy of these upper extremity parts. The aim of this study was to collect a complete anatomical data-set of the hand and wrist,...
journal article 2016
document
van Biert, L (author), Godjevac, M. (author), Visser, K. (author), Purushothaman Vellayani, A. (author)
Progressing limits on pollutant emissions oblige ship owners to reduce the environmental impact of their operations. Fuel cells may provide a suitable solution, since they are fuel efficient while they emit few hazardous compounds. Various choices can be made with regard to the type of fuel cell system and logistic fuel, and it is unclear...
journal article 2016
document
Peeters, P. (author), Heredia Gomez, M. (author), van Damme, M. (author), Visser, P.J. (author)
Within the frame work of the realisation of the ‘Sigmaplan’ for the river Schelde in Flanders (Belgium), a large-scale dike breaching experiment following overflow was held at Lillo (Antwerp) in 2012. The outcomes of the breach test serve to unveil the impact of a chosen breach growth model, to set application limits, to come up with guidelines...
conference paper 2016
document
Herrema, Herrema Floris (author), Treve, V (author), Curran, R. (author), Visser, H.G. (author)
currently, at many airports, the runway throughput is the limiting factor for the overall capacity. Among the most important constraining parameters is the separation minima expressed in distance. On the top of these minima, the difference of the leader and follower aircraft speed profiles imposes to consider buffer to cope with compression...
conference paper 2016
document
Visser, H.G. (author), Lopes Dos Santos, Bruno F. (author), Verhagen, C.M.A. (author)
This paper describes the development of an optimization-based cooperative planning system for the efficient routing and scheduling of flight formations. This study considers the use of formation flight as a means to reduce the overall fuel consumption of civil aviation in long-haul operations. It elaborates on the operational implementation of...
conference paper 2016
document
Verbeek, R.J.D. (author), Visser, H.G. (author)
The Single European Sky is being introduced to improve the efficiency of flight and traffic operations by reforming the air traffic management system. Despite all of these technical advances, airlines choose detours to avoid high route charges. This mechanism is intensified when fuel prices are low. The single unit rate method has been proposed...
conference paper 2016
document
Visser, T. (author), De Visser, C.C. (author), Van Kampen, E.J. (author)
A novel method for aircraft system identification is presented that is based on a new multivariate spline type; the multivariate multiplex B-spline. The multivariate multiplex B-spline is a generalization of the recently introduced tensor-simplex B-spline. Multivariate multiplex splines obtain similar or better approximation accuracy using less...
conference paper 2015
document
Van Antwerpen, H. (author), Néron, P. (author), Tolmach, A. (author), Visser, E. (author), Wachsmuth, G. (author)
In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We...
report 2015
document
Vergu, V. (author), Neron, P. (author), Visser, E. (author)
The formal definition the semantics of a programming language and its implementation are typically separately defined, with the risk of divergence such that properties of the formal semantics are not properties of the implementation. In this paper, we present DynSem, a domain-specific language for the specification of the dynamic semantics of...
report 2015
document
Van Antwerpen, H. (author), Néron, P. (author), Tolmach, A. (author), Visser, E. (author), Wachsmuth, G. (author)
In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We...
report 2015
document
Van Antwerpen, H. (author), Neron, P. (author), Tolmach, A. (author), Visser, E. (author), Wachsmuth, G. (author)
We extend and combine two existing declarative formalisms, the scope graphs of Neron et al. and type constraint systems, to build a language-independent theory that can describe both name and type resolution for realistic languages with complex scope and typing rules. Unlike conventional static semantics presentations, our approach maintains a...
report 2015
document
Liu, Y. (author), Visser, P. (author), Zhou, X. (author), Lyon, S.B. (author), Hashimoto, T. (author), Curioni, M. (author), Gholinia, A. (author), Thompson, G.E. (author), Smyth, G. (author), Gibbon, S.R. (author), Graham, D. (author), Mol, J.M.C. (author), Terryn, H.A. (author)
An investigation into corrosion inhibition properties of a primer coating containing lithium carbonate as corrosion inhibitive pigment for AA2024 aluminum alloy was conducted. It was found that, during neutral salt spray exposure, a protective film of about 0.2 to 1.5 ?m thickness formed within the area where an artificial defect was introduced...
journal article 2015
Searched for: collection%3Air
(61 - 80 of 341)

Pages