Bücher veröffentlicht von Springer New York

- < f is increasing. The latter part of the book deals with functions of bounded variation and approximately continuous functions. Finally there is an exhaustive chapter on the generalized Cantor sets and Cantor functions. The bibliography is extensive and a great variety of exercises serves to clarify and sometimes extend the results presented in the text.

Preface Objectives of This Book * To teach calculus as a laboratory science, with the computer and software as the lab, and to use this lab as an essential tool in learning and using calculus. * To present calculus and elementary differential equations with a minimum of fuss-through practice, not theory. * To stress ideas of calculus, applications, and problem solving, rather than definitions, theorems, and proofs. * Toemphasize numerical aspects: approximations, order of magnitude, concrete answers to problems. * To organize the topics consistent with the needs of students in their concurrent science and engineering courses. The subject matter of calculus courses has developed over many years, much by negotiation with the disciplines calculus serves, particularly engineering. This text covers the standard topics in their conventional order. Mostly because of commercial pressures, calculus texts have grown larger and larger, trying to include everything that anyone conceivably would cover. Calculus texts have also added more and more expensive pizzazz, up to four colors now. This text is lean; it eliminates most of the "e;fat"e; of recent calculus texts; it has a simple physical black/white format; it ignores much of current calculus "e;culture"e;. The computer has forced basic changes in emphasis and how to teach calculus.

The programming language Thring is Damed for the British mathematician and computer scientist Alan Mathison 'lUring (1912-1954). Thring's contributions to computer science began in 1936, when he published a landmark paper on the limits of mechanical computation. The mathematical model introduced in the paper is now known as a unuing machine"e; and forms the basis of the modern theory of computability. During World War II, Thring played an important role in the design of the Colossus, an electronic machine that deciphered. coded messages. In 1951, he proposed a test, now called the Thring test, to answer the question: Can a machine think? Today, the most distinguished award given by the world's largest association for computing professionals, the Association for Computing Machinery, is called the Thring Award. The programming language Thring was designed by Richard C. Holt and James R. Cordy at the University of Toronto as a first language for computer science courses. Thring is a practical language suited to general-purpose applications.

This book is written for: * anyone who wants to serve information on the WWW. The book contains detailed instructions on how to fetch, configure, and administer the most popular WWW server programs. The server chapter is separated into sections that discuss how to set up common configurations and sections that serve as references for all the directives that control server behavior. * anyone who wants to maintain a secure WWW site. The book discusses how to create a secure site. It covers inse- cure configurations of servers, browsers, and scripts, and it gives a list of measures that reduce the likelihood of a security breach. * anyone who wants to create information to be served on the WWW. HTML is the language used to create WWW pages, and almost all the variations, extensions, and fla~ vors of HTML are discussed in the book. Two chapters, introductory and advanced, teach HTML by example, and an extensive reference chapter contains all ofHTML 2, all the HTML 3 that is implemented or proposed as of the writ- ing of this book, and Netscape Navigator 2 and Spyglass Enhanced Mosaic extensions. It's comprehensive. * anyone who wants to create state-of-the art WWW docu- ments. The book discusses how to include images, sounds, and video in documents; how to store and manipulate im- ages for optimal effect - for example, rapid transmission vii ~ii ________________________________________________ P_~_rn_c_e over the network; and how to use scripts, both simple and sophisticated.

This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con- sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems. Typical examples of such systems are an air traffic control system, programs controlling mechanical devices such as a train, or perpetually ongoing processes such as a nuclear reactor. With the expanding use of computers in safety-critical areas, where failure is potentially disastrous, correctness is crucial. This has led to the introduction of formal verification techniques, which give both users and designers of software and hardware systems greater confidence that the systems they build meet the desired specifications. Framework The approach promoted in this book is based on the use of temporal logic for specifying properties of reactive systems, and develops an extensive verification methodology for proving that a system meets its temporal specification. Reactive programs must be specified in terms of their ongoing behavior, and temporal logic provides an expressive and natural language for specifying this behavior. Our framework for specifying and verifying temporal properties of reactive systems is based on the following four components: 1. A computational model to describe the behavior of reactive systems. The model adopted in this book is that of a Fair Transition System (FTS).

Mathematics is playing an ever more important role in the physical and biological sciences, provoking a blurring of boundaries between scientific disciplines and a resurgence of interest in the modern as well as the classical techniques of applied mathematics. This renewal of interest, both in research and teaching, has led to the establishment of the series: Texts in Applied Mathematics ( TAM). The development of new courses is a natural consequence of a high level of excitement on the research frontier as newer techniques, such as numerical and symbolic computer systems, dynamical systems, and chaos, mix with and reinforce the traditional methods of applied mathematics. Thus, the purpose of this textbook series is to meet the current and future needs of these advances and encourage the teaching of new courses. TAM will publish textbooks suitable for use in advanced undergraduate and beginning graduate courses, and will complement the Applied Mathematical Sciences (AMS) series, which will focus on advanced textbooks and research level monographs. About the Authors Daniel Kaplan specializes in the analysis of data using techniques motivated by nonlinear dynamics. His primary interest is in the interpretation of irregular physiological rhythms, but the methods he has developed have been used in geo- physics, economics, marine ecology, and other fields. He joined McGill in 1991, after receiving his Ph.D from Harvard University and working at MIT. His un- dergraduate studies were completed at Swarthmore College. He has worked with several instrumentation companies to develop novel types of medical monitors.

