springer springer sep 1996 (330 resultados)

Buch. Condición: Neu. Neuware - Fuzzy Logic Foundations and Industrial Applications is an organized edited collection of contributed chapters covering basic fuzzy logic theory, fuzzy linear programming, and applications. Special emphasis has been given to coverage of recent research results, and to industrial applications of fuzzy logic. The chapters are new works that have been written exclusively for this book by many of the leading and prominent researchers (such as Ronald Yager, Ellen Hisdal, Etienne Kerre, and others) in this field. The contributions are original and each chapter is self-contained. The authors have been careful to indicate direct links between fuzzy set theory and its industrial applications. Fuzzy Logic Foundations and Industrial Applications is an invaluable work that provides researchers and industrial engineers with up-to-date coverage of new results on fuzzy logic and relates these results to their industrial use.

Buch. Condición: Neu. Neuware - Transaction processing is an established technique for the concurrent and fault tolerant access of persistent data. While this technique has been successful in standard database systems, factors such as time-critical applications, emerg ing technologies, and a re-examination of existing systems suggest that the performance, functionality and applicability of transactions may be substan tially enhanced if temporal considerations are taken into account. That is, transactions should not only execute in a 'legal' (i.e., logically correct) man ner, but they should meet certain constraints with regard to their invocation and completion times. Typically, these logical and temporal constraints are application-dependent, and we address some fundamental issues for the man agement of transactions in the presence of such constraints. Our model for transaction-processing is based on extensions to established mod els, and we briefly outline how logical and temporal constraints may be ex pressed in it. For scheduling the transactions, we describe how legal schedules differ from one another in terms of meeting the temporal constraints. Exist ing scheduling mechanisms do not differentiate among legal schedules, and are thereby inadequate with regard to meeting temporal constraints. This provides the basis for seeking scheduling strategies that attempt to meet the temporal constraints while continuing to produce legal schedules.

Buch. Condición: Neu. Neuware - Reason, Democracy, Society deals with basic points of legal theory and philosophy of law. The main contention of the book relates to the insufficiencies of the legal positivistic approach. Some of its claims are that we must sharply separate what the law is from, what the law ought to be, and that we can know what the law is without appealing to meta-legal considerations. These and other claims are criticized. The author shows that with the legal positivistic approach we cannot know, in all cases, what the law is, if that is equated to the rules posited by the legislator. He also challenges H.L.A. Hart's and MacCormick's points of view, amongst others, about the characteristic corner stones of legal positivism. Some other issues relate to human rights, legal rationality and efficiency and ethics. This book will be of interest to philosophers concerned with law or ethics, those concerned with justice in modern society and to jurists and law students.

Buch. Condición: Neu. Neuware - Characterizing Pedagogical Flow presents conclusions from a multi-disciplinary, multi-national research project blending quantitative and qualitative approaches through a discourse methodology. The work produced portraits of mathematics and science education that were dramatically different for each of the countries involved: France, Japan, Norway, Spain, Switzerland, and the United States. To explain these differences, it is proposed that the interaction of curriculum and pedagogy is culturally unique and yields classroom learning experiences that are qualitatively different from country to country. This idea has profound implications for how international education research is interpreted.

Buch. Condición: Neu. Neuware -Fuzzy Logic Foundations and Industrial Applications is an organized edited collection of contributed chapters covering basic fuzzy logic theory, fuzzy linear programming, and applications. Special emphasis has been given to coverage of recent research results, and to industrial applications of fuzzy logic.The chapters are new works that have been written exclusively for this book by many of the leading and prominent researchers (such as Ronald Yager, Ellen Hisdal, Etienne Kerre, and others) in this field. The contributions are original and each chapter is self-contained. The authors have been careful to indicate direct links between fuzzy set theory and its industrial applications.Fuzzy Logic Foundations and Industrial Applications is an invaluable work that provides researchers and industrial engineers with up-to-date coverage of new results on fuzzy logic and relates these results to their industrial use. 330 pp. Englisch.

Buch. Condición: Neu. Neuware - Codes, Designs, and Geometry brings together in one place important contributions and up-to-date research results in this important area. Codes, Designs, and Geometry serves as an excellent reference, providing insight into some of the most important research issues in the field.

