Skip to main content
View Cart

Books in Physical sciences and engineering

  • Synoptic Analysis and Forecasting

    An Introductory Toolkit
    • 1st Edition
    • November 16, 2017
    • Shawn Milrad
    • English
    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.

  • Computer Arithmetic and Formal Proofs

    Verifying Floating-point Algorithms with the Coq System
    • 1st Edition
    • November 16, 2017
    • Sylvie Boldo + 1 more
    • English
    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.

  • Floods

    Volume 2- Risk Management
    • 1st Edition
    • November 16, 2017
    • Freddy Vinet
    • English
    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.

  • Advances in Catalysis

    • 1st Edition
    • Volume 61
    • November 16, 2017
    • English
    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.

  • Palaeobiology of Giant Flightless Birds

    • 1st Edition
    • November 16, 2017
    • Delphine Angst + 1 more
    • English
    The fossil record of giant flightless birds extends back to the Late Cretaceous, more than 70 million years ago, but our understanding of these extinct birds is still incomplete. This is partly because the number of specimens available is sometimes limited, but also because widely different approaches have been used to study them, with sometimes contradictory results. This book summarizes the current knowledge of the paleobiology of seven groups of giant flightless birds: Dinornithiformes, Aepyornithiformes, Dromornithidae, Phorusrhacidae, Brontornithidae, Gastornithidae and Gargantuavis. The first chapter presents the global diversity of these birds and reviews the tools and methods used to study their paleobiology. Chapters 2 to 8 are each dedicated to one of the seven groups of extinct birds. Finally, a conclusion offers a global synthesis of the information presented in the book in an attempt to define a common evolutionary model.

  • Principles and Practice of Clinical Research

    • 4th Edition
    • November 16, 2017
    • John I. Gallin + 2 more
    • English
    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.

  • Compressed Sensing in Li-Fi and Wi-Fi Networks

    • 1st Edition
    • November 16, 2017
    • Malek Benslama + 1 more
    • English
    Compressed Sensing in Li-Fi and Wi-Fi Networks features coverage of the first applications in optical telecommunications and wireless. After extensive development of basic theory, many techniques are presented, such as non-asymptotic analysis of random matrices, adaptive detection, greedy algorithms, and the use of graphical models. The book can be used as a comprehensive manual for teaching and research in courses covering advanced signal processing, efficient data processing algorithms, and telecommunications. After a thorough review of the basic theory of compressed sensing, many mathematical techniques are presented, including advanced signal modeling, Nyquist sub-sampling of analog signals, the non-asymptotic analysis of random matrices, adaptive detection, greedy algorithms, and the use of graphical models.

  • Linux for Embedded and Real-time Applications

    • 4th Edition
    • November 15, 2017
    • Doug Abbott
    • English
    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..

  • Waterproof and Water Repellent Textiles and Clothing

    • 1st Edition
    • November 15, 2017
    • John T Williams
    • English
    Waterproof and Water Repellent Textiles and Clothing provides systematic coverage of the key types of finishes and high performance materials, from conventional wax and silicone, through controversial, but widely used fluoropolymers and advanced techniques, such as atmospheric plasma deposition and sol-gel technology. The book is an essential resource for all those engaged in garment development, production and finishing, and for academics engaged in research into apparel technology and textile science. Rapid innovation in this field is driving new performance demands in many areas, including the sporting and military sectors. However, another innovation driver is the regulatory framework in the USA, Europe and globally, addressing both health concerns (e.g. with PFOS / PFOA) and environmental impacts (e.g. C8 fluorocarbon finishes). Both of these aspects are fully covered, along with the replacement materials / technologies currently available and under development. In addition, oleophobic and multifunctional coatings are discussed, as are aspects of performance, testing and applications in sportswear, protective clothing, and footwear.

  • Direct Thermochemical Liquefaction for Energy Applications

    • 1st Edition
    • November 14, 2017
    • Lasse Rosendahl
    • English
    Direct Thermochemical Liquefaction for Energy Applications presents the state-of-the-art of the value chains associated with these biomass conversion technologies. It covers multiple feedstock availability and feedstock composition impact on process chemistry and product quality and composition. Expert authors from around the world explore co-processing benefits, process parameters, implementation and scaling, upgrading to drop-in liquid biofuels or integration into existing petrochemical refinery infrastructure. Finally, these topics are put into a sustainability perspective by establishing an LCA framework for this type of process. Its focus on implementation based on the most comprehensive knowledge makes this book particularly useful for researchers and graduate students from all sorts of background working in the field of biomass and biofuels. It is also a valuable reference for engineers working to commercialize DTL technologies, engineering specialists designing process equipment, refinery professionals and developers.

Related subjects