From individuals to populations: A mean field semantics for process algebra

A new semantics in terms of mean field equations is presented for WSCCS (Weighted Synchronous Calculus of Communicating Systems). The semantics captures the average behaviour of the system over time, but without computing the entire state space, therefore avoiding the state space explosion problem. This allows easy investigation of models with large numbers of components. The new semantics is shown to be equivalent to the standard Discrete Time Markov Chain semantics of WSCCS as the number of processes tends to infinity. The method of deriving the semantics is illustrated with examples drawn from biology and from computing.     

The Kitty Genovese murder and the social psychology of helping: The parable of the 38 witnesses.

This article argues that an iconic event in the history of helping research--the story of the 38 witnesses who remained inactive during the murder of Kitty Genovese--is not supported by the available evidence. Using archive material, the authors show that there is no evidence for the presence of 38 witnesses, or that witnesses observed the murder, or that witnesses remained inactive. Drawing a distinction between the robust bystander research tradition and the story of the 38 witnesses, the authors explore the consequences of the story for the discipline of psychology. They argue that the story itself plays a key role in psychology textbooks. They also suggest that the story marks a new way of conceptualizing the dangers of immersion in social groups. Finally, they suggest that the story itself has become a modern parable, the telling of which has served to limit the scope of inquiry into emergency helping. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Application of regional earthquake mitigation optimization

A linear program was developed to help seismically active communities decide: (1) how much to spend on pre-earthquake mitigation that aims to reduce future losses versus waiting until after an event and paying for reconstruction, and (2) which of the many possible mitigation activities to fund so as to minimize overall risk. The mitigation alternatives considered are structural upgrading policies for groups of buildings. Benefits of mitigation are losses avoided in future earthquakes, including structural, non-structural, contents, and time-related losses, and casualties. The model is intended to be used as a tool to support the public regional mitigation planning process. In realistic applications, the model includes millions of variables, thus requiring a special solution method. This paper focuses on two efficient solution algorithms to solve the model—a Dantzig–Wolfe decomposition algorithm and a greedy heuristic algorithm. A comprehensive numerical study compares the two algorithms in terms of solution quality and solution time. The study shows that, compared to the Dantzig–Wolfe algorithm, the heuristic algorithm is much faster as expected, and provides comparable solution quality.     

Access to Pediatric Neurologists - Will Telemedicine Close the Gap?

Many times both physicians and patients take for granted that they are qualified to treat certain ages and certain conditions. Neurological conditions are diagnosed and treated by neurologists, pediatric neurologists, and neurosurgeons. What is the difference and why does it matter? It is a balancing act of risk and benefit and the physician’s obligation to know her/his limitations. Telemedicine may play a key role in enabling a greater access to pediatric neurologists. If telemedicine becomes more available, then access even in more remote areas without child neurologists may be possible. As this article discusses, there may be certain limitations to using telemedicine, which is distinguishable from telehealth, in relation to pediatric neurology. This article examines the type of neurological physician that is the most appropriate; the availability of and access to pediatric neurologists; and the applicability of telemedicine to the diagnosis and treatment of pediatric neurological conditions.     

Efficient parallel implementation of iterative reconstruction algorithms for electron tomography

Electron tomography (ET) combines electron microscopy and the principles of tomographic imaging in order to reconstruct the three-dimensional structure of complex biological specimens at molecular resolution. Weighted back-projection (WBP) has long been the method of choice since the reconstructions are very fast. It is well known that iterative methods produce better images, but at a very costly time penalty. In this work, it is shown that efficient parallel implementations of iterative methods, based primarily on data decomposition, can speed up such methods to an extent that they become viable alternatives to WBP. Precomputation of the coefficient matrix has also turned out to be important to substantially improve the performance regardless of the number of processors used. Matrix precomputation has made it possible to speed up the block-iterative component averaging (BICAV) algorithm, which has been studied before in the context of computerized tomography (CT) and ET, by a factor of more than 3.7. Component-averaged row projections (CARP) is a recently introduced block-parallel algorithm, which was shown to be a robust method for solving sparse systems arising from partial differential equations. It is shown that this algorithm is also suitable for single-axis ET, and is advantageous over BICAV both in terms of runtime and image quality. The experiments were carried out on several datasets of ET of various sizes, using the blob model for representing the reconstructed object.     

Towards the generation of dialogue acts in socio-affective ECAs: a corpus-based prosodic analysis

We present a corpus-based prosodic analysis with the aim of uncovering the relationship between dialogue acts, personality and prosody in view to providing guidelines for the ECA Greta’s text-to-speech system. The corpus used is the SEMAINE corpus, featuring four different personalities, further annotated for dialogue acts and prosodic features. In order to show the importance of the choice of dialogue act taxonomy, two different taxonomies were used, the first corresponding to Searle’s taxonomy of speech acts and the second, inspired by Bunt’s DIT++, including a division of directive acts into finer categories. Our results show that finer-grained distinctions are important when choosing a taxonomy. We also show with some preliminary results that the prosodic correlates of dialogue acts are not always as cited in the literature and prove more complex and variable. By studying the realisation of different directive acts, we also observe differences in the communicative strategies of the ECA depending on personality, in view to providing input to a speech system.     

Schema mapping and query translation in heterogeneous P2P XML databases

Peers in a peer-to-peer data management system often have heterogeneous schemas and no mediated global schema. To translate queries across peers, we assume each peer provides correspondences between its schema and a small number of other peer schemas. We focus on query reformulation in the presence of heterogeneous XML schemas, including data–metadata conflicts. We develop an algorithm for inferring precise mapping rules from informal schema correspondences. We define the semantics of query answering in this setting and develop query translation algorithm. Our translation handles an expressive fragment of XQuery and works both along and against the direction of mapping rules. We describe the HePToX heterogeneous P2P XML data management system which incorporates our results. We report the results of extensive experiments on HePToX on both synthetic and real datasets. We demonstrate our system utility and scalability on different P2P distributions.     

DRM

Two proposals on digital rights management (DRM) may be broughtinto law in the next couple of years: