Searched for: subject%3A%22definition%22
(1 - 20 of 63)

Pages

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
Khakimova, Maria (author)
While dependent types can allow programmers to verify properties of their programs, implementing a type checker for a dependent type theory is often difficult. This is due to the fact that, in the presence of dependent types, deciding the equality of types - conversion checking - becomes non-trivial. Due to an identified gap in literature...
bachelor thesis 2023
document
Chiu, Simba (author)
It is possible to improve the performance of planners by modifying the PDDL domain of a problem. The goal of this research is to implement this to the domain of the Train Unit Shunting Problem (TUSP). The research question we attempt to answer is: To what extent can we improve planner performance by optimizing the PDDL domain of TUSP? The main...
bachelor thesis 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
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
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
Maasland, Anouk (author)
The aim of this thesis is to study the dosimetric feasibility of FLASH proton therapy for early-stage breast cancer patients. The biological effect of FLASH is seen under ultra-high dose-rates conditions and is beneficial in the damage to healthy tissue. The FLASH effect could enable the clinical feasibility of definitive radiotherapy for low...
master thesis 2022
document
Ganz, Signe (author)
The formation of social space through architecture is becoming increasingly important in today's society. In order to design social space as effectively and sustainably as possible, however, it is first important to know the current society and its problems and grievances. Furthermore, social scientists, architects and spatial planners can learn...
student report 2022
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
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
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
Pîrcălăboiu, Laura (author)
Recent years have seen a surge of interest for dynamic testing techniques, one of which is symbolic execution. It is the main point of interest of this research paper, in which we give an overview of a framework for symbolically executing definitional interpreters. We will also discuss techniques that we made use of in developing the symbolic...
bachelor thesis 2021
document
Juhošová, Sára (author)
Manually testing definitional interpreters and their type checkers is a tedious and error-prone process which can largely benefit from automation. This study evaluates the effectiveness of property-based testing on errors in type checkers. Metrics used include the ability to catch different types of errors as well as the ability to provide a...
bachelor thesis 2021
document
Moraru, Alexandru (author)
This paper presents an evaluation of different generation methods of input expressions to definitional interpreters. We compare three different ways of generating expressions of a specified algebraic data type. The approaches that we describe are QuickCheck, SmallCheck and a uniform generation technique, as laid out in their original papers....
bachelor thesis 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
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
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
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
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
Searched for: subject%3A%22definition%22
(1 - 20 of 63)

Pages