A revision of Askeptosaurus italicus and other thalattosaurs from the European Triassic, the interrelationships of thalattosaurs, and their phylogenetic position within diapsid reptiles (Amniota, Eureptilia)

Zusammenfassung: Thalattosaurier sind eine rein auf die Trias beschränkte Grupper mariner Diapsiden, die derzeit aus Nordamerika, Europa und China bekannt ist. Die europäischen Formen sind über längere Zeit vernachlässigt worden, was speziell für Askeptosaurus italicus aus der Mitteltrias des Monte San Giorgio gilt. Die hier durchgeführte anatomische Revision des Taxons ergibt einige Korrekturen im dorsalen Schädeldach, und ermöglicht erstmalig eine detaillierte Darstellung des ventralen Teils von Gaumen und Gehirnkapsel. Im postcranialen Skelett ergeben sich ebenfalls wichtige Korrekturen, so fehlt z. B. im Gegensatz zu bisherigen Annahmen ein Thyroidfenster im Becken. Weiterhin zeigt die Hand von Askeptosaurus eine intraspezifische Variation in der Verknöcherung. Das aquatische Reptil Endennasaurus acutirostris aus dem Nor der Lombardei wird ebenfalls neu untersucht, speziell im Hinblick auf eine potenzielle Zugehörigkeit zu Thalattosauriern. Letzteres wird bestätigt, zudem werden einige Korrekturen im Schädel durchgeführt, so ist z.B. der für Thalattosaurier typische Prämaxillare/Frontale-Kontakt vorhanden. Im Postcranium wird u.a. erstmals die vollständige Phalangenformel für die Hand ermittelt. Zwei weitere aquatische Trias-Reptilien werden ebenfalls untersucht. Zum einen ein bisher unbeschriebenes Postcranium eines relativ kleinen, hochschwänzigen Thalattosauriers aus der Obertrias von Österreich, der sehr viele Ähnlichkeiten mit dem chinesischen Xinpusaurus zeigt, und zum anderen die nur an Hand von Wirbeln bekannte Form Blezingeria ichthyospondyla aus dem Muschelkalk/Lettenkeuper der Germanischen Trias. Trotz einiger anatomischer Gemeinsamkeiten mit Thalattosauriern kann eine definitive Zugehörigkeit zu dieser Gruppe nicht bestätigt werden. Zur Klärung der verwandtschaftlichen Position der Thalattosaurier innerhalb der diapsiden Reptilien wird eine computergestützte phylogenetische Analyse basaler Diapsiden unter der Verwendung von 182 Merkmalen und 31 Taxa durchgeführt. Thalattosaurier gruppieren sich hierbei außerhalb der Sauria, und zeigen zudem ein gewisses Signal zu einer Monophylie mit Ichthyosauriern. Weitere Ergebnisse sind eine Gruppierung von Schildkröten mit Lepidosauriern, ein Schwestergruppenverhältnis von Drepanosauriern und Kuehneosauriern außerhalb der Sauria, sowie der Verlust des unteren Schläfenbogens in der frühen Evolution der Diapsiden und dessen sekundäre Aquirierung innerhalb der Archo- und Lepidosauromorpha. Eine Innengruppen-Analyse der Thalattosaurier ergibt auf der Basis von 35 Merkmalen eine basale Dichotomie, die Endennasaurus und die monophyletischen Askeptosaurus/Anshunsaurus von den übrigen Thalattosauriern abgrenzt. Die Monte San Giorgio-Taxa Hescheleria und Clarazia sind ebenfalls monophyletisch und zudem die Schwestergruppe zu Thalattosaurus. Die verbleibenden Thalattosaurier sind basal zu diesen drei Taxa positioniert, wobei der chinesische Xinpusaurus und der kalifornische Nectosaurus monophyletisch sind, und die Einbeziehung des österreichischen Thalattosauriers diesen innerhalb letzterer Taxa gruppiert. Auf der Basis dieser Ergebnisse wird ein vorläufiges biogeographisch-evolutives Szenario entworfen. Eine Kiefermuskelrekonstruktion von Askeptosaurus ergibt eine eher plesiomorphe, von posterodorsal nach anteroventral verlaufende Schläfen-Muskulatur. Zusammen mit weiteren osteologischen Merkmalen resultiert daraus eine Konfiguration, die die effektivste Beißkaft bei nur gering geöffneten Kiefern erlaubt. Die lange Schnauze, der flache Kopf und der bewegliche Hals legen eine Jagdstrategie nahe, bei der die wahrscheinlich aus kleinen bis mittelgroßen Wirbeltieren bestehende Beute durch schnelle Seitwärtsbewegungen des Kopfes gefangen wurde. Die übrige aquatische Fortbewegung des Taxons bestand aus einer subundulatorischen Lokomotion ohne Beteiligung der Extremitäten. Im Gegensatz zu Askeptosaurus bevorzugte der vollständig zahnlose Endennasaurus vermutlich nur Invertebraten und kleine Wirbeltiere als Beute, und schien seine Extremitäten im Rahmen eines paraxialen 'Pectoropelvical-Ruderns' explizit mitbenutzt zu haben.

Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.