Buch. Condición: Neu. Neuware - Rule-Based Programming is a broad presentation of the rule-based programming method with many example programs showing the strengths of the rule-based approach. The rule-based approach has been used extensively in the development of artificial intelligence systems, such as expert systems and machine learning. This rule-based programming technique has been applied in such diverse fields as medical diagnostic systems, insurance and banking systems, as well as automated design and configuration systems. Rule-based programming is also helpful in bridging the semantic gap between an application and a program, allowing domain specialists to understand programs and participate more closely in their development. Over sixty programs are presented and all programs are available from an ftp site. Many of these programs are presented in several versions allowing the reader to see how realistic programs are elaborated from `back of envelope' models. Metaprogramming is also presented as a technique for bridging the `semantic gap'. Rule-Based Programming will be of interest to programmers, systems analysts and other developers of expert systems as well as to researchers and practitioners in artificial intelligence, computer science professionals and educators.

Buch. Condición: Neu. Neuware - Object-Oriented Behavioral Specifications encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. The focus is on understanding customers' needs and on precise specification of understanding gained through analysis. Specifications must bridge any gaps in understanding about business rules among customers, Subject Matter Experts, and `computer people', must inform decisions about reuse of software and systems, and must enable review of semantics over time. Specifications need to describe semantics rather than syntax, and to do that in an abstract and precise manner, in order to create software systems that satisfy business rules. The papers in this book show various ways of designing elegant and clear specifications which are reusable, lead to savings of intellectual effort, time, and money, and which contribute to the reliability of software and systems. Object-Oriented Behavioral Specifications offers a fresh treatment of the object-oriented paradigm by examining the limitations of traditional OO methodologies and by describing the significance of competing trends in OO modeling. The book builds on four years of successful OOPSLA workshops (1991-1995) on behavior semantics. This book deals with precise specifications of `what' is accomplished by the business and `what' is to be done by a system. The book includes descriptions of successful use of abstract and precise specification in industry. It draws on the experience of experts from industrial and academic settings and benefits from international participation. Collective behavior, neglected in some treatment of the OO paradigm, is addressed explicitly in this book. The book does not take `reuse' of specifications or software for granted, but furnishes a foundation for taking as rigorous an approach to reuse decisions as to precise specifications in original developments.

Buch. Condición: Neu. Neuware - In multimedia and communication environments all documents must be protected against attacks. The movie Forrest Gump showed how multimedia documents can be manipulated. The required security can be achieved by a number of different security measures. This book provides an overview of the current research in Multimedia and Communication Security. A broad variety of subjects are addressed including: network security; attacks; cryptographic techniques; healthcare and telemedicine; security infrastructures; payment systems; access control; models and policies; auditing and firewalls. This volume contains the selected proceedings of the joint conference on Communications and Multimedia Security; organized by the International Federation for Information processing and supported by the Austrian Computer Society, Gesellschaft fuer Informatik e.V. and TeleTrust Deutschland e.V. The conference took place in Essen, Germany, in September 1996.

Buch. Condición: Neu. Neuware - John M. O'Shea explores this question by employing modern archaeological theory and analysis as well as mortuary theory to build a model of an Early Bronze Age society in the eastern Carpathian Basin. He focuses on the Maros communities and utilizes the densely encoded social information from their cemeteries to draw a picture of the Maros' social systems.

Buch. Condición: Neu. Neuware - It is the task of the engineer, as of any other professional person, to do everything that is reasonably possible to analyse the difficulties with which his or her client is confronted, and on this basis to design solutions and implement these in practice. The distributed hydrological model is, correspondingly, the means for doing everything that is reasonably possible - of mobilising as much data and testing it with as much knowledge as is economically feasible - for the purpose of analysing problems and of designing and implementing remedial measures in the case of difficulties arising within the hydrological cycle. Thus the aim of distributed hydrologic modelling is to make the fullest use of cartographic data, of geological data, of satellite data, of stream discharge measurements, of borehole data, of observations of crops and other vegetation, of historical records of floods and droughts, and indeed of everything else that has ever been recorded or remembered, and then to apply to this everything that is known about meteorology, plant physiology, soil physics, hydrogeology, sediment transport and everything else that is relevant within this context. Of course, no matter how much data we have and no matter how much we know, it will never be enough to treat some problems and some situations, but still we can aim in this way to do the best that we possibly can.

Buch. Condición: Neu. Neuware - Computer Aided Software Engineering brings together in one place important contributions and up-to-date research results in this important area. Computer Aided Software Engineering serves as an excellent reference, providing insight into some of the most important research issues in the field.