Although quantum mechanics has predicted an extraordinary range of phenomena with unprecedented accuracy, it remains controversial. Bohr and Heisenberg pronounced it "a complete theory" in 1927, but Einstein never accepted it, and as late as 1989 John Bell charged it with dividing the world of physics. David Wick traces the history of this controversy and shows how it affects our very conception of what a scientific theory is all about.

Linux is a relatively new shareware Unix system for PCs (386 to Pentium) which was developed by an international community on the Internet. It is a viable alternative to commercial Unix workstations with characteristics comparable to a RISC workstation. This CD contains a complete Linux system and comes with a complete installation guide. The graphical administration tools make it easy to use even for novices.

When the destination sign on Scrooge's train reads "HEAT DEATH" instead of "HEATHROW," when his dead partner Marley's face appears inexplicably as a talking head in a department store tv, and when the street lights outside his luxurious London flat begin acting strangely, it's a sign of a bad night to come. Like his famous ancestor, the modern Scrooge--who hews tightly to the credo "it Is enough for a man to understand his own business and look to his own advantage"--is about to be visited by ghosts. But it's not his hard heart that needs opening this time; it's his closed mind. The wisdom these ghosts bring is not love and charity but Science. Physicist Robert Gilmore, author of the popular Alice in Quantumland, here presents a delightful takeoff on Charles Dickens' A Christmas Carol, where the three visitations represent Science Past (the Spirits of Energy and Entropy, who explain the laws of thermodynamics, equilibrium and that troublesome HEAT DEATH sign), Science Present (the Spirit of Time, who tells him of inconstancy, of change and also of creation), and Science Future (the surreal world of quantum uncertainty, where it is the observer or measurement that creates a unique reality). For everyone who wants a playful, painless yet surprisingly sophisticated introduction to the ideas of modern physics, this is a brilliant tour de force and a charming read.

This book is an outgrowth of lectures given on several occasions at Chalmers University of Technology and Goteborg University during the last ten years. As opposed to most introductory books on complex analysis, this one as- sumes that the reader has previous knowledge of basic real analysis. This makes it possible to follow a rather quick route through the most fundamen- tal material on the subject in order to move ahead to reach some classical highlights (such as Fatou theorems and some Nevanlinna theory), as well as some more recent topics (for example, the corona theorem and the HI_ BMO duality) within the time frame of a one-semester course. Sections 3 and 4 in Chapter 2, Sections 5 and 6 in Chapter 3, Section 3 in Chapter 5, and Section 4 in Chapter 7 were not contained in my original lecture notes and therefore might be considered special topics. In addition, they are completely independent and can be omitted with no loss of continuity. The order of the topics in the exposition coincides to a large degree with historical developments. The first five chapters essentially deal with theory developed in the nineteenth century, whereas the remaining chapters contain material from the early twentieth century up to the 1980s. Choosing methods of presentation and proofs is a delicate task. My aim has been to point out connections with real analysis and harmonic anal- ysis, while at the same time treating classical complex function theory.

Assuming only calculus and linear algebra, this book introduces the reader in a technically complete way to measure theory and probability, discrete martingales, and weak convergence. It is self- contained and rigorous with a tutorial approach that leads the reader to develop basic skills in analysis and probability. While the original goal was to bring discrete martingale theory to a wide readership, it has been extended so that the book also covers the basic topics of measure theory as well as giving an introduction to the Central Limit Theory and weak convergence. Students of pure mathematics and statistics can expect to acquire a sound introduction to basic measure theory and probability. A reader with a background in finance, business, or engineering should be able to acquire a technical understanding of discrete martingales in the equivalent of one semester. J. C. Taylor is a Professor in the Department of Mathematics and Statistics at McGill University in Montreal. He is the author of numerous articles on potential theory, both probabilistic and analytic, and is particularly interested in the potential theory of symmetric spaces.

This updated and expanded volume reflects the current state of the structural protein field with improved and refined protocols that have been applied to particularly challenging proteins, notably integral membrane proteins and multi-protein complexes. Structural Proteomics: High-Throughput Methods, Second Edition begins by exploring the resources available for curation, annotation, and structure prediction in silico, and continues with methods for sample preparation of both proteins and crystals, as well as structural characterization techniques. Written for the highly successful Methods in Molecular Biology series, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls.Practical and up-to-date, Structural Proteomics: High-Throughput Methods, Second Edition will aid researchers in expanding our knowledge of this vital and expansive area of protein science.

