springer us apr 1997 (54 risultati)

Buch. Condizione: Neu. Neuware - On the verge of the global information society, enterprises are competing for markets that are becoming global and driven by customer demand, and where growing specialisation is pushing them to focus on core competencies and look for partnerships to provide products and services. Simultaneously the public demands environmentally sustainable industries and urges manufacturers to mind the whole life span of their products and production resources. Information infrastructure systems are anticipated to offer services enabling and catalyzing the strategies of manufacturing companies responding to these challenges: they support the formation of extended enterprises, the mastering of full product and process life cycles, and the digitalization of the development process. Information infrastructure systems would accommodate access to and transformation of information as required by the various authorized stakeholders involved in the life phases of products or production resources. Services should be available to select and present all relevant information for situations involving any kind of players, during any life phase of a product or artifact, at any moment and at any place.

Buch. Condizione: Neu. Neuware - In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the migration of VLSI design to high level synthesis based on HDLs. Currently the subject has reached the consolidation phase in which languages and standards are being increasingly used, at the same time as the scope is being broadened to additional application areas. This book presents the latest developments in this area and provides a forum from which readers can learn from the past and look forward to what the future holds.

Buch. Condizione: Neu. Neuware - It is always confusing, and perhaps inconvenient at times, using generic terms that will mean something to everyone but different things to different people. 'High Performance' is one of those terms. High Performance can be viewed as synonymous to High Speed or Low Latency or a number of other characteristics. The interesting thing is that such ambiguity can sometimes be useful in a world where focus shifts quite easily from one issue to another as times and needs evolve. Many things have changed since the first HPN conference held in Aachen, Germany in 1987. The focus then was mainly on Media Access Control (MAC) protocols that allow users to share the high bandwidth of optical fiber. FDDI (Fiber Distributed Data Interface) was making its debut with its amazing 100 Mbps speed. ATM (Asynchronous Transfer Mode) and SONET (the Synchronous Optical Network) were beginning to capture our imagination. What could users possibly do with such 'high performance' Share it! After realizing that the real problems had gradually shifted away from the network media to the periphery of the network, focus also began to shift. Adapter design, protocol implementation, and communication systems architecture began to attract our interest. Networking -not Networks-became the hot issue.

Buch. Condizione: Neu. Neuware - It is, indeed, widely acceptable today that nowhere is it more important to focus on the improvement of software quality than in the case of systems with requirements in the areas of safety and reliability - especially for distributed, real-time and embedded systems. Thus, much research work is under progress in these fields, since software process improvement impinges directly on achieved levels of quality, and many application experiments aim to show quantitative results demonstrating the efficacy of particular approaches. Requirements for safety and reliability - like other so-called non-functional requirements for computer-based systems - are often stated in imprecise and ambiguous terms, or not at all. Specifications focus on functional and technical aspects, with issues like safety covered only implicitly, or not addressed directly because they are felt to be obvious; unfortunately what is obvious to an end user or system user is progressively less so to others, to the extend that a software developer may not even be aware that safety is an issue. Therefore, there is a growing evidence for encouraging greater understanding of safety and reliability requirements issues, right across the spectrum from end user to software developer; not just in traditional safety-critical areas (e.g. nuclear, aerospace) but also acknowledging the need for such things as heart pacemakers and other medical and robotic systems to be highly dependable.

Buch. Condizione: Neu. Neuware - This book represents the compilation of papers presented at the second Atomic Force Microscopy/Scanning Tunneling Microscopy (AFM/STM) Symposium, held June 7 to 9, 1994, in Natick, Massachusetts, at Natick Research, Development and Engineering Center, now part ofU.S. Army Soldier Systems Command. As with the 1993 symposium, the 1994 symposium provided a forum where scientists with a common interest in AFM, STM, and other probe microscopies could interact with one another, exchange ideas and explore the possibilities for future collaborations and working relationships. In addition to the scheduled talks and poster sessions, there was an equipment exhibit featuring the newest state-of-the-art AFM/STM microscopes, other probe microscopes, imaging hardware and software, as well as the latest microscope-related and sample preparation accessories. These were all very favorably received by the meeting's attendees. Following opening remarks by Natick's Commander, Colonel Morris E. Price, Jr., and the Technical Director, Dr. Robert W. Lewis, the symposium began with the Keynote Address given by Dr. Michael F. Crommie from Boston University. The agenda was divided into four major sessions. The papers (and posters) presented at the symposium represented a broad spectrum of topics in atomic force microscopy, scanning tunneling microscopy, and other probe microscopies.

