springer berlin heidelberg springer berlin heidelberg jun 2004 (219 resultados)

Taschenbuch. Condición: Neu. Neuware -The Internet and the World Wide Web (WWW) play an increasingly imp- tant role in our today¿s activities. More and more we use the Web to buy goods and to inform ourselves about cultural, political, economical, medical, and scienti c developments. For example, accessing ight schedules, me- cal data, or retrieving stock information become common practice in today¿s world. Many people assume that there is no one who ¿watches¿ them when accessing this data. However,sensitive userswho accesselectronic shops(e-shops) might have observedthat this assumptionoften isnot true. In many cases,E-shopstrack the users¿¿accessbehavior¿when browsingthe Web pagesof the e-shopthus deriving ¿accesspatterns¿ for individual shoppers. Therefore,this knowledge on access behavior and access patters allows the system to tailor access to Webpagesforthatusertohis/herspeci cneedsinthefuture.Thistrackingof usersmightbeconsideredharmlessand¿acceptable¿inmanycases.Howe ver, in cases when this information is used to harm a person - for example about the person¿s health problems - or to violate his/her privacy (for example nding out about his/her nancial situation), he/she would like to be sure that such tracking is impossible to protect the user¿s rights.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Writing a book is not possible without the generous input of many people. It is a pleasure to have the opportunity to thank at least some of these people. Prof. Dr. Jochen Michaelis, the supervisor of my dissertation, taught me how to do economic analysis and initiated my interest in labour market is sues. Discussions with him have always been enlightening and have greatly improved the analysis in this book. Moreover, he always encouraged me when I experienced a slump in my motivation. He never lost his calmness and good temper, not even in situations when my need for discussion must have been bothering him. Thanks for that Jochen. I'm indebted to Prof. Dr. Peter Weise for taking over the job as the sec ond referee of my thesis. He gave very valuable comments and sacrificed his christmas holiday to write the referee report as fast as possible. I also want to thank Prof. Stefan Voigt and Prof. Dr. Reinhold Kosfeld, the other two members of the dissertation committee, for the discussion during the defence of the thesis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -In recent years the management of business processes has emerged as one of the major developments to ease the understanding of, communication about, and evolution of process-oriented information systems in a variety of appli- tion domains. Based on explicit representations of business processes, process stakeholders can communicate about process structure, content, and possible improvements. Formal analysis, veri cation and simulation techniques have the potential to show de cits and to e ectively lead to better and more exible processes. Process mining facilitates the discovery of process speci cations from process logs that are readily available in many organizations. This volume of Springer¿s Lecture Notes in Computer Science contains the papers presented at the 2nd International Conference on Business Process M- agement (BPM 2004) which took place in Potsdam, Germany, in June 2004. From more than 70 submissions BPM 2004 received, 19 high-quality research papers were selected. BPM 2004 is part of a conference series that provides a forum for researchers and practitioners in all aspects of business process management. In June 2003, the 1st International Conference on Business Process Management took place in Eindhoven, The Netherlands. Its proceedings were published as Volume 2678 of Lecture Notes in Computer Science by Springer-Verlag. A previous volume (LNCS1806)onBusinessProcessManagementwasbasedonfoureventsdevoted to this topic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci cation, synthesis, veri cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re nement and logics for re nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro ted from the shared lectures of the invited speakers, and the active scienti c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002). 248 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains the accepted papers from the 3rd International School andSymposium onAdvanced Distributed Systems heldin Guadalajara,Mexico, January24¿30,2004.Thiseventwasorganizedbytheteamsmadeupofmembers of CINVESTAV Guadalajara, CUCEI, the Computer Science Department of the Centre of Research and Advances Studies at the CUCEA campus of the University of Guadalajara, Mexico, the University of Rostock, Germany and ITESO, Guadalajara. The ISSADS symposium provides a forum for scientists and people from industry to discuss the progress of applications and theory of distributedsystems.Thisyeartherewereover300participantsfrom3continents, among which about 20 percent came from industry. Theconferenceprogramconsistedof25acceptedpapersoutof46submissions and covered several aspects of distributed systems from hardware and system level up to di erent applications. These papers were selected by a peer review process, in which each paper was evaluated by at least three members of the international program committee. Inaddition,thethreeinvitedspeakers,AdolfoGuzmanArenas,YakupParker and Joaquin Vila, presented interesting overviews to current development and research directions in distributed systems. Furthermore, eight tutorials and four industrial forums from IBM, INTEL, HP and SUN enabled the participants to extend their knowledge in selected areas. A panel, which was organized by a team composed of researchersfrom the Universidadde Guadalajaraand focused on tra c control and simulation, also demonstrated the practical application of recent research in distributed systems to the problems of Guadalajara.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of mathematical principles and te- niquesthataredemonstrablyusefulinthe processofconstructingcomputerp- grams,whether implementedinhardwareorsoftware.Thefocus isontechniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programmingmethodology,programspeci cation and transformation, programming paradigms, programming calculi, and programming language - mantics. The quality of the papers submitted to the conference was in general very high, and the number of submissions was comparable to that for the previous conference. Each paper was refereed by at least four, and often more, committee members. This volume contains 19 papers selected for presentation by the program committee from 37 submissions, as well as the abstract of one invited talk: - tended Static Checking for Java by Greg Nelson, Imaging Systems Department, HP Labs, Palo Alto, California. The conference took place in Stirling, Scotland. The previous six conferences wereheld in1989inTwente,TheNetherlands;in1992inOxford,UK;in 1995in KlosterIrsee,Germany;in 1998in Marstrandnear Got ¿ eborg,Sweden;in2000in Pontede Lima,Portugal;and in 2002in Dagstuhl, Germany.The proceedingsof these conferences were published as LNCS 375, 669, 947, 1422, 1837, and 2386, respectively.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Privacy in statistical databases is about nding tradeo s to the tension between the increasing societal and economical demand for accurate information and the legal and ethical obligation to protect the privacy of individuals and enterprises, which are the source of the statistical data. Statistical agencies cannot expect to collect accurate information from individual or corporate respondents unless these feel the privacy of their responses is guaranteed; also, recent surveys of Web users show that a majority of these are unwilling to provide data to a Web site unless they know that privacy protection measures are in place. ¿Privacy in Statistical Databases2004¿ (PSD2004) was the nal conference of the CASC project (¿Computational Aspects of Statistical Con dentiality¿, IST-2000-25069). PSD2004 is in the style of the following conferences: ¿Stat- tical Data Protection¿, held in Lisbon in 1998 and with proceedings published by the O ce of O cial Publications of the EC, and also the AMRADS project SDC Workshop, held in Luxemburg in 2001 and with proceedings published by Springer-Verlag, as LNCS Vol. 2316. The Program Committee accepted 29 papers out of 44 submissions from 15 di erentcountriesonfourcontinents.Eachsubmittedpaperreceivedatleasttwo reviews. These proceedings contain the revised versions of the accepted papers. These papers cover the foundations and methods of tabular data protection, masking methods for the protection of individual data (microdata), synthetic data generation, disclosure risk analysis, and software/case studies. 384 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The rst International Symposium on the Applications of Constraint Databases (CDB2004) took place in Paris, France, on June 12¿13, 2004, just before the ACM SIGMOD and PODS conferences. Since the publication of the paper ¿Constraint Query Languages¿ by Kan- lakis, Kuper and Revesz in 1990, the last decade has seen a growing interest in constraint database theory, query evaluation, and applications, re ected in a variety of conferences, journals, and books. Constraint databases have proven to be extremely exible and adoptable in environments that relational database systems cannot serve well, such as geographic information systems and bioinf- matics. This symposium brought together people from several diverse areas all c- tributing to the practice and the application of constraint databases. It was a continuation and extension of previous workshops held in Friedrichshafen, G- many (1995), Cambridge, USA (1996), Delphi, Greece (1997), and Seattle, USA (1998) as well as of the work in the comprehensive volume ¿Constraint Data- ses¿ edited by G. Kuper, L. Libkin and J. Paredaens (2000) and the textbook ¿Introduction to Constraint Databases¿ by P. Revesz (2002). The aim of the symposium was to open new and future directions in c- straint database research; to address constraints over domains other than the reals; to contribute to a better implementation of constraint database systems, in particular of query evaluation; to address e cient quanti er elimination; and to describe applications of constraint databases.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic, and c- straint languages. Declarative languages have been studied since the inception of computer science, and continue to be a vibrant subject of investigation today due to their applicability in current application domains such as bioinformatics, network con guration, the Semantic Web, telecommunications software, etc. The 6th PADL Symposium was held in Dallas, Texas on June 18¿19, 2004, and was co-located with the Compulog-Americas Summer School on Compu- tional Logic. From the submitted papers, the program committee selected 15 for presentation at the symposium based upon three written reviews for each paper, which were provided by the members of the program committee and additional referees. Two invited talks were presented at the conference. The rst was given by Paul Hudak (Yale University) on ¿An Algebraic Theory of Polymorphic T- poral Media. ¿ The second invited talk was given by Andrew Fall (Dowlland Technologies and Simon Fraser University) on ¿Supporting Decisions in C- plex, Uncertain Domains with Declarative Languages. ¿ Following the precedent set by the previous PADL symposium, the program committee this year again selected one paper to receive the ¿Most Practical - per¿award. 268 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This year marked the coming of age of the British National Conference on Databases with its 21st conference held at Heriot-Watt University, Edinburgh, in July 2004. To mark the occasion the general theme of the conference was ¿When Data Is Key¿, reflecting not only the traditional key awarded on a 21st birthday, but also the ev- growing importance of electronic data management in every aspect of our modern lives. The conference was run as part of DAMMS (Data Analysis, Manipulation, Management and Storage) Week, which included a number of co-located and complementary conferences and workshops, including the 2nd Workshop on Teaching, Learning and Assessment in Databases (TLAD2), the BNCOD BioInformatics Workshop, and the 1st International Conference on the Future of Consumer Insight Developments in Retail Banking. The aim of this co-location was to develop synergies between the teaching, research and commercial communities involved in all aspects of database activities, and to use BNCOD as a focus for future synergies and developments within these communities. Although this is entitled the British National Conference on Databases, BNCOD has always had an international focus, and this year more than most, with the majority of the papers submitted and accepted coming from outwith the UK. 284 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -committee selected 35 papers to be presented.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 588 pp. Englisch.

