Springer Apr 2002 (325 results)

Buch. Condition: Neu. Neuware - Landscape ecology and conservation biology are rapidly developing disciplines, and a current synthesis of principles and applications in these two fields is needed under one cover. Many managers are not applying principles of landscape ecology in efforts to conserve biota, yet the loss of biological diversity could be reduced if broad-scale processes and patterns were consistently considered in management and conservation decisions. Bringing together insights from leaders in landscape ecology and conservation biology, this book explains how our knowledge about landscape ecology can help us understand, manage and maintain biodiversity. Beyond explaining pertinent concepts of landscape ecology and biological conservation and describing examples of their use in management, research and planning, this book also distills principles for applying landscape ecology in conservation, identifies gaps in current knowledge and provides research approaches to fill those voids. The book is divided into five parts: the first part introduces the book and discusses what landscape ecology is and why it is important to biological conservation. The second deals with multiple scales, connectivity and organism movement. The third part discusses landscape change and how this affects biodiversity, and the fourth part covers conservation planning. The final part presents a synthesis that identifies overarching principles, pervasive constraints and realistic prospects for applying landscape ecology in biological conservation. Conservationists, land-use planners, and ecologists will find this book to be an essential resource.…

Buch. Condition: Neu. Neuware - With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple concurrently active computing agents and must meet rigid real-time constraints. However, concurrency and timing constraints make the development of a safety-critical system much more error prone and arduous. The correctness of software systems nowadays depends mainly on the work of testing and debugging. Testing and debugging involve the process of de tecting, locating, analyzing, isolating, and correcting suspected faults using the runtime information of a system. However, testing and debugging are not sufficient to prove the correctness of a safety-critical system. In contrast, static analysis is supported by formalisms to specify the system precisely. Formal verification methods are then applied to prove the logical correctness of the system with respect to the specification. Formal verifica tion gives us greater confidence that safety-critical systems meet the desired assurance properties in order to avoid disastrous consequences. …

Buch. Condition: Neu. Neuware - by the author to the English edition The book aims to present a powerful new tool of computational mechanics, complex variable boundary integral equations (CV-BIE). The book is conceived as a continuation of the classical monograph by N. I. Muskhelishvili into the computer era. Two years have passed since the Russian edition of the present book. We have seen growing interest in numerical simulation of media with internal structure, and have evidence of the potential of the new methods. The evidence was especially clear in problems relating to multiple grains, blocks, cracks, inclusions and voids. This prompted me, when preparing the English edition, to place more emphasis on such topics. The other change was inspired by Professor Graham Gladwell. It was he who urged me to abridge the chain of formulae and to increase the number of examples. Now the reader will find more examples showing the potential and advantages of the analysis. The first chapter of the book contains a simple exposition of the theory of real variable potentials, including the hypersingular potential and the hypersingular equations. This makes up for the absence of such exposition in current textbooks, and reveals important links between the real variable BIE and the complex variable counterparts. The chapter may also help readers who are learning or lecturing on the boundary element method.…

Buch. Condition: Neu. Neuware - Database and Application Security XV provides a forum for original research results, practical experiences, and innovative ideas in database and application security. With the rapid growth of large databases and the application systems that manage them, security issues have become a primary concern in business, industry, government and society. These concerns are compounded by the expanding use of the Internet and wireless communication technologies.This volume covers a wide variety of topics related to security and privacy of information in systems and applications, including: Access control models; Role and constraint-based access control; Distributed systems; Information warfare and intrusion detection; Relational databases; Implementation issues; Multilevel systems; New application areas including XML. Database and Application Security XV contains papers, keynote addresses, and panel discussions from the Fifteenth Annual Working Conference on Database and Application Security, organized by the International Federation for Information Processing (IFIP) Working Group 11.3 and held July 15-18, 2001 in Niagara on the Lake, Ontario, Canada.…

Buch. Condition: Neu. Neuware - Java is an exciting new object-oriented technology. Hardware for supporting objects and other features of Java such as multithreading, dynamic linking and loading is the focus of this book. The impact of Java's features on micro-architectural resources and issues in the design of Java-specific architectures are interesting topics that require the immediate attention of the research community. While Java has become an important part of desktop applications, it is now being used widely in high-end server markets, and will soon be widespread in low-end embedded computing.Java Microarchitectures contains a collection of papers providing a snapshot of the state of the art in hardware support for Java. The book covers the behavior of Java applications, embedded processors for Java, memory system design, and high-performance single-chip architectures designed to execute Java applications efficiently.…

