Skip navigation

Engineering

  • Page 2 of 11

Breakthroughs in medical science, innovations in medical technologies, and improvements in clinical practices occur today at an increasingly rapid rate. Yet because of a fragmented healthcare delivery system, many Americans are unable to benefit from these developments. How can we design a system that can provide high-quality, affordable healthcare for everyone? In this book, William Rouse and Nicoleta Serban introduce concepts, principles, models, and methods for understanding, and improving, healthcare delivery.

A History of American Engineering Education for Women

Engineering education in the United States was long regarded as masculine territory. For decades, women who studied or worked in engineering were popularly perceived as oddities, outcasts, unfeminine (or inappropriately feminine in a male world). In Girls Coming to Tech!, Amy Bix tells the story of how women gained entrance to the traditionally male field of engineering in American higher education.

This book offers a general overview of the physics, concepts, theories, and models underlying the discipline of aerodynamics. A particular focus is the technique of velocity field representation and modeling via source and vorticity fields and via their sheet, filament, or point-singularity idealizations. These models provide an intuitive feel for aerodynamic flow-field behavior and are the basis of aerodynamic force analysis, drag decomposition, flow interference estimation, and other important applications. The models are applied to both low speed and high speed flows.

Theory and Design (with VHDL and SystemVerilog)

Modern, complex digital systems invariably include hardware-implemented finite state machines. The correct design of such parts is crucial for attaining proper system performance. This book offers detailed, comprehensive coverage of the theory and design for any category of hardware-implemented finite state machines. It describes crucial design problems that lead to incorrect or far from optimal implementation and provides examples of finite state machines developed in both VHDL and SystemVerilog (the successor of Verilog) hardware description languages.

A Pragmatic Introduction to the Coq Proof Assistant

The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq developments and minimize the cost of code change over time.

How Engineering Drives Biology

Engineering has been an essential collaborator in biological research and breakthroughs in biology are often enabled by technological advances. Decoding the double helix structure of DNA, for example, only became possible after significant advances in such technologies as X-ray diffraction and gel electrophoresis. Diagnosis and treatment of tuberculosis improved as new technologies—including the stethoscope, the microscope, and the X-ray—developed.

Climate engineering—which could slow the pace of global warming by injecting reflective particles into the upper atmosphere—has emerged in recent years as an extremely controversial technology. And for good reason: it carries unknown risks and it may undermine commitments to conserving energy. Some critics also view it as an immoral human breach of the natural world. The latter objection, David Keith argues in A Scientist’s Case for Climate Engineering, is groundless; we have been using technology to alter our environment for years.

Urbanization and globalization have shaped the last hundred years. These two dominant trends are mutually reinforcing: globalization links countries through the networked communications of urban hubs. The urban population now generates more than eighty percent of global GDP. Cities account for enormous flows of energy and materials—inflows of goods and services and outflows of waste. Thus urban environmental management critically affects global sustainability.

Choosing Among Options

Human survival depends on a continuing supply of energy, but the need for ever-increasing amounts of it poses a dilemma: How can we find energy sources that are sustainable and ways to convert and utilize energy that are more efficient? This widely used textbook is designed for advanced undergraduate and graduate students as well as others who have an interest in exploring energy resource options and technologies with a view toward achieving sustainability on local, national, and global scales.

Analysis, Evaluation, Design

Over the last several thousand years of human life on Earth, agricultural settlements became urban cores, and these regional settlements became tightly connected through infrastructures transporting people, materials, and information. This global network of urban systems, including ecosystems, is the anthroposphere; the physical flows and stocks of matter and energy within it form its metabolism. This book offers an overview of the metabolism of the anthroposphere, with an emphasis on the design of metabolic systems.

  • Page 2 of 11