springer springer sep 1999 (389 resultados)

Buch. Condición: 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. Condición: Neu. Neuware - This book presents novel techniques for describing image textures. Contrary to the usual practice of embedding the images to known modelling frameworks borrowed from statistical physics or other domains, this book deduces the Gibbs models from basic image features and tailors the modelling framework to the images. This approach results in more general Gibbs models than can be either Markovian or non-Markovian and possess arbitrary interaction structures and strengths. The book presents computationally feasible algorithms for parameter estimation and image simulation and demonstrates their abilities and limitations by numerous experimental results. The book avoids too abstract mathematical constructions and gives explicit image-based explanations of all the notions involved. Audience: The book can be read by both specialists and graduate students in computer science and electrical engineering who take an interest in texture analysis and synthesis. Also, the book may be interesting to specialists and graduate students in applied mathematics who explore random fields.

Buch. Condición: 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. Condición: 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. Condición: 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. Condición: Neu. Neuware - As we stand at the precipice of the twenty first century the ability to capture and transmit copious amounts of information is clearly a defining feature of the human race. In order to increase the value of this vast supply of information we must develop means for effectively processing it. Newly emerging disciplines such as Information Engineering and Soft Computing are being developed in order to provide the tools required. Conferences such as the International Conference on Information Processing and ManagementofUncertainty in Knowledge-based Systems (IPMU) are being held to provide forums in which researchers can discuss the latest developments. The recent IPMU conference held at La Sorbonne in Paris brought together some of the world's leading experts in uncertainty and information fusion. In this volume we have included a selection ofpapers from this conference. What should be clear from looking at this volume is the number of different ways that are available for representing uncertain information. This variety in representational frameworks is a manifestation of the different types of uncertainty that appear in the information available to the users. Perhaps, the representation with the longest history is probability theory. This representation is best at addressing the uncertainty associated with the occurrence of different values for similar variables. This uncertainty is often described as randomness. Rough sets can be seen as a type of uncertainty that can deal effectively with lack of specificity, it is a powerful tool for manipulating granular information.

Buch. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: 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. Condición: Neu. Neuware - The 7th Annual Working Conference of ISMSSS (lnformation Security Management and Small Systems Security), jointly presented by WG 11.1 and WG 11.2 of the International Federation for Information Processing {IFIP), focuses on various state-of-art concepts in the two relevant fields. The conference focuses on technical, functional as well as managerial issues. This working conference brings together researchers and practitioners of different disciplines, organisations, and countries, to discuss the latest developments in (amongst others) secure techniques for smart card technology, information security management issues, risk analysis, intranets, electronic commerce protocols, certification and accreditation and biometrics authentication. W e are fortunate to have attracted at least six highly acclaimed international speakers to present invited lectures, which will set the platform for the reviewed papers. Invited speakers will talk on a broad spectrum of issues, all related to information security management and small system security issues. These talks cover new perspectives on secure smart card systems, the role of BS7799 in certification, electronic commerce and smart cards, iris biometrics and many more. AH papers presented at this conference were reviewed by a minimum of two international reviewers. W e wish to express our gratitude to all authors of papers and the international referee board. W e would also like to express our appreciation to the organising committee, chaired by Leon Strous, for aU their inputs and arrangements.

Buch. Condición: Neu. Neuware - The phenomenon of international seaport administration is the subject of this book. As a Ph.D.-student at the Delft University of Technology (period 1993 - 1997) I had the opportunity to develop and exercise my hobby on a full time base. The result was a Ph.D.-dissertation which was defended in December 1997. Unfortunately, these research results were published in Dutch while the majority of the interviewees and employees in the world of international seaport administration are English speaking people. Both for the reason of high international relevance of the results I felt the necessity to get this Ph.D.-research translated and published in English. With the excellent help of my promotor Prof.dr. W.G.M. Salet I found Prof.dr. H. van der Wusten prepared to cover this study on international seaport administration in the Kluwer GeoJournal Library series. I thank Mr. Van der Wusten for giving me this opportunity. But also due to the outstanding help of my current employer 'Zeeland Seaports Authority' the funding for the translation became very quickly possible. I thank the Managing Director of Zeeland Seaports Authority, Mr. J.M.H.G. Philippen, and the Commercial Director, Capt. J. Verkiel, for their interest and wonderful help in getting this study translated. And of course my sincere thanks go to Katy Owen who actually made this dream come true.

