Searched for: subject%3A%22Software%22
(1 - 20 of 214)

Pages

document
Eekhout, I. (author), van Buuren, S. (author), Visser, B. (author), Bink, M.C.A.M. (author), Huisman, A. (author)
Intensive longitudinal data can be used to explore important associations and patterns between various types of inputs and outcomes. Nonlinear relations and irregular measurement occasions can pose problems to develop an accurate model for these kinds of data. This paper focuses on the development, fitting and evaluation of a prediction model...
article 2023
document
Hendriks, D. (author), van der Meer, A. (author), Oortwijn, W. (author)
Software-intensive systems constantly evolve. To prevent software changes from unintentionally introducing costly system defects, it is important to understand their impact to reduce risk. However, it is in practice nearly impossible to foresee the full impact of software changes when dealing with huge industrial systems with many configurations...
conference paper 2022
document
Bearfield, G. (author), van Gulijk, C. (author), Thomas, R. (author)
Safety critical functions of the engineered railway need to perform at levels of integrity that are so high that an acceptable failure rate cannot be demonstrated through testing alone. Where such functions need to be implemented in complex programmable electronic systems certain design, build and test requirements are defined in technical...
article 2022
document
Adhikari, A. (author), Wenink, E. (author), van der Waa, J.S. (author), Bouter, C.A. (author), Tolios, I. (author), Raaijmakers, S.A. (author)
Several useful taxonomies have been published that survey the eXplainable AI (XAI) research field. However, these taxonomies typically do not show the relation between XAI solutions and several use case aspects, such as the explanation goal or the task context. In order to better connect the field of XAI research with concrete use cases and user...
conference paper 2022
document
Hooimeijer, B. (author), Geilen, M. (author), Groote, J. (author), Hendriks, D. (author), Schiffelers, R. (author)
Model learning, learning a state machine from software, can be an effective model-based engineering technique, especially to understand legacy software. However, so far the applicability is limited as models that can be learned are quite small, often insufficient to represent the software behavior of large industrial systems. We introduce a...
conference paper 2022
document
van Gulijk, C. (author), Zaitseva, E. (author)
Computational intelligence is rapidly becoming an essential part of reliability engineering. This book offers a wide spectrum of viewpoints on the merger of technologies. Leading scientists share their insights and progress on reliability engineering techniques, suitable mathematical methods, and practical applications. Thought-provoking ideas...
book 2021
document
van Gulijk, C. (author)
This work puts Computational Intelligence in Reliability Engineering in perspective within the larger framework of digitalization and business. The approach is to consider RECI solutions as business solutions in a wider enterprise architecture environment. Using that as a starting point four key components are discussed for successful...
bookPart 2021
document
den Boef, P. (author), Cox, P.B. (author), Tóth, R. (author)
conference paper 2021
document
Albers, T. (author), Lazovik, E. (author), Yousefi, M.H.N. (author), Lazovik, A. (author)
Distributed data processing systems have become the standard means for big data analytics. These systems are based on processing pipelines where operations on data are performed in a chain of consecutive steps. Normally, the operations performed by these pipelines are set at design time, and any changes to their functionality require the...
article 2021
document
Hendriks, T. (author)
conference paper 2021
document
van Gulijk, C. (author), Zaitseva, E. (author)
[No abstract available]
bookPart 2021
document
Regeer, H. (author), Nieuwenhuijse, E.A. (author), Vos, R.C. (author), Kiefte-de Jong, J.C. (author), van Empelen, P. (author), de Koning, E.J.P. (author), Bilo, H.J.G. (author), Huisman, S.D. (author)
Aims: To investigate changes in physical activity (PA) and psychological factors during societal lockdown in people with type 2 diabetes. Methods: A cross-sectional study among Dutch adults with type 2 diabetes. Data were collected using online questionnaires. A multivariate multinomial logistic regression was performed with change in PA during...
article 2021
document
de Boer, H. (author), Muller, R.W.D. (author), Wong, S. (author), Voogt, V. (author)
A key obstacle within the design of cognitive radios has always been the spectrum sensing component that implements the function automatic modulation classification (AMC). With the transition to software-defined radios (SDRs) followed by the introduction of field-programmable gate arrays (FPGAs) and deep learning (DL), it becomes possible to...
conference paper 2021
document
Wetzels, F. (author), van den Berg, J.L. (author), van der Mei, R. (author)
This paper is motivated by recent developments in SDN and NFV whereby service functions, distributed over a centralised controlled network, are connected to form a service function chain (SFC). Upon arrival of a new service request a decision has to be made to which one of SFCs the request must be routed. This decision is based on (1) actual...
conference paper 2021
document
Austin, P.C. (author), White, I.R. (author), Lee, D.S. (author), van Buuren, S. (author)
Missing data is a common occurrence in clinical research. Missing data occurs when the value of the variables of interest are not measured or recorded for all subjects in the sample. Common approaches to addressing the presence of missing data include complete-case analyses, in which subjects with missing data are excluded, or mean-value...
article 2021
document
Diallo, M. (author), Akesson, B. (author), Bera, D. (author), Begeer, R. (author)
There are many classes of Petri nets for describing communicating systems. Some of these guarantee important properties, such as termination in the case of portnets. There are also many methods and tools available for their analysis and synthesis. However, when developing new methods, or benchmarking against existing ones, it is often helpful to...
conference paper 2021
document
Lathouwers, S. (author), Everts, M.H. (author), Huisman, M. (author)
String sanitizers are widely used functions for preventing injection attacks such as SQL injections and cross-site scripting (XSS). It is therefore crucial that the implementations of such string sanitizers are correct. We present a novel approach to reason about a sanitizer's correctness by automatically generating a model of the implementation...
conference paper 2020
document
Bijlsma, T. (author), Buriachevskyi, A. (author), Frigerio, A. (author), Fu, Y. (author), Goossens, K. (author), Ors, A.O. (author), Van Der Perk, P.J. (author), Terechko, A. (author), Vermeulen, B. (author)
Autonomous vehicles use cyber-physical systems to provide comfort and safety to passengers. Design of safety mechanisms for such systems is hindered by the growing quantity and complexity of SoCs (System-on-a-Chip) and software stacks required for autonomous operation. Our study tackles two challenges: (1) fault handling in an autonomous driving...
conference paper 2020
document
Piattini, M. (author), Peterssen, G. (author), Pérez-Castillo, R. (author), Hevia, J.L. (author), Serrano, M.A. (author), Hernández, G. (author), García Rodríguez de Guzmán, I. (author), Paradela, C.A. (author), Polo, M. (author), Murina, E. (author), Jiménez, L. (author), Marqueño, J.C. (author), Gallego, R. (author), Tura, J. (author), Phillipson, F. (author), Murillo, J.M. (author)
This paper presents the Talavera Manifesto for quantum software engineering and programming. This manifesto collects some principles and commitments about the quantum software engineering and programming field, as well as some calls for action. This is the result of the discussion and different viewpoints of academia and industry practitioners...
conference paper 2020
document
Cobos Mendez, R. (author), Oliveira Filho, J. (author), Dresscher, D. (author), Broenink, J. (author)
conference paper 2020
Searched for: subject%3A%22Software%22
(1 - 20 of 214)

Pages