Pages
- 1
- 2
- document
-
Gross, D. (author), Jansen, N. (author), Perez, G.A. (author), Raaijmakers, S. (author)We give a formal verification procedure that decides whether a classifier ensemble is robust against arbitrary randomized attacks. Such attacks consist of a set of deterministic attacks and a distribution over this set. The robustness-checking problem consists of assessing, given a set of classifiers and a labelled data set, whether there exists...conference paper 2020
- document
-
Fu, Y. (author), Terechko, A. (author), Bijlsma, T. (author), Cuijners, P.J.L. (author), Redegeld, J. (author), Ors, A.O. (author)Autonomous vehicles use Electronic Control Units running complex software to improve passenger comfort and safety. To test safety of in-vehicle electronics, the ISO 26262 standard on functional safety recommends using fault injection during component and system-level design. A Fault Injection Framework (FIF) induces hard-to-trigger hardware and...conference paper 2019
- document
-
Honig, J.J. (author), Everts, M.H. (author), Huisman, M. (author)Solidity smart contracts operate in a hostile environment, which introduces the need for the adequate application of testing techniques to ensure mitigation of the risk of a security incident. Mutation testing is one such technique. It allows for the evaluation of the efficiency of a test suite in detecting faults in a program, allowing...conference paper 2019
- document
- Sleuters, J. (author), Li, Y. (author), Verriet, J. (author), Velikova, M. (author), Doornbos, R. (author) conference paper 2019
- document
-
Verriet, J. (author), Buit, L. (author), Doornbos, R. (author), Huijbrechts, B. (author), Sevo, K. (author), Sleuters, J. (author), Verberkt, M. (author)IoT applications and other distributed control applications are characterized by the interaction of many hardware and software components. The inherent complexity of the distributed functionality introduces challenges on the detection and correction of issues related to functionality or performance, which are only possible to do after system...conference paper 2019
- document
-
Gevaerts, V.S. (author), Biezemans, A.F.K.V. (author), Mannetje, H.H.L. (author), Linden, H. (author), Bosman, J. (author)Back end interconnection technology is presented for CIGS using laser scribing and inkjet printing of dielectric material. Shunt-free laser scribing of CIGS is shown, which is essential in the back end approach for monolithic serial interconnection. Full back end interconnected mini-modules of 20x20cm2 were made and show no electrical losses...conference paper 2018
- document
-
op den Camp, O.M.G.C. (author), Uittenbogaard, J. (author), Bakker, B. (author)To increase traffic safety, systems are being implemented in vehicles that support drivers to avoid or mitigate collisions. Generally, these systems only provide a response to the driver in case of an imminent critical situation. Responses in the form of warning signals and brake or steering actuations are harsh, as they act in the last one to...conference paper 2018
- document
-
Zondag, H.A. (author), de Boer, R. (author), Smeding, S.F. (author), van der Kamp, J. (author)A 140 l lab scale shell-and-tube PCM heat storage was built and tested, and the experimental results were compared to a numerical model. Natural convection in the PCM was found to significantly influence the local temperature distribution in the storage vessel, which could not be predicted well by the model, since the model assumes only...article 2018
- document
-
van Lettow, B. (author), de Vries, H. (author), Burdorf, A. (author), van Empelen, P. (author)Prototypes (i.e., social images representing perceptions of typical persons engaging in or refraining from certain behaviour) have been shown to explain health-related behaviours. The present meta-analysis quantified the strength of the associations of prototype perceptions with health motivation and behaviour. Specifically, the analysis...article 2016
- document
- Karimzadeh, M. (author), Zhao, Z. (author), Hendriks, L. (author), Schmidt, R.D.O. (author), la Fleur, S. (author), van den Berg, J.L. (author), Pras, A. (author), Braun, T. (author), Corici, M.J. (author) conference paper 2015
- document
-
van Lettow, B. (author), de Vries, H. (author), Burdorf, A. (author), Boon, B. (author), van Empelen, P. (author)Background: Excessive alcohol use is a prevalent and worldwide problem. Excessive drinking causes a significant burden of disease and is associated with both morbidity and excess mortality. Prototype alteration and provision of a cue reminder could be useful strategies to enhance the effectiveness of online tailored interventions for excessive...article 2015
- document
-
van Lettow, B. (author), de Vries, H. (author), Burdorf, A. (author), Conner, M. (author), van Empelen, P. (author)Objectives: Prototypes (i.e., social images) predict health-related behaviours and intentions within the context of the Theory of Planned Behaviour (TPB). This study tested the moderating role of temporal stability of drinker prototype perceptions on prototype-intentions and prototype-behaviour relationships, within an augmented TPB. The study...article 2014
- document
-
van Lettow, B. (author), de Vries, H. (author), Burdorf, A. (author), Norman, P. (author), van Empelen, P. (author)Objective: Previous research has focused mostly on abstainer and/or general drinker prototypes. The present studies examined an abstainer, moderate drinker and heavy drinker prototype in relation to drinking behaviour. Design: Two studies among young adults aged 18–25 (paper-and-pencil, cross-sectional, N = 140; online, prospective, N = 451)...article 2013
- document
-
This book discusses various aspects, challenges, and solutions for developing systems-of-systems for situation awareness, using applications in the domain of maritime safety and security. Topics include advanced, multi-objective visualization methods for situation awareness, stochastic outlier selection, rule-based anomaly detection, an ontology...book 2013
- document
-
Architectural stress is the inability of a system design to respond to new market demands. It is an important yet often concealed issue in high tech systems. In From scientific instrument to industrial machine, we look at the phenomenon of architectural stress in embedded systems in the context of a transmission electron microscope system built...book 2012
- document
-
Voors, R. (author), Moon, S.G. (author), Hannemann, S. (author), Rietjens, J.H.H. (author), van Harten, G. (author), Snik, F. (author), Smit, M. (author), Stam, D.M. (author), Keller, C.U. (author), Laan, E.C. (author), Verlaan, A.L. (author), Vliegenthart, W.A. (author), ter Horst, R. (author), Navarro, R. (author), Wielinga, K. (author)SPEX (Spectropolarimeter for Planetary Exploration) was developed in close cooperation between scientific institutes and space technological industries in the Netherlands. It is used for measuring microphysical properties of aerosols and cloud particles in planetary atmospheres. SPEX utilizes a number of novel ideas. The key feature is that full...conference paper 2011
- document
-
Neerincx, M.A. (author), Cremers, A.H.M. (author), Kessens, J.M. (author), van Leeuwen, D.A. (author), Truong, K.P. (author), TNO Defensie en Veiligheid (author)This paper presents a methodology to apply speech technology for compensating sensory, motor, cognitive and affective usage difficulties. It distinguishes (1) an analysis of accessibility and technological issues for the identification of context-dependent user needs and corresponding opportunities to include speech in multimodal user interfaces...article 2009
- document
-
Papp, Z. (author), Brown, C. (author), Bartels, C. (author), TNO Industrie en Techniek (author)Cooperative intelligent vehicle systems constitute a promising way to improving traffic throughput, safety and comfort. The state-of-the-art intelligent-vehicle applications usually can be described as a collection of interacting, highly autonomous, complex dynamical systems (the individual vehicles). The vehicles implement onboard a wide...conference paper 2008
- document
-
Langereis, G. (author), de Voogd-Claessen, L. (author), Spaepen, A. (author), Sipliä, A. (author), Rotsch, C. (author), Linz, T. (author), TNO Industrie en Techniek (author)The aim of the ConText project is to develop a vest with integrated sensors and electronics for constant monitoring of muscle activity. The vest measures muscle activity in order to derive the psychological stress level of a person. The ConText project proposes to develop a sensor technology, which requires no direct contact with the body, and...conference paper 2007
- document
-
Sperling, C.P. (author), Simons, L.P.A. (author), Bouwman, W.A.G.A. (author), TNO Informatie en Communicatietechnologie (author)Designing e-services which have to function in a multi-channel context has proved to be challenging for organizations. Previous research has shown that structured design methods are useful to structure the design process. In this paper we proceed from an existing method (which identifies multi-channel customer needs and functional requirements)...conference paper 2007
Pages
- 1
- 2