springer berlin heidelberg aug 1999 (97 risultati)

Taschenbuch. Condizione: Neu. Neuware -PaCT-99 (Parallel Computing Technologies) was a four-day conference held in St. Petersburg on 6¿10 September 1999. This represented the fth inter- tional conference in PaCT series, which take place in Russia every odd year. The rst, PaCT-91, was held in Novosibirsk (Academgorodok), 7¿11 September, 1991. The second PaCT-93 was held in Obninsk (near Moscow), 30 August ¿ 4 September, 1993. The third, PaCT-95, was organized in St.Petersburg, 12¿ 15 September, 1995 and the last fourth PaCT-97 was held in Yaroslavl 9-12 September, 1997. PaCT-99 was jointly organized by the Institute of Computational Mathem- ics and Mathematical Geophysics of the Russian Academy of Sciences (Novo- birsk) and by the Electrotechnical University of St.Petersburg. The purpose of the conference was to bring together scientists working with theory, archit- ture, software, hardware and solution of large-scale problems in order to provide integrated discussions on Parallel Computing Technologies. The Conference attracted more than 100 participants from around the world. Authors from over 23 countries submitted 103 papers and there were 2 invited papers. Of those submitted, 47 papers were selected for the conference; in ad- tion there were a number of posters presented. All the papers were internationally reviewed by at least three referees.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Integer Optimization addresses a wide spectrum of practically important optimization problems and represents a major challenge for algorithmics. The goal of integer optimization is to solve a system of constraints and optimization criteria over discrete variables.Integer Optimization by Local Search introduces a new approach to domain-independent integer optimization, which, unlike traditional strategies, is based on local search. It develops the central concepts and strategies of integer local search and describes possible combinations with classical methods from linear programming. The surprising effectiveness of the approach is demonstrated in a variety of case studies on large-scale, realistic problems, including production planning, timetabling, radar surveillance, and sports scheduling. The monograph is written for practitioners and researchers from artificial intelligence and operations research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book contains the papers presented at the 9th International Workshop on Field ProgrammableLogic and Applications (FPL¿99), hosted by the University of Strathclyde in Glasgow, Scotland, August 30 ¿ September 1, 1999. FPL¿99 is the ninth in the series of annual FPL workshops. The FPL¿99 programme committee has been fortunate to have received a large number of high-quality papers addressing a wide range of topics. From these, 33 papers have been selected for presentation at the workshop and a further 32 papers have been accepted for the poster sessions. A total of 65 papers from 20 countries are included in this volume. FPL is a subject area that attracts researchers from both electronic engine- ing and computer science. Whether we are engaged in research into soft ha- ware or hard software seems to be primarily a question of perspective. What is unquestionable is that the interaction of groups of researchers from di erent backgrounds results in stimulating and productive research. As we prepare for the new millennium, the premier European forum for - searchers in eld programmable logic remains the FPL workshop. Next year the FPL series of workshopswill celebrate its tenth anniversary.The contribution of so many overseas researchers has been a particularly attractive feature of these events, giving them a truly international perspective, while the informal and convivial atmosphere that pervades the workshops have been their hallmark. We look forward to preserving these features in the future while continuing to expand the size and quality of the events.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 564 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -A Source Book for the History of Mathematics, but one which offers a different perspective by focusinng on algorithms. With the development of computing has come an awakening of interest in algorithms. Often neglected by historians and modern scientists, more concerned with the nature of concepts, algorithmic procedures turn out to have been instrumental in the development of fundamental ideas: practice led to theory just as much as the other way round. The purpose of this book is to offer a historical background to contemporary algorithmic practice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the 10th International Conference on Concurrency Theory (CONCUR¿99) held in Eindhoven, The Netherlands, 24-27 August 1999. ThepurposeoftheCONCURconferencesistobringtogetherresearchers,- velopersandstudentsinordertoadvancethetheoryofconcurrencyandpromo te its applications. Interest in this topic is continuously growing, as a consequence oftheimportanceandubiquityofconcurrentsystemsandtheirapplications,and of the scienti c relevance of their foundations. The scope of CONCUR¿99 covers all areas of semantics, logics and veri cation techniques for concurrent systems. A list of speci c topics includes (but is not limited to) concurrency-related - pects of: models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, stochastic systems, - cidability, model-checking, veri cation techniques, re nement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, case studies, and tools and environments for programming and veri cation. The rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991, the following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL) and Nice (F). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, and 1466.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 596 pp. Englisch.

