- document
-
Abou Eddahab-Burke, F. (author), Horvath, I. (author)This second Part of the paper (i) develops a detailed procedural model for handling complicated research problematics, (ii) transfers the procedural framework into a scenario of processing steps, (iii) demonstrates the deployment of the procedural scenario in a sample case, and (iv) addresses some important issues of research model development...journal article 2024
- document
-
Poulsen, C.B. (author)Substitution is a common and popular approach to implementing name binding in definitional interpreters. A common pitfall of implementing substitution functions is variable capture. The traditional approach to avoiding variable capture is to rename variables. However, traditional renaming makes for an inefficient interpretation strategy....conference paper 2023
- document
-
Leliveld, André (author), Bhaduri, Saradindu (author), Knorringa, Peter (author), van Beers, Cees (author)This chapter sets the scene for the Handbook on Frugal Innovation. First, it describes the origins of the concept of frugal innovation and its emergence as an academic field of interest. Then, main drivers behind frugal innovation are explored. From the scholarly discussion on frugal innovation major themes are distilled that inform the...book chapter 2023
- document
-
Sioli, A. (author)Engaging the educational context, topic, working process, and theoretical framework of the first month of The Space of Words design studio, this article addresses the threshold of graduate education. The article presents the potential for stories and modelmaking to foster strong collaborations among peers — particularly within a multicultural...journal article 2023
- document
-
Kluba, M.M. (author)The progress in the field of neurostimulation is impressive, both from a technical as well as from a therapeutic point of view. Nowadays, the electrical stimulation of the nervous system can be used to induce or suppress muscle responses. Additionally, it can also influence hearing, vision, immune system response, pain perception, and even...doctoral thesis 2022
- document
-
Mauro, F. (author), Vassalos, Dracos (author), Paterson, Donald (author), Boulougouris, Evangelos (author)A more contemporary damaged stability assessment of a passenger ship can be addressed with a non-zonal approach, assessing multiple damage types and environmental conditions and employing dynamic analysis for ship survivability. This direct method necessitates the generation and simulation of many damage scenarios. However, the probabilistic...journal article 2022
- document
-
Shaharudin, Ashraf (author), van Loenen, B. (author), Janssen, M.F.W.H.A. (author)The role of open data intermediaries is considered instrumental in the supply and use of open data. There are various definitions of open data intermediaries in the literature and some of them are quite different from each other. These definitions<br/>can benefit from harmonization so knowledge about open data intermediaries can be developed on...journal article 2022
- document
-
Li, Zhongxi (author), Li, Z. (author), Tashakor, Nima (author), Peterchev, Angel (author), Goetz, Stefan M. (author)The paper proposes an Asymmetrical Modular Multilevel Converter (AMMC) suitable for low/medium-voltage dc-ac conversions with very high output quality. The modules' dc-links of the AMMC are charged to a binary exponential sequence to produce a large number of output levels using only a few modules.The concept of using asymmetrical dc-links...conference paper 2022
- document
-
van Veen, Barbara L. (author), Ortt, J.R. (author)The research into the perception of early signals, the so-called weak signals, started in the field of strategic planning in the 1970s. Soon, research dispersed into new, specialized fields, such as foresight, sense-making, and entrepreneurial alertness. Each field used different terms for weak signals and framed the research in its own...journal article 2021
- document
-
Yan, Y. (author), Helmons, R.L.J. (author), Wheeler, Craig (author), Schott, D.L. (author)A previous study revealed that a convex pattern surface can reduce sliding wear of a transfer chute. A convex pattern surface is a flat surface outfitted with a pattern of convexes defined by five parameters. A three-level definitive screening design (DSD) method combined with discrete element method (DEM) is used to investigate the influence...journal article 2021
- document
-
Colucci, E. (author), Kokla, M. (author), Noardo, F. (author)Because of the need for new sustainable future alternatives, the re-inhabitation of rural areas, hinterlands, small historical urban centres and villages has become a unique real opportunity. Therefore, it is necessary to define and adopt new sustainable urban planning and building permits to follow this path. These processes involve both...journal article 2021
- document
-
Rouvoet, A.J. (author), Poulsen, C.B. (author), Krebbers, R.J. (author), Visser, Eelco (author)An intrinsically-typed definitional interpreter is a concise specification of dynamic semantics, that is executable and type safe by construction. Unfortunately, scaling intrinsically-typed definitional interpreters to more complicated object languages often results in definitions that are cluttered with manual proof work. For linearly-typed...working paper 2020
- document
-
de Souza Amorim, L.E. (author), Visser, Eelco (author)SDF3 is a syntax definition formalism that extends plain context-free grammars with features such as constructor declarations, declarative disambiguation rules, character-level grammars, permissive syntax, layout constraints, formatting templates, placeholder syntax, and modular composition. These features support the multi-purpose...conference paper 2020
- document
-
Smits, J. (author), Konat, G.D.P. (author), Visser, Eelco (author)Context Compilation time is an important factor in the adaptability of a software project. Fast recompilation enables cheap experimentation with changes to a project, as those changes can be tested quickly. Separate and incremental compilation has been a topic of interest for a long time to facilitate fast recompilation. Inquiry Despite the...journal article 2020
- document
-
Blokland, P.J. (author), Reniers, G.L.L.M.E. (author)When discussing the concepts of risk, safety, and security, people have an intuitive understanding of what these concepts mean and to a certain level, this understanding is universal. However, when delving into the meaning of the words and concepts in order to fully understand all their aspects, one is likely to fall into a semantic debate...book chapter 2020
- document
-
Mensing, Adrian D. (author), van Antwerpen, H. (author), Poulsen, C.B. (author), Visser, Eelco (author)Symbolic execution is a technique for automatic software validation and verification. New symbolic executors regularly appear for both existing and new languages and such symbolic executors are generally manually (re)implemented each time we want to support a new language. We propose to automatically generate symbolic executors from language...conference paper 2019
- document
-
Vergu, V.A. (author), Tolmach, Andrew (author), Visser, Eelco (author)DynSem is a domain-specific language for concise specification of the dynamic semantics of programming languages, aimed at rapid experimentation and evolution of language designs. To maintain a short definition-to-execution cycle, DynSem specifications are meta-interpreted. Meta-interpretation introduces runtime overhead that is difficult to...conference paper 2019
- document
-
de Souza Amorim, L.E. (author)Programming languages are one of the key components of computer science,<br/>allowing programmers to control, define, and change the behaviour of computer<br/>systems. However, programming languages require considerable effort to design, implement, and maintain. Fortunately, declarative approaches can be used to define programming languages...doctoral thesis 2019
- document
-
Conversano, I. (author), del Conte, Livia (author), Mulder, I. (author)Although Value Sensitive Design offers a theoretical and methodological framework to account for values in design, many questions and controversies are left. The current work aims to contribute to this value debate, by taking stock of large Research through Design (RtD) programs including their developed artifacts, to explore to what extent the...conference paper 2019
- document
-
Koutrouvelis, A. (author), Hendriks, R.C. (author), Heusdens, R. (author), Jensen, Jesper (author)The recently proposed relaxed binaural beamforming (RBB) optimization problem provides a flexible tradeoff between noise suppression and binaural-cue preservation of the sound sources in the acoustic scene. It minimizes the output noise power, under the constraints, which guarantee that the target remains unchanged after processing and the...journal article 2019