Buch. Condizione: Neu. Neuware - Globalization is transforming the world at an accelerated pace. Integration of the world continues, widening and intensifying international linkages in economic, political and social relations. Liberalization of trade and fmance, lubricated by revolutionary changes in information technology, has resulted in significant economic growth at the global level. On the other hand, the process of globalization is changing the nature of production relations, threatening the traditional roles of the nation-state, and carrying with it far-reaching implications for sustainable growth, development and the environment. Although both developed and developing countries are actively participating in this saga of globalization, nearly ninety countries, as the United Nations' Human Development Report, 1996 indicates, are worse off economically than they were ten years ago, leading to 'global polarization' between haves and have nots. The report further indicates that the gap between the per capita incomes of the industrialized world and the developing countries, far from narrowing, has more than tripled during the last thirty years. Further, a majority of the countries benefitting from this globalization drive have seen a rise in inequality and poverty. This failure of market driven globalization to reward the benefits equitably led the United Nations to proclaim 1996 as the International Year for the Eradication of Poverty (IYEP) and the decade of 1997-2006 as the international decade for the eradication of poverty, and to promote 'people-centered sustainable development'.

Buch. Condizione: Neu. Neuware - In the last decade, research on platelet-activating factor (PAF) has expanded exponentially. Previous conferences on PAF in Paris, 1983, and the subsequent conferences in Gatlinburg, Ten nessee, Tokyo, Snowbird, Utah, and Berlin, at three-yearly intervals, have chronicled the devel opments in the field ofPAF. This volume records the proceedings of the Fifth International Con gress on PAF and Related Lipid Mediators, held at the Free University Medical Hospital Ben jamin Franklin in Berlin, from September 12-16, 1995. We are very much indebted to Free Uni versity Berlin for providing tremendous facilities and financial support. It was a great pleasure to have positive and generous input from the German Science Council (DFG), Bonn, Germany, and British Biotech, Oxford, United Kingdom. Their support was crucial in making the congress a scientific success. Twenty other organizations provided additional financial support, for which we extend our deepest appreciation. The editors would like to thank all of those who participated in this congress and the authors for their contributions. The organization and planning of the Berlin Congress were carried out by an organizing committee. We gratefully acknowledge the support and assistance of the organizing commit tee members, especially Renate Nigam and Renate Roux for their untiring efforts to make the congress successful. Many colleagues also supported the congress with dedication, hard work, and expert input. We are grateful to them. We also wish to acknowledge the support of G. Sravan Kumar and Louis Kock for their efforts in producing this volume.

