springer us springer us okt 2012 (Oltre 3.800 risultati)

Taschenbuch. Condizione: Neu. Neuware -Modeling Ships and Space Craft: The Science and Art of Mastering the Oceans and Sky begins with the theories of Aristotle and Archimedes, moving on to examine the work of Froude and Taylor, the early aviators and the Wright Brothers, Goddard and the other rocket men, and the computational fluid dynamic models of our time. It examines the ways each used fluid dynamic principles in the design of their vessels. In the process, this book covers the history of hydrodynamic (aero and fluid) theory and its progression ¿ with some very accessible science examples ¿ including seminal theories. Hydrodynamic principles in action are also explored with examples from nature and the works of man. This is a book for anyone interested in the history of technology ¿ specifically the methods and science behind the use of scale models and hydrodynamic principles in the marine and aeronautical designs of today.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Fast Compact Algorithms and Software for Spline Smoothing investigates algorithmic alternatives for computing cubic smoothing splines when the amount of smoothing is determined automatically by minimizing the generalized cross-validation score. These algorithms are based on Cholesky factorization, QR factorization, or the fast Fourier transform. All algorithms are implemented in MATLAB and are compared based on speed, memory use, and accuracy. An overall best algorithm is identified, which allows very large data sets to be processed quickly on a personal computer.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 56 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Linear algebra is the branch of mathematics that has grown from a care ful study of the problem of solving systems of linear equations. The ideas that developed in this way have become part of the language of much of higher mathematics. They also provide a framework for appli cations of linear algebra to many problems in mathematics, the natural sciences, economics, and computer science. This book is the revised fourth edition of a textbook designed for upper division courses in linear algebra. While it does not presuppose an earlier course, many connections between linear algebra and under graduate analysis are worked into the discussion, making it best suited for students who have completed the calculus sequence. For many students, this may be the first course in which proofs of the main results are presented on an equal footing with methods for solving numerical problems. The concepts needed to understand the proofs are shown to emerge naturally from attempts to solve concrete problems. This connection is illustrated by worked examples in almost every section. Many numerical exercises are included, which use all the ideas, and develop important techniques for problem-solving. There are also theoretical exercises, which provide opportunities for students to discover interesting things for themselves, and to write mathematical explanations in a convincing way. Answers and hints for many of the problems are given in the back. Not all answers are given, however, to encourage students to learn how to check their work.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Geometric constructions have been a popular part of mathematics throughout history. The ancient Greeks made the subject an art, which was enriched by the medieval Arabs but which required the algebra of the Renaissance for a thorough understanding. Through coordinate geometry, various geometric construction tools can be associated with various fields of real numbers. This book is about these associations. As specified by Plato, the game is played with a ruler and compass. The first chapter is informal and starts from scratch, introducing all the geometric constructions from high school that have been forgotten or were never seen. The second chapter formalizes Plato's game and examines problems from antiquity such as the impossibility of trisecting an arbitrary angle. After that, variations on Plato's theme are explored: using only a ruler, using only a compass, using toothpicks, using a ruler and dividers, using a marked rule, using a tomahawk, and ending with a chapter on geometric constructions by paperfolding. The author writes in a charming style and nicely intersperses history and philosophy within the mathematics. He hopes that readers will learn a little geometry and a little algebra while enjoying the effort. This is as much an algebra book as it is a geometry book. Since all the algebra and all the geometry that are needed is developed within the text, very little mathematical background is required to read this book. This text has been class tested for several semesters with a master's level class for secondary teachers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Mathematics students generally meet the Riemann integral early in their undergraduate studies, then at advanced undergraduate or graduate level they receive a course on measure and integration dealing with the Lebesgue theory. However, those whose interests lie more in the direction of applied mathematics will in all probability find themselves needing to use the Lebesgue or Lebesgue-Stieltjes Integral without having the necessary theoretical background. It is to such readers that this book is addressed. The authors aim to introduce the Lebesgue-Stieltjes integral on the real line in a natural way as an extension of the Riemann integral. They have tried to make the treatment as practical as possible. The evaluation of Lebesgue-Stieltjes integrals is discussed in detail, as are the key theorems of integral calculus as well as the standard convergence theorems. The book then concludes with a brief discussion of multivariate integrals and surveys ok L^p spaces and some applications. Exercises, which extend and illustrate the theory, and provide practice in techniques, are included. Michael Carter and Bruce van Brunt are senior lecturers in mathematics at Massey University, Palmerston North, New Zealand. Michael Carter obtained his Ph.D. at Massey University in 1976. He has research interests in control theory and differential equations, and has many years of experience in teaching analysis. Bruce van Brunt obtained his D.Phil. at the University of Oxford in 1989. His research interests include differential geometry, differential equations, and analysis. His publications includeSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -¿While the analysis is not the first to investigate empirically the effects of different individual or household factors on school access and completion of Ghanaians, it extends previous work by simultaneously incorporating individual, household, community, regional and national characteristics and also illustrates the latest evidence by applying international data sources and unusually detailed household survey data for a sub-Saharan country. Its focus is threefold: (i) gaining a richer understanding of which external influences hinder educational access and attainment in Ghana, (ii) how to better tackle these challenges and (iii) analyzing how educational development affects the country¿s overall development. An interview with the Minister of Education helps guide the policy orientation of the analysis by identifying several critical challenges and areas of needed policy attention. Findings from the data analysis indicate that the geographic divide between the North and South, increased economic growth, demographic pressure and a number of individual, household and community factors especially children¿s nutritional and labour status are the most important challenges in increasing levels of education among Ghanaians in years to come. Finally, the analysis pilots a new and comprehensive results- and capacity-focused policy matrix to help the Government of Ghana realign policy priorities and reform existing programs. To this end, respective policy levers on the demand- and supply-side are discussed, with particular reference to external and demand-side interventions which have not received the necessary attention at the policy-level to improve educational opportunities and outcomes at all levels.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The use oflubricants began in ancient times and has developed into a major international business through the need to lubricate machines of increasing complexity. The impetus for lubricant development has arisen from need, so lubricatingpractice has precededan understandingofthescientificprinciples. This is not surprising as the scientific basis of the technology is, by nature, highly complex and interdisciplinary. However, we believe that the under standing of lubricant phenomena will continue to be developed at a mol ecular level to meet future challenges. These challenges will include the control of emissions from internal combustion engines, the reduction of friction and wear in machinery, and continuing improvements to lubricant performanceand life-time. More recently, there has been an increased understanding ofthe chemical aspects of lubrication, which has complemented the knowledge and under standing gained through studies dealing with physics and engineering. This book aims to bring together this chemical information and present it in a practical way. It is written by chemists who are authorities in the various specialisations within the lubricating industry, and is intended to be of interest to chemists who may already be working in the lubricating industry or in academia, and who are seeking a chemist's view of lubrication. It will also be of benefit to engineers and technologists familiar with the industry who requirea more fundamental understanding oflubricants.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -On September 17 and 18, 1998, a conference took place at Mont Tremblant on the theme 'Doing Business in a Knowledge-Based Economy.' This conference brought together some hundred participants from government, business and academia, with backgrounds in business administration, engineering, public administration and economics, to provide a multidisciplinary analysis of what has come to be known as the 'Knowledge-Based Economy' (KBE). The aim was to come up with suggestions and recommendations about how to do business in a knowledge based economy, both at the firm level and at the government level. All presenters were explicitly asked to conclude with policy recommendations. The conference was sponsored by Industry Canada and organized by the Centre of Interuniversity Research on the Analysis of Organizations (CIRANO). The conference papers offered U.S., Canadian and European perspectives on the management of a knowledge-based economy. This volume is divided into three parts. The papers in part I set the stage by describing the salient features of the KBE. What is so special about it What are its economic underpinnings What are its technological characteristics Knowledge plays a crucial role in a KBE, hence its name. Whereas, in the past, growth was determined primarily by the availability of land, natural resources, labour and capital successively, at the end of the twentieth century, knowledge has become a (if not the) major factor of economic growth.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In the future, as our society becomes older and older, an increasing number of people will be confronted with Alzheimer's disease. Some will suffer from the illness themselves, others will see parents, relatives, their spouse or a close friend afflicted by it. Even now, the psychological and financial burden caused by Alzheimer's disease is substantial, most of it borne by the patient and her family. Improving the situation for the patients and their caregivers presents a challenge for societies and decision makers. Our work contributes to improving the in decision making situation con cerning Alzheimer's disease. At a fundamental level, it addresses methodo logical aspects of the contingent valuation method and gives a holistic view of applying the contingent valuation method for use in policy. We show all stages of a contingent valuation study beginning with the design, the choice of elicitation techniques and estimation methods for willingness-to-pay, the use of the results in a cost-benefit analysis, and finally, the policy implica tions resulting from our findings. We do this by evaluating three possible programs dealing with Alzheimer's disease. The intended audience of this book are health economists interested in methodological problems of contin gent valuation studies, people involved in health care decision making, plan ning, and priority setting, as well as people interested in Alzheimer's disease. We would like to thank the many people and institutions who have pro vided their help with this project.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Throughout the development of mathematical programming researchers have paid great attention to problems that are described by a single objective that can only be achieved subject to satisfying a set of restrictions or constraints. Recently, it has been recognized that the use of a single objective limits the applicability of In reality, many multiobjective mathematical programming models. situations exist and frequently these mUltiple objectives are in direct conflict. Research on multiobjective problems can be broken down into two broad categories: multiobjective optimization and multicriterion decision theory. Multiobjective optimization models are based on techniques such as linear programming. In general, the multiobjective optimization problem can be defined as finding a feasible alternative that yields the most preferred set of values for the objective functions. This problem differs from a single objective because subjective methods are required to determine which alternative is most preferred. A body of literature parallel to that m multiobjective optimization has been developing in the area of multicriterion decision theory. These models are based on classical decision analysis, particularly utility theory. One focus of this research has been the development and testing of procedures for estimating multiattribute utility functions that are consistent with rational decision maker behavior. A utility function provides a model of a decision maker's choice among alternatives. This literature is directly xii MULTIOBJECTIVE OPTIMIZATION applicable to multiobjective optimization and provides much needed insight into the subjective character of that problem.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -There are over a million different species of insects, and individually they 8 outnumber humans by more than 10 to 1. Moreover, some insects live in close association with both plants and higher animals and naturally exchange viruses with them. It has even been speculated that viruses in general may have radiated through the plant and animal kingdoms from common insect origins. Be that as it may, since insects play pivotal roles in the biosphere, both to the benefit and detriment of mankind, they and the viruses that infect them are important subjects for study. Insects are infected by a diverse medley of viruses, and this volume focuses on those insect virus families that are found primarily or exclusively in insects. All major families of insect-selective viruses are covered except for the baculo viruses, which were described in a separate volume of The Viruses series. Included in this volume are the established families of insect viruses, the newly recognized ascovirus family, and the nudiviruses, which probably represent a separate family but currently remain unclassified. The coverage of arboviruses is limited to a single chapter that focuses on their potential utility as vectors and in insect control. Omitted for practical reasons are several individual insect viruses that have been described sporadically in the literature and probably represent novel virus families.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Anonymization of Electronic Medical Records to Support Clinical Analysis closely examines the privacy threats that may arise from medical data sharing, and surveys the state-of-the-art methods developed to safeguard data against these threats.To motivate the need for computational methods, the book first explores the main challenges facing the privacy-protection of medical data using the existing policies, practices and regulations. Then, it takes an in-depth look at the popular computational privacy-preserving methods that have been developed for demographic, clinical and genomic data sharing, and closely analyzes the privacy principles behind these methods, as well as the optimization and algorithmic strategies that they employ. Finally, through a series of in-depth case studies that highlight data from the US Census as well as the Vanderbilt University Medical Center, the book outlines a new, innovative class of privacy-preserving methods designed to ensure the integrityof transferred medical data for subsequent analysis, such as discovering or validating associations between clinical and genomic information.Anonymization of Electronic Medical Records to Support Clinical Analysis is intended for professionals as a reference guide for safeguarding the privacy and data integrity of sensitive medical records. Academics and other research scientists will also find the book invaluable.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 88 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The dairy industry is, in many countries, a major contributor to the manufacturing capacity of the food sector, and as more components of milk are utilised in processed foods, so this importance is likely to grow. Already dairy operations range from the straightforward handling of liquid milk through to the production of highly sophisticated consumer items, and it is of note that all this activity is based on a raw material that is readily perishable at ambient temperatures. This competitive, commercial position, together with the fact that the general public has a high regard for dairy products, is an indication of the extent to which milk producers and processors have combined to ensure that retail prO(;lucts are both nutritious and hygienically acceptable. Achievement of these aims, and at reasonable cost, has depended in large measure on the advances that have been made in the handling of large volumes of milk. Thus, factories designed to handle millions of litres of milk per weekare now commonplace, and it is the plant and equipment involved that provides the factual background for this two-volume book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The gratifying response to Counterexamples in analysis (CEA) was followed, when the book went out of print, by expressions of dismay from those who were unable to acquire it. The connection of the present volume with CEA is clear, although the sights here are set higher. In the quarter-century since the appearance of CEA, mathematical education has taken some large steps reflected in both the undergraduate and graduate curricula. What was once taken as very new, remote, or arcane is now a well-established part of mathematical study and discourse. Consequently the approach here is designed to match the observed progress. The contents are intended to provide graduate and ad vanced undergraduate students as well as the general mathematical public with a modern treatment of some theorems and examples that constitute a rounding out and elaboration of the standard parts of algebra, analysis, geometry, logic, probability, set theory, and topology. The items included are presented in the spirit of a conversation among mathematicians who know the language but are interested in some of the ramifications of the subjects with which they routinely deal. Although such an approach might be construed as demanding, there is an extensive GLOSSARY jlNDEX where all but the most familiar notions are clearly defined and explained. The object ofthe body of the text is more to enhance what the reader already knows than to review definitions and notations that have become part of every mathematician's working context.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Impulsive Control in Continuous and Discrete-Continuous Systems is an up-to-date introduction to the theory of impulsive control in nonlinear systems. This is a new branch of the Optimal Control Theory, which is tightly connected to the Theory of Hybrid Systems. The text introduces the reader to the interesting area of optimal control problems with discontinuous solutions, discussing the application of a new and effective method of discontinuous time-transformation. With a large number of examples, illustrations, and applied problems arising in the area of observation control, this book is excellent as a textbook or reference for a senior or graduate-level course on the subject, as well as a reference for researchers in related fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Stem cell technology is moving forward at a tremendous rate. Recent discoveries have surprised even the most expert researchers. While every piece of new data broadens the current knowledge and contributes to this moving forward, the new data also serve as paradigm shifters of fundamental knowledge of cell biology. While the question ¿What is a Stem Cell¿ may now seem to basic to even discuss, there are still some discrepancies, however, between groups in terms of their functional roles. Teeth develop from the ectoderm of the first branchial arch and the ectomesenchyme of the neural crest. Deciduous teeth start to form between the sixth and eighth weeks, and permanent teeth begin to form in the twentieth weeks. Several studies have demonstrated that the pulp from both adult teeth and deciduous teeth contains dental pulp stem cells. Several factors have made them very attractive as a model system for many researchers; they are multipotent, ethically and non-controversially available in large numbers, immuno-compatible, developmentally primitive, easy to isolate and have high expansion potential in vitro. However, many controversies still exist in the field. There are several unanswered questions in the biology of dental pulp and odontoblasts. This new volume in the SpringerBriefs in Stem Cells series presents an evaluation of stem cells from human dental pulp as a reliable stem cell source for cell-based therapy to stimulate tissue regeneration.¿ 96 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These Proceedings contain the contributions of the partIcIpants of the Third International Symposium on Dendritic Cells that was held in Annecy, France, from June 19 to June 24, 1994. This symposium represented a follow-up of the first and second international symposia that were held in Japan in 1990 and in the Netherlands in 1992. Dendritic cells are antigen-presenting cells, and are found in all tissues and organs of the body. They can be classified into: (1) interstitial dendritic cells of the heart, kidney, gut, and lung;(2) Langerhans cells in the skin and mucous membranes; (3) interdigitating dendritic cells in the thymic medulla and secondary lymphoid tissue; and (4) blood dendritic cells and lymph dendritic cells (veiled cells). Although dendritic cells in each of these compartments are all CD45+ leukocytes that arise from the bone marrow, they may exhibit differences that relate to maturation state and microenvironment. Dendritic cells are specialized antigen-presenting cells for T lymphocytes: they process and present antigens efficiently in situ, and stimulate responses from naive and memory T cells in the paracortical area of secondary lymphoid organs. Recent evidence also demonstrates their role in induction of tolerance. By contrast, the primary and secondary B-cell follicles contain follicular dendritic cells that trap and retain intact antigen as immune complexes for long periods of time. The origin of follicular dendritic cells is not clear, but most investigators believe that these cells are not leukocytes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 596 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Fourier transform and the Laplace transform of a positive measure share, together with its moment sequence, a positive definiteness property which under certain regularity assumptions is characteristic for such expressions. This is formulated in exact terms in the famous theorems of Bochner, Bernstein-Widder and Hamburger. All three theorems can be viewed as special cases of a general theorem about functions qJ on abelian semigroups with involution (S, +, \*) which are positive definite in the sense that the matrix (qJ(sJ + Sk» is positive definite for all finite choices of elements St, . . . , Sn from S. The three basic results mentioned above correspond to (~, +, x\* = -x), ([0, 00[, +, x\* = x) and (No, +, n\* = n). The purpose of this book is to provide a treatment of these positive definite functions on abelian semigroups with involution. In doing so we also discuss related topics such as negative definite functions, completely mono tone functions and Hoeffding-type inequalities. We view these subjects as important ingredients of harmonic analysis on semigroups. It has been our aim, simultaneously, to write a book which can serve as a textbook for an advanced graduate course, because we feel that the notion of positive definiteness is an important and basic notion which occurs in mathematics as often as the notion of a Hilbert space.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Cargese Workshop 'Quantum Field Theory and String Theory' was held from May 10 to May 21, 1993. The broad spectrum of the work presented at the Workshop was the reflec tion of a time of intensive search for new ways of solving some of the most fun damental problems in string theory, quantum gravity and non-perturbative field theory. A number of talks indicated the emergence of new promising domains of investigation. It is this very diversity of topics which, in our opinion, represents one of the most attractive features of the present volume which we hope will provide a good orientation in the abundant flow of ideas and publications in modern quantum field theory. Many contributions to the present proceedings are concerned with two di mensional quantum field theory. The continuous advances in the domain of two dimensional integrable theories on the lattice as well as in the continuum, including conformal field theories, Liouville field theory and matrix models of two dimensional quantum gravity are very well represented. Other papers address physically realistic (and therefore very complicated) problems like de veloped turbulence, the Hofstadter problem, higher dimensional gravity and phenomenological strings. A new elegant class of topological field theories is presented. New ideas in the string representation of multicolor quantum chromo dynamics were widely discussed at the Workshop, more particularly the example of the exactly solvable two dimensional case.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book is concerned with a class of discrete-time stochastic control processes known as controlled Markov processes (CMP's), also known as Markov decision processes or Markov dynamic programs. Starting in the mid-1950swith Richard Bellman, many contributions to CMP's have been made, and applications to engineering, statistics and operations research, among other areas, have also been developed. The purpose of this book is to present some recent developments on the theory of adaptive CMP's, i. e. , CMP's that depend on unknown parameters. Thus at each decision time, the controller or decision-maker must estimate the true parameter values, and then adapt the control actions to the estimated values. We do not intend to describe all aspects of stochastic adaptive control; rather, the selection of material reflects our own research interests. The prerequisite for this book is a knowledgeof real analysis and prob ability theory at the level of, say, Ash (1972) or Royden (1968), but no previous knowledge of control or decision processes is required. The pre sentation, on the other hand, is meant to beself-contained,in the sensethat whenever a result from analysisor probability is used, it is usually stated in full and references are supplied for further discussion, if necessary. Several appendices are provided for this purpose. The material is divided into six chapters. Chapter 1 contains the basic definitions about the stochastic control problems we are interested in; a brief description of some applications is also provided.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In 1890, General Francis A. Walker, president of both the Massachusetts Institute of Technology and the American Statistical Association, wrote There is reason to wish that all citizens, from the highest to the lowest, might undergo so much of training in statistics as should enable them to detect the errors lurking in quantitative statements regarding social and economic matters which may . be ad dressed to them as voters or as critics of public policies. [E A. Walker, 1890; reprinted in Noether, 1989] It has been more than a century since Walker stated his wish, but progress has been slow, just as advancement in the establishment of statistical principles and methodology has been laborious and difficult over the centuries. We have tried to describe the milestones in this development and how each generation of scientists built on the heritage and foundations laid by their predecessors. Many historians dismiss the 'great man theory,' which alleges that giant 'leaps of human knowledge are made by great thinkers who transcend the boundaries of their times; great scientists don't leap outside their time, but somewhere else in their own time' (Hevly, 1990). We found this to be the case in the history of statistics. Even the innovative writings of Karl Pearson and Sir Ronald Fisher that became the foundation of modern mathematical statistics were the outcome of two centuries of antecedent ideas and information.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Building on the extensive coverage of the first volume, Volume 2 focuses on the fundamentals of measurements and computational techniques that will aid researchers in the construction and use of measurement devices.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 664 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -There is much excitement in the design and verification community about assertion-based design. The question is, who should study assertion-based design The emphatic answer is, both design and verification engineers. What may be unintuitive to many design engineers is that adding assertions to RTL code will actually reduce design time, while better documenting design intent. Every design engineer should read this book! Design engineers that add assertions to their design will not only reduce the time needed to complete a design, they will also reduce the number of interruptions from verification engineers to answer questions about design intent and to address verification suite mistakes. With design assertions in place, the majority of the interruptions from verification engineers will be related to actual design problems and the error feedback provided will be more useful to help identify design flaws. A design engineer who does not add assertions to the RTL code will spend more time with verification engineers explaining the design functionality and intended interface requirements, knowledge that is needed by the verification engineer to complete the job of testing the design.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In the past half century, filamentous fungi have grown in commercial importance not only in the food industry but also as sources of pharmaceutical agents for the treatment of infectious and metabolic diseases and of specialty proteins and enzymes used to process foods, fortify detergents, and perform biotransformations. The commercial impact of molds is also measured on a negative scale since some of these organisms are significant as pathogens of crop plants, agents of food spoilage, and sources of toxic and carcinogenic compounds. Recent advances in the molecular genetics of filamentous fungi are finding increased application in the pharmaceutical, agricultural, and enzyme industries, and this trend promises to continue as the genomics of fungi is explored and new techniques to speed genetic manipulation become available.This volume focuses on the filamentous fungi and highlights the advances of the past decade, both in methodology and in the understanding of genomic organization and regulation of gene and pathway expression.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -If in some processes oxygen is used, additional energy is provided at a rate P ch by chemical reactions. The flow of energy per unit time can then be written: (1. 2) From the above it can be made clear that it is the rate of energy fluxes, i. e. 2 intensities [J/ms] that determines into which channel the energy goes and how the interaction zone will be modified in its state (solid, liquid, gaseous) and geometrical shape (plane, dip, deep hole) -in other words which kind of treatment process will be established (hardening, welding, drilling etc. ). In the following, it will be shown that, in fact, it is the intensity of the beam, which together with the interaction time, primarily governs the interaction phenomena. 1. 1. 2 Laser beam properties determining interaction and energy coupling etJeets In order to yield an efficient process, it is necessary to obtain adequate intensity at the workpiece and to couple a fraction of the incident power as high as possible into the material. The beam properties being of importance in this respect are, (Hugel, 1992): 1. the wavelength A. , governing, in principle, the focusability and absorptivity; 2. the polarisation, having considerable influence on the absorptivity for large angles of incidence; 3. the power P which together with the achievable spot diameter d L f determines the intensity in the interaction zone; 4.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 684 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Advances in epilepsy in recent decades have allowed for improved algorithms for diagnosis and a common understanding of terminology with the development of the International Classifications of Seizures and the Epilepsies. Nevertheless, no common system exists for the estimation of epilepsy severity or its impact on quality of life. Therefore, epileptologists lack the ability to make quantitative assessments of individual patients for comparison of care or for meta-analyses in clinical trials. This book on the Quantitative Assessment of Epilepsy Care approaches this omission by addressing the potential application of clinimetrics within the framework of epilepsy treatment. Clinimetrics is a fast growing discipline concerned with the quantification of clinical symptoms with respect to decision making relating to diagnosis, treatment, and prognosis. These methods allow for the development and validation of clinical scoring systems. For example, the Glasgow Coma Scale is widely used. As a chronic disorder, epilepsy would benefit from clinimetric methodology to create uniformity and to allow for comparisons among evaluations. In addition, epileptologists have not yet developed assessments of health related quality of life to define the overall condition of the chronic epilepsy patient and various therapeutic endpoints. While clini metric tools are essential for research, they will also be useful in clinical practice for the care of individual patients by documenting status and changes over time. This treatise will provide critical analyses of whether existing rating scales and techniques are valid to use, and which types of scales and techniques require further development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Shlomo Yehuda and David I. Mostofsky The Second Farber Center International Conference was held on December 19th, 1995 at Bar Han University. Israel. The topic of the conference was: 'Chronic Fatigue Syndrome. ' The members of the Scientific Committee were: Prof. Yehuda. Prof. Mostofsky, Mr. Riesenberg, and Prof. Sredni. This conference was supported by the Farber Center for Alzheimer Research. the Ginsburg Chair for Re search into Alzheimer Disease, and by the Gold Founda tion. The present volume summarizes the controversial and interesting issues as well as the experimental and re search results as discussed by the distingUished invited speakers. The term 'chronic fatigue syndrome' was created to describe a group of symptoms that has often been popu larly referred to as the 'yuppie flu. ' The unusual and puz zling symptoms of CFS include severe fatigue, weakness, fever, depression. and sore throat and lymph nodes. Sev eral other disorders seem to share many of the CFS's symptoms to various degrees and since no undisputed bio logical etiology has been identified, it has often been re garded with great suspicion as a legitimate and organic disorder. Only in cases of infectious mononucleosis ('kiss ing disease') was the Epstein-Barr herpes virus found. The controversy among physicians and other health care pro fessionals concerns the very existence of CFS as a unique 5 6 Preface entity well differentiated from other terms such as fibromy algia. neurasthenia. or special kinds of depression. (For examples. see: Goldenberg, 1990; Millenson.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Modified atmosphere packaging (MAP) has proved to be one of the most significant and innovative growth areas in retail food packaging of the past two decades. Bulk modified atmosphere packs have been an accepted form of packaging for meat and poultry in the USA since the early 1970s, but MAP is only now of being widely adopted. Today there is a substantial wholesale on the verge market for bulk packaged fresh vegetables and fruit, and the most significant retail MAP products are fresh pasta, pre-cooked poultry and sausage, and biscuits (a unique American product). The United Kingdom is the biggest single market for the modified atmosphere packaging of fresh chilled food products, accounting for about half of the total European market. A further quarter is represented by France. The success of MAP in both the British and French markets can be attributed to the large, highly sophisticated food retailing multiples and dense populations existing in both countries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The roleofvitamins inhuman nutrition is an importantaspectofnutrition and food science, and our knowledge in this area is still advancing. Over the last few years there has been a considerable consumer awareness ofnutrition and healthy eating which has been enhanced by numerous articles in the media and by nutritional labellingon products. As aconsequence, the food industry has hadtobecomemore concernedwiththenutritional valueofproductsandthemaintenanceofguaranteed micronutrient levels. While the food industry has the responsibility ofproducing foods that provide a realistic supply ofnutrients, including vitamins, it is now also required to offer products with ahigh degree ofconvenience and long shelflives. Vitamins are a group of chemical compounds which are relatively unstable. They are affected by a number of factors such as heat, light and other food components and also by the processes needed to preserve the food or to convert it into consumer products (e.g. pasteurisation, sterilisation, extrusion, irradiation, etc.). The result ofthese interactions may be a partial or total loss ofthe vitamins. Food technology is concerned with both the maintenance ofvitamin levels in foods and the restoration of the vitamin content to foods where losses have occurred. In addition, foods designed for special nutritional purposes such as baby and infantfoods and slimming foods need to be enriched or fortified with vitamins and other micronutrients. In addition to being essential nutrients, some vitamins have an important role astechnological additives infoods andcanbefound acting as colours, antioxidants and texture improvers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models of computability, and to develop some of the model's rich and varied structure. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts. The first part of the book is devoted to finite automata and their properties. Pushdown automata provide a broader class of models and enable the analysis of context-free languages. In the remaining chapters, Turing machines are introduced and the book culminates in discussions of effective computability, decidability, and Gödel's incompleteness theorems. Plenty of exercises are provided, ranging from the easy to the challenging. As a result, this text will make an ideal first course for students of computer science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.