(1 - 20 of 336)

Pages

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
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
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
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
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
document
Flötteröd, Y.P. (author), Behrisch, M. (author), Hendriks, M. (author), Bonne, J.B. (author), Vullings, H.J.L.M. (author), Bruining, R.W. (author)
In this paper, the focus is put on the integration of XVR, SE-Star and SUMO simulators via the Driver+ test-bed, where XVR provides different learning environments for all levels of incident command, SE-Star handles crowd simulation and SUMO focuses on vehicular simulation and routing. With the test-bed and the provided services these simulation...
conference paper 2019
document
Vasenev, A. (author), Hendriks, T. (author)
At the pre-concept stage, an architect explores the problem space together with various stakeholders, including engineers, marketing, and future users of the system. This requires competencies and tactics to communicate efficiently while maintaining a system-level scope. We present a practical Structured Problem Exploration approach to assist...
conference paper 2019
document
Hendriks, M. (author), Vullings, H.J.L.M. (author), van Campen, S. (author), Hameete, P. (author)
In the Crisis Management (CM) domain, there is a need for quickly setting up a trial or exercise to test or train new or existing CM solutions and procedures. The EU-funded DRIVER+ project developed an open source cloudbased simulation framework, which provides a quick and easy way to connect simulators and (C2-like) solutions in such a way that...
conference paper 2019
document
van Brussel, P. (author), Geertse, M. (author), Hendriks, R. (author), Kort, V. (author), Wobbolts, S. (author), van Alphen, J. (author), Hulshof, J. (author), Gieskens, B. (author), Nauta, N.J. (author), van Meerveld, H. (author)
Gemeenten en schoolbersturen in Noord-Nederland hebben de kans om het scholenbestand een kwaliteitsimpuls te geven. Aantrekkelijke scholen bouwen die duurzaam, aardbevings- en toekomstbestendig zijn. De aardbevingen problematiek heeft gezorgd voor fondsen en momentum. Het is nu de uitdaging om deze kans maximaal te benutten
book 2018
document
Ara, H.A. (author), Behrouzian, A. (author), Hendriks, M. (author), Geilen, M. (author), Goswami, D. (author), Basten, T. (author)
Multi-scale dataflow models have actors acting at multiple granularity levels, e.g., a dataflow model of a video processing application with operations on frame, line, and pixel level. The state of the art timing analysis methods for both static and dynamic dataflow types aggregate the behaviours across all granularity levels into one, often...
article 2018
(1 - 20 of 336)

Pages