Buch. Condition: Neu. Neuware - Introduction: Outlining the Power of Planning.- 1: Planning and Communities.- Community Planning in Australia.- Spaces of Resistance in Jerusalem.- One Step Forward and Two Steps Back: Urban Policy and Community Planning in England Since 1979.- 2: Planning and Gender.- Relationships Between Planning Policies and Women in Australian Suburbia.- Planning, Culture, Knowledge and Control: Minority Women in Israel.- Women and the Rural Policy Process in England.- 3: Planning and Social Polarisation.- The Suburbs Strike Back: Culture, Place and Planning in an Australian City.- The Consequences of Planning Control: Mizrahi Jews in Israel's 'Development Towns'.- Urban Policies and the Urban Poor in the UK.- 4: Planning and Minorities.- Land and Resource Fanning and Indigenous Interests: Reproducing or transforming the social relations of resource use.- The Dynamics of Ethnic Segregation in Israel.- Urban Policy Deracialized .…

Buch. Condition: Neu. Neuware - In the past dozen years, the field of international mental health has been transformed from a sub-discipline that attracted only a handful of anthropologists, psychiatrists, and psychologists, into a field that has now become a major concern in international public health. The World Mental Health Casebook will serve as a resource for those engaged in the widening efforts to address the burden of mental disorders in low-income countries. The case studies contained here describe: the 'Shanghai Model' of psychiatric rehabilitation for persons with schizophrenia, an extraordinary mental health program for poor patients in Lima, Peru who are undergoing treatment for multi-drug resistant tuberculosis, how Guatemalan refugee women in Mexico were trained to become mental health promoters, the development of mental health services in primary care settings in Nepal, the attempts to improve the lives of women in India through literacy programs, the radical reform of psychiatric services in Trieste, Italy, and research from Fiji and Hong Kong that shows how traditional practices can lower the prevalence of post-partum depression. Each case history, through concrete and pragmatic examples, offers lessons that can inform the functioning of services elsewhere. In general, the Casebook, will also encourage others to undertake careful documentation and evaluation of programs so that the mistakes of the past can be avoided, and the successes replicated.…

Buch. Condition: Neu. Neuware - Optimization problems in practice are diverse and evolve over time, giving rise to - quirements both for ready-to-use optimization software packages and for optimization software libraries, which provide more or less adaptable building blocks for app- cation-specific software systems. In order to apply optimization methods to a new type of problem, corresponding models and algorithms have to be 'coded' so that they are accessible to a computer. One way to achieve this step is the use of a mod- ing language. Such modeling systems provide an excellent interface between models and solvers, but only for a limited range of model types (in some cases, for example, linear) due, in part, to limitations imposed by the solvers. Furthermore, while m- eling systems especially for heuristic search are an active research topic, it is still an open question as to whether such an approach may be generally successful. Modeling languages treat the solvers as a 'black box' with numerous controls. Due to variations, for example, with respect to the pursued objective or specific problem properties, - dressing real-world problems often requires special purpose methods. Thus, we are faced with the difficulty of efficiently adapting and applying appropriate methods to these problems. Optimization software libraries are intended to make it relatively easy and cost effective to incorporate advanced planning methods in application-specific software systems. A general classification provides a distinction between callable packages, nume- cal libraries, and component libraries.…

Buch. Condition: Neu. Neuware - Animal cell technology is a growing discipline of cell biology, which aims not only to understand structures, functions, and behaviours of differentiated animal cells but also to ascertain their ability to be used for industrial and medical purposes. The goal of animal cell technology includes accomplishments of clonal expansion of differentiated cells with useful ability, optimisation of their culture conditions, modulation of their ability for production of medically and pharmaceutically important proteins, and the application of animal cells to gene therapy, artificial organs, and functional foods. This volume gives the reader a complete review of the present state of the art in Japan and other countries where this field is well advanced. The Proceedings will be useful for cell biologists, biochemists, molecular biologists, immunologists, biochemical engineers, and other disciplines related to animal cell culture, working in either academic environments or in industries of biotechnology and pharmacy.…