Buch. Condición: Neu. Neuware -The robust capability of evolutionary algorithms (EAs) to find solutions to difficult problems has permitted them to become popular as optimization and search techniques for many industries. Despite the success of EAs, the resultant solutions are often fragile and prone to failure when the problem changes, usually requiring human intervention to keep the EA on track. Since many optimization problems in engineering, finance, and information technology require systems that can adapt to changes over time, it is desirable that EAs be able to respond to changes in the environment on their own. This book provides an analysis of what an EA needs to do to automatically and continuously solve dynamic problems, focusing on detecting changes in the problem environment and responding to those changes. In this book we identify and quantify a key attribute needed to improve the detection and response performance of EAs in dynamic environments. We then create an enhanced EA, designed explicitly to exploit this new understanding. This enhanced EA is shown to have superior performance on some types of problems. Our experiments evaluating this enhanced EA indicate some pre viously unknown relationships between performance and diversity that may lead to general methods for improving EAs in dynamic environments. Along the way, several other important design issues are addressed involving com putational efficiency, performance measurement, and the testing of EAs in dynamic environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The 15th Annual Symposium on Combinatorial Pattern Matching was held in Ciragan Palace Hotel, Istanbul, Turkey during July 5¿7, 2004. CPM 2004 - peated the success of its predecessors; it even surpassed them in terms of the numberofinvitedspeakers,thenumberofsubmissions,andthenumberofpapers accepted and presented at the conference. In response to the call for papers, CPM 2004 received a record number of 79 high-quality submissions. Each submission was reviewed by at least three program committee members and the comments were returned to the authors. Following an extensive electronic discussion period, the Program Committee accepted36ofthesubmissionstobepresentedattheconference.Theyconstitute originalresearchcontributionsincombinatorialpatternmatchingalgorithmsa nd datastructures,molecularsequenceanalysis,phylogenetictreeconstruction,and RNA and protein structure analysis and prediction. CPM 2004 had ve invited speakers. In alphabetical order they were: Evan Eichler from the University of Washington, USA, Martin Farach-Colton from Rutgers University, USA, Paolo Ferragina from the University of Pisa, Italy, Piotr Indyk from MIT, USA, and Gene Myers from the University of California, Berkeley, USA. It is impossible to organize such a successful program without the help of many individuals. We would like to express our appreciation to the authors of the submitted papers and to the program committee members and external referees, who provided timely and signi cant reviews. July 2004 S.C. Sahinalp, S. Muthukrishnan, U. Dogrusoz Organization CPM 2004 was locally organized by Bilkent University, Ankara, Turkey. Within Bilkent University, the Center for Bioinformatics (BCBI) and the Computer Engineering Department cooperated.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.

