document

Perceived autonomy of robots: Effects of appearance and context

Harbers, M. (author), Peeters, M.M.M. (author), Neerincx, M.A. (author)

Due to advances in technology, the world around us contains an increasing number of robots, virtual agents, and other intelligent systems. These systems all have a certain degree of autonomy. For the people who interact with an intelligent system it is important to obtain a good understanding of its degree of autonomy: what tasks can the system...

bookPart 2017

document

Exploring the ethical landscape of robot-assisted Search and Rescue

Harbers, M. (author), de Greeff, J. (author), Kruijff-Korbayová, I. (author), Neerincx, M.A. (author), Hindriks, K.V. (author)

As robots are increasingly used in Search and Rescue (SAR) missions, it becomes highly relevant to study how SAR robots can be developed and deployed in a responsible way. In contrast to some other robot application domains, e.g. military and healthcare, the ethics of robot-assisted SAR are relatively under examined. This paper aims to fill this...

bookPart 2017

document

Fast solidification kinetics of parts of bituminous binders

Fischer, H.R. (author), Dillingh, B. (author), Ingenhut, B. (author)

A quantification of the kinetics of formation of the micro-phases in bitumen during cooling as it occurs in applications, e.g. a road pavement will enable a better prediction of the performance of asphalt in models and an understanding of functional properties and their development in time. This microphase formation is part of the process of...

article 2016

document

Mood contagion of robot body language in human robot interaction

Xu, J. (author), Broekens, J. (author), Hindriks, K. (author), Neerincx, M.A. (author)

The aim of our work is to design bodily mood expressions of humanoid robots for interactive settings that can be recognized by users and have (positive) effects on people who interact with the robots. To this end, we develop a parameterized behavior model for humanoid robots to express mood through body language. Different settings of the...

article 2015

document

Experiences with incorporating formal techniques into industrial practice

Osaiweran, A. (author), Schuts, M. (author), Hooman, J. (author)

We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control...

article 2014

document

Improving active Mealy machine learning for protocol conformance testing

Aarts, F. (author), Kuppens, H. (author), Tretmans, J. (author), Vaandrager, F. (author), Verwer, S. (author)

Using a well-known industrial case study from the verification literature, the bounded retransmission protocol, we show how active learning can be used to establish the correctness of protocol implementation I relative to a given reference implementation R. Using active learning, we learn a model M R of reference implementation R, which serves...

article 2014

document

Large area photonic flash soldering of thin chips on flex foils for flexible electronic systems: In situ temperature measurements and thermal modelling

van den Ende, D.A. (author), Hendriks, R. (author), Cauchois, R. (author), Groen, W.A. (author)

In this work photonic energy from a high power xenon flash lamp is used for soldering thin chips on polyimide and polyester foil substrates using standard Sn-Ag-Cu lead free alloys. The absorption of the xenon light pulse leads to rapid heating of components and tracks up to temperatures above the solder melting temperature, while the...

article 2014

document

Sea-salt aerosol source functions and emissions

Schulz, M. (author), de Leeuw, G. (author), Balkanski, Y. (author), TNO Fysisch en Elektronisch Laboratorium (author)

bookPart 2004

document

Iterative solution of field problems with a varying physical parameter

Tijhuis, A.G. (author), van Beurden, M.C. (author), Zwamborn, A.P.M. (author), TNO Fysisch en Elektronisch Laboratorium (author)

In modern society different trends are recognized in the usage of the available electromagnetic spectrum. One can think of a wireless communication or transport of (digital) information. The density of such applications is increasing rapidly. Obtaining electromagnetic compatibility and/or reducing electromagnetic interference sometimes seems to...

conference paper 2003

document

The vulnerable internet: A study of the critical infrastructure of (the Dutch portion of) the Internet

Luiijf, H.A.M. (author), Klaver, M.H.A. (author), Huizenga, J. (author), van Till, J. (author), de Boer, R. (author), van de Sandt, C.H.C. (author), Maclaine Pont, P. (author), TNO Fysisch en Elektronisch Laboratorium (author)

bookPart 2003

document

Detection of a buried object with pulse-compensated wire antennas

Vossen, S.H.J.A. (author), Tijhuis, A.G. (author), Lepelaars, E.S.A.M. (author), Zwamborn, A.P.M. (author), TNO Fysisch en Elektronisch Laboratorium (author)

