Springer mär 1996 (139 resultados)

Buch. Condición: Neu. Neuware - This volume brings together contributions by eleven noted specialists on peace and security issues in the Caribbean. All chapters are based on recent research on the radically transformed regional situation in the post Cold-War context. Particular emphasis is placed on the formulation of security policies by the most relevant security actors, including both external powers present in the region, independent states and subregional groupings. This discussion is placed in the framework of post Cold-War security outlooks which focus on 'non-traditional' threats, mainly drugs and illegal migration.…

Buch. Condición: Neu. Neuware - The VITAL specification addresses the issues of interoperability, backannotation and high performance simulation for sign-off quality ASIC libraries in VHDL. VITAL provides modeling guidelines and a set of pre-defined packages (containing pre-defined routines for modeling functionality and timing) to facilitate the acceleration of designs which use cells from a VITAL library. The VITAL Level-I guidelines constrain the modeling capabilities provided by VHDL in order to facilitate higher performance (Figure I). Accumulating 'gains' Constrained 'flexibility' Higher performance & Increased capacity Benefits Flexibility FujI VHDL 1076 Figure 1: VHDL and VITAL Even within the Level-I guidelines, there are several ways in which a model can be written. In this chapter, we highlight the various modeling trade-offs and provide guidelines which can be used for developing efficient models. We will also discuss the techniques that can be used by tool developers to accelerate the simulation of VIT AL based designs. 2.2. OVERVIEW OF A VITAL LEVEL-l ARCIDTECTURE The VITAL specification is versatile enough to support several modeling styles e.g., distributed delay style, pin-to-pin delay style etc. In general, a VITAL Level-I model can have the structure illustrated in Figure 2.…

Buch. Condición: Neu. Neuware - This monograph provides a theoretical treatment of the problems related to the embeddability of graphs. Among these problems are the planarity and planar embeddings of a graph, the Gaussian crossing problem, the isomorphisms of polyhedra, surface embeddability, problems concerning graphic and cographic matroids and the knot problem from topology to combinatorics are discussed. Rectilinear embeddability, and the net-embeddability of a graph, which appears from the VSLI circuit design and has been much improved by the author recently, is also illustrated. Furthermore, some optimization problems related to planar and rectilinear embeddings of graphs, including those of finding the shortest convex embedding with a boundary condition and the shortest triangulation for given points on the plane, the bend and the area minimizations of rectilinear embeddings, and several kinds of graph decompositions are specially described for conditions efficiently solvable. At the end of each chapter, the Notes Section sets out the progress of related problems, the background in theory and practice, and some historical remarks. Some open problems with suggestions for their solutions are mentioned for further research. …

Buch. Condición: Neu. Neuware - Architectures for Enterprise Integration describes the latest methods to guide enterprises and consultants, managers and technical personnel through a complete life-cycle of enterprise development. This book is based on the findings of the IFIP/IFAC Task Force and presents the state-of-the-art in enterprise architecture. This book is essential reading for all practising engineers and researchers in manufacturing and engineering management with special interest for those involved in CIM and Enterprise Modelling and Integration.…

Buch. Condición: Neu. Neuware - If one were forced to use a single key word to describe the decade of the 1980's, a very prominent one would be 'technology. ' Leading the forefront of tech nology advancement were breakthroughs in electronics. Devices that were uncommon or unknown in 1980 became commonplace, and almost indispens able, by 1989. This trend has continued into the 1990's and it does not seem to be abating in any way. Microwave ovens, video recorders, telephone answer ing machines, compact disc players, computers, and a host of smaller or less sophisticated devices now appear in most households. The development of small and inexpensive computers, i. e. , personal computers, has placed computing resources within reach of many more people. In addition, many traditional, and largely mechanical devices, have been enhanced by electronics. For example, specialized microprocessors are combined with arrays of electronic sensors to control and monitor sophisticated engineering components in most new auto mobiles. In this and many other ways, we are touched by the new electronics in almost every aspect of our daily lives. Initially, personal computers were little more than toys. They contained only a small fraction of the computing power of their immediate ancestors, the mini computers and mainframe computers. However, rapid improvements in integ rated circuit design and chip manufacture produced regular reductions in size and cost of computer components. During the same time, processor speed and sophistication increased.…