Buch. Condición: Neu. Neuware -Broader bandwidths, denser channel spacing, and higher signal intensities all makes nonlinear effects more critical to the performance of telecommunications systems. This comprehensive and didactic overview explores the nonlinear effects from a physical point of view and discusses the implications for signal capacity. Enriched with practical considerations and experimental results, the book offers special chapters dealing with applications of nonlinear effects for signal processing, ultrafast-optical switching, wavelength conversion, nonlinear amplification, and optical phase-conjugation. The author Thomas Schneider of Deutsche Telekom demonstrates how innovative thinking can actually exploit nonlinear effects to enhance bandwidth and overcome previous limitations. Equipped with chapter-end summaries and problems, this valuable reference can also serve as a graduate-level textbook.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -From the reviews:'. An excellent reference on undergraduate mathematical computing.'American Mathematical Monthly'. the book is worth buying if you want guidance in applying Maple and MATLAB to problems in the workplace.'Computing Reviews'. The presentation is unique, and extremely interesting. I was thrilled to read this text, and to learn the powerful problem-solving skills presented by these authors. I recommend the text highly, as a learning experience, not only to engineering students, but also to anyone interested in computation.'Mathematics of ComputationFor this edition four chapters have been added. Some of the chapters of the previous editions were revised using new possibilities offered by Maple and MATLAB. Some interesting web pages related to Maple and MATLAB have been added in an appendix. Moreover, the editors have created a web page (SolvingProblems.inf.ethz.ch), where all Maple and MATLAB programs are available.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -(3) to build a bridge between theory and practice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 520 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -ThisvolumeconstitutestheproceedingsoftheSixthInternationalConferenceon Flexible Query Answering Systems, FQAS 2004, held in Lyon, France, on June 24¿26, 2004. FQAS is the premier conference for researchers and practitioners concerned with the vital task of providing easy, exible, and intuitive access to information for every type of need. This multidisciplinary conference draws on several research areas, including databases, information retrieval, knowledge representation, soft computing, multimedia, and human-computer interaction. With FQAS 2004, the FQAS conference series celebrated its tenth anniversary as it has been held every two years since 1994. The overall theme of the FQAS conferences is innovative query systems aimed at providing easy, exible, and intuitive access to information. Such systems are intended to facilitate retrieval from information repositories such as databases, libraries, and the Web. These repositories are typically equipped with standard query systems that are often inadequate for users. The focus of FQAS is the development of query systems that are more expressive, informative, cooperative, productive, and intuitive to use. 516 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book is an extended collection of contributions that wereoriginally subm- ted to the 1st International Workshop on Adaptive Multimedia Retrieval (AMR 2003), which was organized as part of the 26th German Conference on Arti cial Intelligence (KI 2003),and held during September 15¿18,2003at the University of Hamburg, Germany. Motivated by the overall success of the workshop ¿ as revealed by the stimulating atmosphere during the workshop and the number of very interested and active participants ¿ we nally decided to edit a book based on revised papers that were initially submitted to the workshop. Furthermore, we invited some more introductory contributions in order to be able to provide a conclusive book on current topics in the area of adaptive multimedia retrieval systems. We hope that we were able to put together a stimulating collection of articles for the interested reader. We like to thank the organizationcommittee of the 26th German Conference on Arti cial Intelligence (KI 2003) for providing the setting and the admin- trative support in realizing this workshop as part of their program. Especially, we like to thank Christopher Habel for promoting the workshop as part of the conference program and Andreas Gun ¿ ther for his kind support throughout the organization process.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Buch. Condición: Neu. Neuware -Quantum mechanics, formulated by Werner Heisenberg in 1925, belongs among the greatest achievements of physics. 'Fundamental Physics: Heisenberg and Beyond' combines personal tributes to Werner Heisenberg with assessments of his impact on current and future developments in physics. The first part presents two essays commemorating Werner Heisenberg's 100th birthday, and these are complemented by a short and nicely illustrated biographical note in the appendix. In the second part, incisive articles by ten world-leading scientists explain important developments in fundamental physics to a broader community of interested scientists.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14¿18, 2004. It was sponsored by Ada-Europe, the European federation of national Ada societies, and Ada- Spain, in cooperation with ACM SIGAda. It was organized by members of the University of the Balearic Islands (UIB). As in past years, the conference comprised a three-day technical program, during which the papers contained in these proceedings were presented, along with vendor presentations. The technical program was bracketed by two tutorial days, when the attendees had the opportunity to catch up on a variety of topics related to the eld, at both introductory and advanced levels. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development. Invited Speakers Theconferencepresentedfourdistinguishedspeakers,whodeliveredstate-of-t- art information on topics of great importance, both for now and for the future of software engineering: ¿ S. Tucker Taft, SoftCheck Inc., USA Fixing software before it breaks: using static analysis to help solve the so- ware quality quagmire ¿ Martin Gogolla, University of Bremen, Germany Bene ts and problems of formal methods ¿ Antoni Oliv¿ e, Polytechnical University of Catalonia, Spain On the role of conceptual schemas in information systems¿ development ¿ Stephen Vinoski, IONA Technologies in Waltham, USA Can middleware be reliable Wewouldliketoexpressoursinceregratitudetothesedistinguisheds peakers, well known to the community, for sharing their insights with the conference participants. Submitted Papers Alargenumberofpapersweresubmitted,fromasmanyas15di erentcountries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Software development is being revolutionized. The heavy-weight processes of the 1980s and 1990s are being replaced by light-weight, so called agile processes. Agile processes move the focus of software development back to what really matters: running software. This is only made possible by accepting that software developmentisacreativejobdoneby,with,andforindividualhumanbeings.For this reason, agile software development encourages interaction, communication, and fun. This was the focus of the Fifth International Conference on Extreme P- grammingandAgileProcessesinSoftwareEngineeringwhichtookplacebetween June 6 and June 10, 2004 at the conference center in Garmisch-Partenkirchen at the foot of the Bavarian Alps near Munich, Germany. In this way the conference provided a unique forum for industry and academic professionals to discuss their needs and ideas for incorporating Extreme Programming and Agile Metho- logies into their professional life under consideration of the human factor. We celebrated this year¿s conference by re ecting on what we had achieved in the last half decade and we also focused on the challenges we will face in the near future. 380 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The fusion of di erent information sourcesis a persistent and intriguing issue. It hasbeenaddressedforcenturiesinvariousdisciplines,includingpoliticalscience, probability and statistics, system reliability assessment, computer science, and distributed detection in communications. Early seminal work on fusion was c- ried out by pioneers such as Laplace and von Neumann. More recently, research activities in information fusion have focused on pattern recognition. During the 1990s,classi erfusionschemes,especiallyattheso-calleddecision-level,emerged under a plethora of di erent names in various scienti c communities, including machine learning, neural networks, pattern recognition, and statistics. The d- ferent nomenclatures introduced by these communities re ected their di erent perspectives and cultural backgrounds as well as the absence of common forums and the poor dissemination of the most important results. In 1999, the rst workshop on multiple classi er systems was organized with the main goal of creating a common international forum to promote the diss- ination of the results achieved in the diverse communities and the adoption of a common terminology, thus giving the di erent perspectives and cultural ba- grounds some concrete added value. After ve meetings of this workshop, there is strong evidence that signi cant steps have been made towards this goal. - searchers from these diverse communities successfully participated in the wo- shops, and world experts presented surveys of the state of the art from the perspectives of their communities to aid cross-fertilization. 404 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains the proceedings of the 7th International Seminar on - lational Methods in Computer Science (RelMiCS 7) and the 2nd International Workshop onApplications ofKleeneAlgebra.Thecommonmeetingtookplacein Bad Malente (near Kiel), Germany,from May May 12¿17,2003.Its purpose was to bring together researchers from various subdisciplines of Computer Science, Mathematics and related elds who use the calculi of relations and/or Kleene algebra as methodological and conceptual tools in their work. This meeting is the joint continuation of two di erent series of meetings. Previous RelMiCS seminars were held in Schloss Dagstuhl (Germany) in J- uary 1994, Parati (Brazil) in July 1995, Hammamet (Tunisia) in January 1997, Warsaw (Poland) in September 1998, Quebec (Canada) in January 2000, and Oisterwijk (The Netherlands) in October 2001. The rst workshop on appli- tions of Kleene algebra was also held in Schloss Dagstuhl in February 2001. To join these two events in a common meeting was mainly motivated by the s- stantialcommoninterestsandoverlapofthetwocommunities.Wehopethatthis leads to fruitful interactions and opens new and interesting research directions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Human conversational partners are able, at least to a certain extent, to detect the speaker¿s or listener¿s emotional state and may attempt to respond to it accordingly. When instead one of the interlocutors is a computer a number of questions arise, such as the following: To what extent are dialogue systems able to simulate such behaviors Can we learn the mechanisms of emotional be- viors from observing and analyzing the behavior of human speakers How can emotionsbeautomaticallyrecognizedfromauser¿smimics,gesturesandspeech What possibilities does a dialogue system have to express emotions itself And, very importantly, would emotional system behavior be desirable at all Given the state of ongoing research into incorporating emotions in dialogue systems we found it timely to organize a Tutorial and Research Workshop on A ectiveDialogueSystems(ADS2004)atKlosterIrseein GermanyduringJune 14¿16, 2004. After two successful ISCA Tutorial and Research Workshops on Multimodal Dialogue Systems at the same location in 1999 and 2002, we felt that a workshop focusing on the role of a ect in dialogue would be a valuable continuation of the workshop series. Due to its interdisciplinary nature, the workshop attracted submissions from researchers with very di erent backgrounds and from many di erent research areas, working on, for example, dialogue processing, speech recognition, speech synthesis, embodied conversational agents, computer graphics, animation, user modelling, tutoring systems, cognitive systems, and human-computer inter- tion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Buch. Condición: Neu. Neuware -The investigation of magnetic systems where quantum effects play a dominant role has become a very active branch of solid-state-physics research in its own right. The first three chapters of the Quantum Magnetism survey conceptual problems and provide insights into the classes of systems considered, namely one-dimensional, two-dimensional and molecular magnets. The following chapters introduce the methods used in the field of quantum magnetism, including spin wave analysis, exact diagonalization, quantum field theory, coupled cluster methods and the Betheansatz. The book closes with a chapter on quantum phase transitions and a contribution that puts the wealth of phenomena into the context of experimental solid-state physics. Closing a gap in the literature, this volume is intended both as an introductory text at postgraduate level and as a modern, comprehensive reference for researchers in the field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Afterthree decadesofresearch andpractice,reuse ofexistingsoftwareartefactsremains the most promising approach to decreasing effort for software development and evo- tion, increasing quality of software artefacts and decreasing time to market of software products. Over time, we have seen impressive improvements, in extra-organizational reuse,e.g.COTS,aswellasinintra-organizationalreuse,e.g.softwareproductfami lies. Despite the successes that we, as a community, have achieved, several challenges remain to be addressed. The theme for this eighth meeting of the premier international conference on software reuse is the management of software variability for reusable software.Allreusablesoftwareoperatesinmultiplecontextsandhastoaccommodatethe differencesbetweenthesecontextsthroughvariation.Inmodernsoftware,thenumberof variation points may range in the thousands with an even larger number of dependencies between these points. Topics addressing the theme include the representation, design, assessment and evolution of software variability. The proceedings that you are holding as you read this report on the current state-- the-art in software reuse.Topics covered in the proceedings include software variability, testing of reusable software artefacts, feature modeling, aspect-oriented software de- lopment, composition of components and services, model-based approaches and several other aspects of software reuse. May 2004 Jan Bosch Charles Krueger Organizing Committee General Chair Kyo C. Kang, Pohang University of Science and Technology, Korea Program Co-chairs Jan Bosch, University of Groningen, The Netherlands Charles Krueger, BigLever Software, Inc., U.S.A.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The Third International Conference on Natural Language Generation (INLG 2004) was held from 14th to 16th July 2004 at Careys Manor, Brockenhurst, UK. Supported by the Association for Computational Linguistics Special - terest Group on Generation, the conference continued a twenty-year tradition of biennial international meetings on research into natural language generation. Recent conference venues have included Mitzpe Ramon, Israel (INLG 2000) and New York, USA (INLG 2002). It was our pleasure to invite the thriving and friendly NLG research community to the beautiful New Forest in the south of England for INLG 2004. INLG is the leading international conference in the eld of natural language generation. It provides a forum for the presentation and discussion of original research on all aspects of the generation of language, including psychological modelling of human language production as well as computational approaches to the automatic generation of language. This volume includes apaper by the keynote speaker, Ardi Roelofs of the Max Planck Institute for Psycholingu- tics and the F. C. Donders Centre for CognitiveNeuroimaging,18 regular papers reportingthelatestresearchresultsanddirections,and4studentpapersdescr- ing doctoral work in progress. These papers reveal a particular concentration of current research e ort on statistical and machine learning methods, on referring expressions, and on variation in surface realisation. The papers were selected from 46 submissions from all over the world (27 from Europe, 13 from North America, 6 from elsewhere), which were subjected to a rigorous double-blind reviewing process undertaken by our hard-working programme committee. 236 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -. . . . . . . . . . . 26 Jan Bredereke Detecting Feature Interactions: How Many Components Do We Need . . . .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Interactive Digital Storytelling has evolved as a prospering research topic banding together formerly disjointed disciplines stemming from the arts and humanities as well as computer science. It¿s tied up with the notion of storytelling as an effective means for the communication of knowledge and social values since the existence of humankind. It also builds a bridge between current academic trends investigating and formalizing computer games, and developments towards the experience-based design of human-media interaction in general. In Darmstadt, a first national workshop on Digital Storytelling was organized by ZGDV e.V. in 2000, which at that time gave an impression about the breadth of this new research field for computer graphics (DISTEL 2000). An international follow-up was planned: the 1st International Conference on Technologies for Interactive Digital Storytelling and Entertainment (TIDSE 2003). Taking place in March 2003, it showed a more focussed range of research specifically on concepts and first pro- types for automated storytelling and autonomous characters, including modelling of emotions and the user experience. At TIDSE 2004, an established and still-growing community of researchers ga- ered together to exchange results and visions. This confirms the construction of a series of European conferences on the topic ¿ together with the International Conf- ence on Virtual Storytelling, ICVS (conducted in 2001 and 2003 in France) ¿ which will be further cultivated. 328 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Software-intensive organizations cannot help but learn. A software organization that does not learn will not exist for long, because the software market is continuously on the move,because of new customerdemandsand needs, and becauseof new competitor products and services. Software organizationsmust adapt quickly to this ever-changing environment, and the capability to adapt is one of the most important aspects of lea- ing. Smart organizations will attempt to predict future software demands, and develop a corresponding knowledge road map that identi es the capabilities needed over time in order to meet these demands. Organizational learning typically occurs when experienced organization members share their knowledge with colleagues, such that the organization as a whole can pro t from the intellectual capital of its members. While knowledge is typically shared in an adhoc fashion by means of direct, face-to-face communication, a learning software organizationwill want to ensurethat this knowledgesharingoccursina systematicway, enabling it whenever and wherever it is needed. Since 1999,the annualInternationalWorkshopon LearningSoftwareOrganizations (LSO) hasprovideda communicationforumthat bringstogether academiaand industry to discuss the advancements in and to address the questions of continuous learning in software-intensive organizations. Building upon existing work on knowledge mana- ment and organizational learning, the workshop series promotes interdisciplinary - proaches from computer science and information systems, business, management and organization science as well as cognitive science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.