Searched for:
(81 - 100 of 451)

Pages

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
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...
poster 2016
document
de Koning Gans, H.J. (author), Visser, K. (author)
report 2016
document
Koning Gans, H.J. (author), Visser, K. (author)
report 2016
document
Onstein, A.T.C. (author), Visser, J.G.S.N. (author), Tavasszy, Lorant (author), van Ham, J.C. (author)
The logistics industry is an important sector for the Dutch economy. Distribution centres (DCs) are important to perform logistics activities. In 2015 the demand for logistics real estate has been particularly high compared to previous years. To facilitate the logistics sector and to develop sustainable spatial policies – that for example reduce...
conference paper 2016
document
Friso, 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), 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
document
Van Chastelet, E. (author), Visser, E. (author), Anslow, C. (author)
Federated conferences such as SPLASH are complex orga- nizations composed of many parts (co-located conferences, symposia, and workshops), and are put together by many different people and committees. Developing the website for such a conference requires a considerable effort, and is often reinvented for each edition of a conference using...
conference paper 2015
document
Visser, M.C. (author), Gattol, V. (author), Van der Helm, R. (author)
Traditionally, marketing of sustainable products addresses green buyers, thus missing out on the mainstream consumers and volume necessary to cover the potentially higher cost of more sustainable materials. However, how to effectively communicate more sustainable products to mainstream consumers and to increase their buying intention is still...
journal article 2015
document
Feng, J. (author), Noomen, R. (author), Visser, P.N.A.M. (author), Yuan, J. (author)
The existence and characteristics of periodic orbits (POs) in the vicinity of a contact binary asteroid are investigated with an averaged spherical harmonics model. A contact binary asteroid consists of two components connected to each other, resulting in a highly bifurcated shape. Here, it is represented by a combination of an ellipsoid and a...
journal article 2015
document
Visser, P.N.A.M. (author)
public lecture 2015
document
Neron, P.J.M. (author), Tolmach, A.P. (author), Visser, E. (author), Wachsmuth, G. (author)
We describe a language-independent theory for name binding and resolution, suitable for programming languages with complex scoping rules including both lexical scoping and modules. We formulate name resolution as a two stage problem. First a language-independent scope graph is constructed using language-specific rules from an abstract syntax...
report 2015
Searched for:
(81 - 100 of 451)

Pages