On the impact of physical layer awareness on scheduling and resource allocation in broadband multicellular IEEE 802.16 systems [Radio Resource Management and Protocol Engineering for IEEE 802.16]

Multicellular networks based on the IEEE 802.16 standard appear to be very promising candidates to provide end users with broadband wireless access. However, they also pose interesting challenges in terms of radio resource management, where several design choices are not specified in the standard, intentionally left open to implementors. For this reason, we focus in this article on scheduling and resource allocation, and investigate how they could operate in a cross-layer fashion. In particular, we describe the principles of joint scheduling and resource allocation for IEEE 802.16 operating in AMC mode, and discuss the critical role played by physical layer considerations, especially intercell interference estimation and channel state awareness, in the obtained performance. This leads to identifying key open issues and possible general solutions     

XML schema, tree logic and sheaves automata

XML documents may be roughly described as unranked, ordered trees and it is therefore natural to use tree automata to process or validate them. This idea has already been successfully applied in the context of Document Type Definition (DTD), the simplest standard for defining document validity, but additional work is needed to take into account XML Schema, a more advanced standard, for which regular tree automata are not satisfactory. In this paper, we introduce Sheaves Logic (SL), a new tree logic that extends the syntax of the – recursion-free fragment of – W3C XML Schema Definition Language (WXS). Then, we define a new class of automata for unranked trees that provides decision procedures for the basic questions about SL: model-checking; satisfiability; entailment. The same class of automata is also used to answer basic questions about WXS, including recursive schemas: decidability of type-checking documents; testing the emptiness of schemas; testing that a schema subsumes another one.This work was partially supported by the French government research grant ACI TRALALA and by IST Global Computing Profundis.     

Developing wearable bio-feedback systems: a general-purpose platform

Microprocessors, even those in PocketPCs, have adequate power for many real-time biofeedback applications for disabled people. This power allows design of portable or wearable devices that are smaller and lighter, and that have longer battery life compared to notebook-based systems. In this paper, we discuss a general-purpose hardware/software solution based on industrial or consumer devices and a C++ framework. Its flexibility and modularity make it adaptable to a wide range of situations. Moreover, its design minimizes system requirements and programming effort, thus allowing efficient systems to be built quickly and easily. Our design has been used to build two brain computer interface systems that were easily ported from the Win32 platform.     

The multimod application framework: a rapid application development tool for computer aided medicine

This paper describes a new application framework (OpenMAF) for rapid development of multimodal applications in computer-aided medicine. MAF applications are multimodal in data, in representation, and in interaction. The framework supports almost any type of biomedical data, including DICOM datasets, motion-capture recordings, or data from computer simulations (e.g. finite element modeling). The interactive visualization approach (multimodal display) helps the user interpret complex datasets, providing multiple representations of the same data. In addition, the framework allows multimodal interaction by supporting the simultaneous use of different input-output devices like 3D trackers, stereoscopic displays, haptics hardware and speech recognition/synthesis systems. The Framework has been designed to run smoothly even on limited power computers, but it can take advantage of all hardware capabilities. The Framework is based on a collection of portable libraries and it can be compiled on any platform that supports OpenGL, including Windows, MacOS X and any flavor of Unix/linux.     

A covert attention P300-based brain-computer interface: Geospell

The Farwell and Donchin P300 speller interface is one of the most widely used brain-computer interface (BCI) paradigms for writing text. Recent studies have shown that the recognition accuracy of the P300 speller decreases significantly when eye movement is impaired. This report introduces the GeoSpell interface (Geometric Speller), which implements a stimulation framework for a P300-based BCI that has been optimised for operation in covert visual attention. We compared the Geospell with the P300 speller interface under overt attention conditions with regard to effectiveness, efficiency and user satisfaction. Ten healthy subjects participated in the study. The performance of the GeoSpell interface in covert attention was comparable with that of the P300 speller in overt attention. As expected, the effectiveness of the spelling decreased with the new interface in covert attention. The NASA task load index (TLX) for workload assessment did not differ significantly between the two modalities. PRACTITIONER SUMMARY: This study introduces and evaluates a gaze-independent, P300-based brain-computer interface, the efficacy and user satisfaction of which were comparable with those off the classical P300 speller. Despite a decrease in effectiveness due to the use of covert attention, the performance of the GeoSpell far exceeded the threshold of accuracy with regard to effective spelling.     