Applications of GIS and remote sensing techniques for studying the housing patterns in Cairo Governorate

The main objective of this study is to reveal the housing patterns in Cairo as one of the most rapidly urbanizing city in the developing world. The study outlines the evolution of the housing problem and its influencing factors in Egypt generally and in Cairo specifically. The study takes into account the political transition from the national state economy to the open door policy, the neo-liberal period and finally to the housing situation after the January 2011 Revolution. The resulting housing patterns in Cairo Governorate were identified as (1) squatter settlements, (2) semi-informal settlements, (3) deteriorated inner pockets, and (4) formal settlements. rnThe study concluded that the housing patterns in Cairo are reflecting a multifaceted problem resulting in: (1) the imbalance between the high demand for affordable housing units for low-income families and the oversupply of upper-income housing, (2) the vast expansion of informal areas both on agricultural and desert lands, (3) the deterioration of the old parts of Cairo without upgrading or appropriate replacement of the housing structure, and (4) the high vacancy rate of newly constructed apartmentsrnThe evolution and development of the current housing problem were attributed to a number of factors. These factors are demographic factors represented in the rapid growth of the population associated with urbanization under the dictates of poverty, and the progressive increase of the prices of both buildable land and building materials. The study underlined that the current pattern of population density in Cairo Governorate is a direct result of the current housing problems. Around the depopulation core of the city, a ring of relatively stable areas in terms of population density has developed. Population densification, at the expense of the depopulation core, is characterizing the peripheries of the city. The population density in relation to the built-up area was examined using Landsat-7 ETM+ image (176/039). The image was acquired on 24 August 2006 and considered as an ideal source for land cover classification in Cairo since it is compatible with the population census 2006.rnConsidering that the socio-economic setting is a driving force of change of housing demand and that it is an outcome of the accumulated housing problems, the socio-economic deprivations of the inhabitants of Cairo Governorate are analyzed. Small administrative units in Cairo are categorized into four classes based on the Socio-Economic Opportunity Index (SEOI). This index is developed by using multiple domains focusing on the economic, educational and health situation of the residential population. The results show four levels of deprivation which are consistent with the existing housing patterns. Informal areas on state owned land are included in the first category, namely, the “severely deprived” level. Ex-formal areas or deteriorated inner pockets are characterized as “deprived” urban quarters. Semi-informal areas on agricultural land concentrate in the third category of “medium deprived” settlements. Formal or planned areas are included mostly in the fourth category of the “less deprived” parts of Cairo Governorate. rnFor a better understanding of the differences and similarities among the various housing patterns, four areas based on the smallest administrative units of shiakhat were selected for a detailed study. These areas are: (1) El-Ma’desa is representing a severely deprived squatter settlement, (2) Ain el-Sira is an example for an ex-formal deprived area, (3) El-Marg el-Qibliya was selected as a typical semi-informal and medium deprived settlement, and (4) El-Nozha is representing a formal and less deprived area.rnThe analysis at shiakhat level reveals how the socio-economic characteristics and the unregulated urban growth are greatly reflected in the morphological characteristics of the housing patterns in terms of street network and types of residential buildings as well as types of housing tenure. It is also reflected in the functional characteristics in terms of land use mix and its degree of compatibility. It is concluded that the provision and accessibility to public services represents a performance measure of the dysfunctional structure dominating squatter and semi-informal settlements on one hand and ample public services and accessibility in formal areas on the other hand.rn