this paper. References

In this note we recall the importance of the notion of a finitary isomorphism in the classification problem of dynamical systems.

Abstract not found

This paper surveys the field of automated reasoning, giving some his-torical background and outlining a few of the main current research themes. We particularly emphasize the points of contact and the contrasts with computer al-gebra. We finish with a discussion of the main applications so far. 1

Abstract: This article discusses cubic curves, some of the ways they arise, and some of their applications in diverse fields such as cryptography and string theory. Key-Words: cubic curve, elliptic curve, Weierstrass equation 1

Abstract not found

During the last decade, there has been increasing interest in the stability analysis and switching control design for switched linear systems. This paper aims to briefly survey recent results in this field, focusing on stability analysis and switching stabilization problems. First, the stability

Abstract not found

Inter-vehicle communications (IVC) consists in a real application of vehicular ad-hoc networks (VANET) and is part of Intelligent Transportation Systems (ITS). An overview of IVC is presented. To guarantee IVC effectiveness, attention must be paid to one of the most important component of the system: the driver and the way he/her receives crucial infor-mation. A brief summary of the communication issues is presented.

Abstract not found