Buch. Condición: 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. Condición: Neu. Neuware - An Aging Humankind: New Realities.- Menopause.- Does Menopause Increase the Risk of Coronary Heart Disease .- Chronic Low-Grade Metabolic Acidosis in Normal Adult Humans: Pathophysiology and Consequences.- The Menopause, Sex Hormones, and Rheumatic Disease.- Estrogen-Progestrogen Action.- Novel Mechanisms of Estrogen Action.- The Action of Ovarian Steroid Hormones on Tissues and Organs.- Nongenomic Mechanisms of Sex Hormones.- Action of Specific Estrogens on Vascular Cells.- Direct Actions of Estrogen on Vascular Cells Ameliorates Response to Injury.- Newer Progestogens.- Cardiovascular Risk.- Cardiovascular Disease: Risk Factors Related to Thrombosis.- Estrogen Effect upon Coronary Vasculature.- Estrogen and Endothelial Function.- Action of Specific Estrogens on the Coronary Artery: Effects on Lipoproteins, Coagulation, and Fibrinolysis.- Coronary Heart Disease in Women: Status 1998.- Osteoporosis.- to Osteoporosis.- Genetics of Osteoporosis.- The Clinical Management of Osteoporosis.- Central Nervous System.- Menopause and Psychopharmacology: Signs, Symptoms, and Treatment.- The Brain: Target and Source for Sex Steroid Hormones.- The Role of Estrogen in Brain Aging and Alzheimer's Disease.- Role of Estrogens in Dementing Illnesses: Hypotheses on the Biological Rationale.- Hormone Replacement Therapy.- Women's Health and Menopause Epidemiology: The USA Experience.- Doses, Duration, and Starting Age for HRT Treatment: The American Viewpoint.- Estrogen Complexes Contained in Conjugated Equine Estrogens (CEE): An Overview of Their Structure and Possible Effects on Target Tissue.- Once a Week Transdermal Estrogen-Quality of Life Improvement in Long-Term Replacement Therapy: Newest Findings.- Estrogen-Androgen Hormone Replacement Therapy.- Management of the LateMenopause: Ultra Low-Dose Adjustive Estrogen Therapy.- Selective Estrogen Receptor Modulator (SERM) Drugs for the Prevention of Osteoporosis.- A Rationale for Hormone Replacement Therapy in Organ Transplant Patients.- Management of Ambivalence Towards Hormone Replacement Therapy.- Oncology.- Breast and Female Genital Tract Neoplasms in Overweight Women.- Postmenopausal Hormone Replacement Therapy and Gynecological Malignancies.- Hormone Replacement Therapy and Breast Cancer Risk in High-Risk Subgroups.- Breast Cancer and HRT: Collaborative Reanalysis of Data.- A Summary of the Evidence Relating Postmenopausal Hormone Use and Large Bowel Cancer Risk.- Menopausein Italy: Epidemilogical Studies and Medical Perception.- Aims, Methods, and Results of the Progetto Menopausa Italia.- Frequency of Cardiovascular Risks Factor in Women Attending Menopause Clinics: Findings from the ICARUS Data Base.- Determinants of Age at Menopause and Symptomatological Profile in Italian Women Attending Menopause Clinics in Italy.- Osteoporosis Risk Profile for Peri- and Postmenopausal Women Attending Menopause Clinics in Italy.- Menopause: What Is the Role of the General Practitioner .- Bioethics, Menopause, and Aging: A View from the Italian Menopause Society.

Buch. Condición: 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. Condición: 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. Condición: Neu. Neuware - The area of virtual organizations, and industrial virtual enterprises in particular, is attracting a large and growing interest both in terms of the research and development and the implementation of new business practices. An ever-increasing number of international projects and national initiatives have been launched recently. Most of the earlier efforts are focused on the development of supporting infrastructures, although more and more initiatives now pursue the exploitation of this concept in business terms. Being a recent research and development area, and in spite of the mentioned interest, there is a lack of a structured and comprehensive text that can be used as a reference source. Most available literature is dispersed in several conference proceedings, journals, and book chapters. This book represents an attempt towards such structured text. Although the book was prepared in the framework of PRO-VE'99, a working conference on infrastructures for virtual enterprises organized by the Esprit project PRODNET II and IFIP, it has the goal of covering more generic VE requirements and addressing several other approaches and important aspects in this paradigm.