Buch. Condizione: Neu. Neuware - Welcome to IM'97! We hope you had the opportunity to attend the Conference in beautiful San Diego. If that was the case, you will want to get back to these proceedings for further read ings and reflections. You'll find e-mail addresses of the main author of each paper, and you are surely encouraged to get in touch for further discussions. You can also take advantage of the CNOM (Committee on Network Operation and Management) web site where a virtual discus sion agora has been set up for IM'97 (URL: At this site you will find a brief summary of discussions that took place in the various panels, and slides that accompanied some of the presentations--all courtesy of the participants. If you have not been to the Conference, leafing through these proceedings may give you food for thought. Hopefully, you will also be joining the virtual world on the web for discussions with authors and others who were at the Conference. At IM'97 the two worlds of computer networks and telecommunications systems came to gether, each proposing a view to management that stems from their own paradigms. Each world made clear the need for end-to-end management and, therefore, each one stepped into the oth er's field. We feel that there is no winner but a mutual enrichment. The time is ripe for integra tion and it is likely that the next Conference will bear its fruit.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -I ntrod uction or some time 32-bit machines have been a hot topic in the world F ofPCs. It seems that more powerful operating systems will soon be displacing DOS. Meanwhile, at least in the professional literature, lively discussion has been raging about what the future standard will be. Two alternatives seem to be emerging for the domain of server operating systems: Windows NT, and UNIX variants such as UNIX VS. Windows NT Solaris 2, UnixWare, and NextStep 486. In this context OS/2 plays no significant role since it is seen more as a competitor to Windows in its current version and future 32-bit versions. We cannot yet predict which system will finally predominate. However, the significant rise in the power of hardware in recent years has unleashed the demand for a modern operating system that makes use of these developments. Under a modern server operating system, the borderline between classical UNIX workstations and high-end workstations PCs will tend to become more fluid. 1.1 Historical perspectives on Linux An extremely powerful alternative to the above proprietary systems has evolved far from all the big debates on strategy. The system is Linux, a UNIX system for Intel processors that is available for free. 240 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This resource manual for college-level science instructors reevaluates the role of testing in their curricula and describes innovative techniques pioneered by other teachers. part I examines the effects of the following on lower-division courses: changes in exam content, format, and environment; revisions in grading practices; student response; colleague reaction' the sharing of new practices with other interested professionals, and more. The book includes a comprehensive introduction, faculty-composed narratives, commentaries by well-known science educators, and a visual index to 100 more refined innovations. 148 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Geographic Information Systems (GIS) have been experiencing a steady and unprecedented growth in terms of general interest, theory development, and new applications in the last decade or so. GIS is an inter-disciplinary field that brings together many diverse areas such as computer science, geography, cartography, engineering, and urban planning. Database Issues in Geographic Information Systems approaches several important topics in GIS from a database perspective. Database management has a central role to play in most computer-based information systems, and is expected to have an equally important role to play in managing information in GIS as well. Existing database technology, however, focuses on the alphanumeric data that are required in business applications. GIS, like many other application areas, requires the ability to handle spatial as well as alphanumeric data. This requires new innovations in data management, which is the central theme of this monograph. The monograph begins with an overview of different application areas and their data and functional requirements. Next it addresses the following topics in the context of GIS: representation and manipulation of spatial data, data modeling, indexing, and query processing. Future research directions are outlined in each of the above topics. The last chapter discusses issues that are emerging as important areas of technological innovations in GIS. Database Issues in Geographic Information Systems is suitable as a secondary text for a graduate level course on Geographic Information Systems, Database Systems or Cartography, and as a reference for researchers and practitioners in industry. 156 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This resource manual for college-level science instructors reevaluates the role of testing in their curricula and describes innovative techniques pioneered by other teachers. part I examines the effects of the following on lower-division courses: changes in exam content, format, and environment; revisions in grading practices; student response; colleague reaction' the sharing of new practices with other interested professionals, and more. The book includes a comprehensive introduction, faculty-composed narratives, commentaries by well-known science educators, and a visual index to 100 more refined innovations. 214 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Sexual mutilation is a global problem that affects 15. 3 million children and young adults annually. In terms of gender, 13. 3 million boys and 2 million girls are involuntarily subjected to sexual mutilation every year. While it is tempting to quantify and compare the amount of tissue removed from either gender, no ethical justification can be made for removing any amount of flesh from the body of another person. The violation of human rights implicit in sexual mutilation is identical for any gender. The violation occurs with the first cut into another person 's body. Although mutilation is a strong term, it precisely and accurately describes a condi tion denoting 'any disfigurement or injury by removal or destruction of any conspicuous or essential part of the body. ' While such terms as 'circumcision' and 'genital cutting' are less threatening to our sensitivities, they ultimately do a disservice by masking the fact of what is actually being done to babies and children. Although the courageous example of the survivors of sexual mutilation indicates that humans can certainly live and even re produce without all of their external sexualorgans, this biological phenomenon does not, however, justify subjecting a person to sexual mutilation. The remarkable resilience of the human body is a testament to the importance nature places on reproduction rather than a vindication for surgical practices that compromise this function. 260 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Proceedings of the First Symposium held in Yamagata, Japan, June 16, 1994Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Geographic Information Systems (GIS) have been experiencing a steady and unprecedented growth in terms of general interest, theory development, and new applications in the last decade or so. GIS is an inter-disciplinary field that brings together many diverse areas such as computer science, geography, cartography, engineering, and urban planning.Database Issues in Geographic Information Systems approaches several important topics in GIS from a database perspective. Database management has a central role to play in most computer-based information systems, and is expected to have an equally important role to play in managing information in GIS as well. Existing database technology, however, focuses on the alphanumeric data that are required in business applications. GIS, like many other application areas, requires the ability to handle spatial as well as alphanumeric data. This requires new innovations in data management, which is the central theme of this monograph. The monograph begins with an overview of different application areas and their data and functional requirements. Next it addresses the following topics in the context of GIS: representation and manipulation of spatial data, data modeling, indexing, and query processing. Future research directions are outlined in each of the above topics. The last chapter discusses issues that are emerging as important areas of technological innovations in GIS.Database Issues in Geographic Information Systems is suitable as a secondary text for a graduate level course on Geographic Information Systems, Database Systems or Cartography, and as a reference for researchers and practitioners in industry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume, Synthesis of Finite State Machines: Functional Optimization, addresses functional optimization, whereas this one addresses logic optimization. The result of functional optimization is a symbolic description of an FSM which represents a sequential function chosen from a collection of permissible candidates. Logic optimization is the body of techniques for converting a symbolic description of an FSM into a hardware implementation. The mapping of a given symbolic representation into a two-valued logic implementation is called state encoding (or state assignment) and it impacts heavily area, speed, testability and power consumption of the realized circuit.The first part of the book introduces the relevant background, presents results previously scattered in the literature on the computational complexity of encoding problems, and surveys in depth old and new approaches to encoding in logic synthesis.The second part of the book presents two main results about symbolic minimization; a new procedure to find minimal two-level symbolic covers, under face, dominance and disjunctive constraints, and a unified frame to check encodability of encoding constraints and find codes of minimum length that satisfy them.The third part of the book introduces generalized prime implicants (GPIs), which are the counterpart, in symbolic minimization of two-level logic, to prime implicants in two-valued two-level minimization. GPIs enable the design of an exact procedure for two-level symbolic minimization, based on a covering step which is complicated by the need to guarantee encodability of the final cover. A new efficient algorithm to verify encodability of a selected cover is presented. If a cover is not encodable, it is shown how to augment itminimally until an encodable superset of GPIs is determined. To handle encodability the authors have extended the frame to satisfy encoding constraints presented in the second part.The covering problems generated in the minimization of GPIs tend to be very large. Recently large covering problems have been attacked successfully by representing the covering table with binary decision diagrams (BDD). In the fourth part of the book the authors introduce such techniques and extend them to the case of the implicit minimization of GPIs, where the encodability and augmentation steps are also performed implicitly.Synthesis of Finite State Machines: Logic Optimization will be of interest to researchers and professional engineers who work in the area of computer-aided design of integrated circuits.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Scientists and regulators have struggled to define the role of theory, experiments, models and common sense in risk analysis. This situation has been made worse by the isolation of theory from modeling, of experimentation from theory, and of practical action from basic science.This book arises from efforts at regulatory agencies and industries to bring more science into health risk analysis so that society may better use limited resources to improve public health.This book covers: the characterization of exposure to pollutants and other sources of risk; the movement of pollutants into the body via inhalation; ingestion, dermal absorption, and exposures to radiation; the movement of a pollutant as it cascades through the tissues and organs of the body; and the development of principles and models for dose-response modeling.The book shows how an understanding of the biological, chemical, and physical properties of the environment and of the human body can guide the selection of mathematical models, and how these models can aid in estimating risks. Included in the book are models covering the full range of topics in human health risk analysis: exposure assessment, rates of intake, deposition and uptake by organs, absorption across membranes, biokinetics, dosimetry, and dose-response.The reader will gain from the book a better understanding of how environmental health science, as applied in risk analysis, can be used to create a more rational basis for the improvement of public health.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Sexual mutilation is a global problem that affects 15. 3 million children and young adults annually. In terms of gender, 13. 3 million boys and 2 million girls are involuntarily subjected to sexual mutilation every year. While it is tempting to quantify and compare the amount of tissue removed from either gender, no ethical justification can be made for removing any amount of flesh from the body of another person. The violation of human rights implicit in sexual mutilation is identical for any gender. The violation occurs with the first cut into another person 's body. Although mutilation is a strong term, it precisely and accurately describes a condi tion denoting 'any disfigurement or injury by removal or destruction of any conspicuous or essential part of the body. ' While such terms as 'circumcision' and 'genital cutting' are less threatening to our sensitivities, they ultimately do a disservice by masking the fact of what is actually being done to babies and children. Although the courageous example of the survivors of sexual mutilation indicates that humans can certainly live and even re produce without all of their external sexualorgans, this biological phenomenon does not, however, justify subjecting a person to sexual mutilation. The remarkable resilience of the human body is a testament to the importance nature places on reproduction rather than a vindication for surgical practices that compromise this function.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This resource manual for college-level science instructors reevaluates the role of testing in their curricula and describes innovative techniques pioneered by other teachers. part I examines the effects of the following on lower-division courses: changes in exam content, format, and environment; revisions in grading practices; student response; colleague reaction' the sharing of new practices with other interested professionals, and more. The book includes a comprehensive introduction, faculty-composed narratives, commentaries by well-known science educators, and a visual index to 100 more refined innovations.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 214 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Centralized, top-down management of water resources through regulations has created unnecessary economic burdens upon users. More flexible decentralized controls through the use of economic incentives have gained acceptance over the past decade. The theme of this book is the increasing efforts throughout water-scarce regions to rely upon economic incentives and decentralized mechanisms for efficient water management and allocation. The book begins with a section of introductory chapters describing water systems, institutions, constraints, and similarities in the following regions: Israel and the Middle East, Turkey, California, Florida, and Australia. Four of these regions face similar climates with wet winters and dry summers. Florida has a more even seasonal distribution of rainfall, yet it uses similar management strategies in controlling groundwater demand and water quality. The book concludes with a section on water management case studies. These case studies examine issues of conflict related to both water quality and water quantity. While the case studies address both international and intranational concerns in specific regions of the world, they portray broad principles that are applicable to many regions. 464 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'Data acquisition' is concerned with taking one or more analogue signals and converting them to digital form with sufficient accu racy and speed to be ready for processing by a computer. The increasing use of computers makes this an expanding field, and it is important that the conversion process is done correctly because information lost at this stage can never be regained, no matter how good the computation. The old saying - garbage in, garbage out - is very relevant to data acquisition, and so every part of the book contains a discussion of errors: where do they come from, how large are they, and what can be done to reduce them The book aims to treat the data acquisition process in depth with less detailed chapters on the fundamental principles of measure ment, sensors and signal conditioning. There is also a chapter on software packages, which are becoming increasingly popular. This is such a rapidly changing topic that any review of available pro grams is bound to be out of date before the book reaches the read ers. For this reason, I have described the data handling which is available in various types of program and left it to the reader to select from whatever is on the market at the time. 348 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The first edition of this book rapidly established itself as a prime source of highly practical technical information on this important class of food ingredients. This edition recognizes that the technical demands on ingredients continue to grow rapidly as food manufacturers strive for greater safety, reliability and profitability. Technical information is provided on the application of thickening and gelling agents, and extended coverage is provided on applications modifications, demanded by customers, such as improved freeze-thaw and chill-stablility. 340 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -John E. Kinsella, Dean ofthe College of Agricultural and Environmental Sciences at the University of California-Davis, passed away on May 2, 1993, at the age of 55. In August 1995, fonner students and post-doctoral fellows of Dr. Kinsella met at the American Chemical Society National Meeting in Chicago to convene a Symposium on Food Proteins and Lipids to honor Dr. Kinsella's enonnous contribution to the field of food science and nutrition. This book is a collection of papers presented at that symposium. A native of Ireland, Dr. Kinsella received his bachelor's degree in agricultural sciences in 1961 from the University of Dublin. He received his master's degree in biology in 1965 and a doctorate in food chemistry in 1967 from Pennsylvania State University. He joined the Food Science faculty at Cornell University in 1967. While at Cornell, he served as Chair of the Department of Food Science from 1977-1985 and Director of the Institute of Food Science from 1980-1987. He was designated Liberty Hyde Bailey Professor of Food Biochemistry in 1981, a Fulbright Fellow in 1983, and was selected as the General Foods Distinguished Professor of Food Science in 1984. He was named a Leading Professor in the State University of New York, the highest professorial honor in the SUNY system. In 1990 he joined the University of California at Davis as Dean of the College of Agricultural and Environmental Sciences. Dr. 224 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Proceedings of a NATO ASI held in Edime, Turkey, September 5-16, 1994 372 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Scientists and regulators have struggled to define the role of theory, experiments, models and common sense in risk analysis. This situation has been made worse by the isolation of theory from modeling, of experimentation from theory, and of practical action from basic science. This book arises from efforts at regulatory agencies and industries to bring more science into health risk analysis so that society may better use limited resources to improve public health. This book covers: the characterization of exposure to pollutants and other sources of risk; the movement of pollutants into the body via inhalation; ingestion, dermal absorption, and exposures to radiation; the movement of a pollutant as it cascades through the tissues and organs of the body; and the development of principles and models for dose-response modeling. The book shows how an understanding of the biological, chemical, and physical properties of the environment and of the human body can guide the selection of mathematical models, and how these models can aid in estimating risks. Included in the book are models covering the full range of topics in human health risk analysis: exposure assessment, rates of intake, deposition and uptake by organs, absorption across membranes, biokinetics, dosimetry, and dose-response. The reader will gain from the book a better understanding of how environmental health science, as applied in risk analysis, can be used to create a more rational basis for the improvement of public health. 228 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Data compression is now indispensable to products and services of many industries including computers, communications, healthcare, publishing and entertainment. This invaluable resource introduces this area to information system managers and others who need to understand how it is changing the world of digital systems. For those who know the technology well, it reveals what happens when data compression is used in real-world applications and provides guidance for future technology development. 436 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Proceedings of the First Symposium held in Yamagata, Japan, June 16, 1994 188 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume, Synthesis of Finite State Machines: Functional Optimization, addresses functional optimization, whereas this one addresses logic optimization. The result of functional optimization is a symbolic description of an FSM which represents a sequential function chosen from a collection of permissible candidates. Logic optimization is the body of techniques for converting a symbolic description of an FSM into a hardware implementation. The mapping of a given symbolic representation into a two-valued logic implementation is called state encoding (or state assignment) and it impacts heavily area, speed, testability and power consumption of the realized circuit. The first part of the book introduces the relevant background, presents results previously scattered in the literature on the computational complexity of encoding problems, and surveys in depth old and new approaches to encoding in logic synthesis. The second part of the book presents two main results about symbolic minimization; a new procedure to find minimal two-level symbolic covers, under face, dominance and disjunctive constraints, and a unified frame to check encodability of encoding constraints and find codes of minimum length that satisfy them. The third part of the book introduces generalized prime implicants (GPIs), which are the counterpart, in symbolic minimization of two-level logic, to prime implicants in two-valued two-level minimization. GPIs enable the design of an exact procedure for two-level symbolic minimization, based on a covering step which is complicated by the need to guarantee encodability of the final cover. A new efficient algorithm to verify encodability of a selected cover is presented. If a cover is not encodable, it is shown how to augment it minimally until an encodable superset of GPIs is determined. To handle encodability the authors have extended the frame to satisfy encoding constraints presented in the second part. The covering problems generated in the minimization of GPIs tend to be very large. Recently large covering problems have been attacked successfully by representing the covering table with binary decision diagrams (BDD). In the fourth part of the book the authors introduce such techniques and extend them to the case of the implicit minimization of GPIs, where the encodability and augmentation steps are also performed implicitly. Synthesis of Finite State Machines: Logic Optimization will be of interest to researchers and professional engineers who work in the area of computer-aided design of integrated circuits. 404 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Knowledge-based systems are increasingly found in a wide variety of settings and this handbook has been written to meet a specific need in their widening use. While there have been many successful applications of knowledge-based systems, some applications have failed because they never received the corrective feedback that evaluation provides for keeping development focused on the users' needs in their actual working environment. This handbook provides a conceptual framework and compendium of methods for performing evaluations of knowledge-based systems during their development. Its focus is on the users' and subject matter experts' evaluation of the usefulness of the system, and not on the developers' testing of the adequacy of the programming code. The handbook permits evaluators to systematically answer the following kinds of questions: Does the knowledge-based system meet the users' task requirements Is the system easy to use Is the knowledge base logically consistent Does it meet the required level of expertise Does the system improve performance The authors have produced a handbook that will serve two audiences: a tool that can be used to create knowledge-based systems (practitioners, developers, and evaluators) and a framework that will stimulate more research in the area (academic researchers and students). To accomplish this, the handbook is built around a conceptual framework that integrates the different types of evaluations into the system of development process. The kinds of questions that can be answered, and the methods available for answering them, will change throughout the system development life cycle. And throughout this process, one needs to know what can be done, and what can't. It is this dichotomy that addresses needs in both the practitioner and academic research audiences. 420 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains selected contributions from individuals who attended the Sec ond International Conference of the International Council for Global Health Progress (ICGHP) held at UNESCO in Paris, France, on January 15-17, 1996. This conference brought together experts in many disciplines that deal with the devastating diseases of cancer and AIDS with a focus on the concerns for quality of life. The ICGHP fosters mul ticultural and, multidisciplinary approaches to global health problems to help influence governments and other international health organizations to emphasize prevention and care of diseases and to understand their scientific, social, and cultural features. The Coun cil encourages the interchange of information on health problems and policy and supports educational funding for the public at large. Its objective is to effect diseases-free lives in the world community. Participants of the conference included scientists, sociologists, government leaders, physicians, health care providers, epidemiologists, religious leaders, company officials, ethicists, and philosophers. They examined and discussed the many variables involved in quality of life for people affected with cancer and with AIDS. The volume's text begins with introductory comments by officials attending the JCGHP conference. Subsequently, a chapter is dedicated to one aspect of quality of life, be it definition, scientific research, evolution, cultural changes, ethics, measurements, or other issues dealing with health care and treatment survival. The second part of the volume includes commentaries dealing with fi ve aspects of quality of life which merit consideration. 216 pp. Englisch.