New Research Results for Electronic Voting

Voting systems have become controversial in the years following the multiple election disasters that occurred in the United States during and after 2000. Of particular note were the electronic voting (e-voting) systems that were widely deployed to replace the pre-scored punch-card systems, systems that had have been frequently judged to be central to the problem in the 2000 Florida general election. The (premature) deployment of e-voting machines stimulated a new field of security and privacy research around the subject of elections, a subject that has turned out to be more complex and deeper than anyone would have predicted a decade ago. Here we present a sample of some of the finest recent work on election technology from authors on three continents.     

Leveraging online communities in fostering adaptive schools

There has long been a call for schools to prepare students for the twenty-first century where skills and dispositions differ significantly from much of what has historically characterized formal education. The knowledge based economy calls for policy and pedagogical efforts that would transform schools. Schools are to foster communities of learners. This paper suggests that para-communities may be points of leverage in the fostering of adaptive schools. A critical analysis is done on the differences between para-communities (such as online communities) and schools; and an argument is made that they each serve differing goals and should be left distinct because they achieve different societal and economic demands.     

Considerate home notification systems: a field study of acceptability of notifications in the home

A field study in ten homes was conducted to understand what influences users’ acceptability of notifications in the home environment. The key finding is that perceived message urgency is the primary indicator of acceptability of notifications in the home—if people think a message is urgent, they want the message to be shown immediately, regardless of what they are doing at the time of notification. The study also shows that the acceptability of low-urgent and medium-urgent messages could be improved by taking into account mental activity load at the time of notification. No effect of physical activity was found on acceptability. The results suggest that to improve the scheduling of notifications in the home, notification systems need a mechanism assessing both the message urgency and the mental activity load, whereas physical activity can be ignored. From a methodological point of view, it is difficult to measure acceptability of notifications in a realistic setting, given the need to balance experimental control with realistic context. The present paper suggests a way to introduce controlled notifications and subjective measurements of acceptability in homes.     

Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

We apply the scenario-based approach to modeling, via the language of live sequence charts (LSCs) and the Play-Engine tool to a real-world complex telecommunication service, . It allows a user to call for help from a doctor, the fire brigade, a car maintenance service, etc. These kinds of services are built on top of an embedded platform, using both new and existing service components, and their complexity stems from their distributed architecture, the various time constraints they entail, and their rapidly evolving underlying systems. A well known problem in this class of telecommunication applications is that of feature interaction, whereby a new feature might cause problems in the execution of existing features. Our approach provides a methodology for high-level modeling of telecommunication applications that can help in detecting feature interaction at early development stages. We exhibit the results of applying the methodology to the specification, animation and formal verification of the Depannage service.

ONTRACK: Dynamically adapting music playback to support navigation

Listening to music on personal, digital devices whilst mobile is an enjoyable, everyday activity. We explore a scheme for exploiting this practice to immerse listeners in navigation cues. Our prototype, ONTRACK, continuously adapts audio, modifying the spatial balance and volume to lead listeners to their target destination. First we report on an initial lab-based evaluation that demonstrated the approach’s efficacy: users were able to complete tasks within a reasonable time and their subjective feedback was positive. Encouraged by these results we constructed a handheld prototype. Here, we discuss this implementation and the results of field-trials. These indicate that even with a low-fidelity realisation of the concept, users can quite effectively navigate complicated routes.

---

MobGeoSen: facilitating personal geosensor data collection and visualization using mobile phones

Mobile sensing and mapping applications are becoming more prevalent because sensing hardware is becoming more portable and more affordable. However, most of the hardware uses small numbers of fixed sensors that report and share multiple sets of environmental data which raises privacy concerns. Instead, these systems can be decentralized and managed by individuals in their public and private spaces. This paper describes a robust system called MobGeoSens which enables individuals to monitor their local environment (e.g. pollution and temperature) and their private spaces (e.g. activities and health) by using mobile phones in their day to day life. The MobGeoSen is a combination of software components that facilitates the phone’s internal sensing devices (e.g. microphone and camera) and external wireless sensors (e.g. data loggers and GPS receivers) for data collection. It also adds a new dimension of spatial localization to the data collection process and provides the user with both textual and spatial cartographic displays. While collecting the data, individuals can interactively add annotations and photos which are automatically added and integrated in the visualization file/log. This makes it easy to visualize the data, photos and annotations on a spatial and temporal visualization tool. In addition, the paper will present ways in which mobile phones can be used as noise sensors using an on-device microphone. Finally, we present our experiences with school children using the above mentioned system to measure their exposure to environmental pollution.