Buch. Condición: 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.

Buch. Condición: 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. Condición: 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.

Taschenbuch. Condición: 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. Condición: 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. Condición: 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.

Taschenbuch. Condición: 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. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The European Commission emphasizes, in its Fifth Research Framework, the '. . . emerging generic dependability requirements in the information society, stemming both from the ubiquity and volume of embedded and networked systems and services as well as from the global and complex nature of large scale information and communication infrastructures, from citizens, administrations and business in terms of technologies, tools, systems, applications and services'. The series of Conference on Computer Safety, Reliability, and Security (Safecomp) contributes to satisfy these requirements by reviewing the state of the art, experiences, and new trends in the relevant scientific and industrial areas. Safecomp is intended to be a platform for technology transfer among academia, industry, and research institutions, providing the opportunity for exchange of ideas, opinions, and visions among experts. This year Safecomp celebrates the 20th anniversary, its first Conference having been organized in Stuttgart by EWICS (European Workshop on Industrial Computer Systems) in 1979, and we hope these Proceedings will contribute to the celebration by supporting Safecomp aims. The Proceedings include the 25 papers that have been presented orally at the Conference and the full version of the 14 papers that have been presented as posters, all of which were selected from 76 submissions. Papers almost uniformly take up Safecomp topics, dealing with the issues of Safety Assessment and Human Factors, Verification and Validation, Design for Safety, Formal Methods, and Security. 508 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The first international workshop on Intelligent Agents for Telecommunications Applications (IATA'96) was held in July 1996 in Budapest during the XII European Conference on Artificial Intelligence ECAI'96. The workshop program consisted of technical presentations addressing agent based solutions in areas such as network architecture, network management, and telematic services. Presentations gave rise to a lively debate on the advantages and difficulties of incorporating agent technology in telecommunications. The proceedings were published by IOS Press providing introductory papers on agent technology as well as telecom applications and services and also papers about appropriate languages and development tools. The second International Workshop, IATA'98, was held in Paris, in the framework of Agents' World which brought together the principal scientific and technical events on agent technology such as the International Conference on Multi Agent Systems (ICMAS'98), RoboCup'98 devoted to an international competition between soccer playing robot teams, and six international workshops. Each workshop focused on specific aspects of agent technology such as databases and information discovery on the Internet (CIA'98), Collective Robotics (CRW'98), Simulation (MABS'98), Agent Theories, Architectures and Languages (ATAL'98), Communityware (ACW'98), and Telecommunications Applications (IATA'98). The proceedings of IATA'98 were published by Springer Verlag. 212 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 1999 Annual Conference of the European Association for Computer Science Logic, CSL'99, was held in Madrid, Spain, on September 20-25, 1999. CSL'99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid (UCM). The CSL'99 program committee selected 34 of 91 submitted papers for p- sentation at the conference and publication in this proceedings volume. Each submitted paper was refereed by at least two, and in almost all cases, three di erent referees. The second refereeing round, previously required before a - per was accepted for publication in the proceedings, was dropped following a decision taken by the EACSL membership meeting held during CSL'98 (Brno, Czech Republic, August 25, 1998). 600 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing paradigm, which is considered one of the best ways to develop parallel applications. This volume comprises 67 revised contributions presented at the Sixth European PVM/MPI Users' Group Meeting, which was held in Barcelona, Spain, 26-29 September 1999. The conference was organized by the Computer Science Department of the Universitat Autònoma de Barcelona. This conference has been previously held in Liverpool, UK (1998) and Cracow, Poland (1997). The first three conferences were devoted to PVM and were held at the TU Munich, Germany (1996), ENS Lyon, France (1995), and University of Rome (1994). This conference has become a forum for users and developers of PVM, MPI, and other message passing environments. Interaction between those groups has proved to be very useful for developing new ideas in parallel computing and for applying some of those already existent to new practical fields. 580 pp. Englisch.

Taschenbuch. Condición: 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.