Skip to main content

Books in Physical sciences and engineering

    • Floods

      • 1st Edition
      • November 16, 2017
      • Freddy Vinet
      • English
      • Hardback
        9 7 8 1 7 8 5 4 8 2 6 9 4
      • eBook
        9 7 8 0 0 8 1 0 2 3 8 4 6
      The management of flood risk seems to be facing a daunting paradox. Despite increasingly effective risk knowledge tools and the efforts of international institutions to place risk reduction at the top of the agenda, the cost of disasters continues to increase. It is also increasingly difficult to avoid the urbanization or development of potential flood zones. The fundamental issue involves determining the conditions necessary for efficient prevention by focusing on adaptability to risk, which implies coping with the risk of flooding rather than directly fighting against it or simply ignoring it. This second volume of the Floods series of books explores existing policies and tools which mitigate the impact of flooding: the construction of protective structures, the reduction of vulnerability, land use planning, the improvement of crisis management, etc. The closing chapters focus on the question of adaptation through post-flood reconstruction, integrating disaster risk reduction measures, e.g. through resilient urbanism.
    • Evolution of Dental Tissues and Paleobiology in Selachians

      • 1st Edition
      • November 16, 2017
      • Gilles Cuny + 2 more
      • English
      • Hardback
        9 7 8 1 7 8 5 4 8 1 3 9 0
      • eBook
        9 7 8 0 0 8 1 0 1 1 4 0 9
      Chondrichthyans possess unique anatomical features compared to other vertebrates, in particular a fully cartilaginous skeleton and a permanently renewed dentition. These characteristics make the fossilization of whole bodies difficult and consequently their fossil record consists mainly of a large number of isolated teeth. The study of their dentition is therefore of primary interest for our understanding of the evolution of this group. Beyond the dental morphology, the structure of the tissues composing the dentition has proved an important source of information, sometimes difficult to interpret, on the eating habits and the paleobiology of these animals. This book makes a thorough review of the existing theories in this field of research as well as introducing new elements from more recent studies. Through close reference to the fossil record of ancient selachians it examines what the study of dental tissue in cartilaginous fish can tell us about the evolution and the past biology of these animals, as well as what we can learn about the evolution of teeth themselves.
    • SysML in Action with Cameo Systems Modeler

      • 1st Edition
      • November 16, 2017
      • Olivier Casse
      • English
      • Hardback
        9 7 8 1 7 8 5 4 8 1 7 1 0
      • eBook
        9 7 8 0 0 8 1 0 1 7 7 3 9
      System engineering (SE) using models (MBSE) is currently in vogue in the community of SE practitioners, whether they are analysts, architects, developers or testers. INCOSE has contributed greatly to the definition of a language for the community, henceforth standardized under ISO-19514: SysML. However, this language is not associated by default with any particular MBSE procedure. This is a major difficulty hampering its implementation. In order to overcome this difficulty, this book describes, in addition to the SysML notation, a generic approach based on the main principles of SE and relative standards, serving as the basis for a specific MBSE approach to be built. This is in order to respond to the specificities of the field of projects in which the practitioners evolve. In order to carry out the procedure in a pragmatic way, a simplified but realistic example serves as a guideline from the initial requirements to the validation of the system, putting into action the SysML modeling tool Cameo Systems Modeler by No Magic.
    • Quality of Experience Paradigm in Multimedia Services

      • 1st Edition
      • November 16, 2017
      • Muhammad Sajid Mushtaq + 1 more
      • English
      • Hardback
        9 7 8 1 7 8 5 4 8 1 0 9 3
      • eBook
        9 7 8 0 0 8 1 0 1 1 7 3 7
      The analysis of QoE is not an easy task, especially for multimedia services, because all the factors (technical and non-technical) that directly or indirectly influence the user-perceived quality have to be considered. This book describes different methods to investigate users’ QoE from the viewpoint of technical and non-technical parameters using multimedia services. It discusses the subjective methods for both controlled and uncontrolled environments. Collected datasets are used to analyze users’ profiles, which sheds light on key factors to help network service providers understand end-users’ behavior and expectations. Important adaptive video streaming technologies are discussed that run on unmanaged networks to achieve certain QoS features. The authors present a scheduling method to allocate resources to the end-user based on users’ QoE and optimizes the power efficiency of users’ device for LTE-A. Lastly, two key aspects of 5G networks are presented: QoE using multimedia services (VoIP and video), and power-saving model for mobile device and virtual base station.
    • Advances in Catalysis

      • 1st Edition
      • Volume 61
      • November 16, 2017
      • English
      • Hardback
        9 7 8 0 1 2 8 1 2 0 7 8 1
      • eBook
        9 7 8 0 1 2 8 1 2 1 8 1 8
      Advances in Catalysis, Volume 61, fills the gap between journal papers and textbooks across the diverse areas of catalysis research. For more than 60 years, this series has dedicated itself to record and present the latest progress in the field of catalysis, providing the scientific community with comprehensive and authoritative reviews. This series is an invaluable and comprehensive resource for chemical engineers and chemists working in the field of catalysis in both academia and industry.
    • Computer Arithmetic and Formal Proofs

      • 1st Edition
      • November 16, 2017
      • Sylvie Boldo + 1 more
      • English
      • Hardback
        9 7 8 1 7 8 5 4 8 1 1 2 3
      • eBook
        9 7 8 0 0 8 1 0 1 1 7 0 6
      Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs. This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. It describes the Flocq formalization of floating-point arithmetic and some methods to automate theorem proofs. It then presents the specification and verification of various algorithms, from error-free transformations to a numerical scheme for a partial differential equation. The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation.
    • Principles and Practice of Clinical Research

      • 4th Edition
      • November 16, 2017
      • John I. Gallin + 2 more
      • English
      • Hardback
        9 7 8 0 1 2 8 4 9 9 0 5 4
      • eBook
        9 7 8 0 1 2 8 4 9 9 0 4 7
      Principles and Practice of Clinical Research, Fourth Edition has been thoroughly revised to provide a comprehensive look at both the fundamental principles and expanding practice of clinical research. New to this edition of this highly regarded reference, authors have focused on examples that broadly reflect clinical research on a global scale while including a discussion of international regulations, studies, and implications. In addition to key topics such as bioethics, clinical outcome data, cultural diversity, protocol guidelines, and “omic” platforms, this edition contains new chapters devoted to electronic health records and information resources for clinical researchers, as well as the many opportunities associated with big data. Covering a vast number of topics and practical advice for both novice and advanced clinical investigators, this book is a highly relevant and essential resource for all those involved in conducting research.
    • Synoptic Analysis and Forecasting

      • 1st Edition
      • November 16, 2017
      • Shawn Milrad
      • English
      • Paperback
        9 7 8 0 1 2 8 0 9 2 4 7 7
      • eBook
        9 7 8 0 1 2 8 0 9 2 5 6 9
      Synoptic Analysis and Forecasting: An Introductory Toolkit provides the bridge between the introductory fundamentals of a meteorology course and advanced synoptic-dynamic analysis for undergraduate students. It helps students to understand the principles of weather analysis, which will complement computer forecast models. This valuable reference also imparts qualitative weather analysis and forecasting tools and techniques to non-meteorologist end users, such as emergency/disaster managers, aviation experts, and environmental health and safety experts who need to have a foundational knowledge of weather forecasting.
    • Neotectonism in the Indian Subcontinent

      • 1st Edition
      • Volume 22
      • November 16, 2017
      • K.S. Valdiya + 1 more
      • English
      • Paperback
        9 7 8 0 4 4 4 6 3 9 7 1 4
      • eBook
        9 7 8 0 4 4 4 6 3 9 7 2 1
      An erudite work on tectonic resurgence in Late Quaternary time of the Indian subcontinent embracing India, Pakistan, Nepal, Bhutan, and Bangladesh, Neotectonism in the Indian Subcontinent dwells on the causes and consequences of tectonic events that fashioned the landscape of a land characterized by a fragmented framework. The narratives on the structural and geomorphic developments during the morphogenic phase of the geodynamic history of the Indian subcontinent explain many phenomena. These include the tremendous height and spectacular structural-geomorphi... architecture of the Himalaya, and the behaviour of wayward rivers in the sinking and rising Indo-Gangetic Plains. In addition are the shifting, deflection, piracy, and even disappearance of rivers and streams in the dry desertic terrane of western India, as well as the unique drainage pattern of the ruptured and rifted plateaus and coastal belts of Peninsular India. The formation of huge lakes due to river ponding in the stable continental shield in Karnataka is also explained. All of these phenomena are accompanied by profuse illustrations. Neotectonism in the Indian Subcontinent portrays the evolution of the extraordinary landforms and landscapes of the subcontinent, constituted by multiple terranes of contrasted lithostructural architecture and distinctive geomorphic layout—each with an altogether different geological history. It chronicles events of crustal unrest or tectonic turmoil manifested as displacement, subsidence, and uplift of the ground with bizarre drainage changes and episodic seismicity. This book caters to planners, engineers, and hazard managers, but also satisfies the curiosity of those who are interested in understanding the formation of the Indian subcontinent.
    • Linux for Embedded and Real-time Applications

      • 4th Edition
      • November 15, 2017
      • Doug Abbott
      • English
      • Paperback
        9 7 8 0 1 2 8 1 1 2 7 7 9
      • eBook
        9 7 8 0 1 2 8 1 1 2 7 8 6
      Linux for Embedded and Real-Time Applications, Fourth Edition, provides a practical introduction to the basics, covering the latest developments in this rapidly evolving technology. Ideal for those new to the use of Linux in an embedded environment, the book takes a hands-on approach that covers key concepts of building applications in a cross-development environment. Hands-on exercises focus on the popular open source BeagleBone Black board. New content includes graphical programming with QT as well as expanded and updated material on projects such as Eclipse, BusyBox – configuring and building, the U-Boot bootloader – what it is, how it works, configuring and building, and new coverage of the Root file system and the latest updates on the Linux kernel..