This paper introduces a new notation called S which is based on higher order logic. It has been developed specifically to support the practical application of formal methods in industrial scale projects. The development of S has occurred in the context of an investigation into the possibility of using formal specification techniques in the development of a $400 million air traffic control syste...

With the growing power and shrinking cost of personal computers, the availability of fast ethernet interconnections, and public domain software packages, it is now possible to combine them to build desktop parallel computers (named Beowulf or PC clusters) at a fraction of what it would cost to buy systems of comparable power from supercomputer companies. This led us to build and assemble our ow...

In this paper we present the project InLéctor, aiming to create interactive bilingual ebooks. The goal of this project is to develop a set of applications for the automatic creation of bilingual ebooks. These books allow to switch from the original text to the translation with a simple click and are published in the more popular ebook formats: html, epub and mobi. We plan to publish literary wo...

The application of Web 2.0 tools and methodologies in the domain of eGovernment is not yet a fully exploited area due to the immaturity of the software support, and the lack of commitment from Public Administrations. This paper proposes a solution to locate a service which a citizen may be interested in. The solution uses particular features from this environment, such as microformats, metadata...

We present a practical approach to the design of a Web system for 3D and volumetric data interrogation and visualization. This Web application provides different functionalities including isosurface extraction, mesh simplification, output file production in a standard format, and data compression. The application is designed in a modular way, and its services are suitable for heterogeneous clie...

Introduction. In 1999-2000, a Norwegian youth cracked a DVD-access code and published a decryption program on the Internet. He was sued by the US DVD Copy Control Association (DVD-CCA) and the Norwegian Motion Picture Association (MAP), allies of the US Motion Picture Association of America (MPAA), arrested by Norwegian police and charged with data crime. Two Norwegian court rulings in 2003 una...

In this work an efficient algorithm to perform a block decomposition for large dense rectangular matrices with entries in 2 is presented. Matrices are stored as column blocks of row major matrices in order to facilitate rows operation and matrix multiplications with block of columns. One of the major bottlenecks of matrix decomposition is the pivoting involving both rows and column exchanges. S...

We consider the problem of globally minimizing the sum of many rational functions over a given compact semialgebraic set. The number of terms can be large (10 to 100), the degree of each term should be small (up to 10), and the number of variables can be large (10 to 100) provided some kind of sparsity is present. We describe a formulation of the rational optimization problem as a generalized m...

This paper describes an new and optimized direct ray tracing algorithm over complex implicit surfaces generated by skeletons. Its main originality is its ability to avoid unwanted blending between parts of the same object, thanks to the partitioning of the surface into several pieces, so called Implicit Patches. Moreover, these patches enable to exploit the properties of local field functions, ...

Let me start with the simplest possible definition of record linkage. There is a single record as well as a file of records and all records relate to some entities: persons, businesses, addresses, etc. Record linkage is the operation that, using the identifying information contained in the single record, seeks another record in the file referring to the same entity. If one accepts this definiti...