A hybrid positioning system for technology‐independent location‐aware computing

Location‐aware computing is a form of context‐aware mobile computing that refers to the ability of providing users with services that depend on their position. Locating the user terminal, often called positioning, is essential in this form of computing. Towards this aim, several technologies exist, ranging from personal area networking, to indoor, outdoor, and up to geographic area systems. Developers of location‐aware software applications have to face with a number of design choices, that typically depend on the chosen technology. This work addresses the problem of easing the development of pull location‐aware applications, by allowing uniform access to multiple heterogeneous positioning systems. Towards this aim, the paper proposes an approach to structure location‐aware mobile computing systems in a way independent of positioning technologies. The approach consists in structuring the system into a layered architecture, that provides application developers with a standard Java Application Programming Interface (JSR‐179 API), and encapsulates location data management and technology‐specific positioning subsystems into lower layers with clear interfaces. In order to demonstrate the proposed approach we present the development of HyLocSys. It is an open hybrid software architecture designed to support indoor/outdoor applications, which allows the uniform (combined or separate) use of several positioning technologies. HyLocSys uses a hybrid data model, which allows the integration of different location information representations (using symbolic and geometric coordinates). Moreover, it allows support to handset‐ and infrastructure‐based positioning approaches while respecting the privacy of the user. The paper presents a prototypal implementation of HyLocSys for heterogeneous scenarios. It has been implemented and tested on several platforms and mobile devices. Copyright © 2009 John Wiley & Sons, Ltd.     

An Introduction to Using XML for the Management of Laboratory Data

Extensible Markup Language (XML) and the XML Path Language (XPath) are introduced with software examples demonstrating how one can use them to write laboratory data management programs. Topics explored include XML document creation, manipulation, and searching. Programming examples make use of the Microsoft® XML Parser library and the Visual Basic programming language. The problem of managing microplate screening data is used as an illustration. Source code for all examples can be downloaded from http://www.labprogrammer.net.     

Electroclinical manifestations elicited by intracerebral electric stimulation "shocks" in temporal lobe epilepsy

In patients with severe drug-resistant partial epilepsy, undergoing Stereo-EEG investigations, spatial definition of the "epileptogenic area" is mainly based on spontaneous seizures recordings, but also on seizures induced by intracerebral electrical stimulation (ES). Only "trains" ES (TES, 50 pps) are currently used with this aim; "shocks" ES (SES, 1 pps) are principally applied to localize motor pathways. We have shown, during a prospective study concerning 10 temporal lobe epileptic patients, that SES could frequently induce seizures, especially when stimulation is applied in the anterior part of the Ammon's horn. Even if its efficacy seems lower than by TES, this kind of stimulation, in the majority of the cases, does reproduce isolated ictal subjective symptomatology, allowing the visualization of the progressive organisation of ictal electrical discharges, and avoids "unexpected" ("false positive"?) clinical responses.     

Expression of high-molecular-mass neurofilament protein in horse (Equus caballus) spinal ganglion neurons

Spinal ganglion (SG) neurons are subdivided, on the basis of their cytoplasmic aspect at light and electron microscopy, into dark (D) and light (L) neurons. Numerous efforts have been made to find specific markers able to identify D and L neuronal cytotypes. The isolectin B4 (IB4), utilized to identify nonpeptidergic D neurons in mice, unfortunately, has not proved as effective in other species. The 200-kDa neurofilament protein (NF200) is considered as a typical marker of L neurons in the rat, cat, and chick. The aim of this study was to analyze the histological, morphometric, and neurochemical characteristic of NF200-immunoreactive (IR) horse SG neurons, to better characterize them morphologically and functionally. NF200-IR neurons showed two levels (strong and weak) of staining intensity. Most (84%) strongly stained NF200-IR neurons corresponded to L neurons, and showed similar bimodality as in the size distribution study, which seems to indicate a third population of neurons, in addition to the two populations (small and large) previously identified. In triple-staining experiments where NF200 was colocalized with IB4, substance P (SP), and neuronal nitric oxide synthase (nNOS) neuronal markers, most NF200-IR neurons were single stained. On the contrary, most IB4-, SP-, and nNOS-stained neurons were triple labeled and almost equally subdivided between strong and weak NF200-IR with the latter being always smaller in size than strong NF200-IR neurons. In conclusion, horse SG neurons display significant morphometric and neurochemical differences compared with those of rodents.     

