Lingua: Inglese
Editore: Springer Customer Service Center Gmbh Feb 2000, 2000
ISBN 10: 0333791835 ISBN 13: 9780333791837
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 121,80
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - St Antony's College, Oxford, was founded by Antonin Besse and opened its doors in October 1950. Under the inspired leadership of William Deakin, the College became a centre for postgraduate teaching and research in the social sciences. The most deliberately international of all Oxford colleges, it was also the first to admit substantial numbers of women. This book recounts the College's history and describes the changing lifestyle of its students over the last fifty years.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 153,14
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - Success Strategies and Knowledge Transfer in Cross-Border Consulting Operations analyzes the international operations of consulting firms. Apart from developing a theoretical framework which differs from traditional theories about international trade, the main issues analyzed in this book are: 1) Success determinants when tendering for international consulting contracts; 2) The choice between exports, acquisition of a local firm or establishing a greenfield office when entering foreign markets; 3) The extent and nature of knowledge transfer to emerging markets; 4) The role of development agencies in international consulting projects; 5) The trend towards, and consequences of, more management services included in international projects; 6) The effects on competition when state-owned consulting firms are allowed to operate in the international market. The empirical analysis of these issues is based on a unique database of individual tender documents which Swedish consulting firms have submitted abroad.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 153,14
Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - Speakers can get to know the meaning of any of indefinitely many sentences that they have never heard before. This statement encapsulates the problem of linguistic creativity, which lies at the core of philosophy of language and theoretical linguistics. It has also sparked off a considerable amount of work on the philosophy of mind. After establishing the failure of the familiar compositional approach to the problem, the book adopts a radically new start. It develops core elements of the later Wittgenstein's conception of philosophy, putting them to work to`dissolve' the problem, proving it ill-framed by clarifying the questions posing it and breaking the spell of mistaken analogies that inform it. This sharply focused monograph thus has a dual aim: coping with a crucial problem that turns out to be a lot tougher than is generally supposed, and presenting a precise and rigorous demonstration of an unfamiliar and exciting philosophical approach. Audience: Clearly written and lucidly structured, the book addresses professional philosophers and advanced undergraduates alike.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 153,14
Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - During the last 10 years, there has been a `revolution' in ecosystem modelling. The generality and predictive power of our models have increased in a way that was inconceivable 10 years ago. This book describes a new generation of practically useful models that predict as well as one can measure - if one measures well. And yet, they are driven by readily available driving variables and have a general structure that applies to most types of pollutants in aquatic systems. The major reason for this development is, in fact, the Chernobyl accident. Large quantities of radiocesium were released in April/May 1986 as a pulse. To follow the pulse of radiocesium through ecosystem pathways has meant that important fluxes and mechanisms, i.e., ecosystem structures, have been revealed. It is important to stress that many of these new structures and equations are valid not just for radiocesium, but for most types of contaminants, e.g. for metals, nutrients and organics. This means that the models, methods (of building and testing models) and equations described in this book for lakes and coastal areas should be of great interest also to other ecosystem modellers. This book will be of considerable interest to: students in radioecology, geosciences and biology; environmental engineers; consultants; administrators and scientists interested in the spread, biouptake and ecosystem effects of chemical pollutants in aquatic ecosystems.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 151,41
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - This up-to-date review of the basic elements directly connected to the evolution of galaxies links data about remote galaxies to the observation of very old populations in our own galaxy. Young researchers and well-known specialists discuss the difficulties and remaining uncertainties of the problem.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 155,06
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware - Two decades have passed since the mechanisms of protein synthesis became well enough understood to permit the genetic modification oforganisms. An impressive amount of new knowledge has emerged from the new technology, but much ofthe promise of20years ago has notyet been fulfilled. In biotechnology, efforts to increase the yields of commercially valuable metabolites have been less successful than ex pected, and when they have succeeded it has often been as much from selective breeding as from new methods. The cell is more complicated than what is presented in the classical teaching of biochemistry, it contains more structure than was dreamed of 20 years ago, and the behaviour ofany systemofenzymes is more elaborate than can be explained in terms ofa single supposedly rate-limiting enzyme. Even if classical enzymology and meta bolism may have seemed rather unfashionable during the rise ofmolecular biology, they remain central to any modification ofthe metabolic behaviour oforganisms. As such modification is essential in much ofbiotechnology and drug development, bio technologists can only ignore these topics at their peril.
EUR 162,93
Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - According to the neutrality thesis, in designing state policies governments should not allow themselves to be informed by any particular conceptions of the good life. The aim of this book is to contribute to the debate about this thesis in two specific ways. Firstly, the limits of acceptable state perfectionism are examined, not on a general level but by reference to some particular concerns of government policy; transgenic animals, future generations, the promotion of the arts, minority cultures, the allocation of scarce health care resources, the integration of mentally handicapped people into the community, and the expression of national identities. Secondly, the book as a whole evaluates the argument that the government has a special task to produce or to maintain intrinsically collective aspects of the good life, because these are to be seen as public goods.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 220,07
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - Reducing the cost of space program interests people more and more nowadays due to the concerns of budget limitation and commercialization of space technology. The Proceedings of the 3rd International Symposium on Reducing the Cost of Spacecraft Ground Systems and Operations bring together papers contributed by the authors representing the research organizations, academic institutions and commercial sectors of 10 countries around the world. The papers encompass the subject areas in mission planning and operation, TT&C systems, mission control centers, and mini and small satellite support, highlighting the issues concerned by the researchers and engineers involved in a wide range of space programs and space industries.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 243,89
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - The three decades which have followed the publication of Heinz Neudecker's seminal paper `Some Theorems on Matrix Differentiation with Special Reference to Kronecker Products' in the Journal of the American Statistical Association (1969) have witnessed the growing influence of matrix analysis in many scientific disciplines. Amongst these are the disciplines to which Neudecker has contributed directly - namely econometrics, economics, psychometrics and multivariate analysis. This book aims to illustrate how powerful the tools of matrix analysis have become as weapons in the statistician's armoury. The majority of its chapters are concerned primarily with theoretical innovations, but all of them have applications in view, and some of them contain extensive illustrations of the applied techniques. This book will provide research workers and graduate students with a cross-section of innovative work in the fields of matrix methods and multivariate statistical analysis. It should be of interest to students and practitioners in a wide range of subjects which rely upon modern methods of statistical analysis. The contributors to the book are themselves practitioners of a wide range of subjects including econometrics, psychometrics, educational statistics, computation methods and electrical engineering, but they find a common ground in the methods which are represented in the book. It is envisaged that the book will serve as an important work of reference and as a source of inspiration for some years to come.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 247,94
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - Data mining involves the non-trivial extraction of implicit, previously unknown, and potentially useful information from databases. Genetic Programming (GP) and Inductive Logic Programming (ILP) are two of the approaches for data mining. This book first sets the necessary backgrounds for the reader, including an overview of data mining, evolutionary algorithms and inductive logic programming. It then describes a framework, called GGP (Generic Genetic Programming), that integrates GP and ILP based on a formalism of logic grammars. The formalism is powerful enough to represent context- sensitive information and domain-dependent knowledge. This knowledge can be used to accelerate the learning speed and/or improve the quality of the knowledge induced. A grammar-based genetic programming system called LOGENPRO (The LOGic grammar based GENetic PROgramming system) is detailed and tested on many problems in data mining. It is found that LOGENPRO outperforms some ILP systems. We have also illustrated how to apply LOGENPRO to emulate Automatically Defined Functions (ADFs) to discover problem representation primitives automatically. By employing various knowledge about the problem being solved, LOGENPRO can find a solution much faster than ADFs and the computation required by LOGENPRO is much smaller than that of ADFs. Moreover, LOGENPRO can emulate the effects of Strongly Type Genetic Programming and ADFs simultaneously and effortlessly. Data Mining Using Grammar Based Genetic Programming and Applications is appropriate for researchers, practitioners and clinicians interested in genetic programming, data mining, and the extraction of data from databases.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 247,94
Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - This Trends in Inflammatory Bowel Disease Therapy Symposium was held in Vancouver, British Columbia, Canada, 27~29 August 1999. This is the seventh international symposium, sponsored by Axcan Pharma Canada Inc., since the first symposium in 1986. The Canadian Association of Gastroenterology has co-sponsored these symposia since 1990. Each symposium has been published, and reflects and updates the extensive research and education, and the understanding of the mechanisms and treatment of inflammatory bowel disease. From the beginning, Canadian and international experts have been involved, maintaining a consistently high quality, both in their presentations, during discussions, and the subsequent publication of their work. There have been major advances since the symposium held two years ago, and these are presented in this book. In keeping with modern educational practice, objectives are provided, and all presentations were subject to written independent evalu ation. All participants are asked to declare any conflicts of interest. MOCOMP and educational credits are available.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 247,94
Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - Space-Time Processing for CDMA Mobile Communications is one of the first books to: bring together spatial/temporal channel models and analytic performance evaluation techniques; establish a link between smart antenna systems and advanced receiver design techniques; treat smart antennas specifically for UMTS-like communication systems, with applicable simulations and calculations; supply code with Matlab® GUI so readers can run or modify existing simulations or create new ones. The field of smart antenna technology or, more generally, space-time processing is rapidly becoming one of the most promising areas of mobile communications, especially regarding the development of the first practical third-generation mobile communication systems. The authors have addressed many of the most basic questions relating to the use of space-time processing in CDMA-based third-generation systems and have presented models for the integration of space-time processing, error correction coding, and multi-user detection techniques. Included is extensive background information on cellular systems, antenna array theory, smart antenna techniques, performance of basic space-time processors and advanced space-time processors. The book also includes an extensive simulation program written in Matlab®. The simulation code implements both the uplink and the downlink of a UMTS-like communication system. This provides multiple options for simulating system performance using a variety of channel models as well as receiver structures. Space-Time Processing for CDMA Mobile Communications will be an invaluable reference work for engineers and researchers, and a useful source for design engineers enabling them to understand the implications of adding space-time processing systems to CDMA-based communication systems.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 247,94
Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - Medicine's crucial concern with health is perennial, but its reflection, concepts, means change with the advance of science and social life. We present here a fascinating panorama of current medical discussions with their philosophical underpinnings, and queries as they have evolved from the past. The role of Tymieniecka's phenomenology of life is brought forth as the system of philosophical reference.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 248,95
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware - The impetus for this volume began with our research in the 1980's involving serial neuropsychological evaluation with various patient populations. At that time, reports on the practice effects associated with routinely utilized clinical neuropsychological instruments were sparse. While test-retest data were available for almost all assessment instruments, this was usually in the form of correlation coefficients and not changes in mean performance between or across assessment periods (see McCaffrey & Westervelt, 1995 for a detailed discussion of these and related issues). Clinical neuropsychological practitioners had few guidelines to assist them in determining if a change in a patient's performance across assessments was due to an intervention, maturation, practice effects, or a combination of factors. This volume represents our efforts at reviewing the literature between 1970 and 1998 and extracting the reported information on practice effects. The tables include the assessment instrument used, information on the subject/patient groups, the sample size (n}, gender, age, intervention, interval between the assessments, scores at both assessment points, and the citation. Those studies that reported data on more than two assessment points are indicated by a notation~ however, any data beyond the second assessment are not reported and the interested reader should refer to the original article. The tables are arranged alphabetically for the most widely used assessment instruments. Those instruments for which there was limited data on practice effects are grouped by 'domain' (e. g.
EUR 294,27
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - Industrial Policies after 2000 investigates industrial policy during a time of deregulation, privatization and a growing interest in small government. This book brings together scholarship from different countries, different institutional contexts, and different theoretical perspectives. That includes the neoclassical `market' approach, game theoretical models, and institutional economics.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 296,19
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - Accurate diagnosis of arrhythmias is the goal of this volume. Before the clinician can accurately classify the multiple permutations of cardiac rhythm encountered in daily practice, several essential preconditions must be met. At the most basic level, the clinician must know the diagnostic criteria for each rhythm. Without a clear understanding of these criteria, an accurate differential diagnosis is impossible, and without accurate diagnosis, correct intervention is a mere matter of chance. A second precondition of accurate rhythm diagnosis is an understanding of the mechanism of arrhythmias. Not uncommonly, two or more arrhythmic mechanisms coexist, confronting the clinician with a baffling mixture of apparently unrelated complexes and intervals. Without an understanding of the various arrhythmic mechanisms, simple and complex, the tangled skein of data can never be unraveled. Finally accurate arrhythmia diagnosis depends on skill attained through practice. The competent electrocardiographer combines the skills of precise measurement and rational application of logic with broad theoretical knowledge. The pleasure of electrocardiography is seeing through the surface appearance to the inner workings. Interpretation of Cardiac Arrhythmias presupposes no prior knowledge of arrhythmias, and progresses from basic to the complex. The didactic sections focus extensively on the mechanism of arrhythmia, using laddergrams and other diagramatic devices to help the student visualize what is happening with the cardiac conduction system. Extensive self-assessment sections enable students to apply critical skills and test their grasp of the diagnostic criteria.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 318,78
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - Noninvasive electrocardiographic monitoring is a fundamental part of cardiology. Depending on continuous improvements and developments of new technologies, these methods are essential for diagnosis and risk stratification of patients. The rapid changes in the capabilities, technologies and diagnostic values of the different methods force us to update our knowledge continuously. This book offers a comprehensive overview of the current state and future developments in the field of noninvasive electrocardiographic monitoring techniques. In addition, related fields such as magnetocardiography, newer signal detection and analysis techniques as well as ambulatory blood pressure monitoring are reported. The different methods are discussed with regard to methodological aspects, latest technical developments and clinical value of results. Furthermore, review articles focus on the autonomic nervous system, monitoring of ischemic heart disease, quality control and standardization of monitoring techniques. A group of international experts in science and clinical practice have contributed to this book, which is supported by the International Society for Holter and Noninvasive Electrocardiography (ISHNE). The book is addressed to clinical and academic cardiologists as well as scientists.
EUR 247,94
Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - This book is the proceedings of the Falk Workshop on `Bile Acids in Hepatobiliary Disease', which took place at the Royal Society of Medicine (RSM) in London, UK, on 29-30 March 1999, and was held in association with the Section of Measurement in Medicine at the RSM. The main interest in bile acid therapy has been recently in cholestatic liver disease. The proceedings of the workshop not only discusses this, but moves on to examine its possible use in alcoholic liver disease, and moves back to re-examine its role in biliary disease. Leading world experts attempt to define its mechanism of action, and the current role of other non-surgical treatments in biliary disease. The physiology and pathogenesis of cholestatic and alcoholic liver disease and cholesterol gallstone disease is also examined.
Lingua: Inglese
Editore: Springer New York Feb 2000, 2000
ISBN 10: 0387988777 ISBN 13: 9780387988771
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 32,09
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From its discovery in the Columbia River three years ago, reporter Roger Downey has chronicled the epic adventures of the skeleton called 'Kennewick Man': first as a pretext for a media feeding-frenzy, then as the centerpiece of a legal circus pitting celebrated scientists against Native Americans, the Corps of Engineers, and the Clinton White House, finally, at long last, as an object of rational scientific study. The saga of Kennewick Man offers abundant opportunity to explore today's rapidly-changing scientific theories about how the Americas first came to be settled, and by whom. But it also casts much light on the deep divisions within the fields of anthropology and archeology concerning the role of politics and race in the pursuit of scientific goals, what constitutes ethical procedure in dealing with ancient human remains and living individuals, and the very purpose and direction of the scientific enterprise itself. With an easy style that keeps you hooked from beginning to end, Downey describes the major players in this continuing debate and details the controversial scientific, religious, and political arguments surrounding Kennewick Man. 224 pp. Englisch.
Lingua: Inglese
Editore: Springer New York Feb 2000, 2000
ISBN 10: 0387988491 ISBN 13: 9780387988498
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 48,14
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dr. Hilary Koprowski is the pioneer of live polio vaccine, the first researcher to advance the diagnostic and therapeutic use of monoclonal antibodies, and the developer of the 'gold standard' rabies vaccine. This biography chronicles his distinguished career and life's work in the field of microbiology. A world-reknowned maverick in biomedical research, Koprowski's research methods were often considered controversial and even radical. Nonetheless, he acquired key positions in many research organizations, such as the Rockefeller Foundation, Lederle Labs, and Wistar Institute, initiating landmark studies from cancer research to multiple sclerosis. One of his crowning achievements, the successful crusade for monoclonal antibodies, resulted in his founding of Centocor, a forerunner in the corporate world of biomedicine. This account of Koprowski's life history is a mixture of personal interviews, anecdotes, and legends of the art and science behind the man. 320 pp. Englisch.
Lingua: Inglese
Editore: Springer New York Feb 2000, 2000
ISBN 10: 0387988157 ISBN 13: 9780387988153
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The problem of range and motion segmentation is of major importance in computer vision, image procession, and intelligent robotics. This edited volume explores several issues relating to parametric segmentation including robust operations, model selection criteria and automatic model selection, and 2D and 3D scene segmentation. Emphasis is placed on robust model selection with techniques such as robust Mallows Cp, least K-th order statistical model fitting (LKS), and robust regression receiving much attention. With contributions from leading researchers, this book is a valuable resource for researchers and graduate students working in computer vision, pattern recognition, image processing, and robotics. 236 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Feb 2000, 2000
ISBN 10: 3540671404 ISBN 13: 9783540671404
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th European Workshop on Software Process Technology, EWSPT 2000, held in Kaprun, Austria in February 2000 in conjunction with a meeting of the European ESPRIT IV Project for Process Instance Evolution (PIE).The 21 revised papers presented were carefully reviewed and selected from 44 submissions. The book is organized in sections on methods, applications, process instance evolution, distributed processes and process modeling languages, and industrial experience. 264 pp. Englisch.
Lingua: Tedesco
Editore: Springer Berlin Heidelberg Feb 2000, 2000
ISBN 10: 3540665439 ISBN 13: 9783540665434
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 17,99
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Autoren beschreiben anschaulich und leicht verständlich strukturierte Vorgehensweisen bei der Existenzgründung. Sie vermitteln kaufmännische Grundkenntnisse und leisten Hilfestellung in Finanzierungsfragen. 204 pp. Deutsch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Feb 2000, 2000
ISBN 10: 3540669493 ISBN 13: 9783540669494
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Whereas several areas of biocatalysis - in particular the use of easy-to-use hydrolases such as proteases, esterases and lipases - are sufficiently well researched to be applied in every standard laboratory, other types of enzymes are still waiting to be discovered with respect to their applicability in organic-chemistry transformations on a preparative scale. This latter point is stressed in this volume, which concentrates on the 'newcomer-enzymes' which show great synthetic potential. 232 pp. Englisch.
Lingua: Inglese
Editore: Springer, Basel, Birkhäuser Basel, Birkhäuser Feb 2000, 2000
ISBN 10: 3764362634 ISBN 13: 9783764362638
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -requiring the adaptation of probabilistic maps to design ground motions; and (d) the generalization of design parameters to locations where there is little seismic history. Maximum displacements, velocities, and, based on the European Build ing Code EC8, design ground acceleration maps have thus been produced by ZivCic et al. for Slovenia, Markuic et al. for Croatia, Bus et al. for Hungary, and Radulian et al. for Romania. The last two contributions in the volume are dedicated to studies of local site effects that could affect the microzonation of large urban areas. Moldoveanu et al. employed a technique based on the modal summation and finite dif ferences to calculate the expected ground motion in the capital city of Bucha rest due to large intermediate-depth Vrancea earthquakes. Their results outline that the presence of alluvial sediments and the possible variation of event scenario require the use of all three components of motion for a reliable determination of the seismic input. The study of Marmureanu et al. , more limited in scope, offers a laboratory analysis of the attenuation effects for sur face layers. The authors confirm that seismic attenuation in sedimentary layers is a function of the strain levels induced by large earthquakes, and find that the quality factor is nearly constant over a relatively wide frequency range, between 7 and 100 Hz. 280 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Feb 2000, 2000
ISBN 10: 3540671900 ISBN 13: 9783540671909
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumeisacollectionofpapers onautomateddeduction inclassical,modal, and many-valued logics, with an emphasis on rst-order theories. Some authors bridgethe gaptohigher-order logicbydealingwithsimpletype theory ina r- order setting, or by resolving shortcomings of r st-order logic with the help of higher-order notions. Most papers rely on resolution or tableaux methods, with a few exceptions choosing the equational paradigm. In its entirety the volume is a mirror of contemporary research in r st-order theorem proving. One trend to be observed is the interest in e ective decision procedures. The main aim of rs t-order theorem proving was and still is to demonstrate the validity or unsatisa bility of formulas, by more and more - phisticatedmethods. Withinthelastyears,however,theothersideofthemedal{ falsi abilityand satisab ility { has r eceived growing attention. Though in g- eral non-terminating, theorem provers sometimes act as decision procedures on subclasses ofrs t-order logic. Inparticularcases theiroutputcanevenbeused to extract n ite representations of models or counter-examples. Another devel- mentistheextension ofdeductiontechniquesfromclassicallogictomany-valued and modal logics. By suitably generalizing classical concepts many results carry over to non-classical logics. This line of research is stimulated by artici al int- ligence with its need for more expressive logics capable of modeling real-world reasoning. From a formal point of view this volume comprises two types of papers, invited and contributed ones. Gilles Dowek, Melvin Fitting, Deepak Kapur, Alexander Leitsch, and David Plaisted accepted our invitation to present recent developments in and their view of the e ld. Contributed papers on the other hand underwent a two-staged selection process. 312 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Feb 2000, 2000
ISBN 10: 354067201X ISBN 13: 9783540672012
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These post-proceedings contain the revised versions of the accepted papers of the international workshop Transactions and Database Dynamics', which was the eighth workshop in a series focusing on foundations of models and languages for data and objects (FoMLaDO). Seven long papers and three short papers were accepted for inclusion in the proceedings. The papers address various issues of transactions and database dynamics: { criteria and protocols for global snapshot isolation in federated transaction management, { uni ed theory of concurrency control and replication control, { speci cation of evolving information systems, { inheritance mechanisms for deductive object databases with updates, { speci cation of active rules for maintaining database consistency, { integrity checking in subtransactions, { open nested transactions for multi-tier architectures, { declarative speci cation of transactions with static and dynamic integrity constraints, { logic-based speci cation of update queries as open nested transactions, and { execution guarantees and transactional processes in electronic commerce payments. In addition to the regular papers, there are papers resulting from two working groups. The rst working group paper discusses the basis for transactional c- putation. In particular, it addresses the speci cation of transactional software. The second working group paper focuses on transactions in electronic commerce applications. Among others, Internet transactions, payment protocols, and c- currency control and persistence mechanisms are discussed. Moreover, there is an invited paper by Jari Veijalainen which discusses tr- sactional aspects in mobile electronic commerce. 264 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 2000, 2000
ISBN 10: 3540671811 ISBN 13: 9783540671817
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume consists of those papers presented at the Japan Conference on Discrete and Computational Geometry '98. The conference was held 9-12 - cember 1998 at Tokai University in Tokyo. Close to a hundred participants from 10 countries participated. Interest in Computational Geometry surfaced among engineers in Japan - out twenty years ago, while interest in Discrete Geometry arose as a natural extension of the research of a group of graph theorists more recently. One of the goals of the conference was to bring together these two groups and to put them in contact with experts in these elds from abroad. This is the second conference in the series. The plan is to hold one every year and to publish the papers of the conferences every two years. The organizers thank the sponsors of the conference, namely, The Institute of Educational Development of Tokai University, Grant-in-Aid of the Ministry of Education of Japan (A.Saito;(A)10304008), Mitsubishi Research Institute, Sanada Institute of System Development, Japan Process, and Upward. They also thank especially T. Asano, D. Avis, V. Chv atal, H. Imai, J. Pach, D. R- paport, M. Ruiz, J. O'Rourke, K. Sugihara, T. Tokuyama, and J. Urrutia for their interest and support. 348 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Feb 2000, 2000
ISBN 10: 3540671943 ISBN 13: 9783540671947
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Withthe unprecedented rate at which data is being collected today in almostall elds of human endeavor, there is an emerging economic and scientic need to extract useful information from it. For example, many companies already have data-warehouses inthe terabyte range (e.g., FedEx, Walmart).The WorldWide Web has an estimated 800 millionweb-pages. Similarly,scienti c data is rea- ing gigantic proportions (e.g., NASA space missions, Human Genome Project). High-performance, scalable, parallel, and distributed computing is crucial for ensuring system scalabilityand interactivityas datasets continue to grow in size and complexity. Toaddress thisneedweorganizedtheworkshoponLarge-ScaleParallelKDD Systems, which was held in conjunction with the 5th ACM SIGKDD Inter- tional Conference on Knowledge Discovery and Data Mining, on August 15th, 1999, San Diego, California. The goal of this workshop was to bring researchers and practitioners together in a setting where they could discuss the design, - plementation,anddeploymentoflarge-scaleparallelknowledgediscovery (PKD) systems, which can manipulate data taken from very large enterprise or sci- tic databases, regardless of whether the data is located centrally or is globally distributed. Relevant topics identie d for the workshop included: { How to develop a rapid-response, scalable, and parallel knowledge discovery system that supports global organizations with terabytes of data. 272 pp. Englisch.
Lingua: Inglese
Editore: Springer Netherlands Feb 2000, 2000
ISBN 10: 0792362217 ISBN 13: 9780792362210
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Simplicity theory is an extension of stability theory to a wider class of structures, containing, among others, the random graph, pseudo-finite fields, and fields with a generic automorphism. Following Kim's proof of `forking symmetry' which implies a good behaviour of model-theoretic independence, this area of model theory has been a field of intense study. It has necessitated the development of some important new tools, most notably the model-theoretic treatment of hyperimaginaries (classes modulo type-definable equivalence relations). It thus provides a general notion of independence (and of rank in the supersimple case) applicable to a wide class of algebraic structures. The basic theory of forking independence is developed, and its properties in a simple structure are analyzed. No prior knowledge of stability theory is assumed; in fact many stability-theoretic results follow either from more general propositions, or are developed in side remarks. Audience: This book is intended both as an introduction to simplicity theory accessible to graduate students with some knowledge of model theory, and as a reference work for research in the field. 276 pp. Englisch.