Buch. Condición: Neu. Neuware - Despite the significant ongoing work in the development of new database systems, many of the basic architectural and performance tradeoffs involved in their design have not previously been explored in a systematic manner. The designers of the various systems have adopted a wide range of strategies in areas such as process structure, client-server interaction, concurrency control, transaction management, and memory management. This monograph investigates several fundamental aspects of the emerging generation of database systems. It describes and investigates implementation techniques to provide high performance and scalability while maintaining the transaction semantics, reliability, and availability associated with more traditional database architectures. The common theme of the techniques developed here is the exploitation of client resources through caching-based data replication. Client Data Caching: A Foundation for High Performance Object Database Systems should be a value to anyone interested in the performance and architecture of distributed information systems in general and Object-based Database Management Systems in particular. It provides useful information for designers of such systems, as well as for practitioners who need to understand the inherent tradeoffs among the architectural alternatives in order to evaluate existing systems. Furthermore, many of the issues addressed in this book are relevant to other systems beyond the ODBMS domain. Such systems include shared-disk parallel database systems, distributed file systems, and distributed virtual memory systems. The presentation is suitable for practitioners and advanced students in all of these areas, although a basic understanding of database transaction semantics and techniques is assumed.…

Buch. Condición: Neu. Neuware - In April 1995, WINLAB (the Wireless Infonnation Network Lab oratory at Rutgers University) hosted the Fifth WINLAB Workshop on Third Generation Wireless Infonnation Networks. This workshop brings together a select group of experts interested in the future of Personal Communications, Mobile Computing and other services supported by wireless communications. As a sequel to Kluwer books on previous WINLAB workshops,l this volume assembles written versions of presentations of the Fifth Workshop. The last few years have been exciting for the field of wireless communications. The second generation systems that have absorbed our attention during those years are becoming commercial realities. Everyone is looking forward to PCS, especially in light of the recent auctions. We see an explosion of technical alternatives for meeting the demand for wireless communications. We also have applications in search of the best technologies rather than the reverse. The papers included provide new insights into many of the issues needing resolution for the successful introduction of the new services by the end of the decade. The authors represent views from both industry and universities from a number of nations. They are grouped into four main categories: Architecture, Radio Resource Management, Access, and Mobile Data, Mobile Networks.…

Buch. Condición: Neu. Neuware - ''Interesting with many useful ideas and references. It covers a broad range and it is a good introduction to this field.'' ---Analyst.

Taschenbuch. Condición: Neu. Neuware - Concepts in Surface Physics presents a tutorial treatment of the main concepts and phenomena of the physics of crystal surfaces. Emphasis is placed on simplified calculations - and the corresponding detailed analytical derivations - that are able to throw light on the most important physical mechanisms. More rigorous techniques, which often require a large amount of computer time, are also explained. The topics treated include thermodynamic and statistical properties of clean nd adsorbate-covered surfaces, atomic structure, vibrational properties, electronic structure, and the theory of physisorption and chemisorption. As well as including some improvements on the original book, this second edition has been supplemented with problems to encourage students to investigate the subject more thoroughly.…

Buch. Condición: Neu. Neuware - This book documents progress and presents a broad perspective of recent developments in database security. It also discusses in depth the current state-of-the-art in research in the field. A number of topics are explored in detail including: current reseearch in database security and the state of security controls in present commercial database systems. Database Security IX will be essential reading for advanced students working in the area of database security research and development in for industrial researchers in this technical area.…

Buch. Condición: Neu. Neuware - A wide range of modern computer applications require the performance and flexibility of parallel and distributed systems. Better software support is required if the technical advances in these systems are to be fully exploited by commerce and industry. This involves the provision of specialised techniques and tools as well as the integration of standard software engineering methods. This book will reflect current advances in this area, and will address issues of theory and practice with contributions from academia and industry. It is the aim of the book to provide a focus for information on this developing which will be of use to both researchers and practitioners.…

