springer us jul 1995 (26 results)

Buch. Condition: Neu. Neuware - Program understanding plays an important role in nearly all software related tasks. It is vital to the development, maintenance and reuse activities. Program understanding is indispensable for improving the quality of software development. Several development activities such as code reviews, debugging and some testing approaches require programmers to read and understand programs. Maintenance activities cannot be performed without a deep and correct understanding of the component to be maintained. Program understanding is vital to the reuse of code components because they cannot be utilized without a clear understanding of what they do. If a candidate reusable component needs to be modified, an understanding how it is designed is also required. of This monograph presents a knowledge-based approach to the automation of program understanding. This approach generates rigorous program documentation mechanically by combining and building on strengths of a practical program decomposition method, the axiomatic correctness notation, and the knowledge based analysis approaches. More specifically, this approach documents programs by generating first order predicate logic annotations of their loops. In this approach, loops are classified according to their complexity levels. Based on this taxonomy, variations on the basic analysis approach that best fit each of the different classes are described. In general, mechanical annotation of loops is performed by first decomposing them using data flow analysis. This decomposition encapsulates interdependent statements in events, which can be analyzed individually.

Buch. Condition: Neu. Neuware - Susan M. De Vos uses comparative and life course perspectives to provide an in-depth demographic study of the household. Based on data gathered by the World Fertility Survey, this illuminating reference explores household composition in six Latin American countries and compares the situation with that in the United States and western Europe as well as with each other. The study examines the complex household; non-family household living; and the living arrangements of children, young adults, middle-aged people, and elderly people.

Buch. Condition: Neu. Neuware - This volume includes papers presented at the Third Annual Computation and Neural Systems meeting (CNS\*94) held in Monterey California, July 21 - July 26, 1994. This collection includes 71 of the more than 100 papers presented at this year's meeting. Acceptance for meeting presentation was based on the peer review of preliminary papers by at least two referees. The papers in this volume were submitted in final form after the meeting. As represented by this volume, CNS meetings continue to expand in quality, size and breadth of focus as increasing numbers of neuroscientists are taking a computational approach to understanding nervous system function. The CNS meetings are intended to showcase the best of current research in computational neuroscience. As such the meeting is fundamentally focused on understanding the relationship between the structure of neIVOUS systems and their function. What is clear from the continued expansion of the CNS meetings is that computational approaches are increasingly being applied at all levels of neurobiological analysis. in an ever growing number of experimental preparations. and neural subsystems. Thus. experimental subjects range from crickets to primates; sensory systems range from vision to electroreception; experimental approaches range from realistic models of ion channels to the analysis of the information content of spike trains. For this reason, the eNS meetings represent an opportunity for computational neurobiologists to consider their research results in a much broader context than is usually possible.

Buch. Condition: Neu. Neuware - Towards Balanced Automation The concept. Manufacturing industries worldwide are facing tough challenges as a consequence of the globalization of economy and the openness of the markets. Progress of the economic blocks such as the European Union, NAFTA, and MERCOSUR, and the global agreements such as GATT, in addition to their obvious economic and social consequences, provoke strong paradigm shifts in the way that the manufacturing systems are conceived and operate. To increase profitability and reduce the manufacturing costs, there is a recent tendency towards establishing partnership links among the involved industries, usually between big industries and the networks of components' suppliers. To benefit from the advances in technology, similar agreements are being established between industries and universities and research institutes. Such an open tete-cooperation network may be identified as an extended enterprise or a virtual enterprise. In fact, the manufacturing process is no more carried out by a single enterprise, rather each enterprise is just a node that adds some value (a step in the manufacturing chain) to the cooperation network of enterprises. The new trends create new scenarios and technological challenges, especially to the Small and Medium size Enterprises (SMEs) that clearly comprise the overwhelming majority of manufacturing enterprises worldwide. Under the classical scenarios, these SMEs would have had big difficulties to access or benefit from the state of the art technology, due to their limited human, financial, and material resources.

