springer berlin heidelberg apr 2003 (216 resultados)

Taschenbuch. Condición: Neu. Neuware -Das Lehrbuch führt Studierende der Wirtschaftswissenschaften und der Rechtswissenschaften in die Grundlagen der Finanzwirtschaft ein.Das besondere Anliegen des Buches besteht darin, dem Leser Grundlinien und Zusammenhänge des auf den Kapitalmarkt bezogenen finanzwirtschaftenden Handelns aufzuzeigen, das zu den ökonomischen Funktionen des Finanzierens und des Handelns mit Wertpapieren gehört.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Das vorliegende Buch liefert eine Einführung in das Gebiet des Operations Research und ist primär für Studenten nicht-mathematischer Fachrichtungen, insbesondere für Wirtschaftswissenschaftler gedacht. Es werden jedoch auch Mathematiker angesprochen, die sich einen einführenden methodischen Überblick über das Gesamtgebiet verschaffen wollen. Dem Praktiker werden die Ausführungen helfen, Möglichkeiten und Grenzen des praktischen Einsatzes von OR-Verfahren zu beurteilen. Durch die anschauliche, leicht verständliche und durch viele Grafiken unterstützte Darstellung soll der mathematisch weniger geübte Leser angesprochen werden. Dabei wird nicht nur die Lineare Optimierung (einschließlich der Sensitivitätsanalyse und der Ganzzahligen Optimierung) behandelt. Es wird ebenfalls eine Einführung in die Nichtlineare Optimierung und in die Dynamische Optimierung gegeben. Die dargestellten Verfahren werden ausführlich in jedem Schritt erläutert.

Taschenbuch. Condición: Neu. Neuware -As the complexity of financial markets keeps growing, so does the need to understand the decision-making and the coordination of the exsuing actions in the marketplace. In particular, the disclosure of information to market participants and its impact on the market outcome mertis attention. This study analyses the role of private and public information in currency crises. Calls for increased dissemination of economic and policy-related information by central banks notwithstanding, the study shows that transparency is not generally conductive to preventing speculative attacks in fixed exchange-rate regimes. Rather, the role of private and public information in the market-place depencs critically on the prevailing market sentiment. The study also highlights the import of market transparency design in an environment that allows for herding and market leadership of individual speculators.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -To put the ARTS & ECONOMICS next to each other, as in the title to this book, may be shocking to some readers. Must not creative art be free of economic constraints, must it not lead a life of its own And is economics not the realm of mean commercial dealings This book argues that it is not so: the ARTS & ECONOMICS go well together, indeed need each other. Without a sound economic base, art cannot exist, and without creativity the economy cannot flourish. There is a second way in which the Arts and Economics go together, namely in the sense of applying economic thinking to the arts. Over the last decades, this scholarly endeavor has been established under the name of 'The Economics of Art' or 'Cultural Economics'. But this may also sound revolting to some readers as it suggests an imperialistic extension of a lowly benefit-cost calculus to the world of art. This fear is unwarranted. On the contrary, cultural economists stress the social value of art and defend it against a crude business view of art. Rather than dismissing art without direct commercial profit, art economists seek ways and means of supporting it. This book is not a textbook summarizing the achievements attained by the economics of art. Such books already exist, among them the author's own, Muses and Markets, Explorations in the Economics of Art, written jointly with Werner Pommerehne. VI Preface ARTS & ECONOMICS charters little known territories.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The motivation behind the conception of this monograph was to advance scientific knowledge about the design and control of workflow processes. A workflow pr- ess (or workflow for short) is a specific type of business process, a way of or- nizing work and resources. Workflows are commonly found within large admin- trative organizations such as banks, insurance companies, and governmental agencies. Carrying out the tasks of a workflow in a particular order is required to handle one type of case. Examples of cases are mortgage applications, customer complaints, and claims for unemployment benefits. A workflow used in handling mortgage applications may contain tasks for recording the application, specifying a mortgage proposal, and approving the final policy. The monograph concentrates on four workflow-related issues within the area of Business Process Management; the field of designing and controlling business processes. The first issue is how workflows can be adequately modeled. Workflow mod- ing is an indispensable activity to support any reasoning about workflows. Diff- ent purposes of workflow modeling can be distinguished, such as system ena- ment by Workflow Management Systems, knowledge management, costing, and budgeting. The focus of workflow modeling in this monograph is (a) to support simulation and analysis of workflows and (b) to specify a new workflow design. The main formalism used for the modeling of workflows is the Petri net. Many - isting notions to define several relevant properties have been adopted, such as the workflow net and the soundness notion. 336 pp. Englisch.