Buch. Condizione: Neu. Neuware -In the third edition the presentation of new topics has been deliberately kept simple for pedagogical purposes. Chapter 1 was completed by references to the tidal bore and magnetic envelope solitons. Two new sections devoted to magnetic envelope solitons and signal processing with solitons have been added to Chap. 4. Short comments on models describing blood-pressure pulse propagation in terms of solitons were added to chapter 5. A description of a new mechanical transmission line with two equilibrium states has been included in Chap. 6. Such an analog device is useful to illustrate the properties of kink-solitons and to observe solitary waves with a compact shape, called compactons. New references conceming recent advances in experimental techniques and lattice effects were added to Chap. 7. In Chap. 8 a short introduction to spatial optical solitons in continuous and discrete systems was included. Chapter 9 was completed by new sections devoted to nonlinear lattice models and energy localization. The concepts of self-trapped states and intrinsic localized modes or discrete breathers are dicussed. Different analog chains which make it possible to observe the characteristic features of discrete breathers, are described. Contrary to previous chapters where we have considered reversible or conservative systems where solitons can exist owing to the dynamical balance between linear dispersion and nonlinearity, Chapter 11 which is a new chapter, is devoted to irreversible systems where nonlinearity can balance the effects of dissipation leading to 'diffusing solitary waves' or 'diffusive solitons'.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Buch. Condizione: Neu. Neuware -Biological inorganic chemistry is a field of research at the interface of inorganic and biological chemistry. The rapidly developing insights into the role of metals in biological systems has far-reaching implications not only for biological science but also for related disciplines, ranging from molecular medicine to the environment. In each volume the reader, whether engaged in chemistry, biochemistry, biology or molecular medicine, receives a comprehensive summary and critical overview of a topic of hight current interest written by leading international experts. 232 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Internet, World Wide Web, Provider, Online-Dienste . - allgegenwärtige Schlagworte der Informations- und Kommunikationstechnologie. Was ist das Internet Welchen Nutzen bietet es Medizinern in Beruf und Ausbildung Welche spezifisch medizinischen Informations- und Kommunikationsdienste erschließen sich online Wie erhält man Zugang zum Internet und den Online-Diensten Welche medizinischen Dienste zeichnen sich bereits für die Zukunft ab Wie kann man eigene Inhalte im Internet positionieren Die kompetente Beantwortung dieser Fragen bildet den Schwerpunkt der aktualisierten, erweiterten Neuauflage dieses erfolgreichen Werkes: leicht verständlich, mit zahlreichen Illustrationen, ermöglicht es einen schnellen Einstieg in dieses komplexe Thema und eine effiziente Nutzung der diversen Dienste.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die Kapillarsperre ist ein innovatives, wirtschaftliches System zur Abdeckung von Deponien und Altlasten. Es beruht auf der wasserbindenden Wirkung der in ungesättigten Böden auftretenden Kapillarkräfte. Die obere Schicht aus feinkörnigen Sanden hält die Wässer kapillar und leitet sie bei vorhandener Hangneigung zum Böschungsfuß hin ab. Der darunter angeordnete Kapillarblock aus grobkörnigen Materialien bleibt dagegen nur gering durchfeuchtet. Vorteile des Systems sind u. a. eine weitgehende Unempfindlichkeit gegenüber Austrocknung und Setzungen sowie niedrige Herstellungskosten. Dieses Buch gibt einen Überblick zum Stand der Technik bei Planung und Bau von Kapillarsperren, der für Fachleute in der Praxis als Arbeits- und Entscheidungsgrundlage genutzt werden kann.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Das Buch bietet eine Einführung in die moderne Klimatologie mit ihren Prognose- und Interpretationsmodellen. Es gibt einen Überblick über die Vorstellungen, die man heute vom Klima und von klimarelevanten Prozessen hat, und wie man diese konzeptionell und quantitativ - also mit Modellen - zu beschreiben versucht. Der Text ist allgemein verständlich geschrieben und setzt keine besonderen Kenntnisse der Mathematik und Physik voraus. Dieses Lehrbuch basiert auf einer Vorlesung am Meteorologischen Institut der Universität Hamburg und richtet sich hauptsächlich an Studenten der Geowissenschaften und Physik, daneben an ebenfalls mit Klima befaßten Disziplinen der Land-, Forst- und Umweltwissenschaften.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Das Buch stellt das Verhältnis vom Selbstbestimmungsrecht des estnischen Volkes und dem Schutz der auf seinem Territorium lebenden nationalen Minderheiten,insbesondere der russischen Minderheit, dar. Nach Wiederherstellung der staatlichen Unabhängigkeit des estnischen Staates ist die Staatsangehörigkeitsfrage von entscheidender Bedeutung für den Rechtsstatus ethnisch nicht estnischer Personen mit langjährigem Wohnsitz in Estland vor 1990 geworden. Schwerpunkt der völkerrechtlichen Untersuchung ist das Problem um das Staatsangehörigkeitskriterium als Voraussetzung für einen Minderheitenstatus und dessen Folgen am konkreten Beispiel Estlands. In der Arbeit wird die Notwendigkeit einer völkerrechtlichen Regelung dieser Streitfrage aufgezeigt. Die Autorin plädiert für eine erleicherte Einbürgerung von ethnisch nicht estnischen Personen mit enger und langjähriger Beziehung zu Estland sowie für eine Definition von Minderheitenrechten nicht nur als Staatsbürgerrechte, sondern als Menschenrechte.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Deutsch.