For the detection of a buried object we consider two straight thin-wire antennas above an interface between two homogeneous dielectric half spaces. One antenna is a transmitting wire and the other is a receiving wire. Our aim is to use this simple antenna set up for the detection of buried objects without applying pre and post processing of the...

conference paper 2003

document

Marching on in anything: Solving electromagnetic field equations with a varying physical parameter

Tijhuis, A.G. (author), Zwamborn, A.P.M. (author), TNO Fysisch en Elektronisch Laboratorium (author)

In this paper, we consider the determination of electromagnetic flelds for a (large) number of values of a physical parameter. We restrict ourselves to the case where the linear system originates from one or more integral equations. we apply an iterative procedure based on the minimization of an integrated squared error, and start this procedure...

conference paper 2003

document

Knowledge sharing in knowledge communities

TNO Preventie en Gezondheid (author), van den Hooff, B. (author), Elving, W. (author), Meeuwsen, J.M. (author), Dumoulin, C. (author)

In this chapter of the book ‘Communities and Technologies’ (M. Huysman et al. (eds.), Kluwer 2003) the contribution of ICT to knowledge sharing in communities of practice is investigated. A theoretical model is built that identifies the possible influence of ICT on the extent to which knowledge is shared within a community, as well as a number...

bookPart 2003

document

The practical applicability of toxicokinetic models in the risk assessment of chemicals

Feron, V.J. (author), TNO Voeding (author)

bookPart 2002

document

GaAs microwave SSPA`s: Design and characteristics

de Hek, A.P. (author), van Vliet, F.E. (author), TNO Fysisch en Elektronisch Laboratorium (author)

The performance of GaAs SSPA's is crucial to a rapidly increasing number of systems. This tutorial aims at clarifying the design choices and trade-offs, and at warning the new designer for pitfalls and unexpected problems. The tutorial starts, after a brief introduction, with a survey of the relevant GaAs technologies. After this, the tutorial...

bookPart 2002

document

Cheap designs: Exploiting the dynamics of the system-environment interaction. Three case studies on navigation

Pfeifer, R. (author), Maris, M. (author), TNO Fysisch en Elektronisch Laboratorium (author)

Examples of prerational intelligence are given using three case studies of robot navigation. It is demonstrated that the philosophy of focusing on cheap designs contributes significantly to our understanding of behavior. The real world has properties which can be exploited in the agent-environment interaction. This interaction, which is based on...

bookPart 2000

document

Steady-state behaviour of a solar array system with elastic stops

van Campen, D.H. (author), Fey, R.H.B. (author), van Liempt, F.P.H. (author), de Kraker, A. (author), TNO Bouw (author)

In recent years a method was developed by the authors for efficient analysis of the long term behaviour of mechanical systems with local nonlinearities under periodic excita-tien. In this method the linear parts of the system are modelled using the finite element method. In order to keep the cpu-time for the nonlinear analyses acceptable, the...

conference paper 1999

document

Feasibility Study into the Identification of Landmines Using UWB Radar: An Analysis Using Synthesized Data

LoVetri, J. (author), Primak, S. (author), van Leersum, B.J.A.M. (author), Zwamborn, A.P.M. (author), TNO Fysisch en Elektronisch Laboratorium (author)

conference paper 1999

document

Shock wave fabricated ceramic-metal nozzles

Carton, E.P. (author), Stuivinga, M.E.C. (author), Keizers, H.L.J. (author), Verbeek, H.J. (author), van der Put, P.J. (author), Prins Maurits Laboratorium TNO (author)

Shock compaction was used in the fabrication of high temperature ceramic-based materials. The materials' development was geared towards the fabrication of nozzles for rocket engines using solid propellants, for which the following metal-ceramic (cermet) materials were fabricated and tested: B4C-Ti (15 vol.-%). B4C-Al, and TiB2-Al, with an Al...

article 1999

document

Emission reduction of non-CO2 greenhouse gases used as refrigerant

van Gerwen, R.J.M. (author), Verwoerd, M. (author), TNO Milieu, Energie en Procesinnovatie (author)

Non-0O2 Greenhouse gases, in particular CFCs, HCFCs and HFCs, are the main refrigerants used in refrigeration, air conditioning and heat pump equipment. This kind of equipment traditionally leaks significantly (10 to 40 % of the content on a yearly base) during operational life. At end of life, the refrigerant content traditionally emits...

conference paper 1999