springer berlin heidelberg springer berlin heidelberg jun 2005 (174 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.

Taschenbuch. Zustand: Neu. Neuware -Automatic person authentication, the identification and verification of an individual as such, has increasingly been acknowledged as a significant aspect of various security applications. Various recognition and identification systems have been based on biometrics utilizing biometric features such as fingerprint, face, retina scans, iris patterns, hand geometry, DNA traces, gait, and others.This book originates from an international summer school on biometrics, held in Alghero, Italy, in June 2003. The seven revised tutorial lectures by leading researchers introduce the reader to biometrics-based person authentication, fingerprint recognition, gait recognition, various aspects of face recognition and face detection, topologies for biometric recognition, and hand detection. Also included are the four best selected student papers, all dealing with face recognition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -their manuscript to a scienti c journal, rather than publish it in the conference proceedings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The belief that a committee of people make better decisions than any individual is widely held and appreciated. We also understand that, for this to be true, the members of the committee have to be simultaneously competent and comp- mentary. This intuitive notion holds true for committees of data sources (such as sensors) and models (such as classi ers). The substantial current research in the areas of data fusion and model fusion focuses on ensuring that the di - ent sources provide useful information but nevertheless complement one another to yield better results than any source would on its own. During the 1990s, a variety of schemes in classi er fusion, which is the focus of this workshop, were developed under many names in di erent scienti c communities such as machine learning, pattern recognition, neural networks, and statistics. The previous ve workshops on Multiple Classi er Systems (MCS) were themselves exercises in information fusion, with the goal of bringing the di erent scienti c commu- ties together, providing each other with di erent perspectives on this fascinating topic, and aiding cross-fertilization of ideas. These ve workshops achieved this goal, demonstrating signi cant advances in the theory, algorithms, and appli- tions of multiple classi er systems. Followingits vepredecessorspublishedbySpringer,thisvolumecontainsthe proceedings of the 6th International Workshop on Multiple Classi er Systems (MCS2005)heldattheEmbassySuitesinSeaside,California,USA,June13¿15, 2005. Forty-two papers were selected by the Scienti c Committee, and they were organized into the following sessions: Boosting, Combination Methods, Design of Ensembles, Performance Analysis, and Applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name ¿Mathematics Mechanization¿ has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age. The International Workshop on Mathematics Mechanization (IWMM) was initiated by Prof. Wu in 1992, and has ever since been held by the Key L- oratory of Mathematics Mechanization (KLMM) of the Chinese Academy of Sciences. There have been seven workshops of the series up to now. At each workshop, several experts are invited to deliver plenary lectures on cutting-edge methods and algorithms of the selected theme. The workshop is also a forum for people working on related subjects to meet, collaborate and exchange ideas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Extreme Programming has come a long way since its rst use in the C3 project almost 10 years ago. Agile methods have found their way into the mainstream, and at the end of last year we saw the second edition of Kent Beck¿s book on Extreme Programming, containing a major refactoring of XP. This year, the 6th International Conference on Extreme Programming and Agile Processes in Software Engineering took place June 18¿23 in She eld. As in the yearsbefore, XP 2005provideda unique forum for industry and academic professionals to discuss their needs and ideas on Extreme Programming and - ile methodologies. These proceedings re ect the activities during the conference which ranged from presentation of research papers, invited talks, posters and demonstrations, panels and activity sessions, to tutorials and workshops. - cluded are also papers from the Ph.D. and Master¿s Symposium which provided a forum for young researchers to present their results and to get feedback. Asvariedastheactivities werethe topicsofthe conferencewhichcoveredthe presentationofnewandimprovedpractices,empiricalstudies,experiencereports and case studies, and last but not least the social aspects of agile methods. The papers and the activities went through a rigorous reviewing process. Each paper was reviewed by at least three Program Committee members and wasdiscussedcarefullyamongtheProgramCommittee.Of62paperssubmitted, only 22 were accepted as full papers. 352 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the refereed proceedings of the 3rd International Conf- ence on Sequences and Their Applications (SETA 2004), held in Seoul, Korea during October 24¿28, 2004. The previous two conferences, SETA 1998 and SETA 2001, were held in Singapore and Bergen, Norway, respectively. These conferences are motivated by the many widespread applications of sequences in modern communication systems. These applications include pseudorandom sequences in spread spectrum systems, code-division multiple-access, stream ciphers in cryptography and several connections to coding theory. The Technical Program Committee of SETA 2004 received 59 submitted - pers, many more than the submissions to previous SETA conferences. The C- mittee therefore had the di cult task of selecting the 33 papers to be presented at the Conference in addition to four invited papers. The authors of papers p- sented at the conference were invited to submit full papers that were refereed before appearing in this proceedings. These proceedings have been edited by the Co-chairs of the Technical P- gram Committee for SETA 2004: Tor Helleseth of the University of Bergen, Norway, and Dilip Sarwate of the University of Illinois at Urbana-Champaign, USA, and Technical Program Committee members Hong-Yeop Song of Yonsei University, Korea, and Kyeongcheol Yang of Pohang University of Science and Technology, Korea.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -We welcome you to the proceedings of IWQoS 2005 held at the University of Passau, in the beautiful state of Bavaria, Germany. We hope that all attendees enjoyed their time in that ancient and historic city. Quality of Service(QoS) continues to be an important area of research. T- ditionally very focused on the area of networking, it has grown to include mobile applications, wireless environments, 3G and 4G cellular networks, user expe- ence,overlay networks, large-scale systemsand other important areas ofappli- tion. Six full-paper sessions that comprised selected papers of very high quality were devoted to the above mentioned, cutting-edge topics in this volume. We had a fascinating cross-disciplinary program and hope to have seeded conn- tions between di erent disciplines and between industry and academia. In addition to the reviewed paper sessions, we were pleased to present two inspiring keynote speakers in this year¿s program: Randy Katz,Universityof California, Berkeley, USA, and Michael Stal,SiemensAG,Munich,Germany. One speaker being from academia and one from industry, re ected well the balanced view of this workshop. Both keynotes extended the scope of QoS and addressed pressing issues, such as ¿spam,¿ and leading trends, such as ¿service orientation,¿ and their relevance to QoS.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book provides graduate students and practitioners with knowledge of the CORBA standard and practical experience of implementing distributed systems with CORBA's Java mapping. With tested code examples that will run immediately!Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 8th International Conference on Theory and Applications of Satis ability Testing(SAT2005)providedaninternationalforumforthemostrecentresearch on the satis ablity problem (SAT). SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was the rst problem shown by Cook to be NP-complete. Despite its seemingly specialized nature, satis ability testing has proved to extremely useful in a wide range of di erent disciplines, both from a practical as well as from a theoretical point of view. For example, work on SAT continues to provide insight into various fundamental problems in computation, and SAT solving technology has advanced to the point where it has become the most e ective way of solving a number of practical problems. The SAT series of conferences are multidisciplinary conferences intended to bring together researchers from various disciplines who are interested in SAT. Topics of interest include, but are not limited to: proof systems and proof c- plexity; search algorithms and heuristics; analysis of algorithms; theories beyond the propositional; hard instances and random formulae; problem encodings; - dustrial applications; solvers and other tools. This volume contains the papers accepted for presentation at SAT 2005. The conference attracted a record number of 73 submissions. Of these, 26 papers were accepted for presentation in the technical programme. In addition, 16 - pers were accepted as shorter papers and were presented as posters during the technicalprogramme.Theacceptedpapersandposterpaperscoverthefullran ge of topics listed in the call for papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 2005 Australasian Conference on Information Security and Privacy was the tenth in the annual series that started in 1996.Over the yearsACISP has grown from a relativelysmallconferencewith a largeproportionof paperscoming from Australia into a truly international conference with an established reputation. ACISP 2005 was held at Queensland University of Technology in Brisbane, d- ing July 4¿6, 2005. This year there were 185 paper submissions and from these 45 papers were accepted. Accepted papers came from 13 countries, with the largest proportions coming from Australia (12), China (8) and Japan (6). India and Korea both contributed 2 papers and one came from Singapore. There were also 11 papers from European countries and 3 from North America. We would like to extend our sincere thanks to all authors who submitted papers to ACISP 2005. The contributed papers were supplemented by four invited talks from e- nent researchers in information security. The father-and-son team of Prof. and Dr. Bob Blakley (Texas A&M University and IBM) gave a talk entitled ¿All Sail, No Anchor III,¿ following up on a theme started at their ACISP 2000 - vited talk. Adrian McCullagh (Phillips Fox Lawyers and QUT) talked on the bene t and perils of Internet banking. Ted Dunstone (Biometix) enlightened us on multimodal biometric systems. Yvo Desmedt (University College London) elucidated the growing gap between theory and practice in information security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 604 pp. Englisch.

Buch. Zustand: Neu. Neuware -¿Don¿t miss out on China!¿ and ¿What are you doing about China ¿ Catch phrases like these are spreading among managers all over the world. Just take a brief look at the business class occupancy of flights from Europe, North America or Japan to major Chinese cities: This gives you a glimpse of how business people are attracted by steady growth rates of 6 percent to 10 percent. It also indicates how much attention is given to a market featuring 1.3 billion potential consumers and a government committed to rapidly changing the country from an agricultu- dominated developing country into one of the world¿s economic powerhouses. Most of the global industrial players have had economic ties with China for decades already, but they were further strengthened after the country¿s opening to the world in the early 1980s. Furthermore, Chinäs accession to the World Trade Or- nization is expected to catapult this already surging economy into another sphere of development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The computational paradigm considered here is a conceptual, theoretical and formal framework situated above machines and living creatures (two instant- tions), su ciently solid, and still non-exclusive, that allows us: 1. tohelpneuroscientiststoformulateintentions,questions,experiments,me- ods and explanation mechanisms assuming that neural circuits are the p- chological support of calculus; 2. to help scientists and engineers from the elds of arti cial intelligence (AI) and knowledge engineering (KE) to model, formalize and program the c- putable part of human knowledge; 3. to establish an interaction framework between natural system computation (NSC) and arti cial system computation (ASC) in both directions, from ASC to NSC (in computational neuroscience), and from NSC to ASC (in bioinspired computation). With these global purposes, we organized IWINAC 2005, the 1st International Work Conference on the Interplay Between Natural and Arti cial Computation, whichtookplaceinLasPalmasdeGranCanaria,CanaryIslands(Spain),during June 15¿18, 2005, trying to contribute to both directions of the interplay: I: From Arti cial to Natural Computation. What can computation, arti cial intelligence (AI) and knowledge engineering (KE) contribute to the und- standing of the nervous system, cognitive processes and social behavior This is the scope of computational neuroscience and cognition, which uses the computational paradigm to model and improve our understanding of natural science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 560 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The Information Society is bringing about radical changes in the way people work and interact with each other and with information. In contrast to previous information processing paradigms, where the vast majority of computer-mediated tasks were business-oriented and executed by office workers using the personal computer in its various forms (i. e. , initially alphanumeric terminals and later on graphical user interfaces), the Information Society signifies a growth not only in the range and scope of the tasks, but also in the way in which they are carried out and experienced. To address the resulting dimensions of diversity, the notion of universal access is critically important. Universal access implies the accessibility and usability of Information Society technologies by anyone, anywhere, anytime. Universal access aims to enable equitable access and active participation of potentially all citizens in existing and emerging computer-mediated human activities by developing universally accessible and usable products and services, which are capable of accommodating individual user requirements in different contexts of use and independently of location, target machine, or run-time environment. In the context of the emerging Information Society, universal access becomes predominantly an issue of design, pointing to the compelling need for devising systematic and cost-effective approaches to designing systems that accommodate the requirements of the widest possible range of end-users. Recent developments have emphasized the need to consolidate progress by means of establishing a common vocabulary and a code of design practice, which addresses the specific challenges posed by universal access.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International Conference on Reliable Software Technologies celebrated this year its tenth anniversary by going to York, UK, where the rst series of technical meetings on Ada were held in the 1970s. Besides being a beautiful and historical place in itself, York also hosts the Depa- ment of Computer Science of the local university, whose Real-Time Group has been tremendously in uential in shaping the Ada language and in the progress on real-time computing worldwide. This year¿s conference was therefore put together under exc- lent auspices, in a very important year for the Ada community in view of the forthc- ing completion of the revision process that is upgrading the language standard to face the challenges of the new millennium. The conference took place on June 20¿24, 2005. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. The conference was organized by selected staff of the University of York teamed up with collaborators from various places in Europe, in what turned out to be a very effective instance of distributed collaborative processing. The conference also enjoyed the generous support of 11 industrial sponsors.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In the era of ubiquitous computing and networking, millions of electronic devices with computing facilities in the public space are connected with each other in ad hoc ways, but are required to behave coherently. Massively multi-agent systems, MMAS can be a major design paradigm or an implementation method for ubiquitous computing and ambient intelligence. As the infrastructure of massively multi-agent systems, technologies such as grid computing together with semantic annotation can be combined with agent technology. A new system design approach, society-centered design, may be realized by embedding participatory technologies in human society.This book originates from the First International Workshop on Massively Multi-Agent Systems, MMAS 2004, held in Kyoto, Japan in December 2004. The 25 revised full selected and invited papers give an excellent introduction and overview on massively multi-agent systems. The papers are organized in parts on massively multi-agent technology, teams and organization, ubiquitous computing and ambient intelligence, and massively multi-agent systems in the public space. 368 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -'Entropy and Energy- a Universal Competition' is a students textbook as well as a scientific monograph. The concepts of entropy and energy embody the effects of random walk in a body and of deterministic strife respectively, and are therefore often in competition. The book gives instructive examples from elementary thermodynamics and physico-chemistry and extrapolates the notion to non-standard thermodynamic subjects like shape memory, dissipation of the earth's atmosphere, and sociology. The works of the thermodynamic pioneers are presented, in particular Clausius, Carathéodory, Boltzmann, Gibbs, and Planck. The laws of thermodynamics and their limitations are discussed; also the pertinacious Gibbs paradox.The reader has numerous possibilities to influence the programs and thus develop an understanding for the thermodynamic principles.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book is an outgrowth of notes compiled by the author while teaching courses for undergraduate and masters/MBA nance students at Washi- ton University in St. Louis and the Institut fur ¿ H¿ ohere Studien in Vienna. At onetime,acourseinOptionsandFutureswasconsideredanadvanced nance elective, but now such a course is nearly mandatory for any nance major and is an elective chosen by many non- nance majors as well. Moreover, students are exposed to derivative securities in courses on Investments, International Finance, Risk Management, Investment Banking, Fixed Income, etc. This - pansion of education in derivative securities mirrors the increased importance of derivative securities in corporate nance and investment management. MBA and undergraduate courses typically (and appropriately) focus on the use of derivatives for hedging and speculating. This is su cient for many students. However, the seller of derivatives, in addition to needing to und- standbuy-sidedemands,isconfrontedwiththeneedtopriceandhedge.Mo- over,thebuyerofderivatives,dependingonthedegreeofcompetitionbetween sellers, may very likely bene t from some knowledge of pricing as well. It is ¿pricing and hedging¿ that is the primary focus of this book. Through lea- ing the fundamentals of pricing and hedging, students also acquire a deeper understanding of the contracts themselves. Hopefully, this book will also be of use to practitioners and for students in Masters of Financial Engineering programs and, to some extent, Ph.D. students in nance.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Buch. Zustand: Neu. Neuware -The treatment of uncertainties in the analysis of engineering structures remains one of the premium challenges in structural mechanics. It is only in recent years that the developments in stochastic and deterministic computational mechanics began to be synchronized. In this monograph novel computational procedures for the uncertainty assessment of large finite element systems are presented. The procedures are applicable to well known problems in computational stochastic mechanics, such as the stability analysis of systems with random imperfections and the dynamic analysis of deterministic systems under stochastic loading. For the dynamic analysis of deterministic systems under stochastic loading, an efficient procedure based on the Karhunen-Loève representation of the response is presented. The capabilities of the developed procedures are demonstrated with several numerical examples.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Buch. Zustand: Neu. Neuware -DNA computation has emerged in the last ten years as an exciting new - search eld at the intersection (and, some would say, frontiers) of computer science,biology,engineering,andmathematics.AlthoughanticipatedbyFe- man as long ago as the 1950s [59], the notion of performing computations at a molecular level was only realized in 1994, with Adleman¿s seminal work [3] on computing with DNA. Since then the eld has blossomed rapidly, with signi cant theoretical and experimental results being reported regularly. Several books [120, 39] have described various aspects of DNA compu- tion, but this is, to the author¿s best knowledge, the rst to bring together descriptions of both theoreticaland experimentalresults.The targetaudience is intentionally broad, including students as well as experienced researchers. We expect that users of the book will have some background in either c- puter science, mathematics, engineering, or the life sciences. The intention is that this book be used as a tutorial guide for newcomers to the eld as well as a reference text for people already working in this fascinating area. To this end, we include two self-contained tutorial chapters (1 and 2), which convey only those aspects of computer science and biology that are required to understand the subsequent material.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains papers presented at the Eighteenth Annual Conference on Learning Theory (previously known as the Conference on Computational Learning Theory) held in Bertinoro, Italy from June 27 to 30, 2005. The technical program contained 45 papers selected from 120 submissions, 3 open problems selected from among 5 contributed, and 2 invited lectures. The invited lectures were given by Sergiu Hart on ¿Uncoupled Dynamics and Nash Equilibrium¿, and by Satinder Singh on ¿Rethinking State, Action, and Reward in Reinforcement Learning¿. These papers were not included in this volume. The Mark Fulk Award is presented annually for the best paper co-authored by a student. The student selected this year was Hadi Salmasian for the paper titled ¿The Spectral Method for General Mixture Models¿ co-authored with Ravindran Kannan and Santosh Vempala. The number of papers submitted to COLT this year was exceptionally high. In addition to the classical COLT topics, we found an increase in the number of submissions related to novel classi cation scenarios such as ranking. This - crease re ects a healthy shift towards more structured classi cation problems, which are becoming increasingly relevant to practitioners.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 712 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The computational paradigm considered here is a conceptual, theoretical and formal framework situated above machines and living creatures (two instant- tions), su ciently solid, and still non-exclusive, that allows us: 1. tohelpneuroscientiststoformulateintentions,questions,experiments,me- ods and explanation mechanisms assuming that neural circuits are the p- chological support of calculus; 2. to help scientists and engineers from the elds of arti cial intelligence (AI) and knowledge engineering (KE) to model, formalize and program the c- putable part of human knowledge; 3. to establish an interaction framework between natural system computation (NSC) and arti cial system computation (ASC) in both directions, from ASC to NSC (in computational neuroscience), and from NSC to ASC (in bioinspired computation). With these global purposes, we organized IWINAC 2005, the 1st International Work Conference on the Interplay Between Natural and Arti cial Computation, whichtookplaceinLasPalmasdeGranCanaria,CanaryIslands(Spain),during June 15¿18, 2005, trying to contribute to both directions of the interplay: I: From Arti cial to Natural Computation. What can computation, arti cial intelligence (AI) and knowledge engineering (KE) contribute to the und- standing of the nervous system, cognitive processes and social behavior This is the scope of computational neuroscience and cognition, which uses the computational paradigm to model and improve our understanding of natural science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 664 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The nineteenth biennial International Conference on Information Processing in Medical Imaging (IPMI) was held July 11¿15, 2005 in Glenwood Springs, CO, USA on the Spring Valley campus of the Colorado Mountain College. Following the successful meeting in beautiful Ambleside in England, this year¿s conference addressed important recent developments in a broad range of topics related to the acquisition, analysis and application of biomedical images. Interest in IPMI has been steadily growing over the last decade. This is p- tially due to the increased number of researchers entering the eld of medical imagingasaresultoftheWhitakerFoundationandtherecentlyformedNational Institute of Biomedical Imaging and Bioengineering. This year, there were 245 full manuscripts submitted to the conference which was twice the number s- mitted in 2003 and almost four times the number of submissions in 2001. Of these papers, 27 were accepted as oral presentations, and 36 excellent subm- sions that could not be accommodated as oral presentations were presented as posters. Selection of the papers for presentation was a di cult task as we were unable to accommodate many of the excellent papers submitted this year. All accepted manuscripts were allocated 12 pages in these proceedings. 808 pp. Englisch.

Buch. Zustand: Neu. Neuware -Computer and communication networks are among society's most important infrastructures. The internet, in particular, is a giant global network of networks with central control or administration. It is a paradigm of a complex system, where complexity may arise from different sources: topological structure, network evolution, connection and node diversity, and /or dynamical evolution. This is the first book entirely devoted to the new and emerging field of nonlinear dynamics of TCP/IP networks. It addresses both scientists and engineers working in the general field of communication networks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.

Buch. Zustand: Neu. Neuware -Plasma Physics: Confinement, Transport and Collective Effects provides an overview of modern plasma research with special focus on confinement and related issues. Beginning with a broad introduction, the book leads graduate students and researchers ¿ also those from related fields - to an understanding of the state-of-the-art in modern plasma physics. Furthermore, it presents a methodological cross section ranging from plasma applications and plasma diagnostics to numerical simulations, the latter providing an increasingly important link between theory and experiment. Effective references guide the reader from introductory texts through to contemporary research. Some related exercises in computational plasma physics are supplied on a special web siteSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 520 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -On behalf of the PROFES Organizing Committee we are proud to present to you the proceedings of the 6th International Conference on Product Focused Software Process Improvement (PROFES 2005), held in Oulu, Finland. Since 1999, PROFES has established itself as one of the recognized inter- tional software process improvement conferences. Thepurposeoftheconferenceistobringtolightthemostrecent ndingsand results in the area and to stimulate discussion between researchers, experienced professionals,andtechnologyproviders.Thelargenumberofparticipantscoming from industry con rms that the conference provides a variety of up-to-date t- ics and tackles industry problems. The main theme of PROFES is professional software process improvement (SPI) motivated by product and service quality needs. SPI is facilitated by software process assessment, software measurement, process modeling, and technology transfer. It has become a practical tool for quality software engineering and management. The conference addresses both the solutions found in practice and the relevant research results from academia. This is re ected in the 42 full papers, which are ¿ as in the years before ¿ a well-balanced mix of academic papers as well as industrial experience reports. The business of developing new applications like mobile and Internet services orenhancingthefunctionalityofavarietyofproductsusingembeddedsoftwareis rapidlygrowing,maturingandmeetingtheharshbusinessrealities.Theaccepted papers focusing on wireless and the Internet are grouped into a special ¿mobile and wireless¿ session. WewishtothankVTTElectronics,theUniversityofOuluincludingInfotech, and Fraunhofer IESE for supporting the conference. We are also grateful to the authors for high-quality papers, the Program Committee fortheir hard work in reviewing the papers, the Organizing Committee for making the event possible, and all the numerous supporters who helped in organizing this conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 608 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005. These proceedings contain all contributed papers presented at ICALP 2005, - getherwiththepapersbytheinvitedspeakersGiuseppeCastagna(ENS),Leonid Libkin (Toronto), John C. Mitchell (Stanford), Burkhard Monien (Paderborn), and Leslie Valiant (Harvard). The program had an additional invited lecture by Adi Shamir (Weizmann Institute) which does not appear in these proceedings. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS). The rst ICALP took place in 1972. This year, the ICALP program consisted of the established track A (focusing on algorithms, automata, complexity and games) and track B (focusing on logic, semantics and theory of programming), and innovated on the structure of its traditional scienti c program with the inauguration of a new track C (focusing on security and cryptography foundation). In response to a call for papers, the Program Committee received 407 s- missions, 258 for track A, 75 for track B and 74 for track C. This is the highest number of submitted papers in the history of the ICALP conferences. The P- gram Committees selected 113 papers for inclusion in the scienti c program. In particular, the Program Committee for track A selected 65 papers, the P- gram Committee for track B selected 24 papers, and the Program Committee for track C selected 24 papers. All the work of the Program Committees was done electronically. 1536 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Towrite aprefacemeansthat wehave reachedtheendofthislongway, and that in some way all the incidences and problems have been overcome. We can now say that it is really a big pleasure for us to welcome all of you to the proceedings of CAiSE 2005 which was held in Porto. CAiSE 2005 was the seventeenth in the series of International Conferences on Advanced Information Systems. Enforcing its tradition, since the late 1990s the CAiSE conferences have provided a forum for the presentation and exchange of research results and practical experiences within the eld of advanced infor- tionsystemsengineering.In2005,theconferencewashostedbytheFaculdadede Engenharia da Universidade do Porto, Portugal, going back to southern Europe, in particular to the Iberian peninsula, where CAiSE 1997 was held in Barcelona. The conference theme of CAiSE 2005 was ¿Improving Communication and Understanding ¿ Systems and Citizens.¿ Behind this theme, we nd the fact that the Internet has been changing societies and economies, and the way - stitutions and businesses operate has evolved rapidly. Most citizens are now - pected to interact directly with technology-based systems without direct human intermediation, usingdi erentinterfaceappliances.Moreover,manyinformation systems interact with each other with limited human supervision. The Internet and its infrastructure play a critical role in this evolution, and it is of the utmost importance that semantic aspects are taken into consideration on a sound basis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 604 pp. Englisch.

