Development of an auxiliary system for the execution of vascular catheter interventions with a reduced radiological risk; system description and first experimental results

Vascular catheterization is a common procedure in clinical medicine. It is normally performed by a specialist using an X-ray fluoroscopic guide and contrast-media. In the present paper, an image-guided navigation system which indicates a path providing guidance to the desired target inside the vascular tree is described with the aim of reducing the exposure of personnel and patients to X-rays during the catheterization procedure. A 3D model of the patient vascular tree, reconstructed with data collected by an angiography before starting the intervention, is used as a guide map instead of fluoroscopic scans. An accurate spatial correspondence between the body of the patient and the 3D reconstructed vascular model is established and, by means of a position indicator installed over the catheter tip, the real-time position/orientation of the tip is indicated correctly. This paper describes the system and the operational procedures necessary to use the proposed method efficiently during a catheter intervention. Preliminary experimental results on a phantom are also reported.     

A web-based e-learning system for increasing study efficiency by stimulating learner’s motivation

Due to the opportunities provided by the Internet, more and more people are taking advantage of distance learning courses and during the last few years enormous research efforts have been dedicated to the development of distance learning systems. So far, many e-learning systems are proposed and used practically. However, in these systems the e-learning completion rate is about 30%. One of the reasons is the low study desire when the learner studies the learning materials. In this research, we propose an interactive Web-based e-learning system. The purpose of our system is to increase the e-learning completion rate by stimulating learner’s motivation. The proposed system has three subsystems: the learning subsystem, learner support subsystem, and teacher support subsystem. The learning subsystem improves the learner’s study desire. The learner support subsystem supports the learner during the study, and the teacher support subsystem supports the teacher to get the learner’s study state. To evaluate the proposed system, we developed several experiments and surveys. By using new features such as: display of learner’s study history, change of interface color, encourage function, ranking function, self-determination of the study materials, and grouping of learners, the proposed system can increase the learning efficiency.

Definition of Risk Indicators for Reservoirs Management Optimization

An alternative procedure for drought risk assessment and for the mitigation of drought risk is proposed in the paper. An analysis of the relationship between failure of water supply systems and reservoir volumes for the urban area of Firenze in central Tuscany, in central Italy, is performed. Long term simulations are carried out using the software package WEAP. A simplified model of the water resources system is built to assess the threshold values and the management rules. The probability to have definite degree of shortage in the water supply system is evaluated in function of the volume stored in the reservoir at the beginning of the month with Monte Carlo simulations. The reservoir levels and volumes are simulated using time series of the period 1970–2005. Four scenarios (i.e. normal, pre-alert, alert and emergency) associated with different levels of severity of drought are defined. Threshold values are identified considering the probability to assure a given fraction of the demand in a certain time horizon, and are calibrated with an optimization method, which try to minimize the water shortages, especially the heavier. The critical situations are assessed month by month in order to evaluate optimal management rules during the year and avoid conditions of total water shortage.     

Analysis and implementation of the multiprocessor bandwidth inheritance protocol

The Multiprocessor Bandwidth Inheritance (M-BWI) protocol is an extension of the Bandwidth Inheritance (BWI) protocol for symmetric multiprocessor systems. Similar to Priority Inheritance, M-BWI lets a task that has locked a resource execute in the resource reservations of the blocked tasks, thus reducing their blocking time. The protocol is particularly suitable for open systems where different kinds of tasks dynamically arrive and leave, because it guarantees temporal isolation among independent subsets of tasks without requiring any information on their temporal parameters. Additionally, if the temporal parameters of the interacting tasks are known, it is possible to compute an upper bound to the interference suffered by a task due to other interacting tasks. Thus, it is possible to provide timing guarantees for a subset of interacting hard real-time tasks. Finally, the M-BWI protocol is neutral to the underlying scheduling policy: it can be implemented in global, clustered and semi-partitioned scheduling. After introducing the M-BWI protocol, in this paper we formally prove its isolation properties, and propose an algorithm to compute an upper bound to the interference suffered by a task. Then, we describe our implementation of the protocol for the?LITMUS ^RT real-time testbed, and measure its overhead. Finally, we compare M-BWI against FMLP and OMLP, two other protocols for resource sharing in multiprocessor systems.     

Data challenges of time domain astronomy

Astronomy has been at the forefront of the development of the techniques and methodologies of data intensive science for over a decade with large sky surveys and distributed efforts such as the Virtual Observatory. However, it faces a new data deluge with the next generation of synoptic sky surveys which are opening up the time domain for discovery and exploration. This brings both new scientific opportunities and fresh challenges, in terms of data rates from robotic telescopes and exponential complexity in linked data, but also for data mining algorithms used in classification and decision making. In this paper, we describe how an informatics-based approach—part of the so-called “fourth paradigm” of scientific discovery—is emerging to deal with these. We review our experiences with the Palomar-Quest and Catalina Real-Time Transient Sky Surveys; in particular, addressing the issue of the heterogeneity of data associated with transient astronomical events (and other sensor networks) and how to manage and analyze it.     

Using fold-in and fold-out in the architecture recovery of software systems

In this paper we present an approach to automate the architecture recovery process of software systems. The approach is built on information retrieval and clustering techniques, and, in particular, uses Latent Semantic Indexing (LSI) to get similarities among software entities (e.g., programs or classes) and the k-means clustering algorithm to form groups of software entities that implement similar functionality. In order to improve computational time in the context of the software evolution and then reduce energy waste, the architecture recovery process can be also applied by using fold-in and fold-out mechanisms that, respectively, add and remove software entities to the LSI representation of the understudy software system. The approach has been implemented in a prototype of a supporting software system as an Eclipse plug-in. Finally, to assess the approach and the plug-in, we have conducted an empirical investigation on five open source software systems implemented using the programming languages Java and C/C++. In the investigation special emphasis has been also given to the effect of using the fold-in and fold-out mechanisms.     

Discrete time sliding mode control of robotic manipulators: Development and experimental validation

This paper presents a robust discrete-time sliding mode control coupled with an uncertainty estimator designed for planar robotic manipulators. Experimental evidence shows satisfactory trajectory tracking performances and noticeable robustness in the presence of model inaccuracies, disturbances and payload perturbations. Ultimate boundedness of the tracking errors is proved, as well as boundedness of the estimation error with arbitrary precision.