- document
-
Lu, S. (author), Heemink, A. (author), Lin, H.X. (author), Segers, A. (author), Fu, G. (author)Remote sensing, as a powerful tool for monitoring atmospheric phenomena, has been playing an increasingly important role in inverse modeling. Remote sensing instruments measure quantities that often combine several state variables as one. This creates very strong correlations between the state variables that share the same observation variable....article 2017
- document
-
Donaldson, A.F. (author), Ketema, J. (author), Sorensen, T. (author), Wickerson, J. (author)The tutorial at CONCUR will provide a practical overview of work undertaken over the last six years in the Multicore Programming Group at Imperial College London, and with collaborators internationally, related to understanding and reasoning about concurrency in software designed for acceleration on GPUs. In this article we provide an overview...conference paper 2017
- document
- Kurtev, I. (author), Schuts, M. (author), Hooman, J. (author), Swagerman, D.J. (author) conference paper 2017
- document
-
Osaiweran, A. (author), Schuts, M. (author), Hooman, J. (author), Groote, J.F. (author), van Rijnsoever, B. (author)We evaluate the effect of applying the commercial formal technique Analytical Software Design (ASD) to an industrial project. In ASD, interfaces and software designs are modelled using a formal tabular notation. The ASD tool set supports formal checks of these models, such as deadlock freedom and interface compliance. In addition, full code can...article 2016
- document
-
Gür, B. (author), Bol, H. (author), Xu, P. (author), Li, B. (author)The present paper describes the challenging diffuser design and verification activities of TNO under contract of a customer for an earth observation instrument with observation conditions that require feasible BRDF under large angles of incidence of up to 70° with respect to the surface normal. Not only the design though but also the...conference paper 2015
- document
-
Voogd, J.M. (author), Roza, M. (author)The Dutch Ministry of Defense (NL-MoD) has recently acquired an update of its medium range anti tank (MRAT) missile system, called the GILL. The update to the SPIKE Long Range (LR) weapon system is accompanied with the acquisition of new simulation training devices (STDs). These devices are bought Commercial off the Shelf (COTS). The question...conference paper 2015
- document
-
van der Drift, E.J.G. (author), Looije, R. (author), Blanson Henkemans, O.A. (author), Neerincx, M.A. (author)Children with diabetes can benefit from keeping a diary, but seldom keep one. Within the European ALIZ-E project a robot companion is being developed that, among other things, will be able to support and motivate diabetic children to keep a diary. This paper discusses the study of a robot supporting the use of an online diary. Diabetic children...conference paper 2014
- document
-
Hoogendoorn, M. (author), Jaffry, S.W. (author), van Maanen, P.P. (author), Treur, J. (author)When considering intelligent agents that interact with humans, having an idea of the trust levels of the human, for example in other agents or services, can be of great importance. Most models of human trust that exist assume trust in one trustee is independent of trust in another trustee. The model introduced here addresses so-called relative...article 2014
- document
-
Tielman, M. (author), Neerincx, M.A. (author), Meuer, J.J. (author), Looije, R. (author)Expressive behaviour is a vital aspect of human interaction. A model for adaptive emotion expression was developed for the Nao robot. The robot has an internal arousal and va- lence value, which are in uenced by the emotional state of its interaction partner and emotional occurrences such as win- ning a game. It expresses these emotions through...conference paper 2014
- document
-
Beker van Woudenberg, A. (author), Wolterbeek, A. (author), te Brake, L. (author), Snel, C. (author), Menke, A. (author), Rubingh, C. (author), de Groot, D. (author), Kroese, D. (author)Zebrafish embryos were exposed to different organotin compounds during very early development (<100. h post fertilization). Morphology, histopathology and swimming activity (in a motor activity test) were the endpoints analyzed. DBTC was, by far, the most embryotoxic compound at all time points and endpoints studied. In fact, we observed a clear...article 2013
- document
-
Keshishzadeh, S. (author), Mooij, A.J. (author), Reza Mousavi, M. (author)In the context of Domain Specific Languages (DSLs), we study ways to detect faults early in the software development cycle. We propose techniques that validate a wide range of properties, classified into basic and advanced. Basic validation includes syntax checking, reference checking and type checking. Advanced validation concerns domain...conference paper 2013
- document
-
Koc, Y. (author), Warnier, M. (author), Kooij, R.E. (author), Brazier, F.M.T. (author)Cascading failures are the main reason blackouts occur in power networks. The economic cost of such failures is in the order of tens of billion dollars annually. In a power network, the cascading failure phenomenon is related to both topological properties (number and types of buses, density of transmission lines and interconnection of...conference paper 2013
- document
-
Wildenborg, T. (author), Chadwick, A. (author), Deflandre, J.P. (author), Eiken, O. (author), Mathieson, A. (author), Metcalfe, R. (author), Hattenberger, C.S. (author), Wollenweber, J. (author)An extensive programme of modelling, monitoring and verification activities was deployed at a set of active storage sites worldwide including Sleipner, In Salah, Ketzin, Weyburn, K12-B and Snøhvit (EU CO2ReMoVe project). All investigated storage sites were well managed and did not have a negative impact on humans or the environment. Time-lapse...article 2013
- document
-
Roza, M. (author), Voogd, J. (author), Sebalj, D. (author)The Generic Methodology for Verification and Validation (GM-VV) is a generic and comprehensive methodology for structuring, organizing and managing the verification and validation (V&V) of modelling and simulation (M&S) assets. The GM-VV is an emerging recommended practice within the Simulation Interoperability Standards Organization (SISO). The...article 2013
- document
-
Behar-Lafenetre, S. (author), Cornillon, L. (author), Rancurel, M. (author), de Graaf, D. (author), Hartmann, P. (author), Coe, G. (author), Laine, B. (author)In the framework of the "Mechanical Design and Verification Methodologies for Ceramic Structures" contract [1] awarded by ESA, Thales Alenia Space has investigated literature and practices in affiliated industries to propose a methodological guideline for verification of ceramic spacecraft and instrument structures. It has been written in order...conference paper 2012
- document
- Roza, Z.C. (author), Voogd, J.M. (author) conference paper 2011
- document
-
Roza, Z.C. (author), Voogd, J.M. (author)The Generic Methodology for Verification and Validation (GM-VV) is a generic and comprehensive methodology for the verification and validation (V&V) of M&S assets. The GM-VV is currently prepared for standardization within the Simulation Interoperability Standards Organization (SISO), and is at the same time under consideration by defense...conference paper 2011
- document
-
Voogd, J.M. (author), Roza, Z.C. (author), van Lier, A. (author)The development of Coalition Battle Management Language (C-BML) by SISO and its evaluation by the NATO MSG-085 task group and predecessor NATO MSG-048 has led Norway and the Netherlands to develop C-BML interfaces for their Command and Control Information Systems (C2ISs) NORTaC-C2IS and ISIS. FFI (Norway) and TNO (The Netherlands) are...conference paper 2011
- document
-
Roza, Z.C. (author), Voogd, J.M. (author), Giannoulis, C. (author)The Generic Methodology for Verification and Validation (GM-VV) is a generic methodology for VV&A to justify the acceptability of models, simulation, underlying data and results for an intended use. This methodology is currently in the processes of standardization within the SISO. The GM-VV attains its genericness from a framework approach,...conference paper 2011
- document
-
TNO Defensie en Veiligheid (author), van Emmerik, M.L. (author), Roza, Z.C. (author), Voogd, J.M. (author)The Generic Methodology for Verification and Validation (GM-VV) to support acceptance of models, simulations and data is a new standard under development within SISO. GM-VV provides an abstract framework to efficiently develop an argument to justify why identified models, simulations, underlying data, outcomes and capabilities are believed to be...conference paper 2010