Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms

We study the equational theories of composition and intersection on binary relations, with or without their associated neutral elements (identity and full relation). Without these constants, the equational theory coincides with that of semilattice-ordered semigroups. We show that the equational theory is no longer finitely based when adding one or the other constant, refuting a conjecture from the literature. Our proofs exploit a characterisation in terms of graphs and homomorphisms, which we show how to adapt in order to capture standard equational theories over the considered signatures

Completeness for Identity-free Kleene Lattices

We provide a finite set of axioms for identity-free Kleene lattices, which we prove sound and complete for the equational theory of their relational models. Our proof builds on the completeness theorem for Kleene algebra, and on a novel automata construction that makes it possible to extract axiomatic proofs using a Kleene-like algorithm

Marché (Ssuq)

Le marché, dans son acception actuelle, désigne un lieu d’échanges économiques (réel ou virtuel) mais aussi l’imbroglio de ces échanges eux-mêmes. Dans le monde berbère ancien ou traditionnel et au-delà, dans le pourtour méditerranéen et en Orient – mais pas seulement –, les transactions commerciales, aussi importantes soient-elles en elles mêmes, sont imbriquées dans un ensemble plus vaste de relations sociales et ne constituent de ce fait qu’une dimension d’un système socioéconomique et cul..

Liège

Écorce d’une essence méditerranéenne relevant de la famille des Fagacées, du genre Quercus et de l’espèce Suber, le liège recouvre, par couches successives, le tronc et les branches maîtresses de l’arbre dit chêne-liège (Quercus Suber). Il est, à proprement parler, la partie morte de cette écorce et peut atteindre jusqu’à trente centimètres d’épaisseur quand il n’est pas régulièrement prélevé. La première pousse de cette écorce liégeuse appelée liège-mâle est souvent cabossée et boursouflée,..

Oomycete interactions with plants: infection strategies and resistance principles.

The Oomycota include many economically significant microbial pathogens of crop species. Understanding the mechanisms by which oomycetes infect plants and identifying methods to provide durable resistance are major research goals. Over the last few years, many elicitors that trigger plant immunity have been identified, as well as host genes that mediate susceptibility to oomycete pathogens. The mechanisms behind these processes have subsequently been investigated and many new discoveries made, marking a period of exciting research in the oomycete pathology field. This review provides an introduction to our current knowledge of the pathogenic mechanisms used by oomycetes, including elicitors and effectors, plus an overview of the major principles of host resistance: the established R gene hypothesis and the more recently defined susceptibility (S) gene model. Future directions for development of oomycete-resistant plants are discussed, along with ways that recent discoveries in the field of oomycete-plant interactions are generating novel means of studying how pathogen and symbiont colonizations overlap.The authors acknowledge funding from the Gatsby Charitable Foundation (GAT3273/GLD). SF and SS acknowledge funding by the Royal Society. SF would also like to acknowledge personal funding from The Morley Agricultural Foundation and The Felix Cobbold Trust.This is the accepted manuscript. The final version is available at http://mmbr.asm.org/content/79/3/263.abstract

Kabylie : Economie ancienne ou traditionnelle

On entend par économie kabyle ancienne ou traditionnelle le mode de production, d’échange et de consommation encore en vigueur en Kabylie à la fin du xixe siècle. En rendre compte de façon exhaustive n’est pas aisé en raison de deux contraintes :- La première, d’ordre théorique et méthodologique, est liée à la faiblesse sinon l’absence d’études approfondies sur l’histoire économique de cette région montagneuse d’Algérie.- La deuxième, plus empirique, est inhérente à la fragmentation des infor..

Mzab (ou M’zab) : Histoire et société

Données physiques et climatiques Le Mzab est une vallée de presque 40.000 km2 configurée par l’oued Mzab et ses affluents, située à la limite du Bas-Sahara algérien, entre les oasis de Laghouat au nord et de Ouargla au sud. La structure géomorphologique dans laquelle s’est constituée cette vallée est un plateau rocheux, façonné par l’érosion depuis l’ère quaternaire, d’altitude variant entre 300 m et 800 m, appelé hamada par les nomades, terme repris par les géographes et les ethnologues fran..