In this article we would like to go back on B used to design software, by presenting the industrial process established through years by Siemens Transportation Systems on a real project: the VAL shuttle for Roissy Charles de Gaulle airport. In this project, the logical core of an equipment located along the tracks and driving the shuttles is designed with B. By confronting this B software devel...

This study describes the development of a test battery to assess high-level language function in Swedish and a description of the test performances of a group of 9 individuals with multiple sclerosis (MS). The test battery included tasks such as repetition of long sentences, understanding of complicated logicogrammatical sentences, naming famous people, resolving ambiguities, recreating sentenc...

In recent years there has been a great deal of research surrounding the architecture of the Internet. Despite this, researchers still do not share the same views on two basic questions: What are the fundamental problems of current Internet? Is a new architecture needed or can we tweak the current Internet, solving problems through minor upgrades? In this paper, we look at the Internet’s archite...

This paper discusses clock-comparison experiments, which may be used to test Lorentz symmetry to an extremely high level of precision. We include a brief overview of theoretical predictions for signals of Lorentz violation in clock-comparison experiments and summarize results of experiments that have been performed to date.

This paper presents the TWlST (Technical Writer's Integrated Support Tool) project. The system developed within TWlST can be viewed as a high level hypertext system intelface, as well as an environment for the edition of structured documents. This paper explains in which way the two points of view are addressed. In particular, it describes TWIST objectives and the means carried out to reach the...

Selected hedge funds employ trend-following strategies in an attempt to achieve superior risk adjusted returns. We employ a lookback straddle approach for evaluating the return characteristics of a trend following strategy. The strategies can improve investor performance in the context of a multi-period dynamic portfolio model. The gains are achieved by taking advantage of the funds’ high level...

Information technology and the internet have an enormous potential for the development of government services at all levels. These technologies not only offer access to a wide range of electronic services to support the daily life of citizens, but they also could help citizens to participate in the governance of their communities. The term "electronic participation" has been coined to describe ...

A high level representation of polyhedral scenes in terms of planes and corresponding coplanar sets of 3D line segments is used to develop a method for identifying categories of objects and features in the scenes. Plane intersections are used to establish links between all the planes that correspond to the visible surface of a particular object. The object's shape (as far as it is known) is the...

This paper investigates the virtual seminar “Education and Socialization in Early Childhood” at the LudwigMaximilians-University, Munich. In this seminar, we focused on the group collaboration, which was evaluated by the students three times over the period of one semester, and on whether this evaluation changed over time. It was assumed that evaluation scores decrease over time as online colla...

In recognition of changes to the typical patterns of working life, Higher Education in overall the world is currently laying great stress on Competence-based learning. Nevertheless, while lifelong learning is increasingly influencing university and workplace in overall the world, some critical issues still have to be worked out so as to reach its full potential. Since, it appears to address the...