Buch. Condition: Neu. Neuware - The operation of semiconductor devices depends upon the use of electrical potential barriers (such as gate depletion) in controlling the carrier densities (electrons and holes) and their transport. Although a successful device design is quite complicated and involves many aspects, the device engineering is mostly to devise a 'best' device design by defIning optimal device structures and manipulating impurity profIles to obtain optimal control of the carrier flow through the device. This becomes increasingly diffIcult as the device scale becomes smaller and smaller. Since the introduction of integrated circuits, the number of individual transistors on a single chip has doubled approximately every three years. As the number of devices has grown, the critical dimension of the smallest feature, such as a gate length (which is related to the transport length defIning the channel), has consequently declined. The reduction of this design rule proceeds approximately by a factor of 1. 4 each generation, which means we will be using 0. 1-0. 15 ). lm rules for the 4 Gb chips a decade from now. If we continue this extrapolation, current technology will require 30 nm design rules, and a cell 3 2 size 10 nm , for a 1Tb memory chip by the year 2020. New problems keep hindering the high-performance requirement. Well-known, but older, problems include hot carrier effects, short-channel effects, etc. A potential problem, which illustrates the need for quantum transport, is caused by impurity fluctuations.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This remarkable volume presents the first revision to the classification system of diamond-bearing rocks in over eighty years. Presenting the latest mineralogical data, this book offers a detailed description of the mineralogy and geochemistry of kimberlites, orangeites, and lamproites. Several hundred new analyses of minerals in orangeites are included. This volume follows the publication of Kimberlites, by R.H. Mitchell, and Petrology of Lamproites, by R.H. Mitchell and S.C. Bergman, concluding the trilogy. 428 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Short turnaround has become critical in the design of electronic systems. Software- programmable components such as microprocessors and digital signal processors have been used extensively in such systems since they allow rapid design revisions. However, the inherent performance limitations of software-programmable systems mean that they are inadequate for high-performance designs. Designers thus turned to gate arrays as a solution. User-programmable gate arrays (field-programmable gate arrays, FPGAs) have recently emerged and are changing the way electronic systems are designed and implemented. The growing complexity of the logic circuits that can be packed onto an FPGA chip means that it has become important to have automatic synthesis tools that implement logic functions on these architectures. Logic Synthesis for Field-Programmable Gate Arrays describes logic synthesis for both look-up table (LUT) and multiplexor-based architectures, with a balanced presentation of existing techniques together with algorithms and the system developed by the authors. Audience: A useful reference for VLSI designers, developers of computer-aided design tools, and anyone involved in or with FPGAs. 450 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Low-Voltage Low-Power Analog Integrated Circuits brings together in one place important contributions and state-of-the-art research results in this rapidly advancing area. Low-Voltage Low-Power Analog Integrated Circuits serves as an excellent reference, providing insight into some of the most important issues in the field. 120 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this authoritative volume, leading researchers offer diverse theoretical perspectives and a wide-range of information on the beginnings and nature of social inequality in past human societies. Their illuminating work investigates the role of status differentiation in traditional archaeological debates and major societal transitions. This volume features numerous case studies from the Old and New World spanning foraging societies to agricultural groups and complex states. Diachronic in view and archaeological in focus, this book will be of significant interest to archaeologists, anthropologists, and students. 308 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In Finite Element Analysis of Electrical Machines the author covers two-dimensional analysis, emphasizing the use of finite elements to perform the most common calculations required of machine designers and analysts. The book explains what is inside a finite element program, and how the finite element method can be used to determine the behavior of electrical machines. The material is tutorial and includes several completely worked out examples. The main illustrative examples are synchronous and induction machines. The methods described have been used successfully in the design and analysis of most types of rotating and linear machines. Audience: A valuable reference source for academic researchers, practitioners and designers of electrical machinery. 262 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Proceedings of the 1993 Biomedical Simulations Research Workshop, held in Los Angeles, California, May 21-22, 1993 228 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During the past decade, the study of the chemical structures used by insects has advanced from a subject that could be reviewed in a single volume to a vastly more advanced level. This important new volume brings together a focused group of reviews that offer perspective on the most interesting advances in insect chemical ecology. Chemical Ecology of Insects 2 brings together an internationally respected group of experts covering such topics as chemoreception and integration, orientation mechanisms, plant-insect interactions and insect-insect interactions. An important benefit of these reviews lies in the identification of the boundaries of our current knowledge and the most profitable areas in which we should expect these areas to develop. This important work will appeal to entomologists and ecologists working directly with insects. In addition, plant scientists interested in the interaction of plants and insects will find much valuable information. The book is intended to benefit both field and laboratory researchers as well as advanced students. 448 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume encompasses state-of-the-art developments in AI-based reactive scheduling for real-time operation management in manufacturing shop floors. It is a collection of papers from the Second International Workshop of the IFIP Working Group 5.7 which brought together researchers from management information systems and knowledge engineering to expand the focus on applying new knowledge-based techniques. 178 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Advances in the state of the art mean the signal processing ICs of ever-increasing complexity are being introduced. While the typical portion of a large IC devoted to analog circuits has diminished, the performance of those surviving analog signal processing circuits remains vital and their design challenging. Moreover, the emerging high-definition TV technology has created a new area for IC development, one with formidable signal processing requirements. The antialiasing filters needed for one proposed HDTV decoder motivated the research documented in this book. Sharply selective filters place tight constraints on the permitted excess phase shifts of their constituent circuits. Combined with stringent requirements for low distortion at video frequencies, these constraints challenge the IC filter designer. Integrated Video-Frequency Continuous-Time Filters: High-Performance Realizations in BiCMOS deals with what is arguably the mainstay of analog signal processing circuits. Prominent applications in computer disk-drive read channels, video receivers, rf circuits, and antialiasing and reconstruction in data converters testifies to their importance. Moreover, they are excellent benchmarks for more general analog signal processors. Bipolar and MOSFET transistors, freely combined at the lowest circuit levels, provide the designer with an opportunity to develop potent variations on the standard idioms. The book considers the general principles of BiCMOS circuit design, through to a demanding design problem. This case-study approach allows a concrete discussion of the justification for and practical trade-offs of each design decision. Audience: A reference work for experienced IC designers and a text for advanced IC design students. 276 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book describes several methods and systems solving one of the highlighted problems within computer aided design, namely architectural and logic synthesis. The book emphasises the most recent technologies in high level synthesis, concentrating on applicative studies and practical constraints or criteria during synthesis. Logic and Architecture Synthesis concentrates on the practical problems involving automatic synthesis of designs. It is essential reading for researchers and CAD Managers working in this area. 406 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The only book to deal comprehensively with insect feeding was published by C. T. Brues in 1946. His Insect Dietary was an account of insect feeding habits. Since that time there has been a revolution in biology, and almost all aspects of our understanding of insect feeding have expanded to an extent and into areas that would have been unthinkable in Brues' day. Yet, our book does not replace Insect Dietary but, instead, complements it, because our aim is to bring together information on the mechanisms by which food quality and quantity are regulated. We deliberately focus attention on the feeding process; to include food-finding would have required a much larger book and would have moved the focus away from more proximate mechanisms. This book is dedicated to the late Vincent G. Dethier. As a pioneer in studying the physiological basis of animal behavior, he focused on regulation of feeding in flies and caterpillars. His work on the blowfly, together with that by his many students and co-workers, still provides the most completely described mechanism of insect feeding. The citation of his work in almost every chapter in this book illustrates the importance of his findings and ideas to our current understanding of regulation of insect feeding. The authors in this book provide many innovative and stimulating ideas typifying Dethier's approach to the study of feeding be havior. 428 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During the past decade, the study of the chemical structures used by insects has advanced from a subject that could be reviewed in a single volume to a vastly more advanced level. This important new volume brings together a focused group of reviews that offer perspective on the most interesting advances in insect chemical ecology. Chemical Ecology of Insects 2 brings together an internationally respected group of experts covering such topics as chemoreception and integration, orientation mechanisms, plant-insect interactions and insect-insect interactions. An important benefit of these reviews lies in the identification of the boundaries of our current knowledge and the most profitable areas in which we should expect these areas to develop. This important work will appeal to entomologists and ecologists working directly with insects. In addition, plant scientists interested in the interaction of plants and insects will find much valuable information. The book is intended to benefit both field and laboratory researchers as well as advanced students. 452 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Aquaculture pond managers measure water-quality variables and attempt to maintain them within optimal ranges for shrimp and fish, but surprisingly little attention is paid to pond soil condition. Soil-water interactions can strongly impact water quality, and soil factors should be considered in aquaculture pond management. The importance of soils in pond management will be illustrated with an example from pond fertilization and another from aeration. Pond fertilization may not produce phytoplankton blooms in acidic ponds. Total alkalinity is too low to provide adequate carbon dioxide for photosynthesis, and acidic soils adsorb phosphate added in fertilizer before phytoplankton can use it. Agricultural lime stone application can raise total alkalinity and neutralize soil acidity. The amount of limestone necessary to cause these changes in a pond depends on the base unsaturation and exchange acidity of the bottom soil. Two ponds with the same total alkalinity and soil pH may require vastly different quantities of limestone because they differ in exchange acidity. Aeration enhances dissolved oxygen concentrations in pond water and permits greater feed inputs to enhance fish or shrimp production. As feeding rates are raised, organic matter accumulates in pond soils. In ponds with very high feeding rates, aeration may supply enough dissolved oxygen in the water column for fish or shrimp, but it may be impossible to maintain aerobic conditions in the surface layers of pond soil. Toxic metabolites produced by microorganisms in anaerobic soils may enter the pond water and harm fish or shrimp. 372 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The purpose of this book is to introduce VHSIC Hardware Description Lan guage (VHDL) and its use for synthesis. VHDL is a hardware description language which provides a means of specifying a digital system over different levels of abstraction. It supports behavior specification during the early stages of a design process and structural specification during the later implementation stages. VHDL was originally introduced as a hardware description language that per mitted the simulation of digital designs. It is now increasingly used for design specifications that are given as the input to synthesis tools which translate the specifications into netlists from which the physical systems can be built. One problem with this use of VHDL is that not all of its constructs are useful in synthesis. The specification of delay in signal assignments does not have a clear meaning in synthesis, where delays have already been determined by the im plementationtechnolo~y. VHDL has data-structures such as files and pointers, useful for simulation purposes but not for actual synthesis. As a result synthe sis tools accept only subsets of VHDL. This book tries to cover the synthesis aspect of VHDL, while keeping the simulation-specifics to a minimum. This book is suitable for working professionals as well as for graduate or under graduate study. Readers can view this book as a way to get acquainted with VHDL and how it can be used in modeling of digital designs. 380 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers published in this volume were presented at the Second International Conference on Ultra-WidebandiShort-Pulse (UWB/SP) Electromagnetics, ApriIS-7, 1994. To place this second international conference in proper perspective with respect to the first conference held during October 8-10, 1992, at Polytechnic University, some background information is necessary. As we had hoped, the first conference struck a responsive cord, both in timeliness and relevance, among the electromagnetic community 1. Participants at the first conference already inquired whether and when a follow-up meeting was under consideration. The first concrete proposal in this direction was made a few months after the first conference by Prof. A. Terzuoli of the Air Force Institute of Technology (AFIT), Dayton, Ohio, who has been a strong advocate of time-domain methods and technologies. He initially proposed a follow-up time-domain workshop under AFIT auspices. Realizing that interest in this subject is lodged also at other Air Force installations, we suggested to enlarge the scope, and received in this endeavor the support of Dr. A. Nachman of AFOSR (Air Force Office of Scientific Research), Bolling Air Force Base, Washington, D.C. 624 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Open Distributed Processing contains the selected proceedings of the Third International Conference on Open Distributed Systems, organized by the International Federation for Information Processing and held in Brisbane, Australia, in February 1995. The book deals with the interconnectivity problems that advanced computer networking raises, providing those working in the area with the most recent research, including security and management issues. 534 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Chesapeake Prehistory is the first book in almost a century to synthesize the archaeological record of the region offering new interpretations of prehistoric lifeways. This up-to-date work presents a new type of regional archaeology that explores contemporary ideas about the nature of the past. In addition, the volume examines prehistoric culture and history of the entire region and includes supporting lists of radiocarbon assays. A unique feature is a reconstruction of the dramatic transformation of the regional landscape over the past 10-15,000 years. 336 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Abraham Rosenberg assembles the groundbreaking work of preeminent international scientists to provide the most current, state-of-the-art presentation of research in siabiology. This concise volume examines the historical development of the field and reviews current knowledge on the genetic, immunologic, oncologic, neurodevelopmental, pathogenic, and cell regulatory properties of sialic acid. Outstanding features of this work include exhaustive reference material and detailed information tables. 400 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recent progress in recombinant DNA technology and the availability of a number of nonpeptide subtype-specific receptor antagonists and of specific antibodies to components of prorenin-renin-angiotensin system (PRAS) have led to rapid advances in the under standing of the multifaceted role of angiotensin II, classically known as a peptide hormone of cardiovascular homeostasis. Accumulating evidence sug responsible for the regulation gests that, in addition to its role in salt and water metabolism, PRAS may control other physiological functions including neurosecretion, cellular proliferation, hypertrophy and/or differentiation, angiogenesis and gonadal function. At the same time, it is becoming evident that the specialized functions of endocrine glands are not only regulated by trophic hormones but also by locally produced paracrine/autocrine factors. The concept is emerging that tissue PRAS is one such locally active regulatory system. With more and more reproductive and endocrine organs being added to the list of tissues that contain a local tissue PRAS, questions are being raised by the reproductive biologists and endocrinologists as to the role of such systems in the tissues of their interest. On the other hand, the cardiovascular and renovascular physiologists are wondering about the relevance of PRAS in various peripheral tissues compared to those of the classical cardiovascular organs. It appeared, therefore, that the time was ripe for a meeting to consider a merger of interest in these two important but heretofore distinct areas of physiology. 476 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this volume are papers written by students and co-authors of Stanley Reiter. The collection reflects to some extent the range of his interests and intellectual curiosity. He has published papers in statistics, manage ment science, international trade, and welfare economics. He co-authored early papers in economic history and is reported to be largely responsible for giving the field its name of Cliometrics. He helped initiate, nurture and establish the area of economics now known as mechanism design which studies information decentralization, incentives, computational complexity and the dynamics of decentralized interactions. The quality, craft, depth, and innovative nature of his work has always been at an exceptionally high level. Stan has had a strong and important direct effect on many students at Purdue University and Northwestern University. He created and taught a course which all of his students have both dreaded and respected. Using the Socratic method in remarkably effective ways to teach theory skills, he has guided, prodded, and encouraged us to levels we did not think we were capable of. Some of his students are represented in this volume. But even those whose careers took directions other than mathematical economics still consider that training to be an important component of their success. Stan's students include department chairmen, business executives, Deans, a Secretary of the Air Force, and a College President. His guidance has been necessary and fundamental to whatever successes we have had. 460 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The jackknife and bootstrap are the most popular data-resampling meth ods used in statistical analysis. The resampling methods replace theoreti cal derivations required in applying traditional methods (such as substitu tion and linearization) in statistical analysis by repeatedly resampling the original data and making inferences from the resamples. Because of the availability of inexpensive and fast computing, these computer-intensive methods have caught on very rapidly in recent years and are particularly appreciated by applied statisticians. The primary aims of this book are (1) to provide a systematic introduction to the theory of the jackknife, the bootstrap, and other resampling methods developed in the last twenty years; (2) to provide a guide for applied statisticians: practitioners often use (or misuse) the resampling methods in situations where no theoretical confirmation has been made; and (3) to stimulate the use of the jackknife and bootstrap and further devel opments of the resampling methods. The theoretical properties of the jackknife and bootstrap methods are studied in this book in an asymptotic framework. Theorems are illustrated by examples. Finite sample properties of the jackknife and bootstrap are mostly investigated by examples and/or empirical simulation studies. In addition to the theory for the jackknife and bootstrap methods in problems with independent and identically distributed (Li.d.) data, we try to cover, as much as we can, the applications of the jackknife and bootstrap in various complicated non-Li.d. data problems. 540 pp. Englisch.