Page 208
Page 208
A History of Thermodynamics : The Doctrine of Energy and Entropy
The development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural philosophy. It is true that the steam engine for the conversion of heat into work existed before thermodynamics was developed as a branch of physics. However, the systematic theory improved the conversion process, and it succeeded in developing other processes essential to modern life, notably refrigeration and rectification. So, altogether thermodynamics has provided humanity with cheap energy, and cheap fuel, -- consequently with cheap, and abundant, and unspoiled food. Thus thermodynamics has made populations grow, and life expectancy increase beyond anything people could possibly have imagined 200 years ago.
A History of Male Psychological Disorders in Britain, 1945–1980
Explores the under-researched history of male mental illness from the mid-twentieth century. It argues that statistics suggesting women have been more vulnerable to depression and anxiety are misleading since they underplay a host of alternative presentations of 'distress' more common in men.
A History of Limb Amputation
This book traces humanity’s long experience of natural amputations due to congenital absence, disease, frostbite, toxins, domestic and wild animal trauma, and for non-medical reasons related to punitive, ritual, and legal actions, ultimately leading to the development of elective surgical amputation. While the evolution of surgical techniques forms a major chapter in the book, many ancillary problems are addressed including the control of hemorrhage and infection, the approach to pain relief, the development of suitable instruments and equipment, and the invention of prostheses, all suitably illuminated with case histories and relevant illustrations. In addition, alternative procedures designed to avoid amputation, increasingly important in the last two centuries, are debated, and factors associated with self-amputation in extremis, not rare according to press reports, are also examined. A separate chapter considers the philosophy and interpretations of society, patients, and surgeons faced with amputation, particularly before anesthesia.
A History of Interior Design ; 4th Ed
Exploring a broad range of design styles and movements, this revised and expanded edition includes coverage of non-Western design and vernacular interior architecture and features 665 photographs and drawings (color and black-and-white). The companion image bank includes an interactive presentation of periods and styles, incorporating more than 100 illustrations.
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
A Guide to Methods in the Biomedical Sciences
A Guide to Methods in the Biomedical Sciences gives a basic description of common methods used in research. This is not intended to be a methods book. Rather, it is intended to be a book that outlines the purpose of the methods described, their limitations and provide alternative approaches as appropriate. Thousands of methods have been developed in the various biomedical disciplines and those covered in this book represent the basic, essential and most widely used methods in several different disciplines. The historical background (including some interesting anecdotes) leading to the development of ground-breaking techniques are described, especially those that significantly advanced the field of biomedical research. Advances that earned their inventors prestigious Nobel Prizes are emphasized. The book is divided into six sections, highlighting selected methods in protein chemistry, nucleic acids, recombinant DNA technology (including forensic based methods), antibody-based techniques, microscopy and imaging, and the use of animals in biomedical sciences.
A Guide to Lead-free Solders : Physical Metallurgy and Reliability
While tin/lead solders have dominated the electronics industry for many years, environmental considerations and new legislation are forcing change. Backed by more than ten years of research in Pb-free solders, many electronics manufacturers are poised for conversion. A Guide to Lead-free Solders is intended as a tool to help industry as it moves into a new era in the production and use of solders. An overview of the principles of soldering technology is provided beginning with the theory underlying each concept. Focusing on the most up-to-date methods for testing and characterization, these theories are then reinforced by experimental examples and industrial applications.
A Guide to Graph Algorithms
Offers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics. The reader will gain a comprehensive understanding of how to use algorithms to explore graphs. It is a collection of texts that have proved to be trend setters and good examples of that. The book aims at providing the reader with a deep understanding of the structural properties of graphs that are useful for the design of efficient algorithms. These algorithms have applications in finite state machine modelling, social network theory, biology, and mathematics. The book contains many exercises, some up at present-day research-level. The exercises encourage the reader to discover new techniques by putting things in a clear perspective.
A Guide to Good Occlusal Practice
Considers occlusion within the different disciplines of clinical dentistry, taking into account the challenges specific to each, in order to develop guidelines of good occlusal practice (GGOP). The GGOP for each discipline has benefited from an authoritative contribution of a recognised specialist in that field. Readers will find full description of what constitutes good occlusal practice in, for example, simple and advanced restorative dentistry, removable prosthodontics, the restoration of the worn dentition and implantology. It is clearly explained why and how the GGOP differ in the various branches of dentistry, the key point being that it is the support for the occlusal surfaces that determines GGOP.
A Guide to Fluid Mechanics
The theory is explained using ordinary and accessible language, where fluid mechanics is presented in analogy to solid mechanics to emphasize that they are all the application of Newtonian mechanics and thermodynamics. All the informative and helpful illustrations are drawn by the author, uniting the science and the art with figures that complement the text and provide clear understanding.
A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost.
A First Course in Statistics for Signal Analysis
This essentially self-contained, deliberately compact, and user-friendly textbook is designed for a first, one-semester course in statistical signal analysis for a broad audience of students in engineering and the physical sciences. The emphasis throughout is on fundamental concepts and relationships in the statistical theory of stationary random signals, explained in a concise, yet fairly rigorous presentation.
A Field Guide to Algebra
Focuses on the structure of fields and is intended for a second course in abstract algebra. Besides providing proofs of the transcendance of pi and e, the book includes material on differential Galois groups and a proof of Hilbert's irreducibility theorem. The reader will hear about equations, both polynomial and differential, and about the algebraic structure of their solutions. In explaining these concepts, the author also provides comments on their historical development and leads the reader along many interesting paths. In addition, there are theorems from analysis: as stated before, the transcendence of the numbers pi and e, the fact that the complex numbers form an algebraically closed field, and also Puiseux's theorem that shows how one can parametrize the roots of polynomial equations, the coefficients of which are allowed to vary. There are exercises at the end of each chapter, varying in degree from easy to difficult. To make the book more lively, the author has incorporated pictures from the history of mathematics, including scans of mathematical stamps and pictures of mathematicians.
A Fair Share of Tax : A Fiscal Anthropology of Contemporary Sweden
Takes a taxpayer's perspective to the relations taxation creates between people and their state. Larsen proposes that in order to understand tax compliance and cheating, we have to look beyond law, psychological experiments and surveys to include tax collectors and taxpayers' practices. The text explores the view of taxes seen as citizen’s explicit economic relation to the state and implicit economic relation to all other compatriots. Larsen suggests how to build and increase tax compliance if we take the idea of taxation creating reciprocal relations seriously.
A Course in Microeconomic Theory
Offers a treatment of microeconomic theory - one that stresses the behavior of the individual actor in various institutional settings. This book begins with an exposition of the standard models of choice and the market. It is designed for the first-year graduate microeconomic theory course and is accessible to advanced undergraduates as well.
A Course in Derivative Securities : Introduction to Theory and Computation
Aims at a middle ground between the introductory books on derivative securities and those that provide advanced mathematical treatments. It is written for mathematically capable students who have not necessarily had prior exposure to probability theory, stochastic calculus, or computer programming. It provides derivations of pricing and hedging formulas (using the probabilistic change of numeraire technique) for standard options, exchange options, options on forwards and futures, quanto options, exotic options, caps, floors and swaptions, as well as VBA code implementing the formulas. It also contains an introduction to Monte Carlo, binomial models, and finite-difference methods.
A Course in Credibility Theory and its Applications
It covers the subject of Credibility Theory extensively and includes most aspects of this topic from the simplest case to the most general dynamic model. The first four chapters contain plenty of material The book therefore treats explicitly the tasks which the actuary encounters in his daily work such as estimation of loss ratios, claim frequencies and claim sizes. The models are worked out in detail (including the estimation of structural parameters) so that they can immediately be applied in practice. Most exercises are based on real insurance data and real situations from practice and many of them have the characteristics of a case study. The extension to practical problems arising from the general area of finance is often quite straightforward. This book deserves a place on the bookshelf of every actuary and mathematician who works, teaches or does research in the area of insurance and finance.for a first course on Credibility.
A Course in Calculus and Real Analysis
Provides a self-contained and rigorous introduction to calculus of functions of one variable. The presentation and sequencing of topics emphasizes the structural development of calculus. At the same time, due importance is given to computational techniques and applications. The authors have strived to make a distinction between the intrinsic definition of a geometric notion and its analytic characterization. It highlight the fact that calculus provides a firm foundation to several concepts and results that are generally encountered in high school and accepted on faith. For example, one can find here a proof of the classical result that the ratio of the circumference of a circle to its diameter is the same for all circles. Also, this book helps get a clear understanding of the concept of an angle and the definitions of the logarithmic, exponential and trigonometric functions together with a proof of the fact that these are not algebraic functions. A number of topics that may have been inadequately covered in calculus courses and glossed over in real analysis courses are treated here in considerable detail. As such, this book provides a unified exposition of calculus and real analysis.
A Concise Introduction to Data Compression
Compressing data is an option naturally selected when faced with problems of high costs or restricted space. Written by a renowned expert in the field, this book offers readers a succinct, reader-friendly foundation to the chief approaches, methods and techniques currently employed in the field of data compression.
A Computer Scientists Guide to Cell Biology
Provides a succinct treatment of the general concepts of cell biology, furnishing the computer scientist with the tools necessary to read and understand current literature in the field.After a brief introduction to cell biology, the text focuses on the principles behind the most-widely used experimental procedures and mechanisms, relating them to well-understood concepts in computer science. The presentation of the material has been prepared for the reader’s quick grasp of the topic: comments on nomenclature and background notes can be ascertained at a glance, and essential vocabulary is boldfaced throughout the text for easy identification.