Buch. Condizione: Neu. Neuware -Die regenerativen Energietrager haben bereits heute einen signifikanten Anteil an der weltweiten Stromerzeugung. 1m Jahre 1997 trugen sie knapp 20 % zur Gesamt produktion von etwa 12. 000 TWh bei. Dieser Anteil wurde fast ausschlieBlich von der Wasserkraft gedeckt, der Beitrag der Solarthermie war mit 0,7 TWh sehr klein, obwohl bereits Ende des letzten, Anfang dieses Jahrhunderts erste Anlagen u. a. zum Antrieb von Bewasserungspumpen auf Basis solarthermischer Stromerzeugung gebaut wurden. Der Einsatz von kostengtinstigerem 01 und anderen fossilen Brenn stoffen verhinderte damals weitere Entwicklungen, und erst mit dem Beginn der Energiekrise 1973/74 wurden diese Technologien neu entdeckt. Wahrend die Para bolrinnenkraftwerke SEGS I-IX mit 354 MWel in Kalifornien schon bewiesen, daB unter gtinstigen Rahmenbedingungen ein kommerzieHer Betrieb moglich ist, bieten z. B. Paraboloidkraftwerke mit im Brennpunkt angeordneten Stirling-Motoren erst die Perspektive, bei Serienfertigung Strom in abgelegenen Gebieten des aquatoria len Gtirtels giinstiger zu gestehen als die dort bisher genutzten Dieselaggregate. ABe solarthermischen Anlagen erfordern eine direkte Einstrahlung von mindestens 2 1800 kWh/m a, so daB ihr Einsatz nur in Gebieten zwischen etwa 40° nordlicher und siidlicher Breite, also beispielsweise nicht in Deutschland, okonomisch sinnvoH ist. Das hier vorliegende Buch ist aus dem Skriptum zur Vorlesung 'Stromerzeugung durch erneuerbare Energietrager', weche an der Ruhr-Universitat Bochum seit dem Wintersemester 1996 als Wahlfach bzw. als Teilnahmefach der Vertiefungsrichtung 'Energieversorgung' gelesen wird, hervorgegangen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This work considers practical parallel list-ranking algorithms. The model for which programs are written is a single-program multiple-data (SPMD) bri- ingmodel'. Thismodel isdesignated asa programmer smodelfora ne-grained computation framework called Explicit Multi-Threading (XMT), which was - troduced in [VDBN98]; the XMT framework covers the spectrum from al- rithms through architecture to implementation; it is meant to provide a pl- form for faster single-task completion time by way of instruction-level par- lelism (ILP). The performance of XMT programs is evaluated as follow: the performance of a matching optimized XMT assembly code is measured within an XMT execution model. (We use in the current paper the so-called Spawn- MT programmingmodel - the easier to implement amongthe two programming modelspresented in[VDBN98]). The XMT approach deviatesfromthe standard PRAM approach by incorporating reduced synchrony and departing from the lock-step structure in its so-called asynchronous mode. Our envisioned platform uses an extension to a standard serial instruction set. This extension e ciently implements PRAM-style algorithms using explicit multi-threaded ILP, which allows considerably more n e-grained parallelism than the previously studied parallel computing implementation platforms/models. The list ranking problem was the rst problem considered as we examined and re ned many of the concepts in the XMT framework. The problem arises in parallel algorithmson lists, trees and graphs and is considered a fundamental problemin the theory of parallelalgorithms. Experimental results are presented. 376 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -LCPC'98 Steering and Program Committes for their time and energy in - viewing the submitted papers. Finally, and most importantly, we thank all the authors and participants of the workshop. It is their signi cant research work and their enthusiastic discussions throughout the workshopthat made LCPC'98 a success. May 1999 Siddhartha Chatterjee Program Chair Preface The year 1998 marked the eleventh anniversary of the annual Workshop on Languages and Compilers for Parallel Computing (LCPC), an international - rum for leading research groups to present their current research activities and latest results. The LCPC community is interested in a broad range of te- nologies, with a common goal of developing software systems that enable real applications. Amongthetopicsofinteresttotheworkshoparelanguagefeatures, communication code generation and optimization, communication libraries, d- tributed shared memory libraries, distributed object systems, resource m- agement systems, integration of compiler and runtime systems, irregular and dynamic applications, performance evaluation, and debuggers. LCPC'98 was hosted by the University of North Carolina at Chapel Hill (UNC-CH) on 7 - 9 August 1998, at the William and Ida Friday Center on the UNC-CH campus. Fifty people from the United States, Europe, and Asia attended the workshop. The program committee of LCPC'98, with the help of external reviewers, evaluated the submitted papers. Twenty-four papers were selected for formal presentation at the workshop. Each session was followed by an open panel d- cussion centered on the main topic of the particular session. 404 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 1999 Workshop on Spatio-Temporal Database Management, held in Ed- burgh, Scotland, September 10 11, 1999, brought together leading researchers anddevelopersintheareaofspatio-temporaldatabasestodiscussthestate-- the-art in spatio-temporal research and applications and to understand the new challenges and future research directions in this emerging and rapidly advancing area. The workshop served as a forum for disseminating research and expe- ence in spatio-temporal databases and for maximizing interchange of knowledge among researchers from the established spatial and temporal database com- nities.Theexchangeofresearchideasandresultsnotonlycontributestothe academic arena, but also bene ts the user and commercial communities. Theseproceedingscontainthe researchpapersselectedforpresentationatthe workshop. The workshop was conceived from the outset to have a general scope within its areaand to be internationalin participation.The callfor papers aimed to attract the highest quality and most up-to-date research contributions from around the world, and the workshop was co-located with VLDB 99, enabling many participants to conveniently attend both events and thereby facilitating the widest possible international participation. The call for papers attracted 30 research papers, which were submitted by authors from 14 countries and ve continents, clearly indicating the truly int- nationalnatureoftheemergingareaofspatio-temporaldatabases.Aprogram committee consisting of 25 researchers from four continents conducted four - viewsofeachpaperandselected13outstandingpapersofrpresentationand discussion at the workshop and inclusion in the proceedings. Spatio-temporal databases manage spatially and temporally referenced data. Thepapersincludedinthisvolumecoverdiverseaspectsofthemanagement ofsuchdata,andtheyhavebeenorganizedinto vegroups:understanding andmanipulatingspatio-temporaldata;integration,exchange,andvisualization; query processing; index evaluation; and constraints and dependencies. 260 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -PaCT-99 (Parallel Computing Technologies) was a four-day conference held in St. Petersburg on 6 10 September 1999. This represented the fth inter- tional conference in PaCT series, which take place in Russia every odd year. The rst, PaCT-91, was held in Novosibirsk (Academgorodok), 7 11 September, 1991. The second PaCT-93 was held in Obninsk (near Moscow), 30 August 4 September, 1993. The third, PaCT-95, was organized in St.Petersburg, 12 15 September, 1995 and the last fourth PaCT-97 was held in Yaroslavl 9-12 September, 1997. PaCT-99 was jointly organized by the Institute of Computational Mathem- ics and Mathematical Geophysics of the Russian Academy of Sciences (Novo- birsk) and by the Electrotechnical University of St.Petersburg. The purpose of the conference was to bring together scientists working with theory, archit- ture, software, hardware and solution of large-scale problems in order to provide integrated discussions on Parallel Computing Technologies. The Conference attracted more than 100 participants from around the world. Authors from over 23 countries submitted 103 papers and there were 2 invited papers. Of those submitted, 47 papers were selected for the conference; in ad- tion there were a number of posters presented. All the papers were internationally reviewed by at least three referees. 536 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE). Although the two conferences have different origins and traditions, there is a significant overlap in intent and subject matter. Holding the conferences jointly when they are held in Europe helps to make these thematic links more explicit, and enco- ages researchers and practitioners to attend and submit papers to both events. The ESEC proceedings have traditionally been published by Springer-Verlag, as they are again this year, but by special arrangement, the proceedings will be distributed to members of ACM SIGSOFT, as is usually the case for FSE. ESEC/FSE is being held as a single event, rather than as a pair of collocated events. Submitted papers were therefore evaluated by a single program committee. ESEC/FSE represents a broad range of software engineering topics in (mainly) two continents, and consequently the program committee members were selected to represent a spectrum of both traditional and emerging software engineering topics. A total of 141 papers were submitted from around the globe. Of these, nearly half were classified as research - pers,aquarterasexperiencepapers,andtherestasbothresearchandexperiencepapers . Twenty-nine papers from five continents were selected for presentation and inclusion in the proceedings. Due to the large number of industrial experience reports submitted, we have also introduced this year two sessions on short case study presentations. 548 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Euro-Parisaninternationalconferencededicatedtothepromotionandadvan- ment of all aspects of parallel computing. The major themes can be divided into the broad categories of hardware, software, algorithms and applications for p- allel computing. The objective of Euro-Par is to provide a forum within which to promote the development of parallel computing both as an industrial te- nique and an academic discipline, extending the frontier of both the state of the art and the state of the practice. This is particularly important at a time when parallel computing is undergoing strong and sustained development and experiencing real industrial take-up. The main audience for and participants in Euro-Parareseenasresearchersinacademicdepartments,governmentlabora- ries and industrial organisations. Euro-Par s objective is to become the primary choice of such professionals for the presentation of new results in their specic areas. Euro-Par is also interested in applications which demonstrate the e - tiveness of the main Euro-Par themes. There is now a permanent Web site for the series fmi. uni-passau. de/cl/europar where the history of the conference is described. Euro-Par is now sponsored by the Association of Computer Machinery and the International Federation of Information Processing. Euro-Par 99 The format of Euro-Par 99follows that of the past four conferences and consists of a number of topics eachindividually monitored by a committee of four. There were originally 23 topics for this year s conference. The call for papers attracted 343 submissions of which 188 were accepted. Of the papers accepted, 4 were judged as distinguished, 111 as regular and 73 as short papers. 1580 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -While optimality conditions for optimal control problems with state constraints have been extensively investigated in the literature the results pertaining to numerical methods are relatively scarce. This book fills the gap by providing a family of new methods. Among others, a novel convergence analysis of optimal control algorithms is introduced. The analysis refers to the topology of relaxed controls only to a limited degree and makes little use of Lagrange multipliers corresponding to state constraints. This approach enables the author to provide global convergence analysis of first order and superlinearly convergent second order methods. Further, the implementation aspects of the methods developed in the book are presented and discussed. The results concerning ordinary differential equations are then extended to control problems described by differential-algebraic equations in a comprehensive way for the first time in the literature. 240 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the Second International and - terdisciplinary Conference on Modeling and Using Context (CONTEXT'99), held in Trento (Italy) from 9 to 11 September 1999. CONTEXT'99 is the second in the CONTEXT series. The rst was held in Rio de Janeiro (Brazil) in 1997. The CONTEXT conference series is meant to provide an interdisciplinary - rum where researchers can exchange ideas, methodologies, and results on c- text, and is increasingly becoming an important reference for all people doing research on context. This is testi ed by the larger number of research areas that are represented at CONTEXT'99 (in particular, Philosophy and Cognitive Psychology were not signi cantly present at the rst conference), and by the number and quality of submitted papers. Speci cally, we received 118 papers, mostly of good or excellent quality. Among them, 33 (28%) have been accepted as full papers, and 21 as short papers. We think it is fair to say that the 54 papers collected in this volume provide a signi cant picture of the international research on context currently going on. The notion of context plays an important role in many areas, both theoretical and applied, such as Formal Logic, Arti cial Intelligence, Philosophy, Pragm- ics, Computational Linguistics, Computer Science, Cognitive Psychology. 548 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains papers selected for presentation during the 24th Interna tional Symposium on Mathematical Foundations of Computer Science held on September 6-10, 1999 in Szklarska Por^ba, Poland. The symposium, organized alternately in the Czech Republic, Slovakia, and Poland, focuses on theoretical aspects and mathematical foundations of computer science. The scientific program of the symposium consists of five invited talks given by Martin Dyer, Dexter Kozen, Giovanni Manzini, Sergio Rajsbaum, and Mads Tofte, and 37 accepted papers chosen out of 68 submissions. The volume contains all accepted contributed papers, and three invited papers. The contributed papers have been selected for presentation based on their scientific quality, novelty, and interest for the general audience of MFCS par ticipants. Each paper has been reviewed by at least three independent referees - PC members and/or sub-referees appointed by them. The papers were se lected for presentation during a fully electronic virtual meeting of the program committee on May 7, 1999. The virtual PC meeting was supported by software written by Artur Zgoda, Ph.D. student at the University of Wroclaw. The entire communication and access to quite a sensitive database at PC headquarters in Wroclaw was secured by cryptographic protocols based on technology of certificates. 476 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the First International Conference on Data Warehousing and Knowledge Discovery, DaWaK'99, held in Florence, Italy in August/September 1999. The 31 revised full papers and nine short papers presented were carefully reviewed and selected from 88 submissions. The book is divided in topical sections on data warehouse design; online analytical processing; view synthesis, selection, and optimization; multidimensional databases; knowledge discovery; association rules; inexing and object similarities; generalized association rules and data and web mining; time series data bases; data mining applications and data analysis. 420 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submitted to LPAR'99. Each of the submissions was reviewed by three program committee members and an electronic program com mittee meeting was held via the Internet. Twenty-three papers were accepted. We would like to thank the many people who have made LPAR'99 possible. We are grateful to the following groups and individuals: to the program committee and the additional referees for reviewing the papers in a very short time, to the organizing committee, and to the local organizers of the INTAS workshop in Tbilisi in April 1994 (Khimuri Rukhaia, Konstantin Pkhakadze, and Gela Chankvetadze). And last but not least, we would like to thank Konstantin - rovin, who maintained the program committee Web page; Uwe Waldmann, who supplied macros for these proceedings and helped us to install some programs for the electronic management of the program committee work; and Bill McCune, who implemented these programs. 416 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Integer Optimization addresses a wide spectrum of practically important optimization problems and represents a major challenge for algorithmics. The goal of integer optimization is to solve a system of constraints and optimization criteria over discrete variables.Integer Optimization by Local Search introduces a new approach to domain-independent integer optimization, which, unlike traditional strategies, is based on local search. It develops the central concepts and strategies of integer local search and describes possible combinations with classical methods from linear programming. The surprising effectiveness of the approach is demonstrated in a variety of case studies on large-scale, realistic problems, including production planning, timetabling, radar surveillance, and sports scheduling. The monograph is written for practitioners and researchers from artificial intelligence and operations research. 164 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This text reflects the revised WHO classification and terminology. One major change is in the introduction of a new category: papillary urothelial neoplasm of low malignant potential. Many of the tumours previously designated as papillary transitional cell carcinoma, grade I now fall into that category. Another major change is in the designation of flat lesions, and this includes a definition of carcinoma in situ. Furthermore, a number of variant forms of urothelials carcinomas are included as well as new entities not recognized when the 1st edition was issued. 120 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the first part, this book analyzes the knowledge discovery process in order to understand the relations between knowledge discovery steps and focusing. The part devoted to the development of focusing solutions opens with an analysis of the state of the art, then introduces the relevant techniques, and finally culminates in implementing a unified approach as a generic sampling algorithm, which is then integrated into a commercial data mining system. The last part evaluates specific focusing solutions in various application domains. The book provides various appendicies enhancing easy accessibility.The book presents a comprehensive introduction to focusing in the context of data mining and knowledge discovery. It is written for researchers and advanced students, as well as for professionals applying data mining and knowledge discovery techniques in practice. 332 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears to be particularly timely with safety and security issues becoming a real obstacle to industrial software and hardware development. As a consequence, almost all major companies have now set up departments or groups to work with formal methods and many European countries face a severe labour shortage in this new field. Tony Hoare's prediction of the art of software (and hardware) development becoming a proper engineering science with its own body of tools and techniques is now becoming a reality. So the focus of this application oriented workshop was not so much on spe cial academic topics but rather on the many practical aspects of this emerging new technology: verification and validation, and tool support and integration into the software life-cycle. By evaluating the state of the art with respect to industrial applications a discussion emerged among scientists, practising engi neers, and members of regulatory and funding agencies about future needs and developments. This discussion lead to roadmaps with respect to the future of this field, to tool support, and potential application areas and promising market segments. The contributions of the participants from industry as well as from the respective national security bureaus were particularly valuable and highly appreciated. 396 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Conference on Spatial Information Theory - COSIT - grew out of a series of workshops / NATO Advanced Study Institutes / NSF specialist meetings concerned with cognitive and applied aspects of representing large-scale space, particularly geographic space. In these meetings, the need for a well-founded theory of spatial information processing was identified. The COSIT conference series was established in 1993 as a biennial interdisciplinary European conference on the representation and processing of information about large-scale space, after a successful international conference on the topic had been organized by Andrew Frank et al. in Pisa, Italy, in 1992 (frequently referred to as 'COSIT zero'). After two successful European conferences with strong North-American participation (COSIT '93, held on the Island of Elba, Italy; COSIT '95, held in Semmering, Austria), the conference became a truly international enterprise when COSIT '97 was held in the Laurel Highlands, Pennsylvania, USA. COSIT '99 will take place in Stade, Germany. All aspects of large-scale space, i. e. spaces too large to be seen from a single vantage point, are addressed in the COSIT conferences. These include spaces of geographic scale, as well as smaller spaces in which humans, animals, or autonomous robots have to find their way around. Spatial information theory also deals with the description of objects, processes, or events in spatial environments and it forms the foundation for the construction of Geographic Information Systems (GIS) and for spatial information and communication system design in general. 500 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Artificial Intelligence is one of the most fascinating and unusual areas of academic study to have emerged this century. For some, AI is a true scientific discipline, that has made important and fundamental contributions to the use of computation for our understanding of nature and phenomena of the human mind; for others, AI is the black art of computer science.Artificial Intelligence Today provides a showcase for the field of AI as it stands today. The editors invited contributions both from traditional subfields of AI, such as theorem proving, as well as from subfields that have emerged more recently, such as agents, AI and the Internet, or synthetic actors. The papers themselves are a mixture of more specialized research papers and authorative survey papers.The secondary purpose of this book is to celebrate Springer-Verlag's Lecture Notes in Artificial Intelligence series. 504 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The third Financial Cryptography conference was held in February 1999, once again at Anguilla in the British West Indies. The number of attendees continues to increase from year to year, as do the number and quality of the technical submissions. The Program Committee did a great job selecting the technical program. I thank them for all of their eo rt s. We were helped by a number of outside reviewers, including Mart n Abadi, Gerrit Bleumer, Drew Dean, Anand Desai, Mariusz Jakubowski, Andrew Odlyzko, David Pointcheval, Guillaume Poupard, Zul kar Ramzan, Aleta Ricciardi, Dan Simon, Jessica Staddon, Venkie Venka- san, Avishai Wool, and Francis Zane. I apologize for any omissions. Adi Shamir gave an excellent invited talk that forecast the future of crypt- raphy and electronic commerce. On-line certic ate revocation was the subject of a panel led by Michael Myers, following up on the success of his panel on the same topic at last year s conference. Joan Feigenbaum moderated a lively panel on fair use, intellectual property, and the information economy, and I thank her for pulling together from that discussion a paper for these proceedings. A s- cessful Rump Session allowed participants to present new results in an informal setting, superbly chaired by Avi Rubin. 280 pp. Englisch.