Acousto-optical PD detection for transformers

Partial discharge (PD) is one of the factors that could lead to failure of power transformers, leading to power outage and expensive repairs. The acoustic wave induced by PD can be measured and used for monitoring, diagnosing, and locating potential failures in the transformers. Fiber optic sensors have been shown to be attractive devices for PD detection because of a number of inherent advantages including small size, high sensitivity, electrical nonconductivity, and immunity to electromagnetic interference. A fiber optic sensor based on a Fabry-Perot interferometry is constructed by a simple micromachining process compatible with microelectromechanical system technology. The sensors are used in a transformer to measure PD acoustic waves. The experimental results show the sensor not only has an inherent high signal to noise capability, but is able to accurately localize the PD sources inside the transformer.     

Formal methods integration for the specification of dependable distributed systems

This paper describes a real-world case study in the specification and analysis of dependable distributed systems. The case study is an automated transport system with safety requirements. In order to manage the complexity of the problem of specifying the dynamic behavior of the whole system, a compositional approach is used, based on the integration of the trace logic of the Communicating Sequential Processes (CSP) theory, and stochastic Petri nets (SPNs). It is argued that the integration of different formal methods is a useful approach in the definition of practical engineering methodologies for the specification, design and analysis of complex dependable distributed systems.     

Pleurotusostreatus and Agaricus subrufescens: investigation of chemical composition and antioxidant properties of these mushrooms cultivated with different handmade and commercial supplements

In this study, the chemical composition, total phenolic content and antioxidant activity (DPPH, ORAC and FRAP assays) of A. subrufescens and P. ostreatus, cultivated with handmade and commercials supplements, were compared. Additionally, the compounds ergosterol, saccharopine, and hexitol were identified in A. subrufescens by HPLC-MS/MS. The antioxidant compound p-coumaric acid and dihexoses was found in both mushroom species. A. subrufescens presented higher total phenolic content (73.8 ± 0.6 mg GAE 100 g⁻¹) and antioxidant activity than P. ostreatus (16.6 ± 0.5 mg GAE 100 g⁻¹). The handmade supplement based on the waste of noble grains presented statistically similar phenolic content to the mushrooms cultivated with commercial ones Spawn Mate II SE (86.1 ± 1.4 and 92.9 ± 0.3 mg GAE 100 g⁻¹, respectively). Therefore, the results support the use of handmade supplements based on agro-wastes as a viable alternative to the use of high-cost commercial ones.     

Nanoconfined mixed Li and Mg borohydrides as materials for solid state hydrogen storage

Several mixtures of LiBH₄ and Mg(BH₄)₂ borohydrides in different stoichiometric ratios (1:0, 2:1, 1:1, 1:2, 0:1), prepared by high energy ball milling, have been investigated with X-ray powder diffraction and thermal programmed desorption (TPD) volumetric analysis to test the dehydrogenation kinetics in correlation with the physical mixture composition. Afterwards mixed and unmixed borohydrides were dispersed on high specific surface area ball milled graphite by means of the solvent infiltration technique. BET and statistical thickness methods were used to characterize the support surface properties, and SEM micrographs gave a better understanding of the preparation techniques. It has been observed by TPD volumetric measurements that the confinement of the reactive borohydrides on the nanoporous supports leads to a lower dehydrogenation temperature compared to unsupported borohydrides. Moreover, a further decrease of the dehydrogenation temperature has been observed by increasing the specific surface area of the support and the pores volume and by using the prepared mixtures instead of pure materials. The dehydrogenation process seems to be favoured by the heterogeneous nucleation on the graphite surface of decomposition products or intermediate phases from melted liquid borohydrides.     

Dynamic test planning: a study in an industrial context

Testing accounts for a relevant part of the production cost of complex or critical software systems. Nevertheless, time and resources budgeted to testing are often underestimated with respect to the target quality goals. Test managers need engineering methods to perform appropriate choices in spending testing resources, so as to maximize the outcome. We present a method to dynamically allocate testing resources to software components minimizing the estimated number of residual defects and/or the estimated residual defect density. We discuss the application to a real-world critical system in the homeland security domain. We describe a support tool aimed at easing industrial technology transfer by hiding to practitioners the mathematical details of the method application.