Buch. Condición: Neu. Neuware -The success of the first edition of this broad appeal book prompted the prepa ration of an updated and expanded second edition. The field of surface anal ysis is constantly changing as it answers the need to provide more specific and more detailed information about surface composition and structure in advanced materials science applications. The content of the second edition meets that need by including new techniques and expanded applications. Newcastle John O'Connor Clayton Brett Sexton Adelaide Roger Smart January 2003 Preface to the First Edition The idea for this book stemmed from a remark by Philip Jennings of Mur doch University in a discussion session following a regular meeting of the Australian Surface Science group. He observed that a text on surface anal ysis and applications to materials suitable for final year undergraduate and postgraduate science students was not currently available. Furthermore, the members of the Australian Surface Science group had the research experi ence and range of coverage of surface analytical techniques and applications to provide a text for this purpose. A list of techniques and applications to be included was agreed at that meeting. The intended readership of the book has been broadened since the early discussions, particularly to encompass industrial users, but there has been no significant alteration in content.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 616 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The characteristics of software systems are undergoing dramatic changes. We are moving rapidly into the age of ubiquitous information services. Persistent computing systems are being embedded in everyday objects. They interact in an autonomouswaywith eachother to provideus with increasinglycomplexservices and functionalities that we can access at any time from anywhere. As a con- quence, not only do the numbers of components of software systems increase; there is also a strong qualitative impact. Software systems are increasingly made up of autonomous, proactive, networked components. These interact with each other in patterns and via mechanisms that can hardly be modeled in terms of classical models of interaction or service-oriented coordination. To some extent, future software systems will exhibit characteristics making them more res- blant of natural systems and societies than of mechanical systems and software architectures. This situation poses exciting challenges to computer scientists and software engineers. Already, software agents and multi-agent systems are recognized as both useful abstractions and e ective technologies for the modeling and building of complex distributed applications. However, little is done with regard to e - tive and methodic development of complex software systems in terms of mul- agent societies. An urgent need exists for novel approaches to software modeling and software engineering that enable the successful deployment of software s- tems made up ofa massive number ofautonomous components, and that allowus to control and predict their behaviour. 300 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The 1st International Workshop on Digital Watermarking (IWDW), the con- rence covering all aspects of digital watermarking, was held at the Hotel Riviera situated along the beautiful Han River in Seoul, Korea from November 21 to 22, 2002. These proceedings contain 21 papers that were accepted for presentation at the conference. These papers were selected from 67 submissions including 3 invited papers. They went through a thorough review process by the Program Committee and were selected on the basis of excellence and novelty. The following is a brief description of the history of this conference and - viewing process: In August 2001 some members of the Special Interest Group on Multimedia Protection (SIGMP) of the Korea Institute of Information Security and Cryptology (KIISC) agreed to create the IWDW. In November 2001 we set up a Program Committee and solicited papers while asking Springer-Verlag to publish the proceedings of the workshop in their Lecture Notes in Computer Science series. In July 2002 we received 64 submissions from 14 countries using Microsoft¿s conference management site (cmt. research. microsoft. com/ iwdw2002/). Each submission was assigned a number automatically by the c- ference management tool and the paper was sent to the Program Committee members for their review. We also encouraged di erent sets of experts to join for fair reviews.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Every year we witness acceleration in the availability, deployment, and use of distributed applications. However building increasingly sophisticated applications for extant and emerging networked systems continues to be challenging for several reasons: ¿ Abstract models of computation used in distributed systems research often do not fully capture the limitations and the unpredictable nature of realistic distributed computing platforms; ¿ Fault-tolerance and ef ciency of computation are dif cult to combine when the c- puting medium is subject to changes, asynchrony, and failures; ¿ Middleware used for constructing distributed software does not provide services most suitable for sophisticated distributed applications; ¿ Middleware services are speci ed informally and without precise guarantees of e- ciency, fault-tolerance, scalability, and compositionality; ¿ Speci cation of distributed deployment of software systems is often left out of the development process; ¿ Finally, there persists an organizational and cultural gap between engineering groups developing systems in a commercial enterprise, and research groups advancing the scienti c state-of-the-art in academic and industrial settings. The objectives of this book are: (1) to serve as a motivation for de ning future research programs in distributed computing, (2) to help identify areas where practitioners and engineers on the one hand and scientists and researchers on the other can improve the state of distributed computing through synergistic efforts, and (3) to motivate graduate students interested in entering the exciting research eld of distributed computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -WhiletheSCM-10experimentprovedverysuccessful,theSCMcommunity feltthatitshouldgoforaformalworkshoponceagain. Infact,thiswouldopen uptheopportunitytodocumentcurrentresearchandfertilizethedevelopment ofthisdiscipline. Asaconsequence,thefollow-upworkshopSCM-11washeld as a co-located event with ICSE at Portland, Oregon in May 2003. The Call forPapersreceivedalivelyresponsewith36submissions,outofwhich15were acceptedforpublication(12longand3shortpapers). Thesepapersappearinthe secondpartofthisvolume,orderedbytopic. Inadditiontopaperpresentations, theworkshopprovidedsu cienttimeforinspiringdiscussions. Thechairsofbothworkshopswouldliketoacknowledgetheinvaluablec- tributionsofallauthorsandspeakers,theprogramcommittees,theorganizers oftheICSEconferences,andSpringer-Verlag. May2003 BernhardWestfechtel Andr¿evanderHoek VI Preface ProgramCommitteeofSCM2003 Geo Clemm,Rational,USA ReidarConradi,NTNUTrondheim,Norway IvicaCrnkovic,MalardalenUniversity,Sweden WolfgangEmmerich,UniversityCollegeLondon,UK Andr¿evanderHoek,UniversityofCalifornia,Irvine,USA AnnitaPersson,EricssonAB,M¿olndal,Sweden BernhardWestfechtel(Chair),RWTHAachen,Germany JimWhitehead,UniversityofCalifornia,SantaCruz,USA AndreasZeller,UniversityofSaarbruc ¿ ken,Germany ProgramCommitteeofSCM2001 Geo Clemm,Rational,USA IvicaCrnkovic,MalardalenUniversity,Sweden WolfgangEmmerich,UniversityCollegeLondon,UK JackyEstublier,LSR-IMAG,France Andr¿evanderHoek(Chair),UniversityofCalifornia,Irvine,USA Je Magee,ImperialCollege,London,UK BernhardWestfechtel,RWTHAachen,Germany JimWhitehead,UniversityofCalifornia,SantaCruz,USA AndreasZeller,UniversityofSaarbruc ¿ ken,Germany SCMWorkshops SCM-1,Grassau,Germany(1988) SCM-2,Princeton,USA(1990) SCM-3,Trondheim,Norway(1991) SCM-4,Baltimore,USA(1993) SCM-5,Seattle,USA(1995) SCM-6,Berlin,Germany(1996) SCM-7,Boston,USA(1997) SCM-8,Brussels,Belgium(1998) SCM-9,Toulouse,France(1999) SCM-10,Toronto,Canada(2001) SCM-11,Portland,Oregon(2003) TableofContents BestPapersofSCM2001 De ningandSup 288 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to nondeterministic and open environments, like the Internet, in order to achieve systems design goals through the coordination of autonomously distributed services. The agent metaphor, in particular software agents and multi-agent systems (MAS), constitutes a promising approach for covering most of the software development life cycle, from conceptual modeling and requirements specification to architectural definition, design, and implementation.This book presents 17 carefully reviewed papers arranged in order to provide a coherent survey of how to exploit agent properties and MAS issues in today's software systems. The book offers the following topical sections: software engineering foundations requirements engineering and software architecture coordination and mobility reusedependabilityempirical studies and applicationsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Error-correcting codes have been incorporated in numerous working communication and memory systems. This book covers the mathematical aspects of the theory of block error-correcting codes together, in mutual reinforcement, with computational discussions, implementations and examples of all relevant concepts, functions and algorithms. This combined approach facilitates the reading and understanding of the subject.The digital companion of the book is a non-printable .pdf document with hyperlinks. The examples included in the book can be run with just a mouse click and modified and savedby users for their own purpose.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -We are pleased to present the proceedings of the 2003 Atlantic Web Intelligence C- ference, AWIC 2003. The conference was located in Madrid, Spain during May 5¿6, 2003, organized locally by the Technical University of Madrid. AWIC 2003 aimed to be the rst of a series of conferences on Web Intelligence, to be celebrated annually, alternatively in Europe and America, starting in Madrid. It was born as an activity of the recently created WIC-Poland Research Centre and the WIC-Spain Research Centre, bothbelongingtotheWebIntelligenceConsortium(WIC) (wi-consortium.org).AWIC 2003 was supported with grants from the S- nish Ministry for Science and Technology and the European Network of Excellence in Knowledge Discovery, KDNet. AWIC 2003 brought together scientists, engineers, computer users, and students to exchange and share their experiences, new ideas, and research results about all aspects (theory,applications,andtools)ofarti cialintelligencetechniquesappliedtoWeb-based systems, and to discuss the practical challenges encountered and the solutions adopted. Almost 70 contributions were submitted. After a preliminary evaluation, 60 of these papers were accepted to the conference and were assigned at least two reviewers from the international program committee. Out of this 60, 33 were conditionally accepted, and 32 of them were nally accepted after the conditions set by the reviewers had been met, which resulted in an acceptance ratio of 45%. 368 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This special issue is the result of the workshop Deception, Fraud and Trust in Agent Societies, held in Bologna on July 15, 2002 as part of the Autonomous Agents and Multi-Agent Systems 2002 Conference (AAMAS2002), organized by Rino Falcone, Suzanne Barber, Larry Korba, and Munindar Singh. The workshop included a special track on ¿Privacy and Protection with Multi-Agent Systems. ¿ The aim of the workshop was to bring together researchers from different elds (Arti cial Intelligence, Mul- agent Systems, Cognitive Science, Game Theory, and Social and Organizational S- ences) that could contribute to a better understanding of trust, privacy and protection in agent societies. The workshop scope included theoretical results and their applications inhuman¿computerinteractionandelectroniccommerce. Thisissueincludesaselection oftherevisedandextendedversionsoftheworkspresentedattheworksho p,incorpor- ing many points that emerged in our discussions, as well as invited papers from expert peopleinthe eld,whichinourviewgivesacompletecoverageofallrelevantissues. We gratefully acknowledge the nacial support from the Italian National Research Council, Institute for Cognitive Science and Technology and theALFEBIITE European Project, contract number IST-1999-10298. We want to express our gratitude to Cristiano Castelfranchi for his stimulating and valuable comments and suggestions both for the organization of the workshop and for the preparation of this special issue.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains a selection of papers from the Joint ERCIM/CologNet Workshop on Constraint Solving and Constraint Logic Programming, held at the Cork Constraint Computation Centre from the 19th to the 21st of June 2002. The workshop co-located two events: the seventh meeting of the ERCIM Working Group on Constraints, co-ordinated by Krzysztof Apt, and the rst annual workshop of the CologNet Area for Constraint and Logic Programming, co-ordinated by Francesca Rossi. The aim of this workshop was to provide a forum where researchers in c- straint processing could meet in an informal setting and discuss their most recent work. The Cork Constraint Computation Centre was chosen as the venue for the workshop because it is a new research centre, supported by Science Foundation Ireland and led by Eugene Freuder, which is entirely devoted to studying c- straint processing. Thus, the workshop participants had an opportunity to see the centre, meet its members and investigate the potential for future collabo- tion. Amongst the topics addressed by the papers in this volume are: veri cation and debugging of constraint logic programs; modelling and solving CSPs; exp- nation generation; inference and consistency processing; SAT and 0/1 encodings of CSPs; soft constraints and constraint relaxation; real-world applications; and distributed constraint solving.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Theoretical Foundations of Computer Vision, held in Dagstuhl Castle, Germany in April 2002.The 27 revised full papers presented went through two rounds of reviewing and improvement and assess the state of the art in geometry, morphology, and computational imaging. The papers are organized in sections on geometry - models and algorithms; property measurement in the grid and on finite samples; features, shape, and morphology; and computer vision and scene analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -TheAAECCsymposiumwasstartedinJune1983byAlainPoli(Toulouse),who, together with Roger Desq, Daniel Lazard, and Paul Camion, organized the rst conference. The meaning of the acronym AAECC changed from ¿Applied - gebra and Error Correcting Codes¿ to ¿Applied Algebra, Algebraic Algorithms, and Error Correcting Codes.¿ One reason for this was the increasing importance of complexity, particularly for decoding algorithms. During the AAECC-12 s- posium the conference committee decided to enforce the theory and practice of the coding side as well as the cryptographic aspects. Algebra was conserved, as in the past, but was slightly more oriented to algebraic geometry codes, nite elds, complexity, polynomials, and graphs. For AAECC-15 the main subjects covered were: ¿ Block codes. ¿ Algebra and codes: rings, elds, AG codes. ¿ Cryptography. ¿ Sequences. ¿ Algorithms, decoding algorithms. ¿ Algebra: constructions in algebra, Galois groups, di erential algebra, po- nomials. The talks of the six invited speakers characterized the aims of AAECC-15: ¿ P. Sole (¿Public Key Cryptosystems Based on Rings¿). ¿ S. Lin (¿Combinatorics Low Density Parity Check Codes¿). ¿ J. Stern (¿Cryptography and the Methodology of Provable Security¿). ¿ D. Costello (¿Graph-Based Convolutional LDPC Codes¿). ¿ I. Shparlinsky (¿Dynamical Systems Generated by Rational Functions¿). ¿ A. Lauder (¿Algorithms for Multivariate Polynomials over Finite Fields¿). 280 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Adaptive Agents and Multi-Agent Systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, computer science, software engineering, and developmental biology, as well as cognitive and social science.This book surveys the state of the art in this emerging field by drawing together thoroughly selected reviewed papers from two related workshops; as well as papers by leading researchers specifically solicited for this book. The articles are organized into topical sections on learning, cooperation, and communication emergence and evolution in multi-agent systems theoretical foundations of adaptive agentsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The 3rd International Workshop on Software Engineering and Middleware {SEM 2002) was held May 20-21, 2002, in Orlando, Florida, as a co-located event of the 2002 International Conference on Software Engineering. The workshop attracted 30 participants from academic and industrial institutions in many countries. Twenty-seven papers were submitted, of which 15 were accepted to create a broad program covering the topics of architectures, specification, components and adaptations, technologies, and services. The focus of the workshop was on short presentations, with substantial dis cussions afterwards. Thus, we decided to include in this proceedings also a short summary of every technical session, which was written by some of the partici pants at the workshop. The workshop invited one keynote speaker, Bobby Jadhav of CalKey, who presented a talk on the design and use of model-driven architecture and middle ware in industry. We would like to thank all the people who helped organize and run the workshop. In particular, we would like to thank the program committee for their careful reviews of the submitted papers, Wolfgang Emmerich for being an excellent General Chair, and the participants for a lively and interesting workshop. 256 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The objective of program analysis is to automatically determine the p- perties of a program. Tools of software development, such as compilers, p- formance estimators, debuggers, reverse-engineering tools, program veri - tion/testing/proving systems, program comprehension systems, and program specializationtoolsarelargelydependentonprogramanalysis. Advancedp- gram analysis can: help to nd program errors; detect and tune performan- critical code regions; ensure assumed constraints on data are not violated; tailor a generic program to suit a speci c application; reverse-engineer so- ware modules, etc. A prominent program analysis technique is symbolic a- lysis, which has attracted substantial attention for many years as it is not dependent on executing a program to examine the semantics of a program, and it can yield very elegant formulations of many analyses. Moreover, the complexity of symbolic analysis can be largely independent of the input data size of a program and of the size of the machine on which the program is being executed. In this book we present novel symbolic control and data ow repres- tation techniques as well as symbolic techniques and algorithms to analyze and optimize programs. Program contexts which de ne a new symbolic - scription of program semantics for control and data ow analysis are at the center of our approach. We have solved a number of problems encountered in program analysis by using program contexts. Our solution methods are e cient, versatile, uni ed, and more general (they cope with regular and irregular codes) than most existing methods.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 8th Panhellenic Conference on Informatics, PCI 2001, held in Nicosia, Cyprus in November 2001.The 31 revised full papers presented were carefully selected and improved during two months of reviewing from 104 conference papers. The papers cover the areas of databases, data mining and intelligent systems, e-learning, human computer interaction, image processing, networks and systems, software and languages, and theoretical computer science. 516 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Algorithms that have to process large data sets have to take into account that the cost of memory access depends on where the data is stored. Traditional algorithm design is based on the von Neumann model where accesses to memory have uniform cost. Actual machines increasingly deviate from this model: while waiting for memory access, nowadays, microprocessors can in principle execute 1000 additions of registers; for hard disk access this factor can reach six orders of magnitude.The 16 coherent chapters in this monograph-like tutorial book introduce and survey algorithmic techniques used to achieve high performance on memory hierarchies; emphasis is placed on methods interesting from a theoretical as well as important from a practical point of view.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -complexityheuristicwhichschedulesreal-timetaskssuchthatnotaskmissesits deadlineandthetotalenergysavingsaremaximized. Theotherpapersinthis group(1)tunethesystem-levelparallelismtothecurrent-levelofpower/energy availabilityandoptimizethesystempowerutilization,and(2)performadaptive texturemappinginreal-time3Dgraphicssystemsbasedonamodelofhuman visualperceptiontoachievesigni cantpowersavingswithoutnoticeableimage qualitydegradation. Thethirdgroupofpapersfocusonpowermodelingandmonitoringincluding statisticalpro lingtodetectsoftwarehotspotsofpower,andusingPetriNetsto modelDRAMpowerpolicies. Thisgroupalsoincludesasimulatorforevaluating theperformanceandpowerofdynamicvoltagescalingalgorithms. Thelast groupconcentratesonOS and compilersfor lowpower. The rst paperproposesapplication-issueddirectivestosetthepowermodesindevices suchasadiskdrive. Thesecondpaperproposespoliciesforcluster-widepower VI Preface management. Thepoliciesemploycombinationsofdynamicvoltagescalingand turningonando toreduceoverallclusterpower. PACS2002wasahighlysuccessfulforumduetothehigh-qualitysubmissions, theenormouse ortsoftheprogramcommitteeandthekeynotespeaker,andthe attendees. WewouldliketothankRonnyRonenforanexcellentkeynotespeech, showingthetechnologicalscalingtrendsandtheirimpactonenergy/powerc- sumption in general-purposemicroprocessors,and pinpointing recentmicro- chitecturalstrategiestoachievemorepower-e cientmicroprocessors. Wewould like to also thank Antonio Gonzalez, Andreas Moshovos,John Kalamatianos, andothermembersoftheHPCA-8organizingcommitteewhohelpedarrange forlocalaccomodationandpublicizetheworkshop. February2002 BabakFalsa andT. N. Vijaykumar PACS2002 Program Committee BabakFalsa ,CarnegieMellonUniversity(co-chair) T. N. Vijaykumar,PurdueUniversity(co-chair) DaveAlbonesi,UniversityofRochester KrsteAsanovic,MassachusettsInstituteofTechnology IrisBahar,BrownUniversity LucaBenini,UniversityofBologna DougCarmean,Intel Yuen Chan,IBM KeithFarkas,CompaqWRL MaryJaneIrwin,PennsylvaniSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24¿28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin-L¿of, one of the founding fathers of the Types community. The afternoon consisted of the following three invited talks: ¿Constructive Validity Revisited¿ by Dana Scott, ¿From the Rules of Logic to the Logic of Rules¿ by Jean-Yves Girard, and ¿The Varieties of Type Theories¿ by Peter Aczel. The contents of these contributions were not laid down in these proceedings, but the videos of the talks and the slides used by the speakers are available at cs. kun. nl/fnds/MartinLoefDay/LoefTalks. htm The previous workshop of the Types Working Group under EUIST project 29001 was held in 2000 in Durham, UK. The workshops Types 2000 and Types 2002 followed a series of meetings organized in the period 1993 ¿ 1999 whithin previous Types projects (ESPRIT BRA 6435 and ESPRIT Working Group 21900). The proceedings of these earlier Types workshops were also published in the LNCS series, as volumes 806, 996, 1158, 1512, 1657, 1956 and 2277. ESPRIT BRA 6453 was a continuation of ESPRIT Action 3245, Logical Frameworks: - sign, Implementation and Experiments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems. 260 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Semantics in Databases, held in Dagstuhl Castle, Germany, in January 2001. The 10 revised full papers presented together with an introduction by the volume editors were carefully selected during two rounds of reviewing. Among the aspects of database semantics discussed are semantic constraints, paraconsistency, logic foundations of databases, ER modeling, type hierarchies, null values, consistency enforcement, logic-based pattern languages, and semantic classification of queries. Among the classes of databases dealt with are deductive databases, relational databases, distributed information systems, and tree-structured data.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This is a softcover reprint of the English translation of 1990 of the revised and expanded version of Bourbaki's, Algèbre, Chapters 4 to 7 (1981).This completes Algebra, 1 to 3, by establishing the theories of commutative fields and modules over a principal ideal domain. Chapter 4 deals with polynomials, rational fractions and power series. A section on symmetric tensors and polynomial mappings between modules, and a final one on symmetric functions, have been added. Chapter 5 was entirely rewritten. After the basic theory of extensions (prime fields, algebraic, algebraically closed, radical extension), separable algebraic extensions are investigated, giving way to a section on Galois theory. Galois theory is in turn applied to finite fields and abelian extensions. The chapter then proceeds to the study of general non-algebraic extensions which cannot usually be found in textbooks: p-bases, transcendental extensions, separability criterions, regularextensions. Chapter 6 treats ordered groups and fields and based on it is Chapter 7: modules over a p.i.d. studies of torsion modules, free modules, finite type modules, with applications to abelian groups and endomorphisms of vector spaces. Sections on semi-simple endomorphisms and Jordan decomposition have been added.Chapter IV: Polynomials and Rational FractionsChapter V: Commutative FieldsChapter VI: Ordered Groups and FieldsChapter VII: Modules Over Principal Ideal DomainsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -A number of important results in combinatorics, discrete geometry, and theoretical computer science have been proved using algebraic topology. While the results are quite famous, their proofs are not so widely understood. They are scattered in research papers or outlined in surveys, and they often use topological notions not commonly known among combinatorialists or computer scientists.This book is the first textbook treatment of a significant part of such results. It focuses on so-called equivariant methods, based on the Borsuk-Ulam theorem and its generalizations. The topological tools are intentionally kept on a very elementary level (for example, homology theory and homotopy groups are completely avoided). No prior knowledge of algebraic topology is assumed, only a background in undergraduate mathematics, and the required topological notions and results are gradually explained.At the same time, many substantial combinatorial results are covered, sometimes with some of the most important results, such as Kneser's conjecture, showing them from various points of view.The history of the presented material, references, related results, and more advanced methods are surveyed in separate subsections. The text is accompanied by numerous exercises, of varying difficulty. Many of the exercises actually outline additional results that did not fit in the main text. The book is richly illustrated, and it has a detailed index and an extensive bibliography.This text started with a one-semester graduate course the author taught in fall 1993 in Prague. The transcripts of the lectures by the participants served as a basis of the first version. Some years later, a course partially based on that text was taught by Günter M. Ziegler in Berlin. The book is based on a thoroughly rewritten version prepared during a pre-doctoral course the author taught at the ETH Zurich in fall 2001.Most of the material was covered in the course:Chapter 1 was assigned as an introductory reading text, and the other chapters were presented in approximately 30 hours of teaching (by 45 minutes), with some omissions throughout and with only a sketchy presentation of the last chapter.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Tissue engineering as a technology and as a therapeutic has captured worldwide attention and commitmentbecause it has such potential in the care of humanity. Because we are not as yet able to craft robust three dimensional vascular and ductal structures to support the development of complex parenchymal organs, the initial focus of the field has been on thin tissues that can be nourished by diffusion alone.The best example of this class is cartilage. Thought by some to be a relatively simple tissue in the early days of tissue engineering, deep study of this tissue has shown it to manifest great complexity.Yearsof experimental and clinical effort have begun to untangle the clues that will allow us to reproducibly characterize, gener ate and clinically apply engineered cartilage with positive effects.World wide researchers and clinicians are intently focused on this goal and it has come time to step back and make a good assessment of our progress.Steinkopff, Dietrich Verlag in Springer Science + Business M, Tiergartenstr. 15-17, 69121 Heidelberg 228 pp. Englisch.

Buch. Condición: Neu. Neuware -Jenseits gängiger Managementkonzepte zeigt dieses Buch Möglichkeiten auf, wie Unternehmen auf Basis ihrer spezifisch gewachsenen Potenziale ihren Weg zur Einzigartigkeit finden können. Im Mittelpunkt des Ansatzes steht der 'Potenzialscanner': diese Toolbox hilft, die bereits vorhandenen, aber nicht bekannten oder nicht systematisch genutzten Stärken des Unternehmens zu identifizieren, die als verborgene Schätze in Fähigkeiten, Wissensbeständen, spezifischen Abläufen o.ä. liegen können. Sechs Fallbeispiele schildern konkrete Anwendungsfälle aus Unternehmen und zeigen, mit welchem Ergebnis der Potenzialscanner dort eingesetzt wurde. 'Lessons learned' runden die Darstellung ab.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Deutsch.