- document
-
Chakraborty, S.S. (author), Krishna, Shankara Narayanan (author), Mathur, Umang (author), Pavlogiannis, Andreas (author)Weak-memory models are standard formal specifications of concurrency across hardware, programming languages, and distributed systems. A fundamental computational problem is consistency testing: is the observed execution of a concurrent program in alignment with the specification of the underlying system? The problem has been studied...journal article 2024
- document
-
Ale, B.J.M. (author), Slater, David H. (author)As today's engineering systems have become increasingly sophisticated, assessing the efficacy of their safety-critical systems has become much more challenging. The more classical methods of “failure” analysis by decomposition into components related by logic trees, such as fault and event trees, root cause analysis, and failure mode and...journal article 2023
- document
-
Tunç, Hünkar Can (author), Abdulla, Parosh Aziz (author), Chakraborty, S.S. (author), Krishna, Shankaranarayanan (author), Mathur, Umang (author), Pavlogiannis, Andreas (author)Over the years, several memory models have been proposed to capture the subtle concurrency semantics of C/C++. One of the most fundamental problems associated with a memory model M is consistency checking: given an execution X, is X consistent with M? This problem lies at the heart of numerous applications, including specification testing and...journal article 2023
- document
-
Taipalus, Toni (author), Miedema, Daphne (author), Aivaloglou, E.A. (author)Querying a relational database is typically taught in practice by using an exercise database. Such databases may be simple toy examples or elaborate and complex schemas that mimic the real world. Which of these are preferable for students is yet unknown. Research has shown that while more complex exercise databases may hinder learning, they...conference paper 2023
- document
-
Meggouh, Mamoun (author)Construction projects are filled with uncertainty. Such projects are becoming more complex: Many different interrelated aspects that are subject to change play a role in the delivery of construction work. This makes it interesting to know what exactly is uncertain in these projects, and what can be done to manage uncertainty. The aim of this...master thesis 2022
- document
-
van der Bijl-Brouwer, M. (author)Transdisciplinary research is claimed to be essential in tackling today’s complex societal challenges. Transdisciplinarity includes collaboration and integration across academic disciplines, non-academic ways of knowing, and the ‘real world’ of citizens, professionals and other stakeholders. Design can contribute to transdisciplinarity by...conference paper 2022
- document
-
Kuitert, Lizet (author), Volker, Leentje (author), Hermans, M.H. (author)Complex project networks confront project actors, with value pluralism originating from a plethora of competing organizational and institutional systems related to the project environment. Using a single urban redevelopment case study, we present a dynamic understanding of the emergence and nature of conflicts in different conflict arenas of...journal article 2022
- document
-
Kersten, W.C. (author), Diehl, J.C. (author), van Engelen, J.M.L. (author)It seems relevant for designers who are dealing with complex societal issues to be able to assess whether they appreciate the complexity of the design task sufficiently before the stages of the design and production process are reached, as these require informed decisions before committing substantial resources. We put forward that the ...journal article 2022
- document
-
Liu, Y. (author), Houwing, E.J. (author), Hertogh, M.J.C.M. (author), Yuan, Ziwei (author), Liu, Huimin (author)Research on explorative learning has primarily focused on the organizational level. Not much research has been done at the megaproject level, which is a more complex form of organizing. Therefore, it is advisable to analyze how the pursuit of explorative learning is enabled at the megaproject level. This research draws upon the case study of...journal article 2022
- document
-
Huang, Yu-Ching (author)Hong Kong is full of complexities in its culture and space, showing in the movies. The clear imageability allows it presents itself through city structures, landmarks, and architectural objects in the city, playing a vital role for people to recognize and be impressed. In addition to the spatial aspect, the cultural complexities undoubtedly...student report 2021
- document
-
Vermeulen, Jeroen (author)Purpose – The entropy algorithm is a recently developed statistic for quantifying the complexity of time series data. To date, research of biomechanics and motor control discussed whether entropy algorithms could be used as a convenient tool to identify healthy gait function, to evaluate outcomes of physical therapies and to monitor the...master thesis 2021
- document
-
Champlin, C.J. (author), Flacke, Johannes (author), Dewulf, Geert P.M.R. (author)A frequent criticism of knowledge-based planning tools is the apparent mismatch between information frameworks used in their spatial models and the information needs of planning actors. Increasingly, these actors are contributing their context-specific knowledge during the development of such tools. Transferring this knowledge from actors to the...journal article 2021
- document
-
Chappin, E.J.L. (author)Over the years, it has become clearer and clearer: the energy transition is taking shape. Research on the energy transition also evolves. In the TPM Energy Transition Lab, we aim to take an interdisciplinary approach to expand our knowledge on ‘what works’ and ‘what doesn’t’, when it comes to the coming decades in the energy transition. We bring...report 2021
- document
-
Fenten, Jan (author), Bohm, N.L. (author), Van den Berg, Bas (author)The challenges we collectively face, such as climate change, are characterized by more complexity, interdependence, and dynamism than is common for educational practice. This presents a challenge for (university) education. These sustainability transition challenges are often described as wicked or VUCA (Volatile, Uncertain, Complex, and...conference paper 2021
- document
-
Roungas, V. (author), Bekius, F.A. (author), Verbraeck, A. (author), Meijer, S.A. (author)Gaming simulations (games) for policy and decision making have been the neglected “sibling” of educational and training games. The latter have experienced a widespread usage by practitioners and researchers, while the former have had limited, yet slowly increasing, adoption by organisations. As a result, various issues developing and using these...journal article 2020
- document
-
Shi, Qianqian (author), Hertogh, M.J.C.M. (author), Bosch-Rekveldt, M.G.C. (author), Zhu, Jianbo (author), Sheng, Zhaohan (author)The goal of this study is to identify, classify, explore, and understand decision-making complexity elements in major infrastructure projects (MIPs). This article puts forward systematic definitions of decision making, decision-making quality, and decision-making complexity. Based on literature reviews and an in-depth case analysis of Hong...journal article 2020
- document
-
Strikwerda, Ynze (author)A large number of the project organisations of large infrastructure construction projects have difficulties coping with the current static and dynamic project complexities. Researches, however, suggest that adding extra complexities to the project could create synergies and therefore new solutions. An increase in project complexity could...master thesis 2019
- document
-
Bassem Tarek Abdelraheem Elsayed Safieldeen, Bassem (author)We present a powerful approach for learning about uncomputability and undecidability in informationtheory. Our approach is to use automata from automata theory that have undecidable properties toconstruct channels for which an information-theoretic quantity is uncomputable or undecidable. Wedemonstrate this approach by showing that, for channels...master thesis 2019
- document
-
Grift, Misha (author)The beginning of the millenium has initiated the transformation of the space market to a globally private space industry, distinguished by relatively young and commercially minded aerospace businesses, which is known as NewSpace. Airbus Defence and Space Netherlands B.V. (Airbus DS NL) aspires to anticipate on this transition and has initiated...master thesis 2019
- document
-
Švent, Nejc (author)The planning, implementation and operation of large infrastructure projects brings together a range of stakeholders with variously aligned interests and risk perceptions. In project-financed infrastructure, lenders are a specific stakeholder whose risk analyses need to understand a project’s technical substance as a basis for appraising the...master thesis 2019