springer us aug 1995 (53 resultados)

Buch. Condición: Neu. Neuware - Design frameworks have become an important infrastructure for building complex design systems. Electronic Design Automation Frameworks presents a state-of-the-art review of the latest research results covering this topic; results which are also of value for other design frameworks. The book contains the selected proceedings of the Fourth International Working Conference on Electronic Design Frameworks, organized by the International Federation for Information Processing and held in Gramado, Brazil, in November 1994.

Buch. Condición: Neu. Neuware - This volume covers many aspects of multimedia and communications security, from national security policies to file server architectures, from hypertext documents to specialized cryptographic algorithms. It provides the interested reader with a spectrum of up-to-the-minute knowledge on the topics covered.

Buch. Condición: Neu. Neuware - To a large extent, our lives on this earth depend on systems that operate auto matically. Manysuchsystems can be found in nature and others are man made. These systems can be biological, electrical, mechanical, chemical, or ecological, to namejust a few categories. Our human body is full ofsystems whose conti nued automatic operation is vital for our existence. On a daily basis we come in contact with man made systems whose automatic operation ensures increa sed productivity, promotes economic development and improves the quality of life. A primary component that is responsible for the automatic operation of a system is a device or mechanism called the controller. In man made systems one must first design and then implement such a controller either as a piece of hardware or as software code in a computer. The safe and efficient automatic operation of such systems is testimony to the success of control theorists and practitioners over the years. This book presents new methods {or controller design. The process ofdeveloping a controller or control strategy can be dramatically improved if one can generate an appropriate dynamic model for the system under consideration. Robust control design deals with the question of how to develop such controllers for system models with uncertainty. In many cases dynamic models can be expressed in terms oflinear, time invariant differential equations or transfer functions.

Buch. Condición: Neu. Neuware - Co-Synthesis of Hardware and Software for Digital Embedded Systems, with a Foreword written by Giovanni De Micheli, presents techniques that are useful in building complex embedded systems. These techniques provide a competitive advantage over purely hardware or software implementations of time-constrained embedded systems. Recent advances in chip-level synthesis have made it possible to synthesize application-specific circuits under strict timing constraints. This work advances the state of the art by formulating the problem of system synthesis using both application-specific as well as reprogrammable components, such as off-the-shelf processors. Timing constraints are used to determine what part of the system functionality must be delegated to dedicated application-specific hardware while the rest is delegated to software that runs on the processor. This co-synthesis of hardware and software from behavioral specifications makes it possible to realize real-time embedded systems using off-the-shelf parts and a relatively small amount of application-specific circuitry that can be mapped to semi-custom VLSI such as gate arrays. The ability to perform detailed analysis of timing performance provides the opportunity of improving the system definition by creating better phototypes. Co-Synthesis of Hardware and Software for Digital Embedded Systems is of interest to CAD researchers and developers who want to branch off into the expanding field of hardware/software co-design, as well as to digital system designers who are interested in the present power and limitations of CAD techniques and their likely evolution.

Buch. Condición: Neu. Neuware - TC8 is one of IFIP's most active committees. This book focusses on information systems support for organisations looking particularly at business process reengineering, co-operation between organisations and support for improved work flow in organisations. These are topical subjects and will appeal to both business and research communities.

Buch. Condición: Neu. Neuware - This is a compilation of papers presented at the Information System Concepts conference in Marburg, Germany. The special focus is consolidation and harmonisation of the numerous and widely diverging views in the field of information systems. This issue has become a hot topic, as many leading information system researchers and practitioners come to realise the importance of better communication among the members of the information systems community, and of a better scientific foundation of this rapidly evolving field.

Buch. Condición: Neu. Neuware - The communication of information is a crucial point in the development of our future way of life. We are living more and more in an information society. Perhaps the more obvious applications are those devoted to distributed cooperative multimedia systems. In both industry and academia, people are involved in such projects. HPN'95 is an international forum where both communities can find a place for dialogues and interchanges. The conference is targeted to the new mechanisms, protocols, services and architectures derived from the need of emerging applications, as well as from the requirements of new communication environments. This workshop belongs to the series started in 1987 in Aachen (Germany), followed by Liege (Belgium) in 1988, Berlin (Germany) in 1991, Liege (Belgium) again in 1992 and Grenoble (France) in 1994. HPN'95 is the sixth event of the series sponsored by IFIP WG 6.4 and will be held at the Arxiduc Lluis Salvador building on the campus of the University of the Balearic Islands in Palma de Mallorca (Spain) from September 13 to 15.

Buch. Condición: Neu. Neuware - Technical and Biological Components of Marrow Transplantation presents up to date information on the scientific and technological advances that will extend and improve the clinical application of bone marrow transplantation. The book includes the latest information on chronic myeloid leukemia and thalassemia; advances in supportive care: cytokines and progenitor expansion; and cord stem cell technology. Soon more of patients will receive marrow transplants as part of the therapy for solid tumors and metabolic disease than for the treatment of hematologic disease. The contributors to this volume describe some of these applications, hinting at yet further, exciting possibilities.

Buch. Condición: Neu. Neuware - Temporal databases have been an active research topic for at least fifteen years. During this time, several dozen temporal query languages have been proposed. Many within the temporal database research community perceived that the time had come to consolidate approaches to temporal data models and calculus based query languages, to achieve a consensus query language and associated data model upon which future research can be based. While there were many query language proposals, with a diversity of language and modeling constructs, common themes kept resurfacing. However, the community was quite frag mented, with each research project being based on a particular and different set of assumptions and approaches. Often these assumptions were not germane to the research per se, but were made simply because the research required a data model or query language with certain characteristics, with the partic ular one chosen rather arbitrarily. It would be better in such circumstances for research projects to choose the same language. Unfortunately, no existing language had attracted a following large enough to become the one of choice. In April, 1992 Richard Snodgrass circulated a white paper that proposed that a temporal extension to SQL be produced by the research community. Shortly thereafter, the temporal database community organized the 'ARPA/NSF In ternational Workshop on an Infrastructure for Temporal Databases,' which was held in Arlington, TX, in June, 1993.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Designed for senior electrical engineering students, this textbook explores the theoretical concepts of digital signal processing and communication systems by presenting laboratory experiments using real-time DSP hardware. Each experiment begins with a presentation of the required theory and concludes with instructions for performing them. Engineering students gain experience in working with equipment commonly used in industry. This text features DSP-based algorithms for transmitter and receiver functions. 212 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Designed for senior electrical engineering students, this textbook explores the theoretical concepts of digital signal processing and communication systems by presenting laboratory experiments using real-time DSP hardware. Each experiment begins with a presentation of the required theory and concludes with instructions for performing them. Engineering students gain experience in working with equipment commonly used in industry. This text features DSP-based algorithms for transmitter and receiver functions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Based on a five-year evaluation of an $80 million U.S. Army demonstration program, this first-of-its kind study explores the cost effectiveness of a managed care model of service delivery for children and adolescents with mental health and substance addiction problems. Contributions report on the quality, cost, and clinical outcome and raise critical questions about the effectiveness of mental health services and their delivery in community settings. Chapters describe new approaches to measurement and provide analyses assisting future research on managed care. 256 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In 1991, a new international standard for Fortran was released which contained specifications for a new version of the language known as Fortran 90. It provides for dramatic extensions to previous Fortran versions. This book is a comprehensive tutorial to Fortran 90 that relies mainly on a large number of short, but complete programming examples to illustrate the differences between the new language and traditional Fortran. The author gives thorough explanations of terminology and concepts which were not in general use before the release of the new standard. Readers are assumed to have a working knowledge of one of the earlier versions of Fortran, but otherwise no prior knowledge of Fortran 90 is assumed. 516 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Several people have asked what motivated us to write a book about commut ing, something that we all do but over which we have very little control. As a matter of fact, the general reaction from professional colleagues and friends alike was first a sort of knowing smile followed by some story. Everyone has a story about a personal commuting experience. Whether it was a problem with a delayed bus, a late arrival, broken-down automobiles, hot trains or subways, during the past year we have heard it all. Many of these stories must be apocryphal because, if they were all true, it is amazing that anyone ever arrived at work on time, at home, or at some other destination. The interest for us likely stems from many factors that over the years have probably influenced our thinking. All of the authors studied and/or grew up in the New York City metropolitan area. For illustration, let's devote a few paragraphs to describing some of the senior author's (Koslowsky's) life experiences. As a young man in New York City, he was a constant user of the New York City subway system. The whole network was and still is quite impressive. For a relatively small sum, one can spend the whole day and night in an underground world (growing up in New York often makes one think that the whole world is contained in its five boroughs). 252 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Partial differential equations play a central role in many branches of science and engineering. Therefore it is important to solve problems involving them. One aspect of solving a partial differential equation problem is to show that it is well-posed, i. e. , that it has one and only one solution, and that the solution depends continuously on the data of the problem. Another aspect is to obtain detailed quantitative information about the solution. The traditional method for doing this was to find a representation of the solution as a series or integral of known special functions, and then to evaluate the series or integral by numerical or by asymptotic methods. The shortcoming of this method is that there are relatively few problems for which such representations can be found. Consequently, the traditional method has been replaced by methods for direct solution of problems either numerically or asymptotically. This article is devoted to a particular method, called the 'ray method,' for the asymptotic solution of problems for linear partial differential equations governing wave propagation. These equations involve a parameter, such as the wavelength. . , which is small compared to all other lengths in the problem. The ray method is used to construct an asymptotic expansion of the solution which is valid near . . = 0, or equivalently for k = 21r I A near infinity. 284 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Based on a five-year evaluation of an $80 million U.S. Army demonstration program, this first-of-its kind study explores the cost effectiveness of a managed care model of service delivery for children and adolescents with mental health and substance addiction problems. Contributions report on the quality, cost, and clinical outcome and raise critical questions about the effectiveness of mental health services and their delivery in community settings. Chapters describe new approaches to measurement and provide analyses assisting future research on managed care.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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).Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -'Why is 'lEX so hard to use ' is the most frequent comment/complaint made by (frustrated) 'lEX users. The answer: Because it is programmable (has many features commonly found in programming languages), because it pays attention to detail, and because its creator has developed it for his own use (perhaps also his administrative assistant's) and not for general use. The material presented here is a direct result of this complaint and is an attempt to make it easier for inexperienced users to get the kind of high-quality typesetting that is possible with 'lEX. The material is based on classes taught since 1985, and on the author's personal experience with 'lEX, which includes writing three books and numerous articles, handouts, and letters. Both introductory and advanced material is included here. There are many examples as well as a detailed discussion of topics, such as valign and emergencystretch, that are only briefly touched upon in The TpJXbook. Chapter 20 describes the macros used to typeset this book; it also lists the METAFONT programs for the special characters used.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In 1991, a new international standard for Fortran was released which contained specifications for a new version of the language known as Fortran 90. It provides for dramatic extensions to previous Fortran versions. This book is a comprehensive tutorial to Fortran 90 that relies mainly on a large number of short, but complete programming examples to illustrate the differences between the new language and traditional Fortran. The author gives thorough explanations of terminology and concepts which were not in general use before the release of the new standard. Readers are assumed to have a working knowledge of one of the earlier versions of Fortran, but otherwise no prior knowledge of Fortran 90 is assumed.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 516 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Several people have asked what motivated us to write a book about commut ing, something that we all do but over which we have very little control. As a matter of fact, the general reaction from professional colleagues and friends alike was first a sort of knowing smile followed by some story. Everyone has a story about a personal commuting experience. Whether it was a problem with a delayed bus, a late arrival, broken-down automobiles, hot trains or subways, during the past year we have heard it all. Many of these stories must be apocryphal because, if they were all true, it is amazing that anyone ever arrived at work on time, at home, or at some other destination. The interest for us likely stems from many factors that over the years have probably influenced our thinking. All of the authors studied and/or grew up in the New York City metropolitan area. For illustration, let's devote a few paragraphs to describing some of the senior author's (Koslowsky's) life experiences. As a young man in New York City, he was a constant user of the New York City subway system. The whole network was and still is quite impressive. For a relatively small sum, one can spend the whole day and night in an underground world (growing up in New York often makes one think that the whole world is contained in its five boroughs).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Molecular Cardiology for the Cardiologist provides a short, easily readable summary of what the new biology brings to cardiology. With this in mind, special efforts have been made to present many comprehensive schemes and drawings, as well as teaching tables. The five parts of the book provide a general introduction to the new language of biology; the normal structure of the heart and blood vessels; the physiopathology and the new therapeutic avenues that have been opened up by the new biology. A concise summary of the keys that assist the cardiologist or student who seeks to learn and read more about this field. Provides practical examples to illustrate the clinical interest of the new approach. 274 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The integration of manufacturing planning functions, using artificial intelligence techniques, is essential for the effective and efficient operation of advanced manufacturing systems. This book provides an introduction to the integration of intelligent manufacturing systems for both present and next generation manufacturing. Because of its central importance, the book emphasizes the integration of the process planning functions. 354 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the Proceedings of the Third International Conference on Navier-Stokes Equations and Related Nonlinear Problems. The conference was held in Funchal (Madeira, Portugal), on May 21-27, 1994. In addition to the editor, the organizers were Carlos Albuquerque (FC, University of Lisbon), Casimiro Silva (University of Madeira) and Juha Videman (1ST, Technical University of Lisbon). This meeting, following two other successful events of similar type held in Thurnau (Germany) in 1992 and in Cento (Italy) in 1993, brought together, to the majestically beautiful island of Madeira, more than 60 specialists from all around the world, of which about two thirds were invited lecturers. The main interest of the meeting was focused on the mathematical analysis of nonlinear phenomena in fluid mechanics. During the conference, we noticed that this area seems to provide, today more than ever, challenging and increasingly important problems motivating the research of both theoretical and numerical analysts. This volume collects 32 articles selected from the invited lectures and contributed papers given during the conference. The main topics covered include: Flows in Unbounded Domains; Flows in Bounded Domains; Compressible Fluids; Free Boundary Problems; Non-Newtonian Fluids; Related Problems and Numerical Approximations. The contributions present original results or new surveys on recent developments, giving directions for future research. I express my gratitude to all the authors and I am glad to recognize the scientific level and the actual interest of the articles. 420 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Renowned scientists and practitioners provide a concise summary of current theory, research, and clinical practice regarding traumatic stress. An integrative biopsychosocial theory of trauma response provides a framework for the book. Chapters consider the frequency and likely mental health consequences of a wide range of traumatic events-including military trauma, violent crime, natural and technological disasters, accidental injury, and torture. This comprehensive reference features state-of-the-art psychosocial and biological treatments and community-based intervention strategies. 424 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Knowledge acquisition is one of the most important aspects influencing the quality of methods used in artificial intelligence and the reliability of expert systems. The various issues dealt with in this volume concern many different approaches to the handling of partial knowledge and to the ensuing methods for reasoning and decision making under uncertainty, as applied to problems in artificial intelligence. The volume is composed of the invited and contributed papers presented at the Workshop on Mathematical Models for Handling Partial Knowledge in Artificial Intelligence, held at the Ettore Majorana Center for Scientific Culture of Erice (Sicily, Italy) on June 19-25, 1994, in the framework of the International School of Mathematics 'G.Stampacchia'. It includes also a transcription of the roundtable held during the workshop to promote discussions on fundamental issues, since in the choice of invited speakers we have tried to maintain a balance between the various schools of knowl edge and uncertainty modeling. Choquet expected utility models are discussed in the paper by Alain Chateauneuf: they allow the separation of perception of uncertainty or risk from the valuation of outcomes, and can be of help in decision mak ing. Petr Hajek shows that reasoning in fuzzy logic may be put on a strict logical (formal) basis, so contributing to our understanding of what fuzzy logic is and what one is doing when applying fuzzy reasoning. 324 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The integration of manufacturing planning functions, using artificial intelligence techniques, is essential for the effective and efficient operation of advanced manufacturing systems. This book provides an introduction to the integration of intelligent manufacturing systems for both present and next generation manufacturing. Because of its central importance, the book emphasizes the integration of the process planning functions.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 354 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Within the framework of so-called second generation expert systems [62] knowledge modeling is one of the most important aspects. On the one hand, knowledge acquisition is no longer seen as a knowledge transfer process, rather it is now considered as model construction process which is typically a cyclic and error prone process. On the other hand, the distinction between knowledge and symbol level descriptions [166] resulted in various proposals for conceptual knowledge models describing knowledge in an implementation independent way. One of the most prominent examples of such a conceptual model is the KADS model of expertise which is characterized by its clear distinction of different know ledge types and by the usage of specific modeling primitives to describe these different knowledge types [185]. The semi formal KADS expertise model entails all the advantages and disadvantages which have been identified for semi-formal system models e.g. in the software engineering community.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Renowned scientists and practitioners provide a concise summary of current theory, research, and clinical practice regarding traumatic stress. An integrative biopsychosocial theory of trauma response provides a framework for the book. Chapters consider the frequency and likely mental health consequences of a wide range of traumatic events-including military trauma, violent crime, natural and technological disasters, accidental injury, and torture. This comprehensive reference features state-of-the-art psychosocial and biological treatments and community-based intervention strategies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -As editor of the Springer-Verlag Series in Psychopathology, Lauren Alloy knew of my work in cognitive psychophysiology to study processing anomalies in nonpatients at risk for psychopathology and invited me to edit a book for the series. This evolved into an opportunity to address an aspect of the unfortunate nature-nurture battle in the field, which too often emphasizes genes and macrolevel environment. Extreme positions are often taken (sometimes unwittingly), even though a great deal of the actual research is between the extremes, including laboratory psycho logical and psychophysiological studies. There is more to biology than genes and even more to it than things like brain imaging, enlarged ventricles, glucose metabolism rate, and receptor density, which have received a great deal of attention in recent years. of studies at the One goal of this book is to provide demonstrations intersection between psychology and biology via psychophysiology. In parallel, another goal is to showcase solid psychological research that may bear directly on what are often considered biological issues. For example, Chapter 4, by Walker and colleagues, can be considered classically psychological, because the authors focus on overt behavior. Yet some of the importance of their work is its implication of a particular biological process involved in the gross motor behavior anomalies they have identified in the etiology of schizophrenia. Similarly, whereas in Chapter 7, Klein and Anderson articulate the behavioral high-risk paradigm quite well, in Chapter 10, Yee relies on their approach in pursuing psycho physiological research on risk for depression.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 322 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Reflecting a diversity of thought and intellectual power, this unique volume provides undergraduate students with an important historical context and demonstrates the continuity of many issues in the fields of criminology and criminal justice. Commemorating the fiftieth anniversary of the American Society of Criminology, this volume contains previously published articles by the society's president-many of whom are the leading thinkers in the field. Articles examine the philosophy of punishment, policing, the politics of crime and crime control, criminological theory, drug use, white-collar crime, female crime, the study of deviance, parole, prediction studies, and criminal justice policy.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.