(1 - 20 of 342)

Pages

document
Timmermans, R.M.A. (author), van Pinxteren, D. (author), Kranenburg, R. (author), Hendriks, C. (author), Fomba, K.W. (author), Herrmann, H. (author), Schaap, M. (author)
Due to its serious health impact particulate matter is one of the air pollutants subject to abatement policies. Information on the main sources responsible for high concentrations of pollutants is therefore crucial to enable effective policy measures. In this study we compared two different methods for attribution of particulate matter...
article 2022
document
Wesselius, J.H. (author), van den Aker, J. (author), Doornbos, R. (author), Hendriks, T. (author), Marincic, J. (author), Tabingh Suermondt, W. (author)
report 2022
document
Hooimeijer, B. (author), Geilen, M. (author), Groote, J. (author), Hendriks, D. (author), Schiffelers, R. (author)
Model learning, learning a state machine from software, can be an effective model-based engineering technique, especially to understand legacy software. However, so far the applicability is limited as models that can be learned are quite small, often insufficient to represent the software behavior of large industrial systems. We introduce a...
conference paper 2022
document
Kotti, S.E. (author), Heusdens, R. (author), Hendriks, R.C. (author)
The use of wireless acoustic sensor networks (WASNs) has received increased attention over the last decade. The advantages of WASNs over stand-alone multi-microphone devices are that the microphone array is not anymore limited by the dimensions of a single device, and that microphones can be placed at arbitrary locations. One of the...
conference paper 2021
document
Hendriks, R. (author)
public lecture 2021
document
Hendriks, T. (author)
conference paper 2021
document
Engen, M. (author), Hendriks, M.A.N. (author), Monti, G. (author), Allaix, D.L. (author)
When non-linear finite element analyses are used in design of new or assessment of existing concrete structures, one should account for the modelling uncertainty before conclusions are drawn based on the results. The present article describes the basis for how this topic is treated in the draft of fib Model Code 2020. There are two components of...
article 2021
document
Quak, H. (author), van Duin, R. (author), Hendriks, B. (author)
Urban consolidation centres (UCCs) have been discussed over many years in the city logistics literature. The amount of successful UCCs in the long run were, and are, very scarce, though. Little is published on the practical issues and experiences of running a UCC and offering UCC-services. In the Netherlands, Binnenstadservice (BSS) has run UCCs...
conference paper 2020
document
Timmermans, R. (author), Kranenburg, R. (author), Hendriks, C. (author), Thürkow, M. (author), Kirchner, I. (author), van Pinxteren, D. (author), Schaap, M. (author)
In Eastern Germany winter episodes with PM10 exceedances of EU limit values are often connected to continental air masses, combining polluted air from Eastern Europe with air pollution from local urban sources. The EU air quality legislation requires the analysis of the contribution of such cross-boundary transport to exceedances for development...
conference paper 2020
document
Hendriks, T. (author), Triantafyllidis, K. (author), Mathijssen, R. (author), Wesselius, J. (author), van de Laar, P. (author)
bookPart 2020
document
den Hollander, R.J.M. (author), Adhikari, A. (author), Tolios, I. (author), van Bekkum, M. (author), Bal, A. (author), Hendriks, S. (author), Kruithof, M.C. (author), Gross, D. (author), Jansen, N. (author), Perez, G. (author), Buurman, K. (author), Raaijmakers, S.A. (author)
conference paper 2020
document
Hendriks, H. (author), van de Rest, O. (author), Snippe, A. (author), Kieboom, J. (author), Hogenelst, K. (author)
Long-term alcohol abuse is associated with poorer cognitive performance. However, the associations between light and moderate drinking and cognitive performance are less clear. We assessed this association via cross-sectional and longitudinal analyses in a sample of 702 Dutch students. At baseline, alcohol consumption was assessed using...
article 2020
document
van der Mijle Meijer, H.J. (author), Caboni, M. (author), Saraswati, N. (author), Verhoef, J.P. (author), Slot, H.M. (author), Gonzalez-Aparicio, I. (author), Teuwen, J. (author), Verma, A. (author), di Noi, S. (author), Junike, A. (author), Kreeft, J. (author), Hendriks, C. (author)
WINDCORE staat voor "Wind turbine control strategies to reduce wind turbine blade rain droplet erosion". De afname van de energieopbrengst gedurende de gebruiksduur van windturbines wordt mede veroorzaakt door het optreden van schade aan de windturbinebladen als gevolg van druppelslagerosie. Dit schademechanisme aan het neusprofiel van een...
report 2020
document
Behrouzian, A.R.B. (author), Goswami, D. (author), Basten, T. (author), Geilen, M. (author), Alizadeh Ara, H. (author), Hendriks, M. (author)
(m, k)-firm real-time tasks require meeting the deadline of at least m jobs out of any k consecutive jobs. When compared to hard real-time tasks, (m, k)-firm tasks open up the possibility of tighter resource-dimensioning in implementations. Firmness analysis verifies the satisfaction of (m, k)-firmness conditions. Scheduling policies under which...
conference paper 2020
document
vanden Berg, F. (author), Camra, V. (author), Hendriks, M. (author), Geilen, M. (author), Hnetynka, P. (author), Manteca, F. (author), Sanchez, P. (author), Bures, T. (author), Basten, T. (author)
Cyber-physical systems (CPS) are complex, heterogeneous, and dynamic systems, spanning hardware and software components ranging from edge devices to cloud platforms. CPS need to satisfy many rigorous constraints, e.g., with respect to deadlines, safety, and quality, yielding a large configuration space where only a limited number of...
conference paper 2020
document
Presvyri, S. (author), Yang, Y. (author), Hendriks, M. (author), Visser, J. (author), Hordijk, D. (author)
With the recent developments in modelling the shear behaviour of reinforcement concrete (RC) members without transverse reinforcement, the contribution of aggregate interlock has been more and more recognized as one of the critical components in the shear resistance of RC members. This paper presents a study on the aggregate interlock action...
conference paper 2019
document
Boersma, A. (author), Wang, Y. (author), Bäumer, S.M.B. (author), Lucas, P. (author), Willekers, R.W. (author), Halpin, A. (author), Gomez Rivas, J. (author), Hendriks, N. (author), den Toonder, J. (author)
Stimulated Emission Depletion (STED)lithography is generally recognized as a very promising tool to overcome the Abbe diffraction limit and manufacture 3D submicron features using a mask-less lithography step. It has been shown to be able to create 100 nm resolution, 10 nm feature size features in a polymer resin. However, STED is not widely...
other 2019
document
Yang, N. (author), Aslam, K. (author), Schiffelers, R. (author), Lensink, L. (author), Hendriks, D. (author), Cleophas, L. (author), Serebrenik, A. (author)
Inferring behavioral models (e.g., state machines) of software systems is an important element of re-engineering activities. Model inference techniques can be categorized as active or passive learning, constructing models by (dynamically) interacting with systems or (statically) analyzing traces, respectively. Application of those techniques in...
conference paper 2019
document
Jasper, M. (author), Mues, M. (author), Murtovi, A. (author), Schlüter, M. (author), Howar, F. (author), Steffen, B. (author), Schordan, M. (author), Hendriks, D. (author), Schiffelers, R. (author), Kuppens, H. (author), Vaandrager, F.W. (author)
This paper covers the Rigorous Examination of Reactive Systems (RERS) Challenge 2019. For the first time in the history of RERS, the challenge features industrial tracks where benchmark programs that participants need to analyze are synthesized from real-world models. These new tracks comprise LTL, CTL, and Reachability properties. In addition,...
conference paper 2019
document
Thuijsman, S. (author), Hendriks, D. (author), Theunissen, R. (author), Reniers, M. (author), Schiffelers, R. (author)
We consider supervisor synthesis of Extended Finite Automata that are represented using Binary Decision Diagrams (BDDs). Peak used BDD nodes and BDD operation count are introduced as platform independent and deterministic metrics that quantitatively indicate the computational effort needed to synthesize a supervisor. The use of BDD operation...
conference paper 2019
(1 - 20 of 342)

Pages