Buch. Condición: Neu. Neuware - Screening for cancer is an important focus of cancer control. Yet screening, as it involves administering a test to large segments of the population deemed to be at risk for the disease of interest, is potentially a major consumer of scarce health care resources. In addition, the benefits sought from cancer screening, particularly reduction in mortality from the disease, are not always realized, either for biological or organizational reasons. Thus, the paradigm that `early detection must always be beneficial', taught to health care professionals, and publicized widely through the media to the public, has been challenged in the last two decades for a number of cancer sites. It is the purpose of Advances in Cancer Screening to determine the extent to which the requirements for the introduction of population-based screening programs have been met, as a result of extensive research on screening during the last two decades, with a major concentration on findings from the recent decade.

Buch. Condición: Neu. Neuware - Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In addition, software determines the availability, reliability as well as functionality of manufacturing units. Software Engineering for Manufacturing Systems considers the methods and procedures required to deal with problems in the software engineering of control technology for manufacturing systems. Significantly, the following topics are addressed: \* definitions and requirements of software for control technology \* system design, describing forms of control software \* CASE tools for the generation of a code \* configuration, adaption of standard software variants, and re-usability of software \* and man-machine interface. It contains the selected proceedings of the International Conference on Software Engineering and Case Tools for Control Technology of Manufacturing Systems, sponsored by the IFIP and held in Germany, in March 1996.

Buch. Condición: Neu. Neuware - This proceedings is based on a joint meeting of the two IUFRO (International Union of Forestry Research Organizations) Working Parties, Somatic Cell Genetics (S2.04-07) and Molecular Genetics (S2.04-06) held in Gent, Belgium, 26-30 September, 1995. Although a joint meeting of the two Working Parties had been discussed in the past, this was the first such meeting that became a successful reality. In fact this meeting provided an excellent forum for discussions and interactions in forest bioteclUlology that encouraged the participants to vote for a next joint meeting. In the past decade rapid progress has been made in the somatic cell genetics and molecular genetics of forest trees. In order to cover recent developments in the broad area of biotechnology, the scientific program of the meeting was divided into several sessions. These included somatic embryogenesis, regeneration, transformation, gene expression, molecular markers, genome mapping, and biotic and abiotic stresses. The regeneration of plants, produced by organogenesis or somatic embryogenesis, is necessary not only for mass cloning of forest trees, but also for its application in genetic transformation and molecular biology. Although micropropagation has been achieved from juvenile tissues in a number of forest tree species, in vitro regeneration from mature trees remains a challenging problem in most hardwoods and conifers. The mechanisms involved in the transition from juvenile to mature phase in woody plants are poorly understood. This transition can now be investigated at the molecular level.

Buch. Condición: Neu. Neuware - Globalization of business, internationalization of trade, and increasing prevalence of multi-cultural interdisciplinary teams are beginning to redefine the nature of office work. Different-time/different-place/different-culture teams will become the norm. Same-time/same-place/same-culture teams will become the exception. The International Office of the Future (IOF) will be a dramatically different environment than that which exists in the majority of today's organizations. Prospects for the IOF give rise to numerous questions, which are addressed in this book. What are the salient issues What design options or solution strategies exist to address these issues How might these design options be best implemented What are their implications In addition, a number of specific topics will be discussed including: multi-cultural team productivity, IT platform requirements, and global telecommunications.

Buch. Condición: Neu. Neuware - Unlike many books on Asynchronous Transfer Mode, this text approaches the subject systematically and reflects the state-of-the-art technology being applied throughout the world today. In addition, it provides a fundamental source of reference in the ATM research field. The following topics are discussed in detail: \* traffic modelling and characterisation \* traffic and congestion control \* bandwidth and admission control \* ATM switch architecture \* models of ATM switches \* routing and optimisation \* quality of service \* network management \* high speed LANs and MANs \* performance modelling studies.

Buch. Condición: Neu. Neuware - Resistance to treatment represents the final common outcome for far too many patients with cancer. Even our most promising new drugs fall victim to drug resistance. Hormones and newer biological therapies, though safe and active, also lose their activity over time. In this volume of Drug Resistance, leading investigators in the field have reviewed the most basic mechanisms of drug resistance, and have proposed ways to modulate resistance. This comprehensive volume should be of value for basic and clinical scientists who wish to delve more deeply into this intriguing problem in the laboratory and devastating problem in the clinic.

Buch. Condición: Neu. Neuware - This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is the first comprehensive treatise of the transcendence theory of Mahler functions and their values. Recently the theory has seen profound development and has found a diversity of applications. The book assumes a background in elementary field theory, p-adic field, algebraic function field of one variable and rudiments of ring theory. The book is intended for both graduate students and researchers who are interested in transcendence theory. It will lay the foundations of the theory of Mahler functions and provide a source of further research. 200 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A comparative perspective on the problems and issues of the transfer of knowledge and technology in and between western and former socialist countries, focusing on three key technologies: laser technology, biotechnology, and information technology. The book highlights the specific challenges facing economies in transition in technology policy and commercialisation. Furthermore, it gives an excellent insight into current technology forecasting practice and methodology, and the use of forecasting results in framing science and technology policy. Audience: Those involved in science and technology policy and forecasting, such as industrial and governmental policy makers and researchers. 272 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Every day MRI is gaining more and more appreciation by all me die al specialists for its impressive quality of anatomical images. This morphological information gives consistent help in terms of earlier diagnosis, lesion characterisation, and definition of the extent of disease. However, morphology is not the only infor mation obtained through MRI. Recently, a large number of researchers have exploited the possibility of also obtaining functional information with MRI. Results of brain activation studies have been initially performed in Boston and have been confirmed by investiga tors all over the world. Important functional data can be obtained not only on the brain, but also on the heart and on parenchymal organs. The diffusion nowadays of commercial MR units used with high field gradient and echo planar techniques allows functional data to be obtained in any routine clinical activity. This book appears at the right time to provide information on fMRI to all MR users wanting to obtain clinical experience with this new too1. We thank the authors of each paper for their efforts and for the outstanding contribution both to the seminar and on these pages. We are especially grateful to BRACCO INTERNATIONAL, who generous ly supported the publication of this Syllabus and the European Seminar on Di agnostic and Interventional Radiology (ESDIR), held in Rome on October 26- 28,1995. We hope that this editorial work will be valid as a reference collection of pa pers on this new field of medicine. 176 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996.The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed. 376 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Colloquium on Grammatical Inference, ICGI-96, held in Montpellier, France, in September 1996.The 25 revised full papers contained in the book together with two invited key papers by Magerman and Knuutila were carefully selected for presentation at the conference. The papers are organized in sections on algebraic methods and algorithms, natural language and pattern recognition, inference and stochastic models, incremental methods and inductive logic programming, and operational issues. 344 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book, based on the author's Ph.D. thesis, was selected during the 1995 GI Doctoral Dissertation Competition as the winning thesis in the foundations-of-informatics track.Securing integrity for digital communications in the age of global electronic information exchange and electronic commerce is vital to democratic societies and a central technical challenge for cryptologists. As core contribution to advancing the state of the art, the author develops the new class of digital fail-stop signatures. This monograph is self-contained regarding the historical background and cryptographic primitives used. For the first time, a general and sophisticated framework is introduced in which innovative fail-stop signatures are systematically presented and evaluated, from theoretical foundations to engineering aspects. 420 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th International Workshop of Field-Programmable Logic and Applications, FPL '96, held in Darmstadt, Germany, in September 1996.The 37 revised full papers presented in the book are selected from 82 submissions originating from 27 countries; also included are 13 high-quality poster presentations. The book is divided into topical sections on high-level design, new software and hardware development tools, custom computers, applications, hardware/software co-design, AISC emulators, vendor session, industrial applications and experiences, reconfiguration aspects, CAD user experiences, and miscellaneous. 448 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 4th European Symposium on Research in Computer Security, ESORICS '96, held in Rome, Italy, in September 1996 in conjunction with the 1996 Italian National Computer Conference, AICA '96.The 21 revised full papers presented in the book were carefully selected from 58 submissions. They are organized in sections on electronic commerce, advanced access control models for database systems, distributed systems, security issues for mobile computing, network security, theoretical foundations of security, and secure database architectures. 388 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 4th European Symposium on Algorithms, ESA '96, held in Barcelona, Spain, in September 1996.The book presents 40 revised full papers selected from 124 submissions; also are included extended abstracts of two invited presentations. The papers included cover all research areas on algorithms and their analysis as it is carried out in the fields of computer science, discrete applied and algorithmic mathematics, operations research, and all other areas of algorithms-oriented research, design and analysis. 584 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming. 408 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th European Workshop on Software Process Technology, EWSPT '96, held in Nancy, France, in October 1996.The book presents 31 revised full papers carefully selected by the program committee. The papers are organized in sections on frameworks, architectures, evolution, metrics, descriptive approaches, organizational modelling and management, and an industrial experience session. Among the issues addressed are product modelling, configuration management, reuse, business process reengineering, groupware, coordination, and others. 308 pp. Englisch.