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.     

Autogenous shrinkage in high-performance cement paste: An evaluation of basic mechanisms

In this paper, various mechanisms suggested to cause autogenous shrinkage are presented. The mechanisms are evaluated from the point of view of their soundness and applicability to quantitative modeling of autogenous shrinkage. The capillary tension approach is advantageous, because it has a sound mechanical and thermodynamical basis. Furthermore, this mechanism is easily applicable in a numerical model when dealing with a continuously changing microstructure. In order to test the numerical model, autogenous deformation and internal relative humidity (RH) of a Portland cement paste were measured during the first week of hardening. The isothermal heat evolution was also recorded to monitor the progress of hydration and the elastic modulus in compression was measured. RH change, degree of hydration and elastic modulus were used as input data for the calculation of autogenous deformation based on the capillary tension approach. Because a part of the RH drop in the cement paste is due to dissolved salts in the pore solution, a method is suggested to separate this effect from self-desiccation and to calculate the actual stress in the pore fluid associated with menisci formation.     

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.     

An open-source library for the numerical modeling of mass-transfer in solid oxide fuel cells

The generation of direct current electricity using solid oxide fuel cells (SOFCs) involves several interplaying transport phenomena. Their simulation is crucial for the design and optimization of reliable and competitive equipment, and for the eventual market deployment of this technology. An open-source library for the computational modeling of mass-transport phenomena in SOFCs is presented in this article. It includes several multicomponent mass-transport models (i.e. Fickian, Stefan–Maxwell and Dusty Gas Model), which can be applied both within porous media and in porosity-free domains, and several diffusivity models for gases. The library has been developed for its use with OpenFOAM^®, a widespread open-source code for fluid and continuum mechanics. The library can be used to model any fluid flow configuration involving multicomponent transport phenomena and it is validated in this paper against the analytical solution of one-dimensional test cases. In addition, it is applied for the simulation of a real SOFC and further validated using experimental data.Program summaryProgram title: multiSpeciesTransportModelsCatalogue identifier: AEKB_v1_0Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AEKB_v1_0.htmlProgram obtainable from: CPC Program Library, Queen?s University, Belfast, N. IrelandLicensing provisions: GNU General Public LicenseNo. of lines in distributed program, including test data, etc.: 18 140No. of bytes in distributed program, including test data, etc.: 64 285Distribution format: tar.gzProgramming language:: C++Computer: Any x86 (the instructions reported in the paper consider only the 64 bit case for the sake of simplicity)Operating system: Generic Linux (the instructions reported in the paper consider only the open-source Ubuntu distribution for the sake of simplicity)Classification: 12External routines: OpenFOAM® (version 1.6-ext) (http://www.extend-project.de)Nature of problem: This software provides a library of models for the simulation of the steady state mass and momentum transport in a multi-species gas mixture, possibly in a porous medium. The software is particularly designed to be used as the mass-transport library for the modeling of solid oxide fuel cells (SOFC). When supplemented with other sub-models, such as thermal and charge-transport ones, it allows the prediction of the cell polarization curve and hence the cell performance.Solution method: Standard finite volume method (FVM) is used for solving all the conservation equations. The pressure-velocity coupling is solved using the SIMPLE algorithm (possibly adding a porous drag term if required). The mass transport can be calculated using different alternative models, namely Fick, Maxwell–Stefan or dusty gas model. The code adopts a segregated method to solve the resulting linear system of equations. The different regions of the SOFC, namely gas channels, electrodes and electrolyte, are solved independently, and coupled through boundary conditions.Restrictions: When extremely large species fluxes are considered, current implementation of the Neumann and Robin boundary conditions do not avoid negative values of molar and/or mass fractions, which finally end up with numerical instability. However this never happened in the documented runs. Eventually these boundary conditions could be reformulated to become more robust.Running time: From seconds to hours depending on the mesh size and number of species. For example, on a 64 bit machine with Intel Core Duo T8300 and 3 GBytes of RAM, the provided test run requires less than 1 second.     

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.     

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.     

The fracture mechanics of finite crack extension

This paper describes a modification to the traditional Griffith energy balance as used in linear elastic fracture mechanics (LEFM). The modification involves using a finite amount of crack extension (Δa) instead of an infinitesimal extension (da) when calculating the energy release rate. We propose to call this method finite fracture mechanics (FFM). This leads to a change in the Griffith equation for brittle fracture, introducing a new term Δa/2: we denote this length as L and assume that it is a material constant. This modification is extremely useful because it allows LEFM to be used to make predictions in two situations in which it is normally invalid: short cracks and notches. It is shown that accurate predictions can be made of both brittle fracture and fatigue behaviour for short cracks and notches in a range of different materials. The value of L can be expressed as a function of two other material constants: the fracture toughness K_c (or threshold ΔK_th in the case of fatigue) and an inherent strength parameter σ₀. For the particular cases of fatigue-limit prediction in metals and brittle fracture in ceramics, it is shown that σ₀ coincides directly with the ultimate tensile strength (or, in fatigue, the fatigue limit), as measured on plain, unnotched specimens. For brittle fracture in polymers and metals, in which larger amounts of plasticity precede fracture, the approach can still be used but σ₀ takes on a different value, higher than the plain-specimen strength, which can be found from experimental data. Predictions can be made very easily for any problem in which the stress intensity factor, K is known as a function of crack length. Furthermore, it is shown that the predictions of this method, FFM, are similar to those of a method known as the line method (LM) in which failure is predicted based on the average stress along a line drawn ahead of the crack or notch.     

Introducing QoS awareness in distributed programming: QTcl

A number of distributed applications require communication services with quality of service (QoS) guarantees. Building global‐scale distributed systems with predictable properties is one of the great challenges for computer systems engineering in the new century. Work undertaken within the Internet Engineering Task Force has led to the definition of novel architectural models for the Internet with QoS support. According to these models, the network has to be appropriately configured in order to provide applications with the required performance guarantees. In next‐generation networks, enabling applications to interact with the underlying QoS services is of primary importance. Hence, several special‐purpose application programming interfaces (APIs) have been defined to let applications negotiate QoS parameters across QoS‐capable networks. However, so far, none of these APIs are available in different operating environments. We believe that such features should be embedded in programming environments for distributed applications. In this work we present how we included QoS control features in Tcl, a programming language that has been widely adopted for the development of distributed multimedia applications. Our work has led to the implementation of QTcl, an extended Tcl interpreter that provides programmers with a new set of primitives, in full compliance with the standard SCRAPI programming interface for the RSVP protocol. QTcl in highly portable, in that it enables standard QoS negotiation to be performed in a seamless fashion on the most common operating systems. Copyright © 2003 John Wiley & Sons, Ltd.     

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.     

Merging Results for Distributed Content Based Image Retrieval

Searching information through the Internet often requires users to separately contact several digital libraries, use each library interface to author the query, analyze retrieval results and merge them with results returned by other libraries. Such a solution could be simplified by using a centralized server that acts as a gateway between the user and several distributed repositories: The centralized server receives the user query, forwards the user query to federated repositories—possibly translating the query in the specific format required by each repository—and fuses retrieved documents for presentation to the user. To accomplish these tasks efficiently, the centralized server should perform some major operations such as: resource selection, query transformation and data fusion. In this paper we report on some aspects of MIND, a system for managing distributed, heterogeneous multimedia libraries (MIND, 2001, http://www.mind-project.org). In particular, this paper focusses on the issue of fusing results returned by different image repositories. The proposed approach is based on normalization of matching scores assigned to retrieved images by individual libraries. Experimental results on a prototype system show the potential of the proposed approach with respect to traditional solutions.