springer springer sep 1996 (332 risultati)

Buch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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.

Taschenbuch. Condizione: Neu. Neuware - This third edition of the late R.J. Salter's successful book has been revised and updated by N.B. Hounsell. Part I covers transportation planning, incorporating new methodological approaches and models. Part II covers highway traffic analysis and design, including updated sections on link and junction design, together with new computer aided design packages. Part III concentrates in traffic signals, with new chapters on microprocessor-based signal control and modern urban traffic control systems. This new edition consolidates the book's position as a practical text of traffic theory and practice, including many worked examples, for undergraduate and postgraduate students of transport and traffic engineering.

Buch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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.

Buch. Condizione: Neu. Neuware - Veröffentlicht wird in dem vorliegenden Husserliana-Band die letzte Textfassung einer Vorlesung, die Husserl erstmals im Wintersemester 1910/11 unter dem Titel `Logik als Theorie der Erkenntnis' gehalten hat. Aufbauend auf dem in seinen Vorlesungen `Einleitung in die Logik und Erkenntnistheorie' von 1906/07 (Husserliana XXIV) und `Grundprobleme der Ethik' (Husserliana XXVIII) Erarbeiteten, entfaltet Husserl in der hier veröffentlichten Vorlesung von 1910/11 die allgemeine Idee der Wissenschaftstheorie systematisch auf der Grundlage der Bestimmung der obersten Seinsregionen. Grundstück der apriorischen Wissenschaftstheorie ist die systematische Formenlehre der Bedeutungen und des Urteils, die Husserl in dem umfangreichen II. Abschnitt der Vorlesung darstellt. Diese konkreten Ausführungen einer Formenlehre, deren Veröffentlichung Husserl verschiedentlich in Aussicht gestellt hat, ohne daß es jedoch zu seinen Lebzeiten dazu gekommen ist, werden hier der Öffentlichkeit zum ersten Mal zugänglich gemacht.

Taschenbuch. Condizione: 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.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Good software interface design is as crucial to a product's success as is its functionality. With the availability of visual development tools such as Visual Basic and Visual C++, more and more developers of applications will need to understand and use principles of good interface design. This book will help guide the reader to a better understanding of how to make Windows software simple to navigate and a pleasure to use. The author concentrates on the development of user-interfaces for Windows 95 and NT software and introduces some important design techniques such as prototyping, UI bulking, Rapid Layout Comparison, and the Side-by-Side Design Approach. Readers are assumed to have a working knowledge of development tools such as Visual C++ and to be working with the Microsoft Guidelines for Interface Design. 208 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled 'Toward the Concurrent Implementation of Computational Systems'. The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types. 360 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This anthology is based on the First ACM Workshop on Applied Computational Geometry, WACG '96, held in Philadelphia, PA, USA, in May 1996, as part of the FCRC Conference.Today, CG is in transition and applied computational geometry has established itself as a fertile meeting ground for theorists from core computational geometry and practitioners from the potential application areas to exchange their ideas and identify issues of common interest. The book presents 11 invited contributions and state-of-the-art reports by leading experts together with 12 refereed full papers selected from 32 submissions. It points the way towards geometrical engineering and addresses researchers and professionals sharing an interest in geometric algorithms and techniques and their use in computational sciences and engineering. 244 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains a selection of papers presented at a workshop on evolutionary computing sponsored by the Society for the Study of Artificial Intelligence and Simulation of Behaviour, AISB, at the University of Sussex in Brighton, UK, in April 1996.The 22 revised full papers included in the book, together with one invited contribution, were carefully reviewed by the program committee. Twelve contributions investigate applications of evolutionary computing in various areas, such as learning, scheduling, searching, genetic programming, image processing, and robotics. Eleven papers are devoted to evolutionary computing theory and techniques. 324 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: 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.