The use of EEG modifications due to motor imagery for brain-computer interfaces

The opening of a communication channel between brain and computer [brain-computer interface (BCI)] is possible by using changes in electroencephalogram (EEG) power spectra related to the imagination of movements. In this paper, we present results obtained by recording EEG during an upper limb motor imagery task in a total of 18 subjects by using low-resolution surface Laplacian, different linear and quadratic classifiers, as well as a variable number of scalp electrodes, from 2 to 26. The results (variable correct classification rate of mental imagery between 75% and 95%) suggest that it is possible to recognize quite reliably ongoing mental movement imagery for BCI applications.     

Evaluation of tritium diffusion through the Neutral Beam Injector calorimeter panel

The Neutral Beam Test Facility (NBTF) to be realized in Padoa will test the Neutral Beam Injection (NBI), one of the Heating and Current Drive Systems foreseen for ITER. The NBI is based on the acceleration of hydrogen or deuterium negative ions up to 1 MeV. This work has been aimed at assessing the tritium release from the NBTF in order to provide data for the safety analysis. In particular, the diffusion of the tritium through the neutral beam target material (the CuCrZr alloy calorimeter panels) has been assessed by using literature data of the diffusion coefficient. The tritium generated inside the calorimeter panels moves into both the vacuum and water side: the tritium diffusion flux has been evaluated during the beam-on (200 °C) and the beam-off (20 °C) phases of the NBTF experiments consisting of an interim campaign and a final test. The penetration depth of the tritium through the 2 mm thick CuCrZr alloy material has been also evaluated by using a Monte-Carlo code. As main result, the assessed diffusion flux of tritium during both the beam-on and the beam-off phases are modest. In fact, at the end of the interim campaign (100 days), about the 96% of the all generated tritium (626.5 MBq) exits the calorimeter while the residual tritium inventory (25 MBq) leaves the copper alloy with a diffusion time of about 1 month. At the end of the final test (14 days) about the 99% of the total generated tritium (1.023 × 10⁴ MBq) leaves the copper alloy and the remaining tritium inventory (152.2 MBq) is released by about 32 days. In both the interim campaign and the final test, more than the 99% of the total tritium is transferred into the vacuum side of the calorimeter panel while negligible tritium amounts enter the cooling water system thus showing a very low impact on the environment.     

A Sensitivity-Based Design Space Exploration Methodology for Embedded Systems

In this paper, we propose a system-level design methodology for the efficient exploration of the architectural parameters of the memory sub-systems, from the energy-delay joint perspective. The aim is to find the best configuration of the memory hierarchy without performing the exhaustive analysis of the parameters space. The target system architecture includes the processor, separated instruction and data caches, the main memory, and the system buses. To achieve a fast convergence toward the near-optimal configuration, the proposed methodology adopts an iterative local-search algorithm based on the sensitivity analysis of the cost function with respect to the tuning parameters of the memory sub-system architecture. The exploration strategy is based on the Energy-Delay Product (EDP) metric taking into consideration both performance and energy constraints. The effectiveness of the proposed methodology has been demonstrated through the design space exploration of a real-world case study: the optimization of the memory hierarchy of a MicroSPARC2-based system executing the set of Mediabench benchmarks for multimedia applications. Experimental results have shown an optimization speedup of 2 orders of magnitude with respect to the full search approach, while the near-optimal system-level configuration is characterized by a distance from the optimal full search configuration in the range of 2%.