Skip to main content

Books in Physical sciences and engineering

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.
XML-based Content Management
Integration, Methodologies and Tools
1st Edition
November 14, 2017
Ricardo Eito-Brun
English
XML-based Content Management: Integration, Methodologies and Tools covers the design and deployment of XML-based solutions and how to manage content and metadata, a practice that requires a more methodological approach than those traditionally applied to the design and deployment of document and content management solutions. The extensive use of XML implies the need of adding additional activities, quality controls, and tools to the established document-management and web-application design processes. The book describes a methodology that covers the different phases of the content and metadata management lifecycle, from generation, to archiving, to compliance with existing content management and archiving standards. In addition, the book reviews the key characteristics of the tools necessary for storage, retrieval and delivery.

Related subjects