Chameaux, ânes et commerce caravanier : leur contexte archéologique à Barāqish, ancient Yathill (Wādī al-Jawf, Yémen)

Les travaux archéologiques à Barāqish/Yathill en 2005-2006 ont produit une séquence chronologique qui englobe des occupations de la période Sabéenne (13e-6e siècles BC) à la période Minéenne/Arabe (c. 550 BC-AD 1). De nombreux restes animaux ont été collectés et les contextes d’utilisations et de rejets ont pu être documentés. Les chameaux et les ânes sont étudiés ensemble comme bêtes de somme, le camélidé étant le dromadaire domestique. Leur étude archéozoologique et l’analyse contextuelle de ces restes à Yathill sont justifiées de par la localisation du site sur la route de l’encens au 1er millénaire avant notre ère. Au nord-ouest du mur minéen, une séquence stratigraphique extramurale documente les relations entre la cité et la plaine environnante entre 820 BC jusqu’a l’époque islamique. Les chameaux domestiques étaient présents à 800 BC, l’occurrence la plus ancienne et la mieux documenté pour le Yémen. Des dromadaires  sauvages étaient encore dans la zone durant le 7e siècle et peut être même après. L’étude du contexte archéologique relie ces chameaux de la période sabéenne aux campements apparemment formés par des non-résidants. Ce schéma se développe largement à la période minéenne, lorsqu\u27on observe des cabanes pour le maniement des jarres commerciaux en dehors du mur de la cité et le stationnement fréquent deschameaux et des ânes sur le talus. Ce genre d’information confirme directement le rôle de Yathill sur la route du commerce caravanier et suggère que cette zone extramurale de la cité avait une fonction importante dans ce  contexte.Work at Barāqish/Yathill in 2005-06 has produced sequences encompassing the Sabaean (13th-6th centuries BC) and Minaean/Arab (c. 550 BC-AD 1) occupations. Abundant animal remains were retrieved and contexts of use and discard were obtained. Camels and donkeys are studied together as pack animals, the camel being the domestic dromedary. Their zooarchaeological and contextual study at Yathill is justified from this city’s location on the famous frankincense caravan route of the 1st millennium BC. An extramural stratigraphic sequence documenting the relationships between the city and the adjoining plain from c. 820 BC to the Islamic era was investigated to the northwest of the Minaean wall. Domestic camels were present by 800 BC, the earliest well-documented occurrence in Yemen; wild dromedary herds were still in the area during the 7th century and perhaps later. The study of the archaeological context links these Sabaean-age camels to campsites possibly formed by non-residents. This pattern greatly developed during the Minaean period, with trade-jar handling posts outside the walled city and frequent stationing of camels and donkeys on the upper talus. Such data directly support the role of Yathill in the overland caravan trade and suggest that the extramural area was functionally important in this respect.</p

Zoo-archéologie sans les os : hypothèses sur la chasse épipaléolithique d&#039;altitude dans les Alpes

Si, dans les Alpes, la fréquentation d\u27altitude par les hommes de l\u27Épipaléolithique/Mésolithique a été vraiment axée sur la chasse, on devrait chercher à la comprendre en ayant recours à toutes les données existantes, dans l\u27optique de l\u27écosystème humain. La démarche est d\u27autant plus nécessaire que l\u27on manque d\u27informations directes sous forme d\u27ossements animaux. Dans le bassin de l\u27Adige, les chercheurs qui ont traité ce problème ont expliqué la fréquentation humaine en fonction d\u27une chasse alimentaire au bouquetin et au chamois. Dès 1986, la découverte d\u27un système de sites épipaléolithiques au coeur des Alpes centrales, près du col du Splügen, a remis en question cette notion intuitive. Une série de sites du plateau des Chevaux, en particulier, serait très compatible avec un abattage sélectif de cerfs, peut-être à connotation cérémoniale.</p

Automatic Verification of Loop Invariants

Abstract—Loop invariants play a major role in program verification. Though various techniques have been applied to automatic loop invariants generation, most interesting ones often generate only candidate invariants. Thus, a key issue to take advantage of these invariants in a verification process is to check that these candidate loop invariants are actual invariants. This paper introduces a new technique based on constraint programming for automatic verification of inductive loop invariants. This approach is efficient to detect spurious invariants and is also able to verify valid invariants under boundedness restrictions. First experiments on classical benchmarks are very promising. I

Poly[μ6-(naphthalene-2,6-dicarboxylato)-bis(aqualithium)]

The title compound, [Li2(C12H6O4)(H2O)2]n, crystallizes with one half of the molecular entities in the asymmetric unit. The second half is gererated by inversion symmetry. The crystal structure has a layered arrangement built from distorted edge-sharing LiO3(OH)2 tetrahedra parallel to (100), with naphthalenedicarboxylate bridging the LiO3(OH)2 layers along the [100] direction. Hydrogen bonding between the water molecule and adjacent carboxylate groups consolidates the packing

Empowering organic‐based negative electrode material based on conjugated lithium carboxylate through molecular design

International audienc

Polarized reflectances of natural surfaces: Spaceborne measurements and analytical modeling

International audienc