Searched for: +
(1 - 20 of 99)

Pages

document
Van Rheenen, E.S. (author), Padding, J.T. (author), Visser, K. (author)
Hydrogen carriers are attractive alternative fuels for the shipping sectors. They are zero-emission, have high energy densities, and are safe, available, and easy to handle. Sodium borohydride, potassium borohydride, dibenzyltoluene, n-ethylcarbazole, and ammoniaborane are interesting hydrogen carriers, with high theoretical energy densities....
conference paper 2024
document
Broekens, K.A. (author), Klop, Wimar (author), Moens, Thijs (author), Eschen, M. (author), Castro do Amaral, G. (author), Silverstri, Fabrizio (author), Visser, Martijn (author), Kaffa, Lauren (author), Saathof, R. (author)
For the next generation of very high throughput communication satellites, free-space optical (FSO) communication between ground stations and geostationary telecommunication satellites is a potential solution to overcome the limitations of RF links. To mitigate atmospheric turbulence effects, TNO proposes Adaptive Optics (AO) to apply uplink...
conference paper 2023
document
Jiang, M. (author), Baart, F. (author), Visser, K. (author), Hekkenberg, R.G. (author), van Koningsveld, M. (author)
The availability of supporting bunker infrastructure for zero-emission energy sources will be key to accommodate zero-emission inland waterway transport (IWT). However, it remains unclear which (mix of) zero-emission energy sources to prepare for, and how to plan the bunker infrastructure in relative positions and required capacity at corridor...
conference paper 2023
document
Song, Minyoung (author), Huang, Yu (author), Shen, Yiyu (author), Shi, Chengyao (author), Breeschoten, Arjan (author), Konijnenburg, Mario (author), Visser, Huib (author), Romme, J.P.A. (author), Dutta, Barundeb (author), Alavi, S.M. (author)
Intra-cortical extracellular neural sensing is being rapidly and widely applied in several clinical research and brain-computer interfaces (BCIs), as the number of sensing channels continues to double every 6 years. By distributing multiple high-density extracellular micro-electrode arrays (MEAs) in vivo across the brain, each with 1000's of...
conference paper 2022
document
Carzana, L. (author), Visser, P.N.A.M. (author), Heiligers, M.J. (author)
Solar sailing is a propellantless propulsion method that takes advantage of solar<br/>radiation pressure to generate thrust. The last decades have seen the launch of<br/>several solar-sail missions to demonstrate the technology’s potential for space<br/>exploration and exploitation. Even more missions are scheduled for launch in<br/>the near...
conference paper 2022
document
Anderson, K.S. (author), Visser, Denise (author), Mannen, Jan-Willem (author), Jiang, Yuxiang (author), van Deursen, A. (author)
Background: Applying Continuous Experimentation on a large scale is not easily achieved. Although the evolution within large tech organisations is well understood, we still lack a good understanding of how to transition a company towards applying more experiments. Objective: This study investigates how practitioners define, value and apply...
conference paper 2022
document
van Veldhuizen, B.N. (author), van Biert, L. (author), Visser, K. (author), Hopman, J.J. (author)
To continue its operations, the marine industry needs to comply with emission regulations. Solid Oxide Fuel Cells (SOFCs) are considered a promising solution, since it can generate energy athigh efficiency and low NOX, SOX and particulate matter emissions. Another advantage of SOFCsis fuel flexibility, meaning several fuels can be applied in...
conference paper 2022
document
Van Rheenen, E.S. (author), Padding, J.T. (author), Slootweg, J.C. (author), Visser, K. (author)
Increasing pressure on the reduction or elimination of the use of fossil fuels in shipping requires the application of new maritime fuel alternatives. Green and circular produced hydrogen as a maritime fuel in fuel cell systems offers a great solution for these concerns. A fuel cell system has a zero emission performance, solid state silent...
conference paper 2022
document
Nedeljković, Marija (author), Visser, Jeanette (author), Nijland, Timo G. (author), Valcke, Siska (author), Schlangen, Erik (author)
In the Netherlands, beside cement replacement with more green cement types, there is also an urgent need for alternative materials for natural sand in new concrete in order to make it circular. Furthermore, the recyclers have raised questions regarding upscaling and the potential of fine recycled concrete aggregates (fRCA) in structural concrete...
conference paper 2021
document
Carzana, L. (author), Visser, P.N.A.M. (author), Heiligers, M.J. (author)
Solar sailing is a spacecraft propulsion method relying solely on solar radiation pressure to provide thrust and is therefore propellantless by nature. Although it represents a practical and promising propulsion system particularly suited for heliocentric flight regimes, near-term sailcraft missions will remain Earth-bound due to the current...
conference paper 2021
document
van Antwerpen, H. (author), Visser, Eelco (author)
Compilers that can type check compilation units in parallel can make more efficient use of multi-core architectures, which are nowadays widespread. Developing parallel type checker implementations is complicated by the need to handle concurrency and synchronization of parallel compilation units. Dependencies between compilation units are...
conference paper 2021
document
Nedeljković, Marija (author), Visser, Jeanette (author), Nijland, Timo G. (author), Valcke, Siska (author), Schlangen, E. (author)
In the Netherlands, beside cement replacement with more green cement types, there is also an urgent need for alternative materials for natural sand in new concrete in order to make it circular. Furthermore, the recyclers have raised questions regarding upscaling and the potential of fine recycled concrete aggregates (fRCA) in structural concrete...
conference paper 2021
document
Gurvits, L. (author), Paragi, Zsolt (author), Amils, Ricardo I. (author), van Bemmel, Ilse (author), Casasola, Viviana (author), Conway, John (author), Masania, K. (author), Rajan, R.T. (author), Visser, P.N.A.M. (author)
Ultra-high angular resolution in astronomy has always been an important vehicle for making fundamental discoveries. Recent results in direct imaging of the vicinity of the super-massive black hole in the nucleus of the radio galaxy M87 by the millimeter VLBI system Event Horizon Telescope (EHT) and various pioneering results of the Space VLBI...
conference paper 2021
document
Denkers, J. (author), Brunner, Marvin (author), van Gool, Louis (author), Visser, Eelco (author)
Within the printing industry, much of the variety in printed applications comes from the variety in finishing. Finishing comprises the processing of sheets of paper after being printed, e.g. to form books. The configuration space of finishers, i.e. all possible configurations given the available features and hardware capabilities, are large....
conference paper 2021
document
Groenewegen, D.M. (author), van Chastelet, E. (author), Visser, Eelco (author)
Web applications are ideal for implementing information systems; they can organize and persist the data in a database, do not require installation on client machines, and can be instantly updated everywhere. However, web programming is complex due to its heterogeneous nature, causing web frameworks to suffer from insufficient or leaky...
conference paper 2020
document
Middelburg, L.M. (author), Ghaderi, Mohammadamir (author), Bilby, David (author), Visser, J.H. (author), Zhang, Kouchi (author), Wolffenbuttel, R.F. (author)
Impedance spectroscopy in the frequency range 100 Hz to 10 kHz has been applied to the Inter-Digitated Electrode (IDE) structure that is conventionally operated as a resistive sensor for the measurement of Particulate Matter (PM). The measurement of both the in-phase (resistive) and out-of-phase (capacitive) components of the impedance over this...
conference paper 2020
document
Smits, J. (author), Visser, Eelco (author)
The Stratego language supports program transformation by means of term rewriting with programmable rewriting strategies. Stratego's traversal primitives support concise definition of generic tree traversals. Stratego is a dynamically typed language because its features cannot be captured fully by a static type system. While dynamic typing makes...
conference paper 2020
document
de Souza Amorim, L.E. (author), Visser, Eelco (author)
SDF3 is a syntax definition formalism that extends plain context-free grammars with features such as constructor declarations, declarative disambiguation rules, character-level grammars, permissive syntax, layout constraints, formatting templates, placeholder syntax, and modular composition. These features support the multi-purpose...
conference paper 2020
document
Pelsmaeker, D.A.A. (author), van Antwerpen, H. (author), Visser, Eelco (author)
New programming languages often lack good IDE support, as developing advanced semantic editor services takes additional effort. In previous work we discussed the operational requirements of a constraint solver that leverages the declarative type system specification of a language to provide language-parametric semantic editor services. In...
conference paper 2019
document
Mensing, Adrian D. (author), van Antwerpen, H. (author), Poulsen, C.B. (author), Visser, Eelco (author)
Symbolic execution is a technique for automatic software validation and verification. New symbolic executors regularly appear for both existing and new languages and such symbolic executors are generally manually (re)implemented each time we want to support a new language. We propose to automatically generate symbolic executors from language...
conference paper 2019
Searched for: +
(1 - 20 of 99)

Pages