The Red Sea : The Formation, Morphology, Oceanography and Environment of a Young Ocean Basin / / edited by Najeeb M.A. Rasul, Ian C.F. Stewart

• Record Nr.: UNINA9910299436603321
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
• ISBN: 3-662-45201-4
• Edizione: [1st ed. 2015.]
• Descrizione fisica: 1 online resource (627 p.)
• Collana: Springer Earth System Sciences, , 2197-9596
• Disciplina: 909.096533
• Soggetti: Geology; Environmental geology; Physical geography; Geoecology/Natural Processes; Physical Geography
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references at the end of each chapters.
• Nota di contenuto: Introduction to the Red Sea: Its origin, structure and environment -- The Red Sea: Birth of an ocean -- Geological evolution of the Red Sea: Historical background, review and synthesis -- Seafloor spreading initiation: geophysical and geochemical constraints from the Thetis and Nereus Deeps, central Red Sea -- The Northern Red Sea in transition from rifting to drifting – lessons learned from ocean deeps -- Lineaments in gravity data of the Red Sea -- Geodetic constraints on the geodynamic evolution of the Red Sea -- Seismicity and seismotectonic setting of the Red Sea and adjacent areas -- Seismicity of the western side of the southern Red Sea -- Volcanic eruptions in the southern Red Sea during 2007-2013 -- Red Sea salt formations – a result of hydrothermal processes -- Salt flows in the central Red Sea -- Geochemical classification of brine-filled Red Sea deeps -- Hydrothermal activity and paleoenvironments of the Atlantis II Deep -- Environmental risks of mining metalliferous muds in the Atlantis II Deep, Red Sea -- Calcite and aragonite saturation states of the Red Sea and biogeochemical impacts of excess carbon dioxide -- Lagoon sediments of the eastern Red Sea: Distribution processes, pathways and ; patterns Sea level changes -- Air-Sea interaction and horizontal circulation in the Red Sea -- Water-mass formation, overturning circulation and the exchange of the Red Sea with the adjacent basins -- Heat balance of the Red Sea -- Impacts of climate change on the Red Sea region and its watersheds, Saudi Arabia -- Raised coral reefs and sediments in the coastal area of the Red Sea -- Geomorphology of shallow water coral reef environments in the Red Sea -- Coral reefs and communities of the central and southern Red Sea (Sudan, Eritrea, Djibouti and Yemen) -- Coral reefs of the Red Sea with special reference to the Sudanese coastal area -- The status, threats and resilience of reef building corals of the Saudi Arabian Red Sea -- Biology of Red Sea corals: Metabolism, reproduction, acclimatization, and adaptation -- Taxonomic, ecological and historical considerations on the deep-water benthic mollusc fauna of the Red Sea -- Sea Slugs: unexpected biodiversity and distribution -- Marine turtles of the Red Sea -- Phytoplankton of the Red Sea -- Mangroves of the Red Sea -- The evolution of the Red Sea as a human habitat during the Quaternary Period.
• Sommario/riassunto: This book presents a broad overview of the current state of knowledge regarding the Red Sea, from its geological formation and oceanographic development to the environmental influences on its ecology and the changes it is experiencing due to the rapid development of its coastlines and role as one of the world’s major transport routes. The book gathers invited contributions from researchers with an interest in the geology, geophysics, oceanography and environment of the Red Sea, while also providing comprehensive new data and a complete review of the literature. It will be of interest not only to researchers actively studying the sea and its surroundings, but will also appeal to all those involved in planning and managing the Red Sea, its environment, its resources and the countries which rely on its existence.

Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings / / edited by Samson Abramsky

• Record Nr.: UNINA9910143596803321
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001
• ISBN: 3-540-45413-6
• Edizione: [1st ed. 2001.]
• Descrizione fisica: 1 online resource (XII, 436 p.)
• Collana: Lecture Notes in Computer Science, , 0302-9743 ; ; 2044
• Disciplina: 511.3
• Soggetti: Mathematical analysis; Analysis (Mathematics); Logic, Symbolic and mathematical; Computer logic; Computer programming; Programming languages (Electronic computers); Analysis; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references at the end of each chapters and index.
• Nota di contenuto: Invited Lectures -- Many Happy Re urns -- From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour -- Definability of Total Objects in PCF and Related Calculi -- Categorical Semantics of Control -- Contributed Papers -- Representations of First Order Function Types as Terminal Coalgebras -- A Finitary Subsystem of the Polymorphic ?-Calculus -- Sequentiality and the ?-Calculus -- Logical Properites of Name Restriction -- Subtyping Recursive Games -- Typing Lambda Terms in Elementary Logic with Linear Constraints -- Ramied Recurrence with ; Dependent Types -- Game Semantics for the Pure Lazy ?-Calculus -- Reductions, intersection types, and explicit substitutions -- The Stratified Foundations as a Theory Modulo -- Normalization by Evaluation for the Computational Lambda-Calculus -- Induction Is Not Derivable in Second Order Dependent Type Theory -- Strong Normalization of Classical Natural Deduction with Disjunction -- Partially Additive Categories and Fully Complete Models of Linear Logic -- Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types -- The Finitely Generated Types of the ?-Calculus -- Deciding Monadic Theories of Hyperalgebraic Trees -- A Deconstruction of Non-deterministic Classical Cut Elimination -- A Token Machine for Full Geometry of Interaction (Extended Abstract) -- Second-Order Pre-logical Relations and Representation Independence -- Characterizing Convergent Terms in Object Calculi via Intersection Types -- Parigot’s Second Order ??-Calculus and Inductive Types -- The Implicit Calculus of Constructions Extending Pure Type Systems with an Intersection Type Binder and Subtyping -- Evolving Games and Essential Nets for Affine Polymorphism -- Retracts in Simple Types -- Parallel Implementation Models for the ?-Calculus Using the Geometry of Interaction (Extended Abstract) -- The complexity of ?-reduction in low orders -- Strong Normalisation for a Gentzen-like Cut-Elimination Procedure.
• Sommario/riassunto: This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.