We construct a so-called Ahmad triple in the Σ2enumeration degrees; that is, we construct three Σ2-sets A, B, and C such that A 6≤e B, B 6≤e C, ∀X (X <e A ⇒ X <e B) and ∀X (X <e B ⇒ X <e C). This constitutes a first step toward showing the ∀∃-theory of the Σ2-enumeration degrees to be decidable.

Characterizing Asphaltene Deposition in the Presence of Chemical Dispersants in Porous Media Micromodels Yu-Jiun Lin, Peng He, Mohammad Tavakkoli, Nevin Thunduvila Mathew, Yap Yit Fatt, John C. Chai, Afshin Goharzadeh, Francisco M. Vargas, and Sibani Lisa Biswal Department of Chemical and Biomolecular Engineering, Rice University, Houston, Texas 77005, United States Department of Chemical Engin...

A new upper bound is given on the number of ways in which a set of N points in Rn can be partitioned by k parallel hyperplanes. This bound improves upon a result of Olafsson and Abu-Mostafa [IEEE Trans. Pattern Analysis and Machine Intelligence 10(2), 1988: 277-281]; it agrees with the known (tight) result for the case k = 1; and it is, for fixed k and n, tight to within a constant. A previousl...

Introduction During the course of archaeological research completed in the area of Bilad al-Qadim in the northeast of Bahrain in 2001, trial excavations and survey were undertaken at the spring of Abu Zaydan (N26 12¢ 24.5¢¢ E050 32¢ 50.7¢¢). The focus of this research project was to investigate the Islamic period on Bahrain, hence the remains recorded at Abu Zaydan were unexpected, comprising a...

Awad E Osman1*, Habiba Alsafar2, Guan K Tay3, Jasem BJM Theyab4, Mohamed Mubasher1, Nezar Eltayeb-El Sheikh1, Hanan AlHarthi1, Michael H. Crawford5 and Gehad El Ghazali6 1PCLM, King Fahad Medical City, Riyadh 11525, Saudi Arabia 2Khalifa University of Science Technology and Research, Abu Dhabi, United Arab Emirates 3Centre for Forensic Science, The University of Western Australia, Crawley, West...

New York University Abu Dhabi (NYUAD Saadiyat Island, Abu Dhabi, UAE. E-mail: a Centro de Investigaciones Cient́ıcas Av Qúımica Fundamental, Universidade de C Fraga 10, 15008 A Coruña, Spain Laboratoire d'Ingénierie Moléculaire Appliq UdS, ECPM, 25 rue Becquerel, 67087 Strasb School of Sciences, Indiana University Koko Laboratoire de Chimie Bioorganique et Méd rue Becquerel, 67087 Strasbourg, F...

Seatbelt legalisation was implemented in the United Arab Emirates (UAE) in January 1999. This provided the opportunity to evaluate the effectiveness of the legislation in the Eastern District of Abu Dhabi Emirate in the UAE by establishing levels of injury severity from motor vehicle crashes (MVC) before and after the legislation and the rate of compliance with the legislation. Data were obtain...

Inhibitors of calpains, calcium-activated neutral proteases, protect against cell death produced by anoxia and a variety of toxicants both in vitro and in vivo. The problems with known calpain inhibitors are a lack of specificity, low membrane permeability, and/or low potency. The goal of this study was to determine the effects of seven novel dipeptide and tripeptide calpain inhibitors on calpa...

Baiʻ al-īnah is the process of buying and selling carried out by seller to buyer on a direct or credit basis, which then goods are resold original at price lower than previous purchasing price. This research normative (doctrinal) research, with regulative (statute approach) conceptual approaches, emphasizing use secondary data in form primary, secondary, tertiary legal materials. The result sho...