- document
-
Dams, D. (author), Havelund, K. (author), Kauffman, S. (author)We present a Python library for trace analysis named PyContract. PyContract is a shallow internal DSL, in contrast to many trace analysis tools that implement external or deep internal DSLs. The library has been used in a project for analysis of logs from NASA’s Europa Clipper mission. We describe our design choices, explain the API via examples...conference paper 2022
- document
-
Burghouts, G.J. (author), Huizinga, W. (author)Visual Question Answering (VQA) is a very interesting tech nique to answer natural language questions about an image. Recent methods have focused on incorporating knowledge into an improved VQA model, by augmenting the training set, representing scene graphs, or including reasoning. We also leverage knowledge to make VQA more robust. Yet we take...conference paper 2022
- document
-
Schadd, M.P.D. (author), Sternheim, A.M. (author), Blankendaal, R.A.M. (author), van der Kaaij, M. (author), Visker, O.H. (author)With recent technological advances, commanders request the support of artificial intelligence (AI)-enabled systems during mission planning. Future AI systems may test a wide range of courses of action (COAs) and use a simulator to test each COA’s effectiveness in a war game. The COA’s effectiveness is however dependent on the commanders’ intent....article 2022
- document
-
Krishnan, S. (author), Vermeulen, R. (author), Pronk, A. (author), Gyori, B.M. (author), Bachman, J.A. (author), Vlaanderen, J. (author), Stierum, R. (author)BACKGROUND: Mechanistic data is increasingly used in hazard identification of chemicals. However, the volume of data is large, challenging the efficient identification and clustering of relevant data. OBJECTIVES: We investigated whether evidence identification for hazard assessment can become more efficient and informed through an automated...article 2022
- document
-
Burger, F. (author), Neerincx, M.A. (author), Brinkman, W.P. (author)E-mental health for depression is increasingly used in clinical practice, but patient adherence suffers as therapist involvement decreases. One reason may be the low responsiveness of existing programs: especially autonomous systems are lacking in their input interpretation and feedback-giving capabilities. Here, we explore (a) to what extent a...article 2022
- document
-
Mooij, A.J. (author)In the last couple of years several dynamically-typed, object-oriented programming languages have been equipped with optional static type checkers. This typically requires these languages to be extended with a downcast operator, which is a common operator in statically-typed languages but not in dynamically-typed languages.Our objective is to...article 2022
- document
-
Panoutsopoulos, H. (author), Brewster, C. (author)AGROVOC is a well-known multilingual controlled vocabulary covering the fields of agriculture, forestry, fisheries, and food. It is used for dataset annotation, indexing of literature, and automated text tagging, and its effective use depends on its continuous update. Currently, updates are done manually by a dispersed community of editors. In...conference paper 2022
- document
-
Schuts, M. (author), Alonso, M. (author), Hooman, J. (author)At Philips IGT, we develop and produce interventional X-ray systems. For a controller in these systems, we have an approximately five years old domain specific language. Like general programming languages, domains specific languages also evolve. These languages co-evolve together with their domain. The language used at IGT was initially created...conference paper 2021
- document
-
Burger, F. (author), Neerincx, M.A. (author), Brinkman, W.P. (author)The cognitive approach to psychotherapy aims to change patients' maladaptive schemas, that is, overly negative views on themselves, the world, or the future. To obtain awareness of these views, they record their thought processes in situations that caused pathogenic emotional responses. The schemas underlying such thought records have, thus far,...article 2021
- document
-
Tajaddini, M. (author), Brinkman, W.P. (author), ten Teije, A. (author), Neerincx, M. (author)The field of Hybrid Intelligence (HI) is like a vast land with many tribes that speak different languages. Our goal is to develop a linguafranca to unify the peoples of the HI land. We expect our language to facilitate documentation and communication of research results and thus collaboration among various HI fields by making use of design...conference paper 2021
- document
-
Kebede, M.G. (author), Sileno, G. (author), van Engers, T. (author)Rights expression languages (RELs) aim to express and govern legally binding behavior within technological environments. The Open Digital Rights Language (ODRL), used to represent statements about the usage of digital assets, is among the most known RELs today and has become a W3C recommendation to enhance the web’s functionality and...conference paper 2021
- document
-
Barbini, L. (author), Bratosin, C. (author), Nägele, T. (author)There is a constant increase of the market expectations on the capabilities of industrial high-tech systems. To meet these expectations, designers of such systems have to explore complex solutions that ensure both functionality and maximum up-time. We describe a methodology that supports the designers in this task. Specifically, we introduce a...conference paper 2021
- document
-
van Gulijk, C. (author), Holmes, V. (author)A key step in the design of digitally enabled safety systems is the development of an Enterprise Architecture model (EA). The design of EA models tends to be a complex job that is usually performed by IT specialists that are not trained in safety. Very often, these EA models contain safety rules that are not well understood by IT specialists but...conference paper 2020
- document
- Cobos Mendez, R. (author), Oliveira Filho, J. (author), Dresscher, D. (author), Broenink, J. (author) conference paper 2020
- document
- Chau, K.W. (author), Tang, J.M. (author), Oosterlee, C.W. (author) 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
-
Yang, C. (author), Hawwash, D. (author), de Baets, B. (author), Bouwman, J. (author), Lachat, C. (author)Robust recommendations for healthy diets and nutrition require careful synthesis of available evidence. Given the increasing volume of research articles generated, the retrieval and synthesis of evidence are increasingly becoming laborious and time-consuming. Information technology could help to reduce workload for humans. To guide supervised...article 2020
- document
-
de Boer, M.H.T. (author), Verhoosel, J.P.C. (author)Creating ontologies is an expensive task. Our vision is that we can automatically generate ontologies based on a set of relevant documents to create a kick-start in ontology creating sessions. In this paper, we focus on enhancing two often used methods, OpenIE and cooccurrences. We evaluate the methods on two document sets, one about pizza and...conference paper 2020
- document
-
vanden Berg, F. (author), Camra, V. (author), Hendriks, M. (author), Geilen, M. (author), Hnetynka, P. (author), Manteca, F. (author), Sanchez, P. (author), Bures, T. (author), Basten, T. (author)Cyber-physical systems (CPS) are complex, heterogeneous, and dynamic systems, spanning hardware and software components ranging from edge devices to cloud platforms. CPS need to satisfy many rigorous constraints, e.g., with respect to deadlines, safety, and quality, yielding a large configuration space where only a limited number of...conference paper 2020
- document
-
Sioutas, S. (author), Stuijk, S. (author), Basten, T. (author), Corporaal, H. (author), Somers, L. (author)The Halide DSL and compiler have enabled high-performance code generation for image processing pipelines targeting heterogeneous architectures through the separation of algorithmic description and optimization schedule. However, automatic schedule generation is currently only possible for multi-core CPU architectures. As a result, expert...conference paper 2020