Roman remains: Extensive ruins such as those of the Roman colony of Thamugadi (Timgad) in modern-day Algeria remind us that civilisations can and do collapse. (Photo: Wikimedia Commons/PhR61.) In 100 AD, the Roman emperor Trajan founded a new colony in Northern Africa, which he called colonia Marciana Traiana Thamugadi or Thamugadi for short. Planned to cover a surface of 12 hectares with its s...

This paper describes an ongoing project to digitally record, reconstruct and repaint a 2000-year-old painted Roman statue from Herculaneum, Italy. The paper considers the archaeological potential for extremely detailed laser scanning and digital recreation of Roman statuary, and visualisation within a physically accurate context. It focuses on the archaeological significance of the emerging tec...

By the time it had reached its zenith during the second-century of the Common Era, the Roman Empire had developed into one of the greatest civilizations the ancient world had ever known. Cities scattered across an imperial region that stretched from the North Sea to the Red Sea had flourished under a well-ordered governing body housed in Rome. These regional centers stood unfortified in the cou...

Microberotha macculloughi gen. nov. and sp. nov. from Early Eocene Okanagan Highlands amber of Hat Creek, British Columbia, Canada, is described. This new genus and species represents one of the smallest members of the family Berothidae and the first occurrence of the family in the New World Tertiary. The systematic position of the genus Microberotha within the family is rather unclear, but the...

Résumé. Cet article aborde le problème de la sélection de variables dans le cadre de la classification supervisée. Les méthodes de sélection reposent sur un algorithme de recherche et un critère d’évaluation pour mesurer la pertinence des sous-ensembles potentiels de variables. Nous présentons un nouveau critère d’évaluation fondé sur une mesure d’ambigüıté. Cette mesure est fondée sur une comb...

La Catégorisation de Textes (C.T) consiste à assigner une ou plusieurs catégories parmi une liste prédéfinie à un document. En d’autres termes, elle permet de chercher une liaison fonctionnelle entre un ensemble de textes et un ensemble de catégories (Sebastiani (2002)). La grande importance accordée cette dernière décennie au traitement des données multilingues, a donné naissance à un nouveau ...

Nous nous proposons d'automatiser les preuves d'égalités sur les nombres réels dans le système Coq en utilisant la théorie des corps commutatifs. L'idée de l'algorithme consiste à se débarrasser des inverses a n de pouvoir se brancher sur la procédure de décision déjà existante sur les anneaux abéliens (Ring). L'élimination des inverses se fait de manière complètement ré exive et la ré exion es...