Experimental study of diffusion-based extraction from a cell suspension

A recently proposed application of microfluidics is the post-thaw processing of biological cells. Numerical simulations suggest that diffusion-based extraction of the cryoprotective agent dimethyl sulfoxide (DMSO) from blood cells is viable and more efficient than centrifugation, the conventional method of DMSO removal. In order to validate the theoretical model used in these simulations, a prototype was built and the flow of two parallel streams, a suspension of Jurkat cells containing DMSO and a wash stream that contained neither cells nor DMSO, was characterized experimentally. DMSO transport in a rectangular channel (depth 500 μm, width 25 mm and overall length 125 mm) was studied as a function of three dimensionless parameters: depth ratio of the streams, cell volume fraction in the cell solution, and the Peclet number (Pe) based on channel depth, average flow rate and the diffusion coefficient for DMSO in water. In our studies, values of Pe ranged from O(10³) to O(10⁴). Laminar flow was ensured by keeping the Reynolds number between O(1) and O(10). Experimental results based on visual and quantitative data demonstrate conclusively that a microfluidic device can effectively remove DMSO from liquid and cell laden streams without compromising cell recovery. Also, flow conditions in the microfluidic device appear to have no adverse effect on cell viability at the outlet. Further, the results demonstrate that we can predict the amount of DMSO removed from a given device with the theoretical model mentioned previously.     

Oxidation of proteins: Basic principles and perspectives for blood proteomics

Protein oxidation mechanisms result in a wide array of modifications, from backbone cleavage or protein crosslinking to more subtle modifications such as side chain oxidations. Protein oxidation occurs as part of normal regulatory processes, as a defence mechanism against oxidative stress, or as a deleterious processes when antioxidant defences are overcome. Because blood is continually exposed to reactive oxygen and nitrogen species, blood proteomics should inherently adopt redox proteomic strategies. In this review, we recall the biochemical basis of protein oxidation, review the proteomic methodologies applied to analyse redox modifications, and highlight some physiological and in vitro responses to oxidative stress of various blood components.     

A high-voltage cardiac stimulator for field shocks of a whole heart in a bath

Defibrillators are a critical tool for treating heart disease; however, the mechanisms by which they halt fibrillation are still not fully understood and are the subject of ongoing research. Clinical defibrillators do not provide the precise control of shock timing, duration, and voltage or other features needed for detailed scientific inquiry, and there are few, if any, commercially available units designed for research applications. For this reason, we have developed a high-voltage, programmable, capacitive-discharge stimulator optimized to deliver defibrillation shocks with precise timing and voltage control to an isolated animal heart, either in air or in a bath. This stimulator is capable of delivering voltages of up to 500 V and energies of nearly 100 J with timing accuracy of a few microseconds and with rise and fall times of 5 micros or less and is controlled only by two external timing pulses and a control computer that sets the stimulation parameters via a LABVIEW interface. Most importantly, the stimulator has circuits to protect the high-voltage circuitry and the operator from programming and input-output errors. This device has been tested and used successfully in field shock experiments on rabbit hearts as well as other protocols requiring high voltage.     

High precision electrostatic potential calculations for cylindrically symmetric lenses

A method is developed for a potential calculation within cylindrically symmetric electrostatic lenses using mesh relaxation techniques, and it is capable of considerably higher accuracies than currently available. The method involves (i) creating very high order algorithms (orders of 6, 8, and 10) for determining the potentials at points in the net using surrounding point values, (ii) eliminating the effect of the large errors caused by singular points, and (iii) reducing gradients in the high gradient regions of the geometry, thereby allowing the algorithms used in these regions to achieve greater precisions-(ii) and (iii) achieved by the use of telescopic multiregions. In addition, an algorithm for points one unit from a metal surface is developed, allowing general mesh point algorithms to be used in these situations, thereby taking advantage of the enhanced precision of the latter. A maximum error function dependent on a sixth order gradient of the potential is defined. With this the single point algorithmic errors are able to be viewed over the entire net. Finally, it is demonstrated that by utilizing the above concepts and procedures, the potential of a point in a reasonably high gradient region of a test geometry can realize a precision of less than 10(-10).