Searched for:
(1 - 20 of 611)

Pages

document
Rouvoet, A.J. (author), Poulsen, C.B. (author), Krebbers, R.J. (author), Visser, Eelco (author)
An intrinsically-typed definitional interpreter is a concise specification of dynamic semantics, that is executable and type safe by construction. Unfortunately, scaling intrinsically-typed definitional interpreters to more complicated object languages often results in definitions that are cluttered with manual proof work. For linearly-typed...
working paper 2020
image
Visser, G. (author)
Document(en) uit de collectie Chemische Procestechnologie.
technical drawing 1924
image
Visser, G.H. (author)
Document(en) uit de collectie Chemische Procestechnologie.
technical drawing 1927
image
Visser, C. (author)
Document(en) uit de collectie Chemische Procestechnologie
technical drawing 1924
document
Visser, T. (author)
When making an land use map of an area with the use of remote sensing data, additional data from the ground is needed for this area, the so called ‘ground truth’. By combining the datasets a a land use classification can be done, relating a pixel with the actual situation on the ground. The collection of the ground data is labour intensive since...
student report 2015
document
Kleijn, Sarah (author), Visser, Swaen (author), Vollaers, Vita (author), Wiggins, Joris (author), van Wijngaarden, Jeroen (author)
The main focus of this project is to gain insight into feasible strategies for sustainable water supply in a community inhabited by indigenous people. This was done by an intervention study in a small village called El Progreso in the province of Colon, on the Caribbean coast of Panama. The project aims to provide safe drinking water to the 80...
student report 2018
document
Visser, R. (author)
Although shoreface nourishments are an increasingly interesting option for coastal managers to counteract coastal erosion, their design is often highly empirical. A better understanding of the way shoreface nourishments interact with the initial beach profile may help to reduce the degree of empiricism in nourishment design. Literature study has...
student report 2017
document
Visser, Adriaan (author)
An onshore seismic survey is best conducted symmetrically, due to the reciprocity theorem of the wave field. Within the family of symmetric geometries the cross spread is most used. Recent developments show a marked increase of the number of available channels, nowadays 100,000+. This enables the use of point receivers, meaning that every...
student report 2018
document
Visser, Froukje (author), van Beek, Hidde (author), den Held, Lisanne (author), Groen, Dennis (author)
In recent years the need for action against climate change has severely grown. Action is needed now and circularity can help to make sectors more sustainable. The agri-food sector plays a big role in this, as we need three times the surface area of our country to support the needs of the inhabitants.The agri-food sector is putting too much...
student report 2021
document
Kosari, A. (author), Zandbergen, H.W. (author), Tichelaar, F.D. (author), Visser, P. (author), Terryn, H.A. (author), Mol, J.M.C. (author)
Identifying corrosion initiation events in metals and alloys demands techniques that can provide temporal and spatial resolution simultaneously. Transmission electron microscopy (TEM) enables one to obtain microstructural and chemical descriptors of materials at atomic/nanoscopic level and has been used in corrosion studies of many metal...
review 2020
document
Geertsma, R.D. (author), Negenborn, R.R. (author), Visser, K. (author), Hopman, J.J. (author)
The recent trend to design more efficient and versatile ships has increased the variety in hybrid propulsion and power supply architectures. In order to improve performance with these architectures, intelligent control strategies are required, while mostly conventional control strategies are applied currently. First, this paper classifies...
review 2017
document
Nedeljković, Marija (author), Visser, Jeanette (author), Šavija, B. (author), Valcke, Siska (author), Schlangen, E. (author)
This paper discusses the state-of-the-art of the fine recycled concrete aggregates (fRCA), focusing on their physical and chemical properties, engineering properties and durability of concretes with fRCA. Based on the systematic review of the published literature, it is impossible to deduce without any further research the guidelines and...
review 2021
document
Visser, L. (author), Van der Zwan, J. (author)
Document(en) uit de collectie Chemische Procestechnologie
report 1979
document
Bouwers, E. (author), Van Deursen, A. (author), Visser, J. (author)
In the evaluation of implemented software architectures, metrics can be used to provide an indication of the degree of encapsulation within a system and to serve as a basis for an informed discussion about how well-suited the system is for expected changes. Current literature shows that over 40 different architecture-level metrics are available...
report 2011
document
Steetzel, H.J. (author), Visser, P.J. (author)
In het kader van het in ontwikkeling zijnde mathematische model voor bresgroei zijn de bruikbare sedimenttransportformuleringen geëvalueerd.
report 1994
document
Visser, W.F.J. (author)
report 2000
document
Hemel, Z. (author), Visser, E. (author)
A new generation of mobile touch devices, such as the iPhone, Android and iPad, are equipped with powerful, modern browsers. However, regular websites are not optimized for the specific features and constraints of these devices, such as limited screen estate, unreliable Internet access, touch-based interaction patterns, and features such as GPS....
report 2011
document
Visser, W.F.J. (author)
report 2000
document
Tijssen, S.B. (author), Van der Veen, K. (author), Visser, M.P. (author)
Oceanographic observations were made during Autumn 1970 and Spring 1971. Special attention is given to the salinity maximum at about 100 m depth, resulting from the subtropical intermediate water possibly from both northern and southern origin. To obtain an insight in the spreading of these water types isentropic analysis according to Montgomery...
report 1976
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:
(1 - 20 of 611)

Pages