To foster a better understanding of dopamine receptor functionality, this detailed volume creates an interface between updated classical methods and new emerging technologies heretofore not available to new or seasoned researchers. Divided in five sections dedicated to experimental approaches investigating different facets of dopaminergic signal transduction, Dopamine Receptor Technologies covers epigenetic and post-transcriptional analysis, computational and biochemical techniques, visualization and imaging methods, molecular and cell biological tools, as well as behavioral assessment. The book, as a part of the popular Neuromethods series, provides insightful step-by-step protocols and methodological reviews that readers will find useful.Practical and versatile, Dopamine Receptor Technologies seeks to aid researchers in developing new pharmacological tools to improve our knowledge of in vivo roles played by each receptor subtype and the synthesis of prospective lead compounds for drug discovery.

Reflecting a vast amount of new information concerning the functional characteristics of the various 5-HT receptor subtypes and the Na+-dependent serotonin transporter (SERT), this volume provides state of the art methodologies currently applied in serotonin research from leading experts in the field. Serotonin Receptor Technologies describes approaches that vary from molecular biological and biochemical techniques (e.g., regarding receptor dimerization), fluorescence microscopy and imaging applications, flow cytometry, the use of organotypic slice and cell cultures to the generation of genetically modified animal models and the development of sophisticated behavioral tests, thus covering a wide spectrum of techniques to study serotonergic signaling in detail. Written for the popular Neuromethods series, chapters include the kind of detail and practical advice that ensures successful results in the lab.Authoritative and convenient, Serotonin Receptor Technologies serves to foster both basic and translational research aiming to further deepen our understanding of the various facets of aminergic systems, as well as to aid research on similar problems with related GPCRs and neurotransmitter transporters.

This SpringerBrief discusses the rise of the smart grid from the perspective of computing and communications. It explains how current and next-generation network technology and methodologies help recognize the potential that the smart grid initiative promises.Chapters provide context on the smart grid before exploring specific challenges related to communication control and energy management. Topics include control in heterogeneous power supply, solutions for backhaul and wide area networks, home energy management systems, and technologies for smart energy management systems.Designed for researchers and professionals working on the smart grid, Communication Challenges and Solutions in the Smart Grid offers context and applications for the common issues of this developing technology. Advanced-level students interested in networking and communications engineering will also find the brief valuable.

This volume represents a valuable and readily reproducible collection of established and emerging techniques for neuronal cell death research. Conveniently divided into four parts, sections cover a series of techniques for the molecular, structural, functional and genomic characterization of dying neurons, a number of protocols that are of primary interest in neuropathology and in experimental neuropathology, a series of gene engineering techniques to obtain and manipulate neuronal stem cells and progenitors, to prepare HSV-1 vectors for the gene therapy, and to CNS transplantation of bone marrow stem cells, and finally, some very interesting protocols for the study of cell death in non-mammalian models. Written in the successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible protocols, and notes on troubleshooting and avoiding known pitfalls.Authoritative and easily accessible, Neuronal Cell Death: Methods and Protocols seeks to serve a large audience of scientists that are currently active in the field or are willing to enter such an exciting and still expanding area of neurobiology.

This book describes the mathematical background behind discrete approaches to morphological analysis of scalar fields, with a focus on Morse theory and on the discrete theories due to Banchoff and Forman. The algorithms and data structures presented are used for terrain modeling and analysis, molecular shape analysis, and for analysis or visualization of sensor and simulation 3D data sets. It covers a variety of application domains including geography, geology, environmental sciences, medicine and biology. The authors classify the different approaches to morphological analysis which are all based on the construction of Morse or Morse-Smale decompositions. They describe algorithms for computing such decompositions for both 2D and 3D scalar fields, including those based on the discrete watershed transform. Also addressed are recent developments in the research on morphological shape analysis, such as simplification operators for Morse and Morse-Smale complexes and their multi-resolution representation. Designed for professionals and researchers involved with modeling and algorithm analysis, Morphological Modeling of Terrains and Volume Data is a valuable resource. Advanced-level students of computer science, mathematics and geography will also find the content very helpful.

This volume emphasizes new techniques to help understand protein cages and to apply them to a variety of technologies, highlighting the expertise of researchers based on three continents. Protein cages are currently inspiring diverse scientific disciplines and are therefore at the crossroads of extremely widely-scoped research, which is reflected in the detailed chapters of Protein Cages: Methods and Protocols. From nanomaterials studies and iron particles to computational strategies and Atomic Force Microscopy, the chapters herein collectively provide an introduction to the rich world of protein cage research and specific techniques to understand and exploit this fascinating class of proteins. Written in the highly successful Methods in Molecular Biology series format, chapters begin with an introduction to their respective topics, lists of the necessary materials, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls.Practical and cutting-edge, Protein Cages: Methods and Protocols will help to inspire and further propel the current multi-disciplinary enthusiasm in studying and discovering new applications for protein cages.