- document
-
Zhou, H. (author), Dorsman, J.L. (author), Mandjes, M. (author), Snelder, M. (author)Nowadays, many cities are intending to reduce the use of private vehicles. Governments are incorporating new mobility services and are adapting their parking policies to promote a more sustainable mobility, as both stra tegies are believed to have the potential to reduce private vehicle use. To understand the effects of these stra tegies, one...article 2023
- document
-
Zhou, H. (author), Dorsman, J.L. (author), Mandjes, M. (author), Snelder, M. (author)Nowadays, many cities are intending to reduce the use of private vehicles. Governments are incorporating new mobility services and are adapting their parking policies to promote a more sustainable mobility, as both strategies are believed to have the potential to reduce private vehicle use. To understand the effects of these strategies, one...bookPart 2022
- document
-
Neumann, N.M.P. (author), van Heesch, M.P.P. (author), Phillipson, F. (author), Smallegange, A.A.P. (author)Quantum computers have the potential to outshine classical alternatives in solving specific problems, under the assumption of mature enough hardware. A specific subset of these problems relate to military applications. In this paper we consider the state-of-the-art of quantum technologies and different applications of this technology....conference paper 2021
- document
-
Gruben, G. (author), Dillingh, B. (author), Kaldal, G.S. (author), Hoang, N.H. (author), Wollenweber, J. (author), Rørvik, G. (author), Thorbjornsson, I. (author), Nyhus, B. (author)Ultra-high temperature geothermal wells (>450 °C) have a large potential for increased energy yield as compared to conventional high-temperature geothermal wells (200-300 °C), but several research challenges must be resolved before robust operation in this temperature range can be achieved. In this study, yield- and tensile strength data for...article 2021
- document
-
Merlet, R. (author), Winnubst, L. (author), Nijmeijer, A. (author), Amirilargani, M. (author), Sudholter, E.J.R. (author), de Smet, L.C.P.M. (author), Salvador Cob, S. (author), Vandezande, P. (author), Dorbec, M. (author), Sluijter, S. (author), van Veen, H. (author), VanDelft, Y. (author), Wienk, I. (author), Cuperus, P. (author), Behera, S. (author), Hartanto, Y. (author), Vankelecom, I.F.J. (author), de Wit, P. (author)Organic solvent nanofiltration (OSN) is gradually expanding from academic research to industrial implementation. The need for membranes with low and sharp molecular weight cutoffs that are able to operate under aggressive OSN conditions is increasing. However, the lack of comparable and uniform performance data frustrates the screening and...article 2021
- document
-
Pronk, A. (author), Nuckols, J.R. (author), de Roos, A.J. (author), Airola, M. (author), Colt, J.S. (author), Cerhan, J.R. (author), Morton, L. (author), Cozen, W. (author), Severson, R. (author), Blair, A. (author), Cleverly, D. (author), Ward, M.H. (author)Following publication of the original article [1], the authors reported an error in the unit of the average emission metric (AEI). The AEI was incorrectly reported as nanograms (ng) toxic equivalency quotient (TEQ)/year in the abstract, methods, discussion, and Table 1. The correct unit is grams (g) TEQ/year. The authors apologize for this error.article 2021
- document
-
Safari, M. (author), Oortwijn, W. (author), Huisman, M. (author)Many real-world problems such as internet routing are actually graph problems. To develop efficient solutions to such problems, more and more parallel graph algorithms are proposed. This paper discusses the mechanized verification of a commonly used parallel graph algorithm, namely the Bellman–Ford algorithm, which provides an inherently...conference paper 2021
- document
-
Bourgonje, A.R. (author), Offringa, A.K. (author), van Eijk, L.E. (author), Abdulle, A.E. (author), Hillebrands, J.L. (author), van der Voort, P.H.J. (author), van Goor, H. (author), van Hezik, E.J. (author)Significance: Hydrogen sulfide (H2S) is one of the three main gasotransmitters that are endogenously produced in humans and are protective against oxidative stress. Recent findings from studies focusing on coronavirus disease 2019 (COVID-19), caused by the severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), shifted our attention to a...article 2021
- document
- Diran, D.D.D. (author), Hoppe, T. (author), Ubacht, J. (author), Slob, A. (author), Blok, K. (author) article 2020
- document
-
Sewell, F. (author), Strupp, C. (author), van der Laan, J.W. (author), Wolf, D.C. (author), Wolterink, G. (author), Woutersen, R. (author), Zvonar, Z. (author), Heusinkveld, H. (author), Braakhuis, H. (author)Currently the only methods for non-genotoxic carcinogenic hazard assessment accepted by most regulatory authorities are lifetime carcinogenicity studies. However, these involve the use of large numbers of animals and the relevance of their predictive power and results has been scientifically challenged. With increased availability of innovative...article 2020
- document
-
Jansen, M.M. (author), Delahaij, R. (author)This study builds on the experiences of a Dutch reconnaissance platoon deployed in Afghanistan in which leadership was not accepted. Setup as a qualitative single case study, this article advances our understanding of how group dynamics and contextual factors might impact the acceptance of leadership. Rather than primarily focusing on the...article 2020
- document
-
de Leede, J. (author), Drupsteen, L. (author), Schrijver, E. (author), Goudswaard, A. (author), Dag, N. (author), van der Weide, J. (author), Verbiest, S. (author)Purpose: The purpose of this paper is to understand how small and medium enterprises (SMEs) cope with the need for labour flexibility. Most previous studies ignore the labour flexibility practices of SMEs, especially in times of economic growth and tight labour markets. Design/methodology/approach: A multiple case study approach is applied, with...article 2020
- document
-
Coenen, P. (author), Hulsegge, G. (author), Daams, J.G. (author), van Geenen, R.G. (author), Kerkhoffs, G.M. (author), van Tulder, M.W. (author), Huirne, J.A. (author), Anema, J.R. (author), Kuijser, P.P. (author)Objectives Orthopaedic surgery is primarily aimed at improving function and pain reduction. Additional integrated care may enhance patient’s participation in sports and work, possibly improving performance of physical activities and quality of life (QoL). We aimed to assess the effectiveness of integrated care among orthopaedic surgery patients....article 2020
- document
-
Hussain, I. (author), Awan, M.A. (author), Souto, P.F. (author), Bletsas, K. (author), Akesson, B. (author), Tovar, E. (author)The well-known model of Vestal aims to avoid excessive pessimism in the quantification of the processing requirements of mixed-criticality systems, while still guaranteeing the timeliness of higher-criticality functions. This can bring important savings in system costs, and indirectly help meet size, weight and power constraints. This efficiency...article 2020
- document
-
Koirala, B.P. (author), van Oost, E. (author), van der Windt, H. (author)With energy transition gaining momentum, energy storage technologies are increasingly spotlighted as they can effectively handle mismatches in supply and demand. The decreasing cost of distributed energy generation technologies and energy storage technologies as well as increasing demand for local flexibility is opening up new possibilities for...article 2020
- document
-
Waa, J.V.D. (author), Schoonderwoerd, T. (author), Diggelen, J.V. (author), Neerincx, M. (author)Decision support systems (DSS) have improved significantly but are more complex due to recent advances in Artificial Intelligence. Current XAI methods generate explanations on model behaviour to facilitate a user's understanding, which incites trust in the DSS. However, little focus has been on the development of methods that establish and...article 2020
- document
-
Hussain, I. (author), Bletsas, K. (author), Awan, M.A. (author), Akesson, B. (author), Souto, P.F. (author), Tovar, E. (author)The well-known model of Vestal aims to avoid excessive pessimism in the quantification of the processing requirements of mixed-criticality systems, while still guaranteeing the timeliness of higher-criticality functions. This can bring important savings in system costs, and indirectly help meet size, weight and power constraints. This efficiency...conference paper 2019
- document
-
van Doesburg, R. (author), van Engers, T.M. (author)This is a report of the explicit interpretation of the Dutch Aliens Act using the Calculemus method and the FLINT language. The method has been used before to make normative interpretations of regulations that form the basis for specific services to be delivered by governmental agencies and of legal cases. In this paper, the authors make an...conference paper 2019
- document
-
Janssen, R. (author), Tretmans, J. (author)A well-known conformance relation for model-based testing is ioco. A conformance relation expresses when an implementation is correct with respect to a specification. Unlike many other conformance and refinement relations, ioco has different domains for implementations and for specifications. Consequently, ioco is neither reflexive nor...conference paper 2019
- document
-
Schröder, P. (author), Vergragt, P. (author), Brown, H.S. (author), Dendler, L. (author), Gorenflo, N. (author), Matus, K. (author), Quist, J. (author), Rupprecht, C.D.D. (author), Tukker, A. (author), Wennersten, R. (author)Urban consumption patterns and lifestyles are increasingly important for the sustainability of cities today and in the future. However, considerations of consumption issues, social norms, behaviour and lifestyles within current urban sustainability research and practices are limited. Much untapped potential for the reduction of the environmental...article 2019