Luciol Instruments (Switzerland)

La professionnalisation de la structure arbitraleDe la commission centrale des arbitres à la direction de l’Arbitrage : entre controverses et professionnalisationÀ partir de 1995, l’arrêt Bosman1 marque un tournant pour le football français, libéralisant les transferts des joueurs au sein des différents pays européens. Alors que l’expatriation des joueurs

The aim of this study is to analyze the representation of woman in the novel Lucola, by Jos de Alencar, paying attention on its symbolic elements and verifying how the image of women built by Alencar in this work reflects the moral of its time.

Summary Microarray technology produces vast amounts of data by measuring simultaneously the expression levels of thousands of genes under hundreds of biological conditions. Nowadays, one of the principal challenges in bioinformatics is the interpretation of this large amount of data using different sources of information. We have developed a novel data analysis method named CGGA (Co-expressed Gene Groups Analysis) that automatically finds groups of genes that are functionally enriched, i.e. have the same functional annotations, and are co-expressed. CGGA automatically integrates the information of microarrays, i.e. gene expression profiles, with the functional annotations of the genes obtained by the genome-wide information sources such as Gene Ontology. By applying CGGA to wellknown microarray experiments, we have identified the principal functionally enriched and co-expressed gene groups, and we have shown that this approach enhances and accelerates the interpretation of DNA microarray experiments.

User Interfaces (UI) are an essential part of most softwares, especially data intensive ones as database or Web based applications.

In this paper we have presented three main ideas: Semantic specifications written using inference rules may be executed. The method may be compared with the approach taken in the SIS system of Peter Mosses [Mos78]. A Prolog system is adequate for executing such a specification. Intensive use of overloading make semantic specifications easier and more elegant. Typol seems to be a very intuitive way to introduce semantic specifications into a system like Mentor. We would like to use more of Prolog's power (back-tracking for example) to specify the static semantics of programming languages with overloading, such as Ada. Other examples will be needed to improve the Typol formalism and to see exactly what its limits are, both from a theoretical and a practical standpoint.