- 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
-
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
-
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