- document
-
Elahi, H. (author), Geilen, M. (author), Basten, T. (author)Streaming systems are naturally modeled with synchronous dataflow graphs (SDFGs). The max-plus semantics of an SDFG is a compact matrix representation of its timing behavior. The max-plus semantics enables us to analyze and control timing properties of the systems, such as the obtainable minimum guaranteed throughput and maximum latency....article 2023
- document
- Visser, J.H.M. (author), Garzon-Amortegui, J.F. (author), Nijland, T.G. (author), Hermanns, S.P.M. (author) conference paper 2023
- document
-
Walraven, J. (author), Dieteren, G. (author)For the assessment of concrete structures in the new fib Model Code 2020 (fib MC 2020), three categories are distinguished: (1) the residual capacity of existing structures without damage, (2) the residual capacity of structures suffering deterioration, and (3) the residual capacity of structures with noncompliant details. In the accompanying...article 2023
- document
-
Oortwijn, W. (author), Hendriks, D. (author)This deliverable describes two pilots performed by TNO-ESI together with Cordis and Additive Industries, for enhancing computer-aided design for low-code development, by applying synthesis. Specifying low-code (Cordis SUITE) models in a way to guarantee necessary safety/user requirements is difficult. We demonstrate that correct control...report 2023
- document
-
van den Bovenkamp, N. (author), Giraldo Chavarriaga, J.S. (author), Mauricio Salazar Duque, E. (author), Vergara, P.P. (author), Konstantinou, C. (author), Palensky, P. (author)This paper introduces an energy management system (EMS) aiming to minimize electricity operating costs using reinforcement learning (RL) with a linear function approximation. The proposed EMS uses a Q-learning with tile coding (QLTC) algorithm and is compared to a deterministic mixed-integer linear programming (MILP) with perfect forecast...conference paper 2023
- document
-
li Piani, T. (author), Weerheijm, J. (author), Sluys, L.J. (author)Adobe is a traditional masonry made of sundried earthen bricks and mud mortar. Despite a millennial history of buildings of architectural value, adobe still connotes a so called ‘not engineered’ construction type. Namely, the material and structural properties of adobe are still not entirely addressed, resulting in an equally uncertain normative...article 2022
- document
-
Maljaars, J. (author), Leonetti, D. (author), Hashemi, B. (author), Snijder, H.H.B. (author)This paper presents a probabilistic framework to derive the safety factors for fatigue of steel and composite steel concrete road bridges. Engineering models are used for the design and the safety factor is derived in such a way that the design meets the target reliability set by international Eurocode and ISO standards, estimated using measured...article 2022
- document
-
Bigaj - Van Vliet, A.J. (author), Allaix, D.L. (author), Kohler, D. (author), Scibilia, E. (author)This contribution is outlining the vision and approach developed in the IM-SAFE project towards the standardisation of monitoring, data-informed safety assessment and predictive maintenance policies of bridges and tunnels considering the integration of digital innovations and reports on the initial activity in the IM-SAFE project [1] that is...conference paper 2022
- document
- Marques, J.F. (author), Varbanov, B.M. (author), Moreira, M.S. (author), Ali, H. (author), Muthusubramanian, N. (author), Zachariadis, C. (author), Battistel, F. (author), Beekman, M.W. (author), Haider, S.N. (author), Vlothuizen, W. (author), Bruno, A. (author), Terhal, B.M. (author), DiCarlo, L. (author) article 2022
- document
-
Detterer, P. (author), Nabi, M. (author), Jiao, H. (author), Basten, T. (author)The energy efficiency of an Internet of Things (IoT) receiver can be improved by introducing an adjustable tradeoff between signal quality and energy consumption. In good channel conditions, the receiver can be set to consume less energy per bit, without compromising signal quality in bad channel conditions. We propose a system-level receiver...article 2022
- 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
-
Mooij, A.J. (author), Ketema, J. (author), Klusener, S. (author), Schuts, M. (author)Over time, software tends to grow more complex, hampering understandability and further development. To reduce accidental complexity, model-based rejuvenation techniques have been proposed. These techniques combine reverse engineering (extracting models) with forward engineering (generating code). Unfortunately, model extraction can be error...conference paper 2020
- document
- Spini, G. (author), Zemor, G. (author) article 2020
- document
-
Coenen, P. (author), Robroek, S.J.W. (author), van der Beek, A.J. (author), Boot, C.R.L. (author), van Lenthe, F.J. (author), Burdorf, A. (author), Oude Hengel, K.M. (author)Background: This individual patient data (IPD) meta-analysis aimed to investigate socioeconomic inequalities in effectiveness on healthy behavior of, and compliance to, workplace health promotion programs. Methods: Dutch (randomized) controlled trials were identified and original IPD were retrieved and harmonized. A two-stage meta-analysis was...article 2020
- document
-
Thomas, E. (author), Gabriel, A. (author), el Assal, K.M. (author)In traditional video decoding applications, the number of elementary streams that a hardware decoding platform of an end device can decode is determined at runtime by the. Upon request by the application, the decoding platform verifies whether a new decoding instance with an associated requirement in terms of data rate can fit under the current...conference paper 2020
- document
-
Rangnau, T. (author), van Buijtenen, R. (author), Fransen, F. (author), Turkmen, F. (author)Continuous Integration (CI) and Continuous Delivery (CD) have become a well-known practice in DevOps to ensure fast delivery of new features. This is achieved by automatically testing and releasing new software versions, e.g. multiple times per day. However, classical security management techniques cannot keep up with this quick Software...conference paper 2020
- document
-
Thomas, E.D.R. (author), Gabriel, A. (author), Niamut, O.A. (author), Dijkstra-Soudarissane, S.S. (author)The current state of the art of video coding lacks specific tools to efficiently deal with ultra-high resolutions such as 8K video both at a hardware and software level. At the same time, the increase in video resolutions combined with a larger variety in display resolutions results in a need for spatial scalability at low computational...conference paper 2019
- document
-
Dahlberg, A. (author), Skrzypczyk, M. (author), Coopmans, T. (author), Wubben, L. (author), Rozpedek, F. (author), Pompili, M. (author), Stolk, A. (author), Pawełczak, P. (author), Knegjens, R.J. (author), de Oliveira Filho, J.A. (author), Hanson, R. (author), Wehner, S. (author)Quantum communication brings radically new capabilities that are provably impossible to attain in any classical network. Here, we take the first step from a physics experiment to a fully fledged quantum internet system. We propose a functional allocation of a quantum network stack and construct the first physical and link layer protocols that...conference paper 2019
- document
-
Neumann, N.M.P. (author), Nauta, J.C. (author), Phillipson, F. (author)Running general quantum algorithms on quantum computers is hard, especially in the early stage of development of the quantum computer that we are in today. Many resources are required to transform a general problem to be run on a quantum computer, for instance to satisfy the topology constraints of the quantum hardware. Furthermore, quantum...conference paper 2019
- document
-
Jorguseski, L. (author), Zhang, H. (author), Dijkstra-Soudarissanane, S. (author), Golinski, M. (author)This study investigates the feasibility of using Long Term Evolution (LTE) cellular networks for the real-time smart grid state estimation. The smart grid state estimation requires measurement reports from different nodes installed in the smart grid. Therefore, the uplink LTE radio delay performance is selected as key performance indicator for...article 2019