Buch. Condition: Neu. Neuware - A review of the electrical properties, performance and physical mechanisms of the main silicon-on-insulator (SOI) materials and devices. Particular attention is paid to the reliability of SOI structures operating in harsh conditions. The first part of the book deals with material technology and describes the SIMOX and ELTRAN technologies, the smart-cut technique, SiCOI structures and MBE growth. The second part covers reliability of devices operating under extreme conditions, with an examination of low and high temperature operation of deep submicron MOSFETs and novel SOI technologies and circuits, SOI in harsh environments and the properties of the buried oxide. The third part deals with the characterization of advanced SOI materials and devices, covering laser-recrystallized SOI layers, ultrashort SOI MOSFETs and nanostructures, gated diodes and SOI devices produced by a variety of techniques. The last part reviews future prospects for SOI structures, analyzing wafer bonding techniques, applications of oxidized porous silicon, semi-insulating silicon materials, self-organization of silicon dots and wires on SOI and some new physical phenomena.…

Buch. Condition: Neu. Neuware - Recent advances in electrochemistry and materials science have opened the way to the evolution of entirely new types of energy storage systems: rechargeable lithium-ion batteries, electrochroms, hydrogen containers, etc., all of which have greatly improved electrical performance and other desirable characteristics. This book encompasses all the disciplines linked in the progress from fundamentals to applications, from description and modelling of different materials to technological use, from general diagnostics to methods related to technological control and operation of intercalation compounds. Designing devices with higher specific energy and power will require a more profound understanding of material properties and performance. This book covers the status of materials and advanced activities based on the development of new substances for energy storage.…

Buch. Condition: Neu. Neuware - This volume constitutes the Proceedings of the IUTAM Symposium on 'Analytical and Computational Fracture Mechanics of Non-homogeneous Materials', held in Cardiff from 18th to 22nd June 2001. The Symposium was convened to address and place on record topical issues in analytical and computational aspects of the fracture of non-homogeneous materials as they are approached by specialists in mechanics, materials science and related fields. The expertise represented in the Symposium was accordingly very wide, and many of the world's greatest authorities in their respective fields participated. Given the extensive range and scale of non-homogeneous materials, it had to be focussed to enhance the quality and impact of the Symposium. The range of non-homogeneous materials was limited to those that are inhomogeneous at the macroscopic level and/or exhibit strain softening. The issues of micro to macro scaling were not excluded even within this restricted range which covered materials such as rock, concrete, ceramics and composites on the one hand, and, on the other, those metallic materials whose ductile fracture is strongly influenced by the presence of inhomogeneities. The Symposium remained focussed on fundamental research issues of practical significance. These issues have many common features among seemingly disparate non-homogeneous materials.…

Taschenbuch. Condition: Neu. Neuware -Das 7. Heidelberger Symposium über Hämostaseologie in der Anästhesiologie hatte als zentrales Thema die disseminierte Gerinnungsaktivierung, wie sie bei Sepsis im Rahmen der Verbrauchskoagulopathie immer noch ein wichtiges klinisches Problem ist. Die disseminierte Gerinnungsaktivierung stellt sich immer wieder mit zwei Gesichtern dar: Zum einen ist sie ein Paradepferd der wissenschaftlichen Hämostaseologie, das Modell, an dem die Gerinnung erforscht wird, zum anderen ist sie immer wieder für Enttäuschungen und Überraschungen gut, denn kaum meint man, ein Molekül und seine Wirkung verstanden zu haben, so lehrt die klinische Erfahrung, dass dies nicht so einfach ist, wie man ursprünglich dachte.…

