springer berlin heidelberg sep 1999 (110 risultati)

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 -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 -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 -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 . . . . . . . . . . . . . . . . 164 MariaEmiliaMaietti VIII AlgorithmsforEqualityandUni cationinthePresence 220 pp. Englisch.

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.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, who were pre viously involved in research and teaching in the eld of fault tolerant computing in different European countries, agreed that there is no longer any point in keeping pre viously independent activities apart and created a steering committee which took the responsibility for preparing the EDCC calendar and appointing the chairs for the in dividual conferences. There is no single European or global professional organization that took over the responsibility for this conference, but there are three national in terest groups that sent delegates to the steering committee and support its activities, especially by promoting the conference materials. As can be seen from these materi als, they are the SEE Working Group 'Dependable Computing' (which is a successor organizationof AFCET)in France,theGI/ITG/GMATechnicalCommitteeonDepend ability and Fault Tolerance in Germany, and the AICA Working Group 'Dependability of Computer Systems' in Italy. In addition, committees of several global professional organizations, such as IEEE and IFIP, support this conference. Prague has been selected as a conference venue for several reasons. It is an easily accessible location that may attract many visitors by its beauty and that has a tradition in organizing international events of this kind (one of the last FTSD conferences took place here). 484 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 3rd Eastern European Conference on Advances in Databases and Information Systems (ADBIS'99) took place on 13-16- September 1999, in Maribor, Slovenia. It was organized in cooperation with ACM SIGMOD, the Moscow chapter of ACM SIGMOD, Slovenian Society Informatika, and the Slovenian Ministry of Technology. The aim of the ADBIS series of conferences is to provide a forum for the exchange of scientific achievements and experiences using innovative methods and approaches between the research communities of Central and Eastern Europe and the rest of the world in the area of databases and information systems. The 1999 conference continues the series of ADBIS events held in Moscow, St. Petersburg, and Poznan. The ADBIS steering committee has the ambition to make the ADBIS conference the premiere database and information systems conference in Central and Eastern Europe, to increase interaction and collaboration between researchers from East and West, and to provide an internationally recognized forum for the presentation of research and experiences in all aspects of modern database technology and information systems. To achieve these goals an international program committee selected 26 full research papers in a rigorous reviewing process from a total of 94 submissions from 33 different countries. This high number of submissions from so many different areas shows the truly worldwide recognition of and interest in the ADBIS series. 404 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application. 440 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The title of this volume, Plant Biotechnology: Nell' Products and Applications, may look a little out of place among previous vol umes of Current Topics in Microbiology and Immunology that have focused mostly on issues related to human health and ani mal biology, However, plant biology has always been of immense and has enjoyed an intimate relationship practical importance, with medicine and other biological sciences for centuries, In creasing scientific specialization and the dramatic advances in the medical and chemical sciences during this century have left many persons with the impression that plant biology and plant bio technology is important only in relation to the agricultural sci ences, This is no longer true. Within the past year a genetically engineered plant virus has been used to vaccinate and protect against an animal disease (see the chapter by Lomonossoff and Hamilton), the first human trials of a potential transgenic plant based oral vaccine against cholera have been conducted (see the chapter by Richter and Kipp), and the first human trial of an injectable transgenic plant-derived therapeutic protein is under way (discussed in the chapter by Russell et al. ). Today plant biotechnology is being used in new and creative ways to produce therapeutic products for medicine and plastics for industry as well as new disease-and stress-resistant crops for agriculture. 212 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Truly personal handheld and wearable technologies should be small and unobtrusive and allow access to information and computing most of the time and in most circumstance. Complimentary, environment-based technologies make artifacts of our surrounding world computationally accessible and facilitate use of everyday environments as a ubiquitous computing interface. The International Symposium on Handheld and Ubiquitous Computing, held for the first time in September 1999, was initiated to investigate links and synergies in these developments, and to relate advances in personal technologies to those in environment-based technologies. The HUC 99 Symposium was organised by the University of Karlsruhe, in particular by the Telecooperation Office (TecO) of the Institute for Telematics, in close collaboration with ZKM Karlsruhe, which generously hosted the event in its truly inspiring Center for Arts and Media Technology. The symposium was supported by the Association of Computing Machinery (ACM) and the German Computer Society (Gesellschaft f r Informatik, GI) and held in cooperation with a number of special interest groups of these scientific societies. HUC 99 attracted a large number of paper submissions, from which the international programme committee selected 23 high-quality contributions for presentation at the symposium and for inclusion in these proceedings. In addition, posters were solicited to provide an outlet for novel ideas and late-breaking results; selected posters are also included with these proceedings. The technical programme was further complemented by four invited keynote addresses, and two panel sessions. 408 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 -This volume constitutes the proceedings of the 'Second International Workshop on Cooperative Buildings (CoBuild'99) - Integrating Information, Organizations, and Architecture' held at the Carnegie Museum of Art in Pittsburgh on October 1-2, 1999. The success of the First International Workshop on Cooperative Buildings (CoBuild'98), held at GMD in Darmstadt in February 1998, showed that there is a demand for an appropriate forum to present research about the intersection of information technology, organizational innovation, and architecture. Thus, it was decided to organize a follow-up event. The decision of where to organize CoBuild'99 was straight forward. Since we had many high quality contributions from the United States (U. S. ) presented at CoBuild'98, we wanted to hold the second workshop in the U. S. reaching out to a large audience and at the same time turning it into an international series of events held in different places in the world. Due to the excellent work carried out at Carnegie Mellon University, it was an obvious choice to ask Volker Hartkopf from the Department of Architecture and Jane Siegel from the Human Computer Interaction Institute to be conference cochairs for CoBuild'99. The workshop is organized in cooperation with the German National Research Center for Information Technology (GMD), in particular the Integrated Publication and Information Systems Institute (IPSI) in Darmstadt providing continuity between the events. 244 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 -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 -This volume constitutes the refereed proceedings of the Second International Conference on Scale-Space Theories in Computer Vision, Scale-Space'99, held in Corfu, Greece, in September 1999.The 36 revised full papers and the 18 revised posters presented in the book were carefully reviewed and selected from 66 high-quality submissions. The book addresses all current aspects of this young and active field, in particular geometric Image flows, nonlinear diffusion, functional minimization, linear scale-space, etc. 552 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This classification represents a project aimed at bringing together the variety of ways thymic epithelial neoplasms have been classified. It focuses on their growth characteristics, and cytoarchitectural features . The classification, though restricted to the thymic region rather than the mediastinum in general, also covers neuroendocrine, germ cell, lymphoid, and stromal tumours, as well as tumour-like lesions and the neck tumours of thymic or related branchial pouch derivation. 80 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For many years, Arti cial Intelligence technology has served in a great variety of successful applications. AI researchand researchershave contributed much to the vision of the so-called Information Society. As early as the 1980s, some of us imagined distributed knowledge bases containing the explicable knowledge of a company or any other organization. Today, such systems are becoming reality. In the process, other technologies have had to be developed and AI-technology has blended with them, and companies are now sensitive to this topic. TheInternetandWWWhaveprovidedtheglobalinfrastructure,whileatthe same time companies have become global in nearly every aspect of enterprise. This process has just started, a little experience has been gained, and therefore it is tempting to re ect and try to forecast, what the next steps may be. This has given us one of the two main topics of the 23rd Annual German Conference on Arti cial Intelligence (KI-99)held at the University of Bonn: The Knowledge Society. Two of our invited speakers, Helmut Willke, Bielefeld, and Hans-Peter Kriegel, Munich, dwell on di erent aspects with di erent perspectives. Helmut Willke deals with the concept of virtual organizations, while Hans-Peter Kriegel applies data mining concepts to pattern recognitiontasks.The three application forums are also part of the Knowledge Society topic: 'IT-based innovation for environment and development', 'Knowledge management in enterprises', and 'Knowledgemanagementinvillageandcityplanningoftheinformationsociety'. 332 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The field of machine learning and data mining in connection with pattern recognition enjoys growing popularity and attracts many researchers. Automatic pattern recognition systems have proven successful in many applications. The wide use of these systems depends on their ability to adapt to changing environmental conditions and to deal with new objects. This requires learning capabilities on the parts of these systems. The exceptional attraction of learning in pattern recognition lies in the specific data themselves and the different stages at which they get processed in a pattern recognition system. This results a specific branch within the field of machine learning. At the workshop, were presented machine learning approaches for image pre-processing, image segmentation, recognition and interpretation. Machine learning systems were shown on applications such as document analysis and medical image analysis. Many databases are developed that contain multimedia sources such as images, measurement protocols, and text documents. Such systems should be able to retrieve these sources by content. That requires specific retrieval and indexing strategies for images and signals. Higher quality database contents can be achieved if it were possible to mine these databases for their underlying information. Such mining techniques have to consider the specific characteristic of the image sources. The field of mining multimedia databases is just starting out. We hope that our workshop can attract many other researchers to this subject. 232 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As in other fields, in computer science certain objects of study can be synthesized from different basic elements, in different ways, and with different resulting stabilities. In subfields such as artificial intelligence, computational logic, and programming languages various relational and functional ingredients and techniques have been tried for the synthesis of declarative programs.This text considers the notions of relations, as found in logic programming or in relational databases, and of functions, as found in functional programming or in equational languages. We study a declarative integration which is tight, because it takes place right at the level of these notions, and which is still practical, because it preserves the advantages of the widely used relational and functional languages PROLOG and LISP. The resulting relational and functional language, RELFUN, is used here for exemplifying all integration principles. 188 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 292 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recently, there has been an increased interest in the research and development of techniques for components of complete document analysis systems. In recognition of this trend, a series of workshops on Document Analysis Systems commenced in 1994, under the leadership of Henry Baird. The first workshop, held in Kaiserslautern, Germany, in October, 1994, was chaired by Andreas Dengel and Larry Spitz. The second workshop on Document Analysis Systems was held in Malvern, PA, USA, in October, 1996, chaired by Jonathan J. Hull and Suzanne Liebowitz Taylor. The DAS workshop has been one of the most prestigious technical meetings, bringing together a large number of scientists and engineers from all over the world to express their innovative ideas and report on their latest achievements in the area of document analysis systems. The papers in this special book edition were rigorously selected from the Third IAPR Workshop on Document Analysis Systems (DAS'98), held in Nagano, Japan, on 4 - 6 November 1998. It is worth mentioning that the papers were chosen for their original and substantial contributions to the workshop theme and this special book edition. From among the 53 papers that were presented by authors from 11 countries at the DAS'98 after critical reviews by at least three experts, we carefully selected 29 papers for this special book edition. Most of the contributions in this edition have been expanded or extensively revised to include helpful discussions, suggestions, or comments made during the workshop. 396 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM'99), which took place at the ETH Zürich in Switzerland and was hosted by the Computer Engineering and Networking Laboratory, TIK. DSOM'99 is the tenth workshop in a series of annual workshops, and Zürich is proud to host this 10th anniversary of the IEEE/IFIP workshop. DSOM'99 follows highly successful meetings, the most recent of which took place in Delaware, U.S.A. (DSOM'98), Sydney, Australia (DSOM'97), and L'Aquila, Italy (DSOM'96). DSOM workshops attempt to bring together researchers from the area of network and service management in both industry and academia to discuss recent advancements and to foster further growth in this eld. In contrast to the larger management symposia IM (In- grated Network Management) and NOMS (Network Operations and Management S- posium), DSOM workshops follow a single-track program, in order to stimulate interaction and active participation. The speci c focus of DSOM'99 is 'Active Technologies for Network and Service Management,' re ecting the current developments in the eld of active and program- ble networks, and about half of the papers in this workshop fall within this category. 324 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Portuguese Association for Arti cial Intelligence (APPIA) has been re- larly organising the Portuguese Conference on Arti cial Intelligence (EPIA). This ninth conference follows previous ones held in Porto (1985), Lisboa (1986), Braga (1987), Lisboa (1989), Albufeira (1991), Porto (1993), Funchal (1995) and Coimbra (1997). Starting in 1989, the conferences have been held biennially (alternating with an APPIA Advanced School on Arti cial Intelligence) and become truly international: English has been adopted as the o cial language and the proceedings are published in Springer's LNAI series. The conference has recon rmed its high international standard this year, largely due to its programme committee, composed of distinguished researchers in a variety of specialities in Arti cial Intelligence, half of them from Portuguese universities. This has attracted a signi cant international interest, well expressed by the number of papers submitted (66), from 17 di erent countries, 29 of which are by Portuguese researchers. From the 66 papers submitted, about one third of them (23) were selected for oral presentation and have been published in this volume. The review process enabled the selection of high quality papers, each paper being reviewed by two or three reviewers, either from the programme committee or by their appointment. We would like to thank all of the reviewers for their excellent and hard work. 404 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Mineralogical-sedimentological and geochemical investigations in combination with pollen data of a 12.7-m-long dated sediment core from Lake Silvana, SE Brazil, permit the reconstruction of the climatic history over the past 10,000 years. The lowermost section (I) reflects a coarse paleosol-type sediment with abundant plant debris and rootlets; pollen indicates grassland vegetation. Section II represents fine-grained lake sediments; pollen indicates a savanna-like vegetation. Section III represents a pollen-free, coarse-grained allogenic sediment deposited under high transportation energy (increased precipitation). Section IV, a greenish sequence with increasing C content towards the top, has a pollen spectrum of present-day vegetation (semideciduous forest). The different sediment sections show a connection with erosional phases in the catchment of the lake, based on mineralogy and geochemistry, which are a response to climate development. 112 pp. Englisch.