Springer springer sep 1999 (384 risultati)

Buch. Condizione: Neu. Neuware - List of Figures Acknowledgements List of Abbreviations Maps Introduction PART I: THEORETICAL REMARKS: THE NATURE OF CONFLICT AND PEACE The Paris Plan and its Failure Towards a New Explanation of the Collapse of the Paris Plan Peace in the Post-Cold War Order PART II: THE 1993 ELECTIONS: PEACE AS NEW SOCIAL CONTRACT Tous Les Chemins Ménent a Paris The Paris Plan L'Après-UNTAC PART III: BEYOND THE 1993 ELECTIONS: TOWARDS A NEW MODEL OF INTERNATIONAL CONFLICT RESOLUTION A New Explanation of the Failure of the Paris Plan The Lessons of the Cambodian Peace Process Thinking about Peace in the Emerging Global Order PART IV: THE 1988 ELECTIONS: GLOBAL GOVERNANCE AND THE FAILURE OF INTERNATIONAL CONFLICT RESOLUTION The Dynamics of the 1998 Elections Global Governance and the Nature of International Conflict Resolution Notes Bibliography Index. …

Buch. Condizione: Neu. Neuware - The process of producing components to final net-shapes is fast becoming a desirable goal for metal working industries. This is due to a combination of factors such as the development of new materials and escalating energy costs. Computer Applications in Near Net-Shape Operations addresses the design, analysis and simulation of near net-shape operations using some of the most advanced computer techniques and tools available. Topics covered include: Sheet metal forming operations: progressive stamping, fine blanking, nesting, flat pattering, bending and nibbling; Die design, construction and NC programming of wire EDM; Bulk metal forming processes such as cold upsetting and close-die forging; Injection mould design, analysis and simulation; Computer-aided design of CNC machines for near net-shape operations; Intelligent progressive die design system IPD. This collection of the latest developments from leading experts in the field will be of interest to practising engineers, graduate students and researchers of metal forming, stamping, mould and die design.…

Buch. Condizione: Neu. Neuware - Preface. Acknowledgements. Instead of introduction. 1. Texture, Structure, and Pairwise Interactions. 2. Markov and Non-Markov Gibbs Image Models. 3. Supervised MLE-Based Parameter Learning. 4. Supervised Conditional MLE-Based Learning. 5. Experiments in Simulating Natural Textures. 6. Experiments in Retrieving Natural Textures. 7. Experiments in Segmenting Natural Textures. Texture Modelling: Theory vs. Heuristics. References. Index.…

Buch. Condizione: Neu. Neuware - Laser cooling is a relatively new technique that has led to insights into the behavior of atoms as well as confirming with striking detail some of the fundamental notions of quantum mechanics, such as the condensation predicted by S.N. Bose. This elegant technique, whereby atoms, molecules, and even microscopic beads of glass, are trapped in small regions of free space by beams of light and subsequently moved at will using other beams, provides a useful research tool for the studyof individual atoms and clusters of atoms, for investigating the details of chemical reactions, and even for determining the physical properties of individual macromolecules such as synthetic polymers and DNA. Intended for advanced undergraduates and beginning graduate students who have some basic knowledge of optics and quantum mechanics, this text begins with a review of the relevant results of quantum mechanics, it then turns to the electromagnetic interactions involved in slowing and trapping atoms and ions, in both magnetic and optical traps. The concluding chapters discuss a broad range of applications, from atomic clocks and studies of collision processes to diffraction and interference of atomic beams at optical lattices and Bose-Einstein condensation. …

Buch. Condizione: Neu. Neuware - As usual, the Proceedings of the International Colloquium on Cognitive Science include leading-edge work by outstanding researchers in the field. This volume contains three kinds of papers corresponding to three of the main disciplines in cognitive science: philosophy, psychology, and artificial intelligence. The title - Cognition, Agency and Rationality - captures the main issues addressed by the papers. Of course, all are concerned with cognition, but some are especially centred on the very concept of rationality, while others focus on (multiple) agency. The diversity of their disciplinary origins and standpoints not only reflects the main topics and the range of different positions presented at ICCS-97, as well as demonstrating the richness, fruitfulness and diversity of research in cognitive science today. …