Taschenbuch. Condition: Neu. Neuware - Das 7. Heidelberger Symposium über Hämostaseologie in der Anästhesiologie hatte als zentrales Thema die disseminierte Gerinnungsaktivierung, wie sie bei Sepsis im Rahmen der Verbrauchskoagulopathie immer noch ein wichtiges klinisches Problem ist. Die disseminierte Gerinnungsaktivierung stellt sich immer wieder mit zwei Gesichtern dar: Zum einen ist sie ein Paradepferd der wissenschaftlichen Hämostaseologie, das Modell, an dem die Gerinnung erforscht wird, zum anderen ist sie immer wieder für Enttäuschungen und Überraschungen gut, denn kaum meint man, ein Molekül und seine Wirkung verstanden zu haben, so lehrt die klinische Erfahrung, dass dies nicht so einfach ist, wie man ursprünglich dachte.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Around 1994 R. Borcherds discovered a new type of meromorphic modular form on the orthogonal group $O(2,n)$. These 'Borcherds products' have infinite product expansions analogous to the Dedekind eta-function. They arise as multiplicative liftings of elliptic modular forms on $(SL)_2(R)$. The factthat the zeros and poles of Borcherds products are explicitly given in terms of Heegner divisors makes them interesting for geometric and arithmetic applications. In the present text the Borcherds' construction is extended to Maass wave forms and is used to study the Chern classes of Heegner divisors. A converse theorem for the lifting is proved. 164 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains a detailed exposition of Carleson-Hunt theorem following the proof of Carleson: to this day this is the only one giving better bounds. It points out the motivation of every step in the proof. Thus the Carleson-Hunt theorem becomes accessible to any analyst. The book also contains the first detailed exposition of the fine results of Hunt, Sjölin, Soria, etc on the convergence of Fourier Series. Its final chapters present original material. With both Fefferman's proof and the recent one of Lacey and Thiele in print, it becomes more important than ever to understand and compare these two related proofs with that of Carleson and Hunt. These alternative proofs do not yield all the results of the Carleson-Hunt proof. The intention of this monograph is to make Carleson's proof accessible to a wider audience, and to explain its consequences for the pointwise convergence of Fourier series for functions in spaces near $ cal L 1$, filling a well-known gap in the literature. 204 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In September 2000, at the Centre de Recerca Matematica in Barcelona, we pre sented a 30-hour Advanced Course on Algebraic Quantum Groups. After the course, we expanded and smoothed out the material presented in the lectures and inte grated it with the background material that we had prepared for the participants; this volume is the result. As our title implies, our aim in the course and in this text is to treat selected algebraic aspects of the subject of quantum groups. Sev eral of the words in the previous sentence call for some elaboration. First, we mean to convey several points by the term 'algebraic' - that we are concerned with algebraic objects, the quantized analogues of 'classical' algebraic objects (in contrast, for example, to quantized versions of continuous function algebras on compact groups); that we are interested in algebraic aspects of the structure of these objects and their representations (in contrast, for example, to applications to other areas of mathematics); and that our tools will be drawn primarily from noncommutative algebra, representation theory, and algebraic geometry. Second, the term 'quantum groups' itself. This label is attached to a large and rapidly diversifying field of mathematics and mathematical physics, originally launched by developments around 1980 in theoretical physics and statistical me chanics. It is a field driven much more by examples than by axioms, and so resists attempts at concise description (but see Chapter 1. 1 and the references therein). 348 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides an approach to the study of perturbation and discretization effects on the long-time behavior of dynamical and control systems. It analyzes the impact of time and space discretizations on asymptotically stable attracting sets, attractors, asumptotically controllable sets and their respective domains of attractions and reachable sets. Combining robust stability concepts from nonlinear control theory, techniques from optimal control and differential games and methods from nonsmooth analysis, both qualitative and quantitative results are obtained and new algorithms are developed, analyzed and illustrated by examples. 244 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Strategies of treatment involving therapeutic proteins, irnrnune immune cells, or cel lular protein targets are those of greatest potential for further reducing mortality from melanoma. Therapeutic proteins or cells may inhibit melanoma cell growth either by augmentation of immune cell function or by inhibition of angiogenesis. Cytokines and melanoma antigens may be used either in vivo as a vaccine to stimulate irnrnune immune cell cell function or ex vivo to stimulate or proliferate cells for infusion. Alternatively, alteration in melanoma cell growth can occur through inhibition of protein signal transduction pathways within melanoma cells or in the endothelial cells constituting the necessary angiogenic support for tumor growth. The great promise of these therapies and their cellular targets constitutes the basis for Melanoma: Biologically Targeted Therapeutics. THE CLINlCAL PROBLEM More than four million people will be diagnosed with melanoma in the first decade of the 21st century. Half of those who will die will be individuals who would otherwise have had a life expectancy of another 25 years or more. These individuals will die of systemic systernic metastases, which are present at the time of primary surgery. Despite use of sunscreens, incidence continues to increase in developed countries worldwide. To reduce mortality, there must continue to be a focus on prevention and earlier detection through public education. Early interventions are always preferable to treatment of disseminated metastatic disease. 388 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Because today's amateur astronomical telescopes are both powerful and affordable, spectroscopy - once the province of professionals - is becoming more and more popular. Various spectroscopes, at prices to suit everyone, are now available 'off the shelf'. Practical Amateur Spectroscopy contains everything an amateur needs to grasp the basic principles, to begin observing, and to understand just what the spectra show. Contributions by leading practical amateurs from America and Europe cover a very wide range of amateur equipment and techniques. One even describes how an audio CD can be used to show solar emission and absorption lines! 224 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book introduces Uncertain Volatility Models in mathematical finance and their computer implementation for portfolios of vanilla, barrier and American options in equity and FX markets. Uncertain Volatility Models place subjective constraints such as upper and lower bounds on volatility and evaluate option portfolios under worst- and best-case scenarios. This book is for graduate students, researchers and practitioners who wish to study advanced aspects of volatility risk in portfolios of vanilla and exotic options. The accompanying CD contains the source code of a C++ implementation of the algorithms presented in the book. 256 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As a result of the open-source movement there is now a great deal of reusable software available in the public domain. This offers significant functionality that commercial software vendors can use in their software projects. Open-source approaches to software development have illustrated that complex, mission critical software can be developed by distributed teams of developers sharing a common goal. Commercial software vendors have an opportunity to both learn from the op- source community as well as leverage that knowledge for the benefit of its commercial clients. Nonetheless, the open-source movement is a diverse collection of ideas, knowledge, techniques, and solutions. As a result, it is far from clear how these approaches should be applied to commercial software engineering. This paper has looked at many of the dimensions of the open-source movement, and provided an analysis of the different opportunities available to commercial software vendors. References and Notes 1. It can be argued that the open-source community has produced really only two essential 9 products -- Apache (undeniably the most popular web server) and Linux although both are essentially reincarnations of prior systems. Both are also somewhat products of their times: Apache filled a hole in the then emerging Web, at a time no platform vendor really knew how to step in, and Linux filled a hole in the fragmented Unix market, colored by the community s general anger against Microsoft. 2.Evans Marketing Services, Linux Developers Survey, Volume 1, March 2000. 368 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Computational Science is the scienti c discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems. The area of application includes natural systems - such as biology, envir- mental and geo-sciences, physics, and chemistry - and synthetic systems such as electronics and nancial and economic systems. The discipline is a bridge b- ween 'classical' computer science - logic, complexity, architecture, algorithms - mathematics, and the use of computers in the aforementioned areas. The relevance for society stems from the numerous challenges that exist in the various science and engineering disciplines, which can be tackled by advances made in this eld. For instance new models and methods to study environmental issues like the quality of air, water, and soil, and weather and climate predictions through simulations, as well as the simulation-supported development of cars, airplanes, and medical and transport systems etc. Paraphrasing R. Kenway (R.D. Kenway, Contemporary Physics. 1994): 'There is an important message to scientists, politicians, and industrialists: in the future science, the best industrial design and manufacture, the greatest medical progress, and the most accurate environmental monitoring and forecasting will be done by countries that most rapidly exploit the full potential ofcomputational science'. Nowadays we have access to high-end computer architectures and a large range of computing environments, mainly as a consequence of the enormous s- mulus from the various international programs on advanced computing, e.g. 1208 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The international gesture workshops are interdisciplinary events for those - searching gesture-based communication and wishing to meet and exchange ideas across disciplines. A focus of these events is a shared interest in using gesture and sign language in human-computer interaction. Since 1996 international g- ture workshops have been held roughly every second year,with fully reviewed post-proceedings typically published by Springer-Verlag. Held at City University,London,April 18 - 20,2001,and attended by more than 70 participants from all over the world,Gesture Workshop 2001 was the fourth in a highly successful workshop series. It was organized in association with the British HCI Group,a specialist group of the British Computer Society. As its predecessors in 1999 (Gif-sur-Yvette),1997 (Bielefeld),and 1996 (York),GW 2001 aimed to encourage multidisciplinary collaboration by providing a platform for participants to share,discuss,and criticize both research in progress and more complete research with a multidisciplinary audience. Consistent with the steady growth of research activity in this area,a large number of high-quality submissions were received,which made GW 2001 an exciting and important event for anyone interested in gesture-related and te- nological research relevant to human-computer interaction. In line with the pr- tice of previous gesture workshops,presenters were invited to submit their papers for publication in a subsequent peer-reviewed publication of high quality. The present book is the outcome of this e ort. Representing the research work from 10 countries,it contains a selection of 25 articles,and 8 short papers re ecting work in progress. 344 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The ACM Workshop on Security and Privacy in Digital Rights Management is the rst scienti c workshop with refereed proceedings devoted solely to this topic. The workshop was held in conjunction with the Eighth ACM Conference on Computer and Communications Security (CCS-8) in Philadelphia, USA on November 5, 2001. Digital Rights Management technology is meant to provide end-to-end so- tions for the digital distribution of electronic goods. Sound security and privacy features are among the key requirements for such systems. Fifty papers were submitted to the workshop, quite a success for a rst-time workshop. From these 50 submissions, the program committee selected 15 papers for presentation at the workshop. They cover a broad area of relevant techniques, including cryptography, system architecture, and cryptanalysis of existing DRM systems. Three accepted papers are about software tamper resistance, an area about which few scienti c articles have been published before. Another paper addresses renewability of security measures. Renewability is another important security technique for DRM systems, and I hope we will see more publications about this in the future. I am particularly glad that three papers cover economic and legal aspects of digital distribution of electronic goods. Technical security measures do not exist in a vacuum and their e ectiveness interacts in a number of ways with the environment for legal enforcement. Deploying security and an- piracy measures adequately requires furthermore a good understanding of the business models that they are designed to support. 260 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Shape your heart to front the hour, but dream not that the hour will lost. Alfred Tennyson Locksley Hall Sixty YeO!, After Numerous advances in the life sciences have necessitated the need to develop gentle, quick and economical methods for separation of proteins/enzymes. Affmity-based separations, with their high selectivity, have thus come to be used more frequently. In the beginning, we just had atrmity chromatography. Today we have several strategies that employ atrmity interactions for separa tion and analysis. This book is an attempt to provide a short introduction and illustrative protocols for some important and current affinity-based approaches inthe area ofdownstream processingofenzymes/proteins. Today, people from a variety of disciplines have to purify proteins. It is hoped that this book will provide some quick insight into the various available options and guide even a novice (in the area ofprotein separation) to obtain his/her target protein at the level of purity that he/she desires. 225 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book is intended for researchers, not only for those working in term rewriting, but it is also of interest for scientists working in areas like functional or logic programming, formal methods, automated reasoning, and symbolic computation, since term rewriting is also a fundamental concept in these areas. For example, Chapter 11 will definitely be of great interest for the logic programming community. In many situations, however, one needs weaker or stronger properties than confluence and termination. In contrast to the current survey articles and textbooks, the so-called confluence and termination hierarchies play a key role in the book. The confluence (termination) hierarchy contains properties related to confluence (termination). In the book, the relationships between the properties in the hierarchies are reviewed, and it is shown that for every implication X =Y in the hierarchies, the property X is undecidable for all term rewriting systems satisfying Y. 436 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Second International Conference Diagrams 2002, held in Callaway Gardens, Georgia, USA, in April 2002.The 21 revised full papers and 19 posters presented were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on understanding and communicating with diagrams, diagrams in mathematics, computational aspects of diagrammatic representation and reasoning, logic and diagrams, diagrams in human-computer interaction, tracing the process of diagrammatic reasoning, visualizing information with diagrams, diagrams and software engineering, and cognitive aspects. 384 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Adaptive Computing in Design and Manufacture Conference series is now in its tenth year and has become a well-established, application-oriented meeting recognised by several UK Engineering Institutions and the International Society of Genetic and Evolutionary Computing. The main theme of the conference again relates to the integration of evolutionary and adaptive computing technologies with design and manufacturing processes whilst also taking into account complementary advanced computing technologies. Evolutionary and adaptive computing techniques continue to increase their penetration of industrial and commercial practice as their powerful search, exploration and optimisation capabilities become ever more apparent. The last two years have seen a very significant increase in the development of commercial software tools utilising adaptive computing technologies and the emergence of related commercial research and consultancy organisations supporting the introduction of best practice in terms of industrial utilisation. Adaptive Computing in Design and Manufacture V is comprised of selected papers that cover a diverse set of industrial application areas including: engineering design and design environments, manufacturing process design, scheduling and control, electronic circuit design, fault detection. Various aspects of search and optimisation such as multi-objective and constrained optimisation are also investigated in the context of integration with industrial processes. In addition to evolutionary computing techniques, both neural-net and agent-based technologies play a role in a number of contributions. This collection of papers will be of particular interest to both industrial researchers and practitioners in addition to the academic research communities of engineering, operational research and computer science. 408 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -An understanding of modern computer logic - incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic circuits - is fundamental to further study of computer architectures, system software, and computer networks. Computer Logic: Design Principles and Applications introduces and describes the relevant concepts, principles and applications of modern computer logic design. The book is self-contained, with an introductory chapter that concisely covers the history of computing devices, as well as number systems, number conversions, signed and unsigned integers, external code, and digital and digitizing concepts. Dedicated chapters on Boolean algebra, transistor circuits, combinatorial logic circuits, and sequential logic circuits round off the work. The emphasis is on design and applications. 208 pp. Englisch.…