Buch. Condición: Neu. Neuware - Fuzzy Modelling: Paradigms and Practice provides an up-to-date and authoritative compendium of fuzzy models, identification algorithms and applications. Chapters in this book have been written by the leading scholars and researchers in their respective subject areas. Several of these chapters include both theoretical material and applications. The editor of this volume has organized and edited the chapters into a coherent and uniform framework. The objective of this book is to provide researchers and practitioners involved in the development of models for complex systems with an understanding of fuzzy modelling, and an appreciation of what makes these models unique. The chapters are organized into three major parts covering relational models, fuzzy neural networks and rule-based models. The material on relational models includes theory along with a large number of implemented case studies, including some on speech recognition, prediction, and ecological systems. The part on fuzzy neural networks covers some fundamentals, such as neurocomputing, fuzzy neurocomputing, etc., identifies the nature of the relationship that exists between fuzzy systems and neural networks, and includes extensive coverage of their architectures. The last part addresses the main design principles governing the development of rule-based models. Fuzzy Modelling: Paradigms and Practice provides a wealth of specific fuzzy modelling paradigms, algorithms and tools used in systems modelling. Also included is a panoply of case studies from various computer, engineering and science disciplines. This should be a primary reference work for researchers and practitioners developing models of complex systems. …

Buch. Condición: Neu. Neuware - Als dieses Buch zum ersten Mal erschien (als Band 2 der neugegründeten Grundlehren), lobte man einhellig die Anlage und den Stil des Bandes. Selten nur blieb ein Buch über sechs Jahrzehnte hinweg wegen seiner hervorragenden Didaktik und seiner anregenden Formulierungen so gefragt. In dieser neuen Auflage beschreibt Wolfgang Walter, der Knopp noch persönlich kannte, die Wirkungsgeschichte und Bedeutung von Knopps klassischer Einführung in die Theorie und Anwendung der unendlichen Reihen.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The research described in this book contributes to the scientific field of optimal control theory applied to dynamic models of the firm. In 1963, Jorgenson first wrote about the use of optimal control theory in order to analyze the dynamic investment behaviour of a hypothetical firm. A decade later, reports appeared of work on more realistic models of the firm carried out by, amongst others, Lesourne [1973) and Bensoussan et al. [1974). In The Netherlands, P. A. Verheyen, Professor of Management Science at Tilburg University, further instigated studies in this field which led to several publications, for example: Van Loon [1983], Van Schijndel [1988), Kort [1989]' Van Hilten [1991) and Van Hilten et al. [1993). Their investigations are char acterized by an analytical approach to optimization problems (The Maximum Principle of Pontryagin combined with the path coupling procedure of Van Loon). Inherent to this approach, a good economic interpretation of solutions is obtained; however, analytical solving becomes practically unfeasible when simulation models become more complex, e. g. by stronger non-linearity, explic itly time-dependent functions and larger numbers of state variables, control variables and subsidiary conditions. For example, the path coupling procedure is complicated for optimization problems where discontinuities in the costate variables occur. At Eindhoven University of Technology, P. M. E. M. 208 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Making Quality Happen presents a user friendly, customer focused approach for implementing Quality Improvement process in any type of organisation. The author draws upon personal experience of workin with over fifty different organisations and shows how to make quality an integral part of your professional life, not an added or extraneous feature. 216 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -There are two types of tenn structure models in the literature: the equilibrium models and the no-arbitrage models. And there are, correspondingly, two types of interest rate derivatives pricing fonnulas based on each type of model of the tenn structure. The no-arbitrage models are characterized by the work of Ho and Lee (1986), Heath, Jarrow, and Morton (1992), Hull and White (1990 and 1993), and Black, Dennan and Toy (1990). Ho and Lee (1986) invent the no-arbitrage approach to the tenn structure modeling in the sense that the model tenn structure can fit the initial (observed) tenn structure of interest rates. There are a number of disadvantages with their model. First, the model describes the whole volatility structure by a sin gle parameter, implying a number of unrealistic features. Furthennore, the model does not incorporate mean reversion. Black-Dennan-Toy (1990) develop a model along tbe lines of Ho and Lee. They eliminate some of the problems of Ho and Lee (1986) but create a new one: for a certain specification of the volatility function, the short rate can be mean-fteeting rather than mean-reverting. Heath, Jarrow and Morton (1992) (HJM) construct a family of continuous models of the term struc ture consistent with the initial tenn structure data. 168 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 International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs. 284 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. The various formalisms for expressing properties of concurrent systems, based on automata-theoretic techniques or structural properties, are studied in detail.Much attention is paid to the style of writing and complementary coverage of the relevant issues. Thus these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally, they are indispensable reading for anyone researching the area of distributed computing. 282 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 International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search. 332 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The study of the evolution of galaxies has made remarkable progress in recent years and is currently undergoing a transformation arising from the application of new observational and theoretical tools. Twenty-one invited reviews, twenty-six contributed papers and 137 poster papers cover the wide variety of recent developments, present new insights and demonstrate the rapid increase in our knowledge about galaxy evolution and formation. 504 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties.This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations. 308 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Using English Words examines the impact that the life histories of people have on their vocabulary. Its starting point is the taken-for-granted fact that the vocabulary of English falls into two very different sections. Randolph Quirk mentions this striking incompatibility between the Anglo Saxon and the Latinate elements in English: 'the familiar homely-sounding and typically very short words' that we learn very early in life and use for most everyday purposes; and 'the more learned, foreign-sounding and characteristically rather long words' (1974, p. 138). It is mainly the second type of word that native speakers start learning relatively late in their use of English, usually in the adolescent years of education, and keep on learning. It is mainly the one type of word, rather than the other, that ESL/ EFL students have more difficulty with, depending on their language background. This book shows how discursive relations, outside education, 'position' people through their vocabularies. Some are prepared for easy entry into lifetime prospects of relative privilege and educational success, while others are denied entry. In writing this book, I share an aim with other writers who observe the many discontinuities that exist between discursive practices in communities outside schools, and the discursive demands that schools make (e. g. Hamilton et a1. [19931, Heath [1983], Luke [19941, Philips [1983], Romaine [1984], Scollon & Scollon [1981]). 240 pp. Englisch.…

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In susceptible individuals, malignant hyperthermia (MH) can be triggered by various anesthetics during surgery. First described in 1960, research since then has concentrated on reducing the very high mortality rate associated with MH. Although significant progress in treatment has been made with the introduction of dantrolene sodium in 1979, many questions remain unanswered. Following on the results of more than 30 years of investigative efforts, the Third International Symposium on MH was held in Hiroshima, Japan, in 1994, immediately before the Seventh International Workshop on MH. Specialists in the field discussed the most up-to-date findings from the point of view of clinical classification, history, and incidence based on the evidence of epidemiology, diagnostic muscle testing, genetics, and biochemistry. These proceedings of the symposium present important keys to understanding the mechanism of MH and related syndromes at the genetic level and include procedures for the monitoring and care of patients. This volume will be invaluable not only for surgeons and anesthesiologists but also for physiologists and researchers. 276 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The objective of this study is to provide an in-depth analysis of the exchange rate pass-through relationship, using Australian imports of manufactures as a case study. The study begins by piecing together the theoretical literature on exchange rate pass-through, to provide the basis for the development of models for the empirical analysis. To place the empirical analysis m comparative context, a critical survey of the existing empirical literature on exchange rate pass-through is then undertaken. This is followed by a review of aspects of the structure and performance of Australian manufacturing that relate to the theme of the study. Next, the data and methodology are discussed. The analysis of exchange rate pass-through is conducted in two stages. First, it seeks to establish the degree to which Australian dollar (AUD) import prices of total manufactures and 50 product categories contained therein have responded to the massive fluctuations in the AUD during the 1980s. This is done by applying an econometric procedure which avoids the pit-falls in previous studies to a carefully assembled data set. Second, the study investigates the determinants of inter-product differences in the degree of exchange rate pass-through. This is done by relating the pass-through coefficients to a series of variables representing foreign control, quantitative restrictions (QRs), product characteristics and market structure within a cross section regression framework.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 328 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -There are two types of tenn structure models in the literature: the equilibrium models and the no-arbitrage models. And there are, correspondingly, two types of interest rate derivatives pricing fonnulas based on each type of model of the tenn structure. The no-arbitrage models are characterized by the work of Ho and Lee (1986), Heath, Jarrow, and Morton (1992), Hull and White (1990 and 1993), and Black, Dennan and Toy (1990). Ho and Lee (1986) invent the no-arbitrage approach to the tenn structure modeling in the sense that the model tenn structure can fit the initial (observed) tenn structure of interest rates. There are a number of disadvantages with their model. First, the model describes the whole volatility structure by a sin gle parameter, implying a number of unrealistic features. Furthennore, the model does not incorporate mean reversion. Black-Dennan-Toy (1990) develop a model along tbe lines of Ho and Lee. They eliminate some of the problems of Ho and Lee (1986) but create a new one: for a certain specification of the volatility function, the short rate can be mean-fteeting rather than mean-reverting. Heath, Jarrow and Morton (1992) (HJM) construct a family of continuous models of the term struc ture consistent with the initial tenn structure data.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 168 pp. Englisch.…

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In studying General Equilibrium Theory the student must master first the theory and then apply it to solve problems. At the graduate level there is no book devoted exclusively to teaching problem solving. This book teaches for the first time the basic methods of proof and problem solving in General Equilibrium Theory. The problems cover the entire spectrum of difficulty; some are routine, some require a good grasp of the material involved, and some are exceptionally challenging. The book presents complete solutions to two hundred problems. In searching for the basic required techniques, the student will find a wealth of new material incorporated into the solutions. The student is challenged to produce solutions which are different from the ones presented in the book.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 264 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents the refereed proceedings of the Second COST 237 International Workshop, held in Copenhagen, Denmark in November 1995 in the framework of the CEC COST 237 Multimedia Telecommunications Services Project.The 15 papers included in revised full versions were chosen from 24 workshop submissions individually solicited from groups of researchers and developers known to be active in the areas of interest. The papers are grouped in sections on multipeer communications, teleservices and applications support, broadband network and transport services, QoS assurance, and multimedia support.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 296 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume includes revised final versions of the best papers presented at the fourth European Workshop on Natural Language Generation, EWNLG '93, held in Pisa, Italy in April 1993. Out of the 35 papers accepted for presentation at the workshop, 19 were selected for publication in this book.The papers deal with NLG from different perspectives: linguistics, artificial intelligence, psychology, and engineering. The broad spectrum covered and the outstanding quality of the papers presented are evidence of the remarkable dynamism of the field.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 400 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The notion of time plays an important role in modern science. In computer science and artificial intelligence, the parameter of time is of particular importance, e.g. for planning robot activity, natural language processing, and time-varying scene analysis. This work investigates the relationship between classic, first-order theories of point- and interval-based time structures, modal logics of corresponding structures, and their algorithmic representations. To make this relationship complete, a formalisation of Allen's famous algorithm, applicable to various structures of time, is presented along with its translation to modal logics. All in all, the book is a competent and comprehensive analysis of logical descriptions and algorithmic representations of time structures.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 260 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Solving combinatorial optimization problems can often lead to runtime growing exponentially as a function of the input size. But important real-world problems, industrial applications, and academic research challenges, may demand exact optimal solutions. In such situations, parallel processing can reduce the runtime from days or months, typical when one workstation is used, to a few minutes or even seconds.Partners of the CEC-sponsored SCOOP Project (Solving Combinatorial Optimization Problems in Parallel) contributed, on invitation, to this book; much attention was paid to competent coverage of the topic and the style of writing. Readers will include students, scientists, engineers, and professionals interested in the design and implementation of parallel algorithms for solving combinatorial optimization problems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 292 pp. Englisch.…