To exactly forecast the urban rail transit passenger flow, a multi-level model combining neural network and Kalman filter was proposed. Firstly, ELAN neural network model was introduced to implement a preliminary forecast of the passenger flow. Then the Kalman filter was used to correct the preliminary forecast results, so as to further improve the accuracy. Finally, in order to validate the pr...

This paper shows the actual state of development of the manual annotation tool ELAN. It presents usage requirements from three different groups of users and how one annotation model and a number of generic design principles guided the choices made during the development process of ELAN. Introduction At the Max-Planck-Institute for Psycholinguistics (MPI) software development on annotation tools...

We introduce computational systems to formalise the notion of rewriting directed by user defined strategies. This provides a semantics for ELAN, an environment dedicated to prototype, experiment and study the combination of different deduction systems for constraint solving, theorem proving and logic programming paradigms. Formally, a computational system can be represented as a rewrite theory ...

LA-MPI is a high-performance, network-fault-tolerant implementation of MPI designed for terascale clusters that are inherently unreliable due to their very large number of system components and to trade-offs between cost and performance. This paper reviews the architectural design of LA-MPI, focusing on our approach to guaranteeing data integrity. We discuss our network data path abstraction th...

Designing a programming environment raises difficult implementation problems since such software is not just one piece of code able to execute programs expressed in a given programming language, but consists generally of several heterogeneous tools. The idea behind a data exchange format is to provide a common representation for the interconnection of these different tools. Moreover, an exchang...

American Sign Language, the preferred language of the Deaf community in the USA is its own language; complete with a rich collection of grammatical features. The DePaul University team has been working on an automatic English/ASL translator implemented as a 3D avatar in order to facilitate better communication between hearing and deaf people. Animations suffered from various timing inconsistenc...

Introduction Inductively Coupled Plasma Mass Spectrometry (ICP-MS) typically provides detection limits in the low-ppt to sub-ppt range for all but a few of over 70 elements. Unfortunately, for a handful of elements, conventional ICP-MS cannot provide the best possible detection limits. The detection limits for these elements are limited by plasma or sample matrix-based polyatomic interferences....

The simulation of processors over simple architectures is important for enabling test and veri cation prior to the expensive implementation involved in the development of new hardware technologies. Arvind's group has illustrated how to describe processors by term rewriting systems and has introduced a technique for proving the correctness of speci cations for elaborated processors with respect ...

The ρ-calculus permits to express in a uniform and simple way firstorder rewriting, λ-calculus and non-deterministic computations as well as their combination. In this paper, we present the main components of the ρ-calculus and we give a full first-order presentation of this rewriting calculus using an explicit substitution setting, called ρσ, that generalizes the λσ-calculus. The basic propert...