Biostratigraphie, géochimie et réponse des composantes microfauniques aux variations environnementales au passage Cénomanien-Turonien à Thénièt El Manchar (Monts de Bellezma, Batna, NE Algérie)

The present study deals with the biostratigraphic and geochemical analysis of the Cenomanian-Turonian deposits of the Thénièt El Manchar district in the Bellezma-Batna Range, and their vertical fluctuations. A 180 m-thick profile is described in this area. This reference section encompasses the ‘Marnes de Smail’ Formation, subdivided into four lithostratigraphic units (IA, IB, IC, and ID respectively) and dated of the Cenomanian (ammonites and coral), and the base of the ‘Dolomies de l’Oued Skhoun’ Formation (unit IIA), dated of the Lower Turonian (planktonic foraminifers). Both qualitative and quantitative analysis of foraminifers (planktonic and/or benthonic), ostracodes and of geochemical indices, lead us to reconstitute the evolution of both palaeoenvironmental and palaeobathymetrical changes during this time interval. Subsequently units IA, IB, IC and the lower part of unit ID (all Cenomanian) are displaying agglutinated benthonic foraminifers and complete ostracode shells, as evidence of a shelfal environment and weak hydrodynamism. Within these deposits microfaunal assemblages display a low-to-medium species diversity and a relatively high specimen abundance, supporting evidence of normal trophic conditions and water oxygenation. The upper part of unit ID (topmost Cenomanian), and unit IIA (basal Turonian) are documenting an environmental setting into deeper conditions, supported by the standard event succession already recorded in northern Africa, namely: the abundance of planktonic foraminifers, the occurrence of ‘filaments’ and the sudden reduction of ostracofauna. Furthermore the total carbonate isotope fluctuations (δ13C and δ18O) are documenting isotopic anomalies related to palaeoenvironmental changes. The δ13C results, coupled with those of TOC, are evidencing a low primary productivity while the δ18O data are supporting a temperature rise as the main potential drive of the onset of OAE2. These paleoenvironmental assertions are consistent with the regional paleogeographic context and are highlighting tethysian features.[fr] La présente étude livre une analyse biostratigraphique et géochimique des dépôts cénomano-turoniens de la région Thénièt El Manchar, située dans les Monts de Bellezma-Batna, et leur évolution verticale. Une coupe (TM), épaisse de 180 m, est décrite dans ce secteur. Elle correspond à la Formation des Marnes de Smail, subdivisée en quatre unités litho-stratigraphiques (IA, IB, IC, ID), datée du Cénomanien grâce à la présence d’ammonites et de corail, et à la base de la Formation des Dolomies de l’Oued Skhoun (unité, IIA), datée de la base du Turonien au moyen de foraminifères planctoniques. L’analyse qualitative et quantitative des foraminifères (planctoniques et/ou benthiques), des ostracodes et des marqueurs géochimiques, permet de reconstituer l’évolution du paléo-environnement et les variations paléo-bathymétriques au cours de l’intervalle stratigraphique concerné. Ainsi, les unités IA-IB-IC et la partie inférieure de l’unité ID (Cénomanien) sont dominées par des associations de foraminifères benthiques agglutinés et des carapaces entières d’ostracodes, témoignant d’un milieu de plate-forme et d’un faible hydrodynamisme. Dans ces dépôts, les associations montrent une diversité spécifique faible à moyenne et une abondance plus ou moins élevée, témoignant de conditions trophiques et d’oxygénation considérées comme normales. Les derniers termes de l’unité ID (sommet du Cénomanien) et l’unité IIA (base du Turonien) marquent, quant à eux, une évolution vers des conditions plus profondes, comme le montre la succession standard des événements déjà reconnus en Afrique du nord, à savoir: l’abondance de foraminifères planctoniques, la présence de ‘filaments’ et une réduction drastique de la faune d’ostracodes. En outre, les courbes isotopiques du carbone (δ13C) et de l’oxygène (δ18O) des carbonates mettent en évidence des anomalies isotopiques relatives aux modifications paléo-environnementales. Les données du δ13C et celles du COT indiquent une productivité primaire faible. Les données du δ18O, quant à elles, indiquent une augmentation des paléo-températures, cause principale du déclenchement de l’EAO 2. Ces interprétations paléo-environnementales s’accordent avec les données connues du contexte paléogéographique régional et mettent en exergue les spécificités téthysiennes

Macro-invertébrés du Cénomanien du Djebel Metrassi (Batna, NE Algérie): Systématique et biostratigraphie

A rich paleontological assemblage was collected in the Cenomanian deposits of the Djebel Metrassi (Batna, NE Algeria). It consists of 327 specimens assigned respectively to a single coral, 24 bivalve, 14 gastropod, 3 ammonite, and 7 echinoid species. This macrofaunal association leads us to establish an original taxonomical reference list along with several species new for the Cenomanian of this area, and supports the lithostratigraphic framework herein proposed.[fr] Un assemblage paléontologique a été récolté dans le Cénomanien du Djebel Metrassi (Batna, NE Algérie). Constitué de 327 spécimens, il comporte un corail, 24 espèces de bivalves, 14 espèces de gastéropodes, 3 espèces d’ammonites et 7 espèces d’échinides. Cet assemblage permet d’établir une liste systématique originale, avec des espèces inédites, pour le Cénomanien de ce Djebel et vient soutenir le découpage lithostratigraphique proposé

Automated specification extraction and analysis with specstractor

This paper presents Specstractor, a tool chain for the extraction and analysis of system specifications in the form of collections of invariants. Such invariants convey valuable information about the behavior of a software system and are also useful in identifying missing or defective parts of existing specifications. Using data-mining techniques, Specstractor derives likely invariants from test data that it automatically generates from the system under analysis, using an iterative approach to refine the set of proposed invariants and eliminate false positives. The paper describes the Spectstractor technology and evaluates it on real-world artifacts from automotive-control and medical-device applications

Toward the Discovery of Itemsets with Significant Variations in Gene Expression Matrices

International audienc