Buch. Zustand: Neu. Neuware -This volume offers an introduction, in the form of four extensive lectures, to some recent developments in several active topics at the interface between geometry, topology and quantum field theory. The first lecture is by Christine Lescop on knot invariants and configuration spaces, in which a universal finite-type invariant for knots is constructed as a series of integrals over configuration spaces. This is followed by the contribution of Raimar Wulkenhaar on Euclidean quantum field theory from a statistical point of view. The author also discusses possible renormalization techniques on noncommutative spaces. The third lecture is by Anamaria Font and Stefan Theisen on string compactification with unbroken supersymmetry. The authors show that this requirement leads to internal spaces of special holonomy and describe Calabi-Yau manifolds in detail. The last lecture, by Thierry Fack, is devoted to a K-theory proof of the Atiyah-Singer index theorem and discusses some applications of K-theory to noncommutative geometry. These lectures notes, which are aimed in particular at graduate students in physics and mathematics, start with introductory material before presenting more advanced results. Each chapter is self-contained and can be read independently.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -1 Introduction 1. 1 General Remarks The connective and supportive tissues constitute a considerable amount of the biomass in human and animal organisms. Characteristically, the osseous, car- laginous, and brous tissues each connect a vital part (cells) with a non-vital part, i. e. , extracellular matrix (ECM). The composition of the ECM constitutes the mechanical qualities of the respective tissue. The functional role of the bone and cartilage tissues is exhaustively discussed in the relevant literature. Whereas bone tissue provides the static and dynamic stability of the system as a whole, cartilage tissue accounts for the power transfer between bones. The articular cartilage insures a fairly friction free mobility of skeletal elements; likewise, cartilage interposed between skeletal elements allows mobility due to its reversible deformability. Under both static and dynamic con- tions, the powers transferred are remarkably large, while the ensuing mechanical force on various tissue zones varies. Tight connective tissue, especially muscle tendons and ligaments, are also part of the skeletal power transfer system. facilitating the transfer of tensile forces. The tendons of the locomotor system serve the purpose of transferring muscular - ergy to those skeletal elements to which they are attached. In this function, they are referred to as tensile tendons (¿Zugsehnen¿). Inseveral body parts, however, tendons appear in a peculiar mechanical situation: they pass around so-called - pomochlia, i. e. , bony pulleys. Hence, these tendons are referred to as wrap-around tendons (¿Gleitsehnen¿).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 84 pp. Englisch.