Buch. Condizione: Neu. Neuware - One of the most basic themes in the philosophy of language is referential uptake, viz., the question of what counts as properly `understanding' a referring act in communication. In this inquiry, the particular line pursued goes back to Strawson's work on re-identification, but the immediate influence is that of Gareth Evans. It is argued that traditional and recent proposals fail to account for success in referential communication. A novel account is developed, resembling Evans' account in combining an external success condition with a Fregean one. But, in contrast to Evans, greater emphasis is placed on the action-enabling side of communication. Further topics discussed include the role of mental states in accounting for communication, the impact of re-identification on the understanding of referring acts, and Donnellan's referential/attributive distinction. Readership: Philosophers, cognitive scientists and semanticists.…

Buch. Condizione: Neu. Neuware - List of Tables and Figures Foreword: Geoffrey Till Acknowledgements Acronyms, Abbreviations and Foreign Language Terms The World War and the Atlantic Campaign Chronology, Time and Measurement The Economic Context The German Perspective Convoy Warfare Technology on Both Sides Signals Intelligence and the Battle of the Atlantic Case-Study I - 1941 Case-Study II - Mid-1942 to Mid-1943 Conclusion End Notes Bibliography and References Index.…

Buch. Condizione: Neu. Neuware - Cardiology is an area of great recent triumphs in pharmacological and surgical treatment, yet cardiovascular disease remains the leading cause of death and disability in the industrialized world. Coronary disease, heart failure, stroke and sudden arrhythmic cardiac death challenge both medical practitioners and scientists. With the dawning of the new `molecular' era, there is an awakened hope that a more fundamental understanding of biologic processes may eventually lead to new progress in the prevention and treatment of these persistent and seemingly intransigent problems. Molecular Cardiology in Clinical Practice brings together an outstanding panel of experts in cardiovascular disease who have been at the forefront of the application of molecular medicine to cardiology. Its intent is to help bridge the gap between modern medical practice and modern science, in the belief that an understanding of basic principles can lead to new insight into the problems of cardiac patients.…

Buch. Condizione: Neu. Neuware - Parallel Numerical Computations with Applications contains selected edited papers presented at the 1998 Frontiers of Parallel Numerical Computations and Applications Workshop, along with invited papers from leading researchers around the world. These papers cover a broad spectrum of topics on parallel numerical computation with applications; such as advanced parallel numerical and computational optimization methods, novel parallel computing techniques, numerical fluid mechanics, and other applications related to material sciences, signal and image processing, semiconductor technology, and electronic circuits and systems design. This state-of-the-art volume will be an up-to-date resource for researchers in the areas of parallel and distributed computing.…

Buch. Condizione: Neu. Neuware - Hermeneutics was elaborated as a specific art of understanding in humanities. The discovered paradigmatic, historical characteristics of scientific knowledge, and the role of rhetoric, interpretation and contextuality enabled us to use similar arguments in natural sciences too. In this way a new research field, the hermeneutics of science emerged based upon the works of Husserl, Merleau-Ponty, Heidegger and Gadamer. A dialogue between philosophers and scientists begins in this volume on hermeneutic approaches to physics, biology, ethology, mathematics and cognitive science. Scientific principles, methodologies, discourse, language, and metaphors are analyzed, as well as the role of the lay public and the legitimation of science. Different hermeneutical-phenomenological approaches to perception, experiments, methods, discovery and justification and the genesis of science are presented. Hermeneutics shed a new light on the incommensurability of paradigms, the possibility of translation and the historical understanding of science.…

Buch. Condizione: Neu. Neuware - The 'Non-Sleeping Universe' was a conference conceived to commemorate the opening of the new building of the Centro de Astroffsica da U niversidade do Porto (CAUP). It seemed appropriate to include the two major areas of work at CAUP: Stellar Astrophysics and Cosmology. For the organizers the most obvious threading line would be activity. Therefore the choice of the name and contents. The conference lasted for one week, the first three days dealing mainly with the non-sleeping stars, from Asteroseismology to Activity and Flows, involving both young stars and the interstellar medium. It included twenty five oral and thirty four poster presentations and involved 52 participants. The second part of the conference, covered another three days and ad dressed 'non-sleepiness' at galactic scales and beyond. From gamma-ray bursts to the cosmic background radiation and cosmological models. It in cluded twenty three oral and sixteen poster presentations and involved 46 participants. Activity was also the environment dominant note. Only that this time of painters and builders rushing to finish the brand new building . In any case it was a remarkable week with high level of excitement and interchange as expected from a Non-Sleeping Universe. Even if the Port wine in the cellars were the conference(s) dinner(s) took place seemed quite indifferent to all activity, dormant ( . or not) in the amazingly large oak casks.…

Buch. Condizione: Neu. Neuware - This book is a collection of invited papers that were presented at the Ninth IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, September 5-8, 1998, Boston, MA. These papers are meant to provide a global view of the emerging third-generation wireless networks in the wake of the third millennium. Following the tradition of the PIMRC conferences, the papers are selected to strike a balance between the diverse interests of academia and industry by addressing issues of interest to the designers, manufacturers, and service providers involved in the wireless networking industry. The tradition of publishing a collection of the invited papers presented at the PIMRC started in PIMRC'97, Helsinki, Finland. There are two benefits to this tradition (1) it provides a shorter version of the proceedings of the conference that is more focused on a specific theme (2) the papers are comprehensive and are subject of a more careful review process to improve the contents as well as the presentation of the material, making it more appealing for archival as a reference book. The production costs of the book is subsidized by the conference and the editors have donated the royalty income of the book to the conference.…

Buch. Condizione: Neu. Neuware - Cardiac catheterization has long been a central diagnostic modality in the evaluation of children, adolescents, and adults with congenital heart disease, and in children with acquired heart disease. Over the past two decades, transcatheter interventions have become equally important in the treatment of pediatric and congenital heart disease. Some transcatheter therapies have become established as the standard of care for congenital cardiovascular anomalies previously managed surgically, others serve to supplement surgery in the integrated management of complex lesions, and still others are in their infancy, as pediatric interventional cardiology continues to advance in step with the broader field of pediatric cardiovascular medicine.Since the previous edition of this book, new technologies and techniques have been introduced to the field of pediatric interventional cardiology, much has been learned about established transcatheter therapies, and there has been a substantial increase in the volume of published data on outcomes of transcatheter procedures in congenital and pediatric heart disease. With increasing experience, the role of interventional catheterization has become solidified as an integral component of the comprehensive management of patients with essentially all forms of congenital heart disease. Cardiac catheterization has also become established as a distinct subspecialty within the discipline of pediatric cardiology, and at many centers has become the purview of cardiologists who have received specialized training in interventional catheterization and whose practice is focused on catheterization. This book is targeted to trainees and established interventional cardiologists alike, and is intended as a comprehensive reference for the clinical practice of diagnostic and interventional cardiology in pediatric and congenital heart disease.In the organization of this book, a combination of procedure-based and problem-based approaches has been employed. The structure of the book has been updated to make it more reader friendly, chapters have been added to address new techniques and problems in the field, and greater emphasis has been placed on evaluation of outcomes of transcatheter interventions in congenital heart disease.Section 1 covers the fundamentals of cardiac catheterization, with chapters devoted to pre-procedure patient evaluation, sedation and anesthesia, vascular access and related issues, catheterization equipment ands its use, hemodynamic evaluation, angiography, radiation and radiation safety, and echocardiography in the catheterization lab.Sections 2 through 4 include procedure-based chapters that are organized according to the technical type of intervention. Section 2 is devoted to transcatheter interventions for obstructive lesions, including valvar stenoses and vascular obstructions. Section 3 includes chapters that cover interventions to close various pathologic intracardiac communications and vascular anomalies. Section 4 includes chapters covering interventions performed to create or enlarge intracardiac communications, as well as other interventions.Section 5 focuses on the applications of catheterization and transcatheter interventions in the evaluation and management of specific patient populations. This problem-based or patient-based focus, which is substantially expanded from the previous edition of the book, reflects the expanding role of catheterization in the comprehensive management of pediatric and congenital heart disease, and addresses emerging applications of transcatheter interventions, including management of the patient receiving extracorporeal circulatory support, hybrid transcatheter-surgical interventions, and prenatal cardiac intervention.Section 6 includes two chapters that cover outcome assessment and regulatory issues pertinent to the pediatric cardiology in general and.…

Buch. Condizione: Neu. Neuware - Embedded systems are becoming one of the major driving forces in computer science. Furthermore, it is the impact of embedded information technology that dictates the pace in most engineering domains. Nearly all technical products above a certain level of complexity are not only controlled but increasingly even dominated by their embedded computer systems. Traditionally, such embedded control systems have been implemented in a monolithic, centralized way. Recently, distributed solutions are gaining increasing importance. In this approach, the control task is carried out by a number of controllers distributed over the entire system and connected by some interconnect network, like fieldbuses. Such a distributed embedded system may consist of a few controllers up to several hundred, as in today's top-range automobiles. Distribution and parallelism in embedded systems design increase the engineering challenges and require new development methods and tools. This book is the result of the International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), organized by the International Federation for Information Processing (IFIP) Working Groups 10.3 (Concurrent Systems) and 10.5 (Design and Engineering of Electronic Systems). The workshop took place in October 1998 in Schloss Eringerfeld, near Paderborn, Germany, and the resulting book reflects the most recent points of view of experts from Brazil, Finland, France, Germany, Italy, Portugal, and the USA. The book is organized in six chapters: `Formalisms for Embedded System Design': IP-based system design and various approaches to multi-language formalisms. `Synthesis from Synchronous/Asynchronous Specification': Synthesis techniques based on Message Sequence Charts (MSC), StateCharts, and Predicate/Transition Nets. `Partitioning and Load-Balancing': Application in simulation models and target systems. `Design Environments' for distributed embedded systems and their impact on the industrial state of the art. `Object Oriented Approaches': Impact of OO-techniques on distributed embedded systems. £/LIST£ This volume will be essential reading for computer science researchers and application developers.…

Buch. Condizione: Neu. Neuware - Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS and rigorous verification and validation (V&V) techniques must be employed. Research in V&V of KBS has emerged as a distinct field only in the last decade and is intended to address issues associated with quality and safety aspects of KBS and to credit such applications with the same degree of dependability as conventional applications. In recent years, V&V of KBS has been the topic of annual workshops associated with the main AI conferences, such as AAAI, IJACI and ECAI. Validation and Verification of Knowledge Based Systems contains a collection of papers, dealing with all aspects of KBS V&V, presented at the Fifth European Symposium on Verificationand Validation of Knowledge Based Systems and Components (EUROVAV'99 -which was held in Oslo in the summer of 1999, and was sponsored by Det Norske Veritas and the British Computer Society's Specialist Group on Expert Systems (SGES).…

Buch. Condizione: Neu. Neuware - All important aspects of thermophilic moulds such as systematics, ecology, physiology and biochemistry, production of extracellular and intracellular enzymes, their role in spoilage of stores products and solid and liquid waste management, and general and molecular genetics have been dealt with comprehensively by experts in this book which covers progress in the field over the last 30 years since the seminal book Thermophilic Fungi published by Cooney and Emerson in 1964. The experts have reviewed extensive literature on all aspects of thermophilic moulds in a very comprehensive manner. This book will be useful for graduates as well as post-graduate students of life sciences, mycology, microbiology and biotechnology, and as a reference book for researchers.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains a re-edition of Max Koecher's famous Minnesota Notes. The main objects are homogeneous, but not necessarily convex, cones. They are described in terms of Jordan algebras. The central point is a correspondence between semisimple real Jordan algebras and so-called omega-domains. This leads to a construction of half-spaces which give an essential part of all bounded symmetric domains. The theory is presented in a concise manner, with only elementary prerequisites. The editors have added notes on each chapter containing an account of the relevant developments of the theory since these notes were first written. 196 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is an introduction to the theory of shadowing of approximate trajectories in dynamical systems by exact ones. This is the first book completely devoted to the theory of shadowing. It shows the importance of shadowing theory for both the qualitative theory of dynamical systems and the theory of numerical methods. Shadowing Methods allow us to estimate differences between exact and approximate solutions on infinite time intervals and to understand the influence of error terms. The book is intended for specialists in dynamical systems, for researchers and graduate students in the theory of numerical methods. 296 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These papers were presented at the workshop on High Performance Computing and Gigabit Wide Area Networks held in September 1998 in Essen, Germany. The aim of the workshop was to analyse the interplay between computer network technology, communication software and the performance of mathematical algorithms used for large scale computations in wide area high speed computer networks. Only through interdisciplinary research with the co-operation of electrical engineers, mathematicians and computer scientists will it be possible to determine the most efficient combinations of parallel algorithms, protocols and network hardware. This workshop brought together scientists working in computer networks, network protocols and numerical and linear algebra and new insights were gained that have previously been unattainable. This volume contains 22 refereed research articles that reflect the exciting new developments in this field. 352 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The word 'rape' today denotes sexual appropriation; yet it originally signified the theft of a woman from her father or husband by abduction or elopement. In the early modern period, its meaning is in transition between these two senses, while rapes and attempted rapes proliferate in literature. This age also sees the emergence of the woman writer, despite a sexual ideology which equates women's writing with promiscuity. Classical myths, however, associate women's story-telling with resistance to rape. This comprehensive study of rape and representation considers a wide range of texts drawn from prose fiction, poetry and drama by male and female writers, both canonical and non-canonical. Combining close attention to detail with an overview of the period, it demonstrates how the representation of gender-relations has exploited the subject of rape, and uses its understanding of this phenomenon to illuminate the issues of sexual and discursive autonomy which figure largely in women's texts of the period. 284 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -DISC, the International Symposium on DIStributed Computing, is an annual forum for research presentations on all facets of distributed computing. This volume includes 23 contributed papers and an invited lecture, all presented at DISC '99, held on September 27-29, 1999 in Bratislava, Slovak Republic. In addition to regular submissions, the call for papers for DISC '99 also - licited Brief Announcements (BAs). We received 60 regular submissions and 15 brief announcement submissions. These were read and evaluated by the p- gramcommittee, with the additional help of external reviewerswhen needed. At the program committee meeting on June 10-11 at Dartmouth College, Hanover, USA, 23 regular submissions and 4 BAs were selected for presentation at DISC '99. The extended abstracts of these 23 regular papers appear in this volume, while the four BAs appear as a special publication of Comenius Univ- sity, Bratislava- the hostof DISC '99.It is expected that the regularpapers will be submitted later, in more polished form, to fully refereed scienti c journals. Of the 23 regular papers selected for the conference, 12 quali ed for the Best Student Paper award. The program committee awarded this honor to the paper entitled 'Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast' by Marcos Aguilera, Sam Toueg, and Borislav Deianov. Marcos and Borislav, who are both students, share this award. 376 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The topics of control engineering and signal processing continue to flourish and develop. In common with general scientific investigation, new ideas, concepts and interpretations emerge quite spontaneously and these are then discussed, used, discarded or subsumed into the prevailing subject paradigm. Sometimes these innovative concepts coalesce into a new sub-discipline within the broad subject tapestry ofcontrol and signal processing. This preliminary battle between old and new usually takes place at conferences, through the internet and in the journals of the discipline. After a little more maturity has been acquired by the new concepts then archival publication as a scientific or engineering monograph may occur. The applications ofsignal processing techniques have grown and grown. They now cover the wide range from the statistical properties of signals and data through to the hardware problems of communications in all its diverse aspects. Supporting this range ofapplications is a body of theory, analysis and techniques which is equally broad. Darrell Williamson has faced the difficult task of organising this material by adopting an algebraic approach. This uses general mathematical and systems ideas and results to form a firm foundation for the discrete signal processing paradigm. Although this may require some extra concentration and involvement by the student or researcher, the rewards are a clarity of presentation and deeper insight into the power of individual results. An additional benefit is that the algebraic language used is the natural language of computing tools like MATLAB and its simulation facility, SIMULINK. 440 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of this book is to present a rigorous phenomenological and mathematical formulation of sedimentation processes and to show how this theory can be applied to the design and control of continuous thickeners. The book is directed to stu dents and researchers in applied mathematics and engineering sciences, especially in metallurgical, chemical, mechanical and civil engineering, and to practicing en gineers in the process industries. Such a vast and diverse audience should read this book differently. For this reason we have organized the chapters in such a way that the book can be read in two ways. Engineers and engineering students will find a rigorous formulation of the mathematical model of sedimentation and the exact and approximate solutions for the most important problems encountered in the laboratory and in industry in Chapters 1 to 3, 7 and 8, and 10 to 12, which form a self-contained subject. They can skip Chapters 4 to 6 and 9, which are most important to applied mathematicians, without losing the main features of sedimentation processes. On the other hand, applied mathematicians will find special interest in Chapters 4 to 6 and 9 which show some known but many recent results in the field of conservation laws of quasilinear hyperbolic and degenerate parabolic equations of great interest today. These two approaches to the theory keep their own styles: the mathematical approach with theorems and proofs, and the phenomenological approach with its deductive technique. 308 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers. Since 1994, SAS has been the annual conference and forum for researchers in all aspects of static analysis. This volume contains the proceedings of the 6th International Symposium on Static Analysis (SAS'99) which was held in Venice, Italy, on 22{24 September 1999. The previous SAS conferences were held in Namur (Belgium), Glasgow (UK), Aachen (Germany), Paris (France), and Pisa (Italy). The program committee selected 18 papers out of 42 submissions on the basis of at least three reviews. The resulting volume o ers to the reader a complete landscape of the research in this area. The papers contribute to the following topics: foundations of static analysis, abstract domain design, and applications of static analysis to di erent programming paradigms (concurrent, synchronous, imperative, object oriented, logical, and functional). In particular, several papers use static analysis for obtaining state space reduction in concurrent systems. New application elds are also addressed, such as the problems of security and secrecy. 372 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The introduction of the thesis consists of four parts: first, we motivate our chosen macroeconomic setting by looking at some real world phenomena. For a better understanding of these phenomena, we argue that the mutual dynamic interactions between flScal policy and financial markets need to be closely examined in a macroeconomic framework. Second, we review different strands of the economic literature in order to show that most of the literature has so far exclusively concentrated either on fmancial market dynamics or on flScal policy issues. We conclude that a more integrated model setting is called for in order to explain the dynamic interactions observed in reality. Third, we discuss at length the economic assumptions underlying our model. This avoids multiple repetition later on. Finally, we outline the structure of the thesis and the objectives we pursue in the different chapters. 1. 1 Motivation Fiscal policy and financial market reactions are increasingly receiving world wide attention. The most recent examples are the Maastricht criteria about flScal control, the South-East Asia financial crisis and the resulting IMF policy stance, the high level of public debt in developed and developing countries and the effect on interest rates and economic growth. In contrast to the still underdeveloped theoretical literature on these dynamic links, finding empirical evidence that supports the existence of these links is not a very hard task. 296 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Electronic Business will create changes similar to those brought about by the Industrial Revolution. It will change our business, society, and governance. It is happening now!Electronic Business is the integration of information technology (IT) and particularly the Internet into business processes. In the past 30 years IT has made processes more effective and efficient, but it has not fundamentally transformed them. Now, Electronic Business changes everything. The Internet is the catalyst: its eventual impact will be as great as or greater than that of the printing press.The aim of this book is to point out the challenges and opportunities facing Europe and its companies. It is based on the authors' joint experience of over 40 years with IT in business, industry, and government. 260 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs 99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed research, and each of them was refereed by at least three reviewers appointed by the program committee. Twenty papers were selected for publication in this volume. Followingawell-establishedtraditioninthisseriesofconferences,anumberof researchers also came to discuss work in progress, using short talks and displays at a poster session. These papers are included in a supplementary proceedings volume. These supplementary proceedings take the form of a book published by INRIA in its series of research reports, under the following title : Theorem ProvinginHigherOrderLogics:EmergingTrends1999. The organizers were pleased that Dominique Bolignano, Arjeh Cohen, and Thomas Kropf accepted invitations to be guest speakers for TPHOLs 99. For several years, D. Bolignano has been the leader of the VIP team in the Dyade consortium between INRIA and Bull and is now at the head of a company Trusted Logic. His team has been concentrating on the use of formal methods for the e ective veri cationof securityproperties for protocols used in electronic commerce. A. Cohen has had a key in uence on the development of computer algebra in The Netherlands and his contribution has been of particular imp- tance to researchersinterested in combining the severalknown methods of using computers to perform mathematical investigations. T. Kropf is an important actor in the Europe-wide project PROSPER, which aims to deliver the be- ts of mechanized formal analysis to system builders in industry. 372 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -CHARME'99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place in Bad Her- nalb, a resort village located in the Black Forest close to the city of Karlsruhe. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems. A predominantly academic area of study until a few years ago, formal design and veri cation techniques are now migrating into industrial use. The aim of CHARME'99 is to bring together researchers and users from academia and industry working in this active area of research. Two invited talks illustrate major current trends: the presentation by G erard Berry (Ecole des Mines de Paris, Sophia-Antipolis, France) is concerned with the use of synchronous languages in circuit design, and the talk given by Peter Jansen (BMW, Munich, Germany) demonstrates an application of formal methods in an industrial environment. The program also includes 20 regular presentations and 12 short presentations/poster exhibitions that have been selected from the 48 submitted papers. 388 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisbookcontainsaselectionofpaperspresentedatthesecondannualworkshop heldundertheauspicesoftheEspritWorkingGroup21900Types. Theworkshop tookplaceinIrsee,Germany,from27to31ofMarch1998andwasattendedby 89researchers. Ofthe25submissions,14wereselectedforpublicationafteraregularref- eeingprocess. The nalchoicewasmadebytheeditors. Thisvolumeisasequeltotheproceedingsfromthe rstworkshopofthe workinggroup,whichtookplaceinAussois,France,inDecember1996. The proceedingsappearedinvol. 1512oftheLNCSseries,editedbyChristinePaulin- MohringandEduardoGim enez. Theseworkshopsare,inturn,acontinuationofthemeetingsorganizedin 1993,1994,and1995undertheauspicesoftheEspritBasicResearchAction 6453 Types for Proofs and Programs. Thoseproceedingswerealsopublished intheLNCSseries,editedbyHenkBarendregtandTobiasNipkow(vol. 806, 1993),byPeterDybjer,BengtNordstr omandJanSmith(vol. 996,1994)and byStefanoBerardiandMarioCoppo(vol. 1158,1995). TheEspritBRA6453 wasacontinuationoftheformerEspritAction3245Logical Frameworks: - sign,ImplementationandExperiments. Thearticlesfromtheannualworkshops organizedunderthatActionwereeditedbyGerardHuetandGordonPlotkin inth Elektronisches BuchLogical FrameworksandLogicalEnvironments,bothpublishedby CambridgeUniversityPress. Acknowledgments WewouldliketothankIrmgardMignaniandAgnesSzabo-Lackingerforhelping uswithprocessingtheregistrations,andRalphMatthesandMarkusWenzelfor organizationalsupportduringthemeeting. Weareindebtedtotheorganizersof theWorkingGroupTypesandalsotoPeterClote,TobiasNipkowandMartin Wirsingforgivingustheopportunitytoorganizethisworkshopandfortheir support. WewouldalsoliketoacknowledgefundingbytheEuropeanUnion. Thisvolumewouldnothavebeenpossiblewithouttheworkofthereferees. Theyarelistedonthenextpageandwethankthemfortheirinvaluablehelp. June1999 ThorstenAltenkirch WolfgangNaraschewski BernhardReus VI List of Referees PeterAczel PetriMa enp a a ThorstenAltenkirch RalphMatthes GillesBarthe MichaelMendler HenkBarendregt WolfgangNaraschewski UliBerger TobiasNipkow MarcBezem SaraNegri VenanzioCapretta ChristinePaulin-Mohring MarioCoppo HenrikPersson CatarinaCoquand RandyPollack RobertoDiCosmo DavidPym GillesDowek ChristopheRa alli MarcDymetman AarneRanta Jean-ChristopheFilli atre BernhardReus NeilGhani EikeRitter MartinHofmann GiovanniSambin MonikaSeisenberger FurioHonsell AntonSetzer PaulJackson JanSmith FelixJoachimski FlorianKammuller SergeiSoloview JamesMcKinna MakotoTakeyama Sim aoMelodeSousa SilvioValentini ThomasKleymann MarkusWenzel HansLeiss BenjaminWerner Table of Contents OnRelatingTypeTheoriesandSetTheories. . . . . . . . . . . . . . . . . . . . . . . . . . 1 PeterAczel CommunicationModellingandContext-DependentInterpretation: AnIntegratedApproach. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Ren eAhn,TijnBorghuis Grobner BasesinTypeTheory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 ThierryCoquand,HenrikPersson AModalLambdaCalculuswithIterationandCaseConstructs. . . . . . . . . . 47 Jo elleDespeyroux,PierreLeleu ProofNormalizationModulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 GillesDowek,BenjaminWerner ProofofImperativeProgramsinTypeTheory. . . . . . . . . . . . . . . . . . . . . . . . . 78 Jean-ChristopheFilli atre AnInterpretationoftheFanTheoreminTypeTheory . . . . . . . . . . . . . . . . . 93 DanielFridlender ConjunctiveTypesandSKInT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106 JeanGoubault-Larrecq ModularStructuresasDependentTypesinIsabelle . . . . . . . . . . . . . . . . . . . . 121 FlorianKammul ler MetatheoryofVeri cationCalculiinLEGO. . . . . . . . . . . . . . . . . . . . . . . . . . . 133 ThomasKleymann BoundedPolymorphismforExtensibleObjects . . . . . . . . . . . . . . . . . . . . . . . . 149 LuigiLiquori AboutE ectiveQuotientsinConstructiveTypeTheory . . . . . . . . . . . . . .…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Abnormal white matter of the brain is common to patients with one of s- eral di erent diseases (including multiple sclerosis (MS) and Alzheimer s d- ease (AD)) and also appears in normal (asymptomatic) aging (NA) subjects. Better characterization of the nature of these white matter changes can help to improve our understanding of the biological processes at work. Clinically, it is interesting to be able to di erentiate between di erent disease states and to nd markerswhich allowearlydiagnosis.Conventionalspin echo magnetic resonance imaging is sensitive to these white matter changes. MRI studies of patients and volunteershaveindicatedthatthepatternsofbrainchangeassociatedwiththese processes are di erent. An important goal is to be able to quantitatively study these di erences. Many automated and semi-automated segmentation algorithms for quan- tatively assessing these brain changes have been developed and validated. Most of these algorithms have aimed at determining a binary characterization of each voxelas one of a groupof possible tissue classes.This approachhas been limited bytwofactors.First,abnormalwhitematter isoftenisointensewithnormalgrey matter and previous studies have been limited by the inability to discriminate between some abnormal white matter and normal grey matter [1,2]. Secondly, white matter damage appears as an heterogenous region of abnormal signal - tensity but binarization of the segmentation treats all levels of signal intensity abnormality equally. 1288 pp. Englisch. …