A Secure Grid Medical Data Manager Interfaced to the gLite Middleware

The medical community is producing and manipulating a tremendous volume of digital data for which computerized archiving, processing and analysis is needed. Grid infrastructures are promising for dealing with challenges arising in computerized medicine but the manipulation of medical data on such infrastructures faces both the problem of interconnecting medical information systems to Grid middlewares and of preserving patients’ privacy in a wide and distributed multi-user system. These constraints are often limiting the use of Grids for manipulating sensitive medical data. This paper describes our design of a medical data management system taking advantage of the advanced gLite data management services, developed in the context of the EGEE project, to fulfill the stringent needs of the medical community. It ensures medical data protection through strict data access control, anonymization and encryption. The multi-level access control provides the flexibility needed for implementing complex medical use-cases. Data anonymization prevents the exposure of most sensitive data to unauthorized users, and data encryption guarantees data protection even when it is stored at remote sites. Moreover, the developed prototype provides a Grid storage resource manager (SRM) interface to standard medical DICOM servers thereby enabling transparent access to medical data without interfering with medical practice.     

Timed Specification For Web Services Compatibility Analysis

Web services are becoming one of the main technologies for designing and building complex inter-enterprise business applications. Usually, a business application cannot be fulfilled by one Web service but by coordinating a set of them. In particular, to perform a coordination, one of the important investigations is the compatibility analysis. Two Web services are said compatible if they can interact correctly. In the literature, the proposed frameworks for the services compatibility checking rely on the supported sequences of messages. The interaction of services depends also on other properties, such that the exchanged data flow. Thus, considering only supported sequences of messages seems to be insufficient. Other properties on which the services interaction can rely on, are the temporal constraints. In this paper, we focus our interest on the compatibility analysis of Web services regarding their (1) supported sequences of messages, (2) the exchanged data flow, (3) constraints related to the exchanged data flow and (4) the temporal requirements. Based on these properties, we study three compatibility classes: (i) absolute compatibility, (ii) likely compatibility and (iii) absolute incompatibility.     

Food vacuole proteome of the malarial parasite Plasmodium falciparum

The Plasmodium falciparum food vacuole (FV) is a lysosome-like organelle where erythrocyte hemoglobin digestion occurs. It is a favorite target in the development of antimalarials. We have used a tandem mass spectrometry approach to investigate the proteome of an FV-enriched fraction and identified 116 proteins. The electron microscopy analysis and the Western blot data showed that the major component of the fraction was the FV and, as expected, the majority of previously known FV markers were recovered. Of particular interest, several proteins involved in vesicle-mediated trafficking were identified, which are likely to play a key role in FV biogenesis and/or FV protein trafficking. Recovery of parasite surface proteins lends support to the cytostomal pathway of hemoglobin ingestion as a FV trafficking route. We have identified 32 proteins described as hypothetical in the databases. This insight into FV protein content provides new clues towards understanding the biological function of this organelle in P. falciparum.     

Uniting Local and Global Controllers with Robustness to Vanishing Noise

We consider control systems for which we know two stabilizing controllers. One is globally asymptotically stabilizing, the other one is only locally asymptotically stabilizing but for some reason we insist on using it in a neighborhood of the origin. We look for a uniting control law being equal to the local feedback on a neighborhood of the origin, equal to the global one outside of a larger neighborhood and being a globally stabilizing controller. We study several solutions based on continuous, discontinuous, hybrid, time-varying controllers. One criterion of the selection of a controller is the robustness of the stability to vanishing noise. This leads us in particular to consider a kind of generalization of Krasovskii trajectories for hybrid systems. Date received: November 29, 1999. Date revised: August 7, 2000.     

After-hours telephone coverage: the application of an area-wide telephone triage and advice system for pediatric practices

BACKGROUND: After-hours telephone calls are a stressful and frustrating aspect of pediatric practice. At the request of private practice pediatricians in Denver, a metropolitan area-wide system was created to manage after-hours pediatric telephone calls and after-hours patient care. This system, the After-Hours Program (AHP), uses specially trained pediatric nurses with standardized protocols to provide after-hours telephone triage and advice for the patients of 92 Denver pediatricians, representing 56 practices. OBJECTIVES: This report describes the AHP, presents data from 4 years' experience with the program, and describes results of our evaluation of the following aspects of the program: subscribing physician satisfaction, parent satisfaction, the accuracy and appropriateness of telephone triage, and program costs. METHODS: After-Hours Program records (including quality assurance data) for all 4 years of operation were retrospectively reviewed, tabulated, and analyzed. The results of two subscribing physician surveys and one parent caller satisfaction survey are presented. A retrospective review of after-hours patient care encounter forms assessed the necessity for after-hours visits triaged by the AHP. An analysis of the total cost of this program to 10 randomly selected subscribing physicians was conducted using current AHP data and a survey of the 10 physicians. RESULTS: In 4 years, 107,938 calls have been successfully managed without an adverse clinical outcome. Minor errors in using protocols occurred in one call out of 1450 after-hours calls. After-hours phoen calls necessitated an after-hours patient visit 20% of the time and generated one after-hours hospital admission out of every 88 calls. Just over half of the patients were managed with home care advice only, and 28% were given home care advice after-hours and seen the next day in the primary physician's office. Of all patients directed by the telephone triage nurses to be seen after hours, 78% were determined to have a condition necessitating after-hours care. Data are presented regarding call volumes by time of day, day of week, patient age, and patient's initial complaint. The 6 most common complaints accounted for more than one half of the calls, and 38 complaints accounted for more than 95% of all after-hours calls. Utilization by subscribing physicians is described. Satisfaction among subscribing pediatricians was 100%, and among parents was 96% to 99% on a variety of issues. The total cost to participating Denver pediatricians (which includes revenues "given up" as a result of not seeing patients after hours) ranged from 1% to 12% of their annual net income, depending on a variety of factors. CONCLUSIONS: Large-scale after-hours telephone coverage systems can be effective and well-received by patients, parents, and primary physicians. Data presented in this report can assist in planning the training of personnel who provide after-hours telephone advice and triage. Controversies associated with this type of program are discussed. Suggestions are made regarding the direction of future programs and research.     

Analytic Tangent Irradiance Environment Maps for Anisotropic Surfaces

Environment‐mapped rendering of Lambertian isotropic surfaces is common, and a popular technique is to use a quadratic spherical harmonic expansion. This compact irradiance map representation is widely adopted in interactive applications like video games. However, many materials are anisotropic, and shading is determined by the local tangent direction, rather than the surface normal. Even for visualization and illustration, it is increasingly common to define a tangent vector field, and use anisotropic shading. In this paper, we extend spherical harmonic irradiance maps to anisotropic surfaces, replacing Lambertian reflectance with the diffuse term of the popular Kajiya‐Kay model. We show that there is a direct analogy, with the surface normal replaced by the tangent. Our main contribution is an analytic formula for the diffuse Kajiya‐Kay BRDF in terms of spherical harmonics; this derivation is more complicated than for the standard diffuse lobe. We show that the terms decay even more rapidly than for Lambertian reflectance, going as l^–3, where l is the spherical harmonic order, and with only 6 terms (l = 0 and l = 2) capturing 99.8% of the energy. Existing code for irradiance environment maps can be trivially adapted for real‐time rendering with tangent irradiance maps. We also demonstrate an application to offline rendering of the diffuse component of fibers, using our formula as a control variate for Monte Carlo sampling.     

Solving large sparse linear systems in a grid environment: the GREMLINS code versus the PETSc library

Solving large sparse linear systems is essential in numerous scientific domains. Several algorithms, based on direct or iterative methods, have been developed for parallel architectures. On distributed grids consisting of processors located in distant geographical sites, their performance may be unsatisfactory because they suffer from too many synchronizations and communications. The GREMLINS code has been developed for solving large sparse linear systems on distributed grids. It implements the multisplitting method that consists in splitting the original linear system into several subsystems that can be solved independently. In this paper, the performance of the GREMLINS code obtained with several libraries for solving the linear subsystems is analyzed. Its performance is also compared with that of the widely used PETSc library that enables one to develop portable parallel applications. Numerical experiments have been carried out both on local clusters and on distributed grids.     

ISS-Lyapunov functions for time-varying hyperbolic systems of balance laws

A family of time-varying hyperbolic systems of balance laws is considered. The partial differential equations of this family can be stabilized by selecting suitable boundary conditions. For the stabilized systems, the classical technique of construction of Lyapunov functions provides a function which is a weak Lyapunov function in some cases, but is not in others. We transform this function through a strictification approach to obtain a time-varying strict Lyapunov function. It allows us to establish asymptotic stability in the general case and a robustness property with respect to additive disturbances of input-to-state stability (ISS) type. Two examples illustrate the results.