This report presents the findings of a series of interviews to investigate how security issues and novel vulnerabilities are seen and dealt with in the smart grid pilot projects in the Netherlands and Germany. The report is a deliverable of the research project Kwetsbaarheid en veiligheid van Intelligente Distributienetten (KID), conducted within the NGI-Alliander programme Empowering Networks,...

BACKGROUND Nursing homes (NH) are less well studied than hospices or hospitals as a setting for terminal care. The aim of this study is to identify the direct causes and underlying diseases of the terminal phase in Dutch nursing homes. METHODS A prospective study of terminally ill patients with a maximum life-expectancy of (less than) 6 weeks in 16 NHs in the Netherlands. 544 long-term care p...

in this paper, we examine influence oil shocks on macroeconomic variables and dutch disease phenomena when these variables encountered positive oil revenue shocks. statistical model which is copula approach is used to show when iran's macroeconomic variables encountered positive oil revenue casus dutch disease and oil revenue has non-symmetric influence on the growth economic. in another w...

We prove the correctness of a sliding window protocol with an arbitrary finite window size n and sequence numbers modulo 2n. The correctness consists of showing that the sliding window protocol is branching bisimilar to a queue of capacity 2n. The proof is given entirely on the basis of an axiomatic theory, and has been checked in the theorem prover PVS. Keywords— μCRL, branching bisimulation, ...

This paper proposes a characterization of useful thesaurus terms by the informativity of cooccurence with that term. Given a corpus of documents, informativity is formalized as the information gain of the weighted average term distribution of all documents containing that term. While the resulting algorithm for thesaurus generation is unsupervised, we find that high informativity terms correspo...

We present a web-based tool for retrieving and annotating audio fragments of e.g. interviews. Our collection contains 250 interviews with veterans of Dutch conflicts and military missions. The audio files of the interviews were disclosed using ASR technology focussed at keyword retrieval. Resulting transcripts were stored in a MySQL database together with metadata, summary texts, and keywords, ...

A detailed probabilistic analysis is given of algorithms for the Dutch national flag problem. We derive central and local limit theorems for the cost, as well as probabilities of large deviations. Performance of a related algorithm is also studied. Correspondence Address: Wei-Mei Chen, Department of Applied Mathematics, Tatung University, Taipei 104, Taiwan; e-mail: wmchen@ttu,edu.tw or wmchen@...

the present article is to analyze the history of the two dutch companies were activate in the field of import and export. one of them is hotz & zoon that we would offer its managers' biographies alongside many of their original initiatives the iranian further developments owe them. then, the history of iran's first real department-store (the teheran toko) as well as three dutch retail...