Filtrer
Support
Éditeurs
Prix
CEPADUES
-
Apprends-moi l'avion ! perfectionnement - cours théoriques
Jean Nicolas, Pascal Ziegelbaum
- Cepadues
- 2 Avril 2009
- 9782854288711
Jean NICOLAS a pu observer le comportement des élèves pilotes qu'il instruisait. Conscient des difficultés que pouvaient rencontrer certains, il a mis au point une méthode pédagogique qui lui a permis d'obtenir d'excellents résultats dans le domaine de l'instruction en vol et au sol. Toutes les leçons, données à base de bandes dessinées, assurent une très bonne formation des passionnés d'aéronautique, en particulier au sein des Aéro-clubs.
Ce recueil connaît un franc succès au sein des différentes écoles de pilotage. On s'instruit aisément dans la bonne humeur et sans fatigue. Souvent un bon dessin, agréable à observer, est plus efficace qu'une longue explication ennuyeuse (qu'il faudra certainement répéter plusieurs fois ensuite). Les pilotes qui désirent se plonger dans une théorie simple sauront retirer, ici, des conseils utiles pour le pilotage.
L'auteur a enseigné le pilotage sur des avions conventionnels et réacteurs (mono et multimoteurs), hélicoptères et hydravions. Il est également parachutiste des T.A.P. Il?anime des conférences sur la météorologie dans les établissements scolaires et forme quelques pilotes en aéro-clubs.
Pour parfaire cet ouvrage, Jean NICOLAS a fait appel à Pascal ZIEGELBAUM, pilote-instructeur I.F.R. qui a travaillé durant 10?ans au SEFA, assurant la formation des instructeurs avion et planeur. Actuellement, il est pilote de ligne au sein de la compagnie Air France.
-
RNTI E11-Extraction et gestion des connaissances (EGC'2008) en 2 tomes
Collectif
- Cepadues
- Nouvelles Technologies De L'information
- 24 Janvier 2008
- 9782854288186
La sélection d'articles publiés dans le présent recueil constitue les actes de la huitième conférence Extraction et Gestion des Connaissances (EGC'2008) qui s'est déroulée à Sophia Antipolis du 30 janvier au 1er février 2008. Comme les précédentes éditions, ces journées francophones sont consacrées à toutes les problématiques, théories, méthodes et applications de la fouille de données, de l'apprentissage, de l'extraction et de la gestion de connaissances. Il s'agit de rassembler les chercheurs universitaires et les acteurs d'entreprises concernés par ces domaines afin de présenter des travaux de qualité, de communiquer, et de stimuler les innovations.
-
Bien débuter en mathématiques ; l1, l2, l3 et classes préparatoires ; réduction des endomorphismes ; exercices corrigés avec rappel de cours
Mohamed Boucetta, Jean-Marie Morvan
- Cepadues
- Bien Debuter En Mathematiques
- 15 Mai 2007
- 9782854287813
A l'aube de la réforme de la structure de nos enseignements et du passage au L-M-D (Licence, Mastère, Doctorat), il nous a paru utile de fournir à nos étudiants des outils adaptés à ces nouveaux modes de fonctionnement. Les rappels de cours et les exercices : Cet ouvrage suppose connus les éléments fondamentaux d'algèbre linéaire, et traite de la réduction des endomorphismes : après avoir traité les déterminants et les systèmes linéaires, nous concentrons notre propos sur la diagonalisation et la triangulation des matrices. Bien que le sujet ne soit plus au programme des classes préparatoires aux grandes écoles, nous terminons ce fascicule par la réduction de Jordan. Autant que faire ce peut, nous avons suivi le plan et adopté les notations de l'excellent livre d'Algèbre Linéaire de Joseph Grifone, (Éditions CÉPADUÈS). L'algèbre linéaire ayant une place prépondérante dans l'enseignement des mathématiques et dans les concours, cet ouvrage sera utile aux étudiants de L1, L2, L3, des Classes Préparatoires, mais aussi aux étudiants qui préparent le C.A.P.E.S. de Mathématiques. Chaque chapitre contient un rappel de cours complet et une liste d'exercices, chacun d'entre eux étant suivi d'une solution rédigée avec soin. Les exercices choisis reviennent immanquablement, sous une forme ou une autre, dans l'épreuve d'algèbre des examens et des concours.
Une méthode ... vers l'auto-formation : Classés dans chaque section par ordre de difficulté croissante, les exercices permettront au lecteur de tester son niveau et sa progression. Les rappels de cours viennent en appui de ce dispositif. S'ils ne remplacent évidemment pas un cours complet d'algèbre linéaire, ils servent de référence systématique dans les solutions des exercices. De ce fait, le lecteur peut acquérir de façon autonome les bases des connaissances indispensables à, la poursuite de ses études. Si le sujet le passionne, (ce qui est le but de notre entreprise), il aura tout loisir de l'approfondir. Une touche d'histoire : Rémi Morvan a agrémenté le texte de pages historiques, qui retracent en quelques lignes l'évolution des concepts introduits dans le cours et les exercices. Les Auteurs.
-
La troisième édition de la conférence CORIA (Conférence en Recherche Information et Applications) s'est déroulée à Lyon en mars 2006. Les auteurs des meilleures communications retenues pour la conférence ont revu et complété leur travail pour le soumettre à un nouveau processus éditorial pour ce numéro de la revue I3. Six de ces travaux sont présentés dans ce numéro, les suivants seront publiés dans le prochain numéro de la revue. Le champ des thématiques des six articles présentés ici est large et montre la di- versité dans l'actualité des sujets du domaine de la recherche d'informations. Ici sont abordés la recherche d'information ad'hoc dans des documents plats et structurés et la question du filtrage dans un système de recommandation. Malgré cette diversité, une constante du domaine reste présente : la validation avec des expérimentations. Jacques Savoy et Samir Abdou ont fusionné leurs communications dans l'article Évaluation statistique des stratégies d'indexation et de recherche pour les langues asiatiques. L'article présente les résultats de nombreuses expérimentations avec onze modèles de recherche et quatre corpus (en Anglais, Chinois, Japonais et Coréen). Outre l'étude des modèles pour les langues asiatiques, la question de l'évaluation par des méthodes statistiques est abordé. Fabienne Moreau et Vincent Claveau présentent dans leur article Extension de re- quêtes par relations morphologiques acquises automatiquement une alternative aux méthodes de lemmatisation traditionnelles dans la mesure où leur proposition ne s'ap- puie pas sur des règles pré-établies à définir pour chaque langue mais sur leur acqui- sition à partir du corpus lui-même.
La proposition de Hugues Bouchard et Jian-Yun Nie intègre une notion de contexte - au sens du domaine de connaissance dans lequel se place la requête de l'usager - dans la RI basée sur les modèles de langue. Le contexte est exploité soit pour étendre la requête, soit pour réordonner les documents retrouvés, soit enfin pour lisser le modèle de document. Deux articles traitent de la recherche d'informations dans des documents structurés. Karen Pinel-Sauvagnat et Mohand Boughanem présentent un large panorama des mé- thodes de pondérations qui sont des extensions des classiques modèles tf o idf et les résultats de l'usage de ces méthodes dans le cadre de la tâche Content Only avec les données de la campagne INEX 2005. Sur la base de la constatation que toutes les requêtes ne produisent pas la même qualité de résultat par différentes configuration d'un moteur de recherche sur les do- cuments structurés, Gilles Hubert et Josiane Mothe proposent d'Identifier des critères distinguant les requêtes pour améliorer la RI-XML. De plus, leur étude présente des résultats obtenus par la configuration de plusieurs moteurs de recherche XML. Enfin, An-Te Nguyen, Nathalie Denos et Catherine Berrut présentent des travaux dans le domaine des systèmes de filtrage : Modèles des espaces de communauté orienté vers la diversité des recommandations pour les systèmes de filtrage. La parti- cularité de leurs travaux réside dans la prise en compte de communautés dans lesquels les individus sont regroupés dans plusieurs sous-ensembles selon différents critères.
Michel Beigbeder
-
This special issue of the Information-Interaction-Intelligence (I3) Journal presents a collection of papers on the topic of "Complex Object Matching and Discovery". Applications such as digital libraries, mediation systems and web services-based architectures produce masses of data and describe complex objects such as documents, business processes, services and ontologies for different knowledge domains. They are therefore heterogeneous and rich in terms of semantics. Giving the richness of these models and the huge number of stored objects, new techniques and tools are required to help user to retrieve the object satisfying his needs and preferences. This special issue highlights and explores some of the more recent theoretical and practical advances in complex object matching and discovery.
We received 9 submissions from France, China, Tunisia, Brazil from which 4 papers were accepted. The four selected papers deal with matching and of web services, complex image objects, XML documents and ontology alignment.
The first paper, by Nadia Yacoubi Ayadi, Malika Charrad, Maria-Esther Vidal, Mohamed Ben Ahmed, Soumaya Amdouni is titled "A Semantic Framework for Web service Annotation, Matching and Classification in Bioinformatics". The proposed framework uses a semi-automatic approach, a NLP (Natural Language Processing) driven approach to learn lightweight semantic annotations given a corpus of textual descriptions of Web services. The authors propose an inference engine to match discovery queries and the knowledge service base comprised by services annotations and background knowledge of the domain. The service classification approach is based on a simultaneous (two-way) clustering algorithm.
The second paper by Nadia P. Kozievitch, Ricardo da S. Torres, André Santanchè, Daniel C. G. Pedronette, Rodrigo T. Calumby, Edward A. Fox is titled "An Infrastructure for Searching and Harvesting Complex Image Objects". Complex objects are aggregations of different information combined together into a unique logical object, using sources which may be heterogeneous such as metadata, links, images and image manipulation software. The paper presents the design and implementation of a Complex Object-based infrastructure comprising three services : (i) Content-Based Image Retrieval (CBIR) (ii) the combination of visual with textual retrieval and (iii) the harvesting of Complex Objects, focusing on the developer view of service integration as components.
The third paper, entitled "A semantic approach for discovering complex alignments" is written by Myriam Lamolle, Chan Le Duc, Rim Touhami. It presents a new approach for discovering complex correspondences between atomic concepts and complex concepts that takes into account semantic aspects of entities which are imposed by ontology axioms. First, OWL ontologies are transformed into graphs that represent semantic relationships between ontology entities. Next, several classical aligners are combined to generate correspondences between atomic entities. Finally, in order to gene-rate complex correspondences the method detects relevant subgraphs repre-senting alignable formulae by exploiting their structure and a terminological similarity measure.
The fourth paper, entitled "TwigStack++ : A New Efficient Holistic Twig Join Algorithm" is written by Mohammed Amin Tahraoui and Hamamache Kheddouci. This paper deals with the problem of finding all occurrences of a twig pattern (a small tree) in an XML document. The XML query is defined as a tree and the XML documents are viewed as an ordered tree data. The matching algorithms between twig patterns are based on a two step process, the query is decomposed into elementary relationships (parent-child or ancestor-descendant) and solutions against these pieces are found. In the second phase, all of these partial solutions are joined together to generate the final solutions. This paper proposes a new holistic twig join algorithm to improve these two steps.
We wish to thank all researchers who have shown interest in this effort and submitted papers and we also acknowledge the valuable efforts of the revie-wers who had to produce their reviews on a very tight schedule. Finally, we gratefully acknowledge the editor of the Information-Interaction-Intelligence (I3) Journal, Mohand Boughanem, who was very supportive and helpful in his handing of this issue.
Daniela Grigori (PRiSM, University of Versailles St-Quentin en Yvelines, France) Ludovic Lietard (IRISA, University of Rennes 1, France)
-
Extraction et gestion des connaissances EGC 2010
Collectif
- Cepadues
- Revue Des Nouvelles Technologies De L'information
- 19 Janvier 2010
- 9782854289220
La sélection d'articles publiés dans le présent recueil constitue les actes des dixièmes journées Extraction et Gestion des Connaissances (EGC 2010) qui se sont tenues en Tunisie à Hammamet du 27 au 29 janvier 2010. L objectif de ces journées scientifiques est de rassembler dans un même lieu les chercheurs de disciplines connexes (Bases de Données, Statistique, Apprentissage, Représentation des Connaissances, Gestion de Connaissances et Fouille de données) et les ingénieurs qui mettent en uvre sur des données réelles des méthodes d extraction et de gestion des connaissances, afin de contribuer à la formation d une communauté scientifique dans le monde francophone. Les travaux rassemblés dans ce volume traduisent à la fois le caractère multidisciplinaire de ces recherches, la richesse des applications sous-jacentes et la vitalité des innovations issues de l extraction et de la gestion des connaissances. Les articles sont regroupés en chapitres. Les regroupements ont été faits selon la problématique abordée et selon les applications visées. Ces regroupements comprennent cependant une part d arbitraire, la plupart des articles ayant leur place dans plusieurs chapitres. Deux chapitres sont plus spécifiquement consacrés aux posters et aux démonstrations de prototypes de recherche. Le recueil inclut également les résumés des conférenciers invités qui nous ont fait l honneur de répondre favorablement à nos invitations : Mohammed Zaki, Rensselaer Polytechnic Institute, Troy, New York (USA), Francisco de Assis Tenôrio De Carvalho, Universidade Federal de Pernambuco, Recife, (Brésil), Zbigniew W. Ras, University of North Carolina, Charlotte, North Carolina (USA), Marie-Christine Rousset, Laboratoire d Informatique de Grenoble, Grenoble, (France). Mohammed Zaki a aussi accepté d être le président d honneur de la conférence et nous l en remercions chaleureusement. Sur le processus d évaluation des papiers, des nouveautés ont été introduites cette année afin de tendre encore plus vers une évaluation la plus juste et équitable possible : outre l évaluation anonyme des contributions, le droit de réponse des auteurs et les discussions entre les membres du comité de programme, nous avons cette année expérimenté l introduction de modérateurs sur les quatre grands thèmes de la conférence. TABLE DES MATIERES Conférences invitées Session 1.1 Motifs séquentiels Session 1.2 Recherche d information et Web Session 2.1 Techniques de regroupement Session 2.2 Fouille d images et réalité augmentée Session 3.1 Communauté et réseaux sociaux Session 3.2 Extraction de motifs (1/2) Session 4.1 Flux de données Session 4.2 Représentations condensées des motifs et des requêtes Session 5.1 Motifs fonctionnels Session 5.2 Nouvelles applications de la fouille Session 6.1 Annotation, analyse et visualisation des données Session 6.2 Gestion des données et des connaissances Session 7.1 Extraction de motifs (2/2) Session 7.2 Ontologies et applications Session 8.1 Techniques de classification supervisée Session 8.2 Fouille de textes Démonstration de logiciels Posters Complément de publication RNTI
-
Revue information, interaction, intelligence Tome 5 ; le document numerique
Collectif
- Cepadues
- 28 Juin 2004
- 9782854286342
Un travail collectif de réflexion pluridisciplinaire sur la notion de document a servi d'appui à l'appel à contributions pour ce numéro thématique consacré au document numérique. Il est résumé dans cette introduction, à partir de ses trois entrées sur la forme, le texte et le médium Les onze articles retenus sont présentés succinctement. Ils proposent de développer différentes modélisations, de repérer les transformations entre document traditionnel et document numérique et illustrent les problèmes posés par le changement en cours sur plusieurs terrains. La dynamique en cours a donc montré déjà des résultats conséquents et doit être poursuivie.
-
Fouille de données complexes Tome 2 : avancées récentes
Omar Boussaid, Pierre Gançarski, Brigitte Trousse
- Cepadues
- Revue Des Nouvelles Technologies De L'information
- 2 Février 2010
- 9782854289176
De nouveaux défis Le nouveau défi de la fouille est de prendre en compte simultanément la totalité des données disponibles sur une entité. Dès lors, une question émerge : comment combiner des informations de nature différente et les rattacher à une même unité sémantique ? De fait les données complexes possèdent des spécificités qui doivent être prises en compte pour proposer des stratégies de data mining efficaces sur des objets correspondant chacun à un ensemble de données de nature différente. Outre le cas classique de descripteurs numériques ou catégoriels, on a notamment le cas de données texte, image ou audio vidéo; évolutives et distribuées fortement liées à des connaissances externes : la fouille intelligente des données s'appuie sur la prise en compte des connaissances externes, dites du domaine, celle-ci pouvant se faire par le biais d'une ontologie.
En 2007, suite au travaux du Groupe de travail Fouille de Données complexes au sein de l'Association Extraction et Gestion des Connaissance dont un des buts est de fédérer des chercheurs en fouille de données confrontés aux limites des approches et des outils classiques, un premier recueil d'articles sur la fouille de données complexes a permis d'aborder des problèmes liés entre autres à la fouille des images ou de textes. Ce premier recueil visait à catalyser les échanges entre les différents chercheurs avec l'objectif :
* d'identifier et de définir ce qu'est la fouille de données complexes * de recenser les verrous à la fois méthodologiques et technologiques * de proposer des approches et des outils informatiques * d'expérimenter ces résultats dans des domaines comme la santé Devant le succès de ce premier tome, nous proposons ici une nouvelle réunion de contributions qui devrait permettre de nouveaux croisements entre des chercheurs couvrant des domaines différents de la fouille de données complexes.
-
-
-
La troisième édition de la conférence CORIA (Conférence en Recherche Information et Applications) s'est déroulée à Lyon en mars 2006. Les auteurs des meilleures communications retenues pour la conférence ont revu et complété leur travail pour le soumettre à un nouveau processus éditorial pour ce numéro de la revue I3. Six de ces travaux sont présentés dans ce numéro, les suivants seront publiés dans le prochain numéro de la revue. Le champ des thématiques des six articles présentés ici est large et montre la di- versité dans l'actualité des sujets du domaine de la recherche d'informations. Ici sont abordés la recherche d'information ad'hoc dans des documents plats et structurés et la question du filtrage dans un système de recommandation. Malgré cette diversité, une constante du domaine reste présente : la validation avec des expérimentations. Jacques Savoy et Samir Abdou ont fusionné leurs communications dans l'article Évaluation statistique des stratégies d'indexation et de recherche pour les langues asiatiques. L'article présente les résultats de nombreuses expérimentations avec onze modèles de recherche et quatre corpus (en Anglais, Chinois, Japonais et Coréen). Outre l'étude des modèles pour les langues asiatiques, la question de l'évaluation par des méthodes statistiques est abordé. Fabienne Moreau et Vincent Claveau présentent dans leur article Extension de re- quêtes par relations morphologiques acquises automatiquement une alternative aux méthodes de lemmatisation traditionnelles dans la mesure où leur proposition ne s'ap- puie pas sur des règles pré-établies à définir pour chaque langue mais sur leur acqui- sition à partir du corpus lui-même.
La proposition de Hugues Bouchard et Jian-Yun Nie intègre une notion de contexte - au sens du domaine de connaissance dans lequel se place la requête de l'usager - dans la RI basée sur les modèles de langue. Le contexte est exploité soit pour étendre la requête, soit pour réordonner les documents retrouvés, soit enfin pour lisser le modèle de document. Deux articles traitent de la recherche d'informations dans des documents structurés. Karen Pinel-Sauvagnat et Mohand Boughanem présentent un large panorama des mé- thodes de pondérations qui sont des extensions des classiques modèles tf o idf et les résultats de l'usage de ces méthodes dans le cadre de la tâche Content Only avec les données de la campagne INEX 2005. Sur la base de la constatation que toutes les requêtes ne produisent pas la même qualité de résultat par différentes configuration d'un moteur de recherche sur les do- cuments structurés, Gilles Hubert et Josiane Mothe proposent d'Identifier des critères distinguant les requêtes pour améliorer la RI-XML. De plus, leur étude présente des résultats obtenus par la configuration de plusieurs moteurs de recherche XML. Enfin, An-Te Nguyen, Nathalie Denos et Catherine Berrut présentent des travaux dans le domaine des systèmes de filtrage : Modèles des espaces de communauté orienté vers la diversité des recommandations pour les systèmes de filtrage. La parti- cularité de leurs travaux réside dans la prise en compte de communautés dans lesquels les individus sont regroupés dans plusieurs sous-ensembles selon différents critères.
Michel Beigbeder
-
REVUE I3 Hors-Série : le Web sémantique
Jean Charlet, Philippe Laublet, Chantal Reynaud
- Cepadues
- Revue I3
- 4 Mai 2005
- 9782854286663
Ce numéro spécial de la revue I3 est le rapport produit par les chercheurs de l'action spécifique du CNRS Web sémantique rattachée au réseau thématique pluridisciplinaire Document : création, indexation et navigation. Il a pour but de donner une vue synthétique des principaux aspects du Web sémantique à ce jour et de proposer des perspectives de recherche.
Le développement du Web sémantique ne peut se faire qu'en s'appuyant sur un ensemble de recherches, d'origine parfois anciennes et provenant de secteurs différents. Les premières discussions, dans ce groupe, ont permis de choisir un certain nombre de thèmes qui sont apparus essentiels à discuter et à analyser afin de mieux comprendre et de mieux faire comprendre les projets, les réalités et les perspectives ouvertes par le projet du Web sémantique. Ils sont au nombre de six et sont repris dans la structure du rapport : (2) langages du Web sémantique, (3) Méta-données et annotations dans le Web sémantique, (4) ontologies pour le Web sémantique, (5) Intégration de sources de données, (6) adaptation et personnalisation dans le Web sémantique et (7) Web services sémantiques. Ces thèmes doivent être vus comme des angles d'approche différents des recherches sur le Web sémantique qui en associent souvent plusieurs simultanément.
Les auteurs ont souhaité, en séparant ces approches, donner des entrées multiples à la problématique du Web sémantique, entrées qui peuvent correspondre aux centres d'intérêts de différentes communautés de chercheurs mais en étant conscients que le Web sémantique demande une approche globale et sera ce que nous obtiendrons si nous réalisons le même processus de globalisation sur la représentation des connaissances que celui que le Web fit initialement sur l'hypertexte. La conclusion synthétise les travaux du groupe et propose des pistes de recherche pour que le Web sémantique de Tim Berners-Lee, Web de demain comme un vaste espace d'échange de ressources entre êtres humains et machines permettant une exploitation, qualitativement supérieure, de grands volumes d'informations et de services variés, devienne une réalité.
-
Revue des nouvelles technologies de l'information t.1 ; entreposage et fouille de donnees
Revue Des Nouvelles Technologies De L'In
- Cepadues
- Nouvelles Technologies De L'information
- 27 Novembre 2003
- 9782854286212
-
Extraction et gestion des connaissances
Revue Des Nouvelles Technologies De L'Information
- Cepadues
- Nouvelles Technologies De L'information
- 1 Janvier 2004
- 9782854286335
-
REVUE I3 n.2005/2
Catherine Garbay, Henri Pradé, Jacques Le maître
- Cepadues
- Revue I3
- 24 Mars 2006
- 9782854286922
Ce numéro contient 2 articles de recherche : le premier concerne une approche floue pour la recherche d'images, dont l'objectif est de tenir compte des relations spatiales entre régions; le second propose une taxonomie des techniques de visualisation de données temporelles, son originalité est de se fonder sur une structuration du processus de visualisation proposée par E.-H. Chi. A la suite de ces articles se trouve l'analyse d'un ouvrage, qui concerne la question des interactions humaines dans les réseaux.
Nous espérons que vous serez nombreux à apprécier ce nouveau numéro de la revue, et à la soutenir par vos abonnements!
Nous avons la tristesse de clore ce numéro par un obituaire en hommage à Philippe Smets qui vient de nous quitter. Ses travaux marqueront durablement les recherches en traitement de l'incertitude.
Nous tenons en ce début d'année à remercier chaleureusement tous les membres du comité de rédaction, ainsi que les relecteurs externes, pour leur travail de relecture attentive. Les analyses qui nous sont transmises sont toujours de qualité, parfois remarquables, elles contribuent clairement à la qualité et à l'attractivité de la revue. On pourra trouver la liste des relecteurs externes qui ont aidé la revue depuis ses débuts en fin de numéro. Nous avons le plaisir d'accueillir Jacques Le Maitre au sein du comité éditorial de la revue, qui vient remplacer Anne Doucet, appelée à de nouvelles responsabilités. Nous tenons à cette occasion à remercier Anne très chaleureusement pour le travail accompli à nos côtés.
Cette année encore, le CNRS a accordé son soutien à la revue. Ce soutien est assorti de recommandations, concernant l'ouverture de la revue à la francophonie. Afin de répondre à cette demande, le comité de rédaction de la revue sera très prochainement ouvert à de nouveaux collègues.
-
-
Revue des nouvelles technologies de l'information ; extraction et gestion des connaissances
Collectif
- Cepadues
- Nouvelles Technologies De L'information
- 24 Janvier 2006
- 9782854287226
-
Revue des nouvelles technologies de l'information ; extraction et gestion des connaissances t.2
Collectif
- Cepadues
- Nouvelles Technologies De L'information
- 24 Janvier 2006
- 9782854287233
-
Actes de 2e assises nationales du GdR i3 ; Nancy, décembre 2002
Jacques Le maître
- Cepadues
- 3 Décembre 2002
- 9782854286021
-
REVUE I3 : information, interaction, intelligence Tome 6 (édition 2006)
Collectif
- Cepadues
- Revue I3
- 13 Octobre 2006
- 9782854287264
Ce numéro est composé de trois articles de recherche.
L'article de Azze-Edine Maredj, Zaia Alimazighi et Achour Ammour concerne la présentation interactive de documents multimédia. Il traite du problème du recouvrement spatial des éléments qui composent un document multimédia, lors de sa présentation. Il s'agit d'éviter qu'au même instant d'une présentation, certaines zones de l'écran soient occupées par plusieurs éléments d'un document, nuisant ainsi à la qualité de sa présentation. Pour résoudre ce problème, les auteurs proposent une méthode basée sur l'utilisation d'un système de contraintes disjonctives.
L'article de Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo et Yahia Slimani porte sur l'extraction de règles d'association à partir d'une base de données et plus particulièrement sur le problème posé aux utilisateurs par le trop grand nombre de règles extraites les rendant ainsi difficilement exploitables. Les auteurs proposent un formalisme permettant de minimiser le nombre de règles présentées à l'utilisateur en se restreignant à celles qui véhiculent le maximum d'informations utiles ainsi qu'un mécanisme d'inférence permettant, à la demande de cet utilisateur, la dérivation des règles d'association restantes.
L'article de Lynda Tamine-Lechani, Mohand Boughanem et Claude Chrisment concerne la personnalisation de l'accès à l'information. Il s'agit de présenter à l'utilisateur les informations les plus pertinentes compte tenu de ses centres d'intérêt. Pour cela, les auteurs définissent un modèle formel d'accès à l'information centré sur le profil d'un utilisateur. Ce modèle est basé sur les diagrammes d'influence et permet de formaliser l'utilité des décisions associées à la pertinence des documents compte tenu de la requête et du profil de l'utilisateur.
Catherine Garbay, Jacques Le Maitre, Henri Prade.
-
ISoLA 2007 workshop on leveraging applications of formal methods, verification and validation RNTI-SM-1
Nouvelles Technologies De L'Information
- Cepadues
- Nouvelles Technologies De L'information
- 4 Décembre 2007
- 9782854288148
Welcome to Poitiers and the ISoLA workshop On Leveraging Applications of Formal Methods, Verification and Validation. This year the special theme of the workshop is Formal Methods in Avionics, Space and Transport.
ISoLA is a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools for the specification analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their dioeerent application domains. To bridge the gap between designers and developers of (formal methods based) rigorous tools, and users in engineering and in other disciplines, it fosters and exploits synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers. In particular, by providing a venue for the discussion of common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, oeexibility and eoeciency of tools for building systems and users in their search of adequate solutions to their problems. Applications and case studies with a conceptual message and experience papers with a clear link to tool construction are all encouraged. Nowadays, it is well accepted that the development of critical systems involves the use of formal methods. The major oeelds where these methods made a lot of progress are the avionics, aerospace and more generally transport areas. Indeed, compared to a previous aircraft generation, the amount of code embedded in a new aircraft generation is continuously increasing. Several methods, tools and techniques have been applied for the development of such systems in dioeerent parts of the world and they have been actually put into practice during the development of specioec aircraft programmes. The aim of this ISoLA workshop is to compile the sate-of-the-art and current research in formal methods applied to the development of avionics and aerospace systems. The Program Committee chose 15 full technical papers from 25 submissions for presentation at the workshop. Each paper was peer reviewed by three members of the International Program Committee. The Program Committee also selected another 4 papers for inclusion as short papers in the proceedings. Four keynotes speakers have been invited to share their views on the application of formal methods in the transportation domain. We thank Dines BJORNER, Paul CASPI, Patrick COUSOT and Odile LAURENT for having accepted our invitation. It has been both a privilege and a pleasure to serve as program committee chairs. Our warmest thanks go to the many individuals and organizations that have helped with this year's workshop. We are very grateful to LISI, ENSMA, university of Poitiers, Airbus France and Easst for their sponsorship and organizational help. The Steering Committee, the Organizing Committee, and the Program Committee did a marvellous job. Many thanks to all the people explicitly mentioned in the following pages and to all the invisible volunteers that worked hard at making ISOLA 2007 a success. Finally, we want to thank the authors, the presenters and the participants and invite them all to fully enjoy ISOLA 2007, Poitiers and France.
-
Ce numéro regroupe cinq contributions émanant de chercheurs des deux communautés ; Recherche d'Information et Fouille de données, travaillant autour des problématiques de recherche et de fouille d'information sur le Web.
Le développement du Web 2.0 a conduit à la prolifération d'outils permettant aux internautes d'interagir directement sur le contenu du Web à travers, des annotations, des avis, des commentaires ou des opinions. Le contenu des pages Web n'est donc plus un texte statique ou une image figée, mais comporte aussi toutes ces informations "postées" par l'internaute. Cet état de fait a conduit à l'émergence de nouvelles problématiques liées à l'analyse, la fouille, la recherche et la visualisation de ces informations.
L'objectif de ce numéro est d'offrir un cadre permettant aux chercheurs des deux communautés de présenter leurs points de vue et leurs expériences sur les problématiques de recherche et de fouille d'information (page web, annotations, blogs, requêtes...) ainsi que des orientations futures autour de ces problématiques.
L'article de Elena Lloret, Horacio Saggion et Manuel Palomar, intitulé " Predicting Opinions with Text Summaries: A Comparative Analysis within Authors ", propose une approche basée sur les techniques de résumé automatique de textes, permettant de prédire correctement la notation associée à une évaluation où les auteurs expriment leurs opinions. Les résultats obtenus sont très prometteurs et démontrent que les résumés peuvent fournir un avantage concurrentiel par rapport à l'intégralité des évaluations dans le cadre de la classification d'opinions.
L'article de Najeh Naffakhi et Rim Faiz, intitulé " Less is More: Aggregating meaningful elements for XML keyword search ", s'intéresse à la recherche agrégée dans les documents XML. Les auteurs présentent un modèle probabiliste de recherche d'information structurée basé sur les réseaux bayésiens permettant d'agréger (dans la même unité) des éléments qui sont pertinents, non redondants et complémentaires. L'objectif étant d'obtenir une agrégation d'éléments qui répond le mieux à une requête par mots clés. Des résultats empiriques prometteurs ont été présentés pour évaluer l'impact de l'approche d'agrégation.
-
Analyse statistique implicative ; une méthode d'analyse de données pour la recherche de causalités
Collectif
- Cepadues
- Revue Des Nouvelles Technologies De L'information
- 24 Juin 2009
- 9782854288971
-
La présence de plus en plus nombreuse des réseaux et des outils à base de graphes pour la modélisation de phénomènes complexes réels dans divers domaines scientifiques motiva en 2010 la création des conférences MARAMI (Modèles et Analyse des Réseaux : Approches Mathématiques et Informatique). Ce numéro spécial fait ainsi suite à la première édition de cette conférence qui eut lieu les 11 et 12 octobre 2010 à Toulouse.
Les réseaux constituent un modèle d'information et de connaissances de plus en plus exploité ces dernières années pour modéliser mais aussi pour simuler des comportements du vivant et de systèmes. Leur efficacité dans les divers domaines d'application, tels que les réseaux en biologie, les réseaux sociaux ou les réseaux informatiques, est cependant tributaire de modèles et de méthodes formelles d'analyse de leur architecture, de leur fonctionnement et de leur évolution. L'objectif de la conférence MARAMI est de fournir un cadre d'échanges et de diffusion des travaux scientifiques entre les communautés issues des mathématiques et de l'informatique, qui présentent une forte synergie, pour appréhender des problématiques communes ou complémentaires. Dans ce sens, cette conférence constitue une occasion privilégiée permettant d'échanger les expertises et les expériences capitalisées dans chacune des communautés sur l'analyse et la modélisation des réseaux.
La compréhension de l'architecture d'un réseau passe d'abord par une analyse structurale de celui-ci. Les réseaux peuvent être simples, orientés, pondérés, étiquetés, autant de propriétés qui induisent la nécessité de posséder des indices adaptés mesurant le réseau pour mieux en appréhender sa structure. Le premier article de ce numéro spécial, Using spatial indexes for labeled network analysis (Thibault Laurent, Nathalie Villa-Vialaneix), est consacré à l'élaboration de nouveaux indices structuraux se focalisant sur les liens entre étiquettes des noeuds du réseau et structure du graphe étudié.
L'étape suivante dans l'analyse de réseaux est la recherche de communautés. A l'instar des communautés d'un réseau social nous pouvons dégager des communautés dans des réseaux d'autre nature (réseaux de rencontres sportives, réseaux lexicaux, réseaux de documents HTML, etc.) définies par analogie comme étant des groupes de sommets plus densément reliés les uns aux autres que le reste du graphe. La détection de communautés dans les réseaux est un champ de recherche très actif dans le domaine de l'analyse des réseaux et sera l'objet des quatre papiers suivants.
Une première problématique dans la recherche de communauté est de savoir combien de tels groupes existent dans le réseau. Certains algorithmes de classification nécessitent au préalable cette connaissance. Nous commencerons donc cette série d'articles consacrés à la recherche de communautés par la contribution d'Alain Lelu et Martine Cadot intitulée Espace intrin-sèque d'un graphe et recherche de communautés qui aborde cette question à travers des outils spectraux.
Nous continuons dans le thème de recherche de communautés avec, d'une part, la présentation d'un nouvel algorithme permettant d'extraire une com-munauté de noeuds (The Noise Cluster Model, a Greedy Solution to the Net-work Community Extraction Problem, Etienne Côme, Eustache Diemert) et, d'autre part, avec une étude comparative d'algorithmes déjà existants de dé-tection de communautés (Détection de communautés, étude comparative sur graphes réels, Emmanuel Navarro, Remy Cazabet).
La détection de communauté est intrinsèquement liée à l'évaluation du partitionnement du réseau obtenu. Plusieurs indices existent (modularité, in-formation mutuelle normalisée par exemple) basés sur des approches dif-férentes. Cette série d'articles consacrée aux communautés d'un graphe se terminera donc par la présentation de l'évaluation du découpage en com-munautés d'un graphe essentiellement lorsque celui-ci possède une structure en communautés emboitées grâce à l'article Evaluer la qualité d'une frag-mentation de graphe multi-niveaux (Carole Blanc, Maylis Delest, Jean-Marc Fédouz, Guy Melançon, Francçois Queyroi).
Enfin, l'analyse des réseaux prend toute son essence avec l'interaction aux autres disciplines; et c'est sur cet aspect que nous terminerons cet ouvrage. Même si les articles précédents possédaient des champs applicatifs interdis-ciplinaires et traitaient de réseaux réels, nous conclurons sur deux contri-butions originales qui, à partir de cas concrets de réseaux (de graphes de terrain), développent des outils mathématiques et informatiques répondant à leurs besoins. Ces articles sont Des réseaux de photos aux réseaux sociaux. Création et utilisation d'un réseau social à partir de photos (Michel Plantié, Michel Crampes) et GeoGraphLab : un outil pour l'exploration des proprié-tés structurelles d'un réseau de transport (Eric Mermet).
Nous prîmes un immense plaisir à organiser et mettre en place cette pre-mière édition de la conférence MARAMI à Toulouse avec Frédéric Am-blard, Max Chevalier, Taoufiq Dkaki, Etienne Fieux, Arnaud Pêcher, Lynda Lechani-Tamine et Nathalie Villa-Vialaneix. Ce fut également une joie de co-ordonner ce numéro spécial et nous sommes reconnaissants à la revue i3 qui a permis l'édition de ce volume. Nous remercions chaleureusement tous les contributeurs et les relecteurs qui ont permis de faire de la première édition de la conférence MARAMI un succès et un lieu d'échanges fructueux. Quant au futur de MARAMI, une seconde édition de cette conférence se déroule à Grenoble en octobre 2011.
Romain BOULET Samuel THIRIOT.