springer berlin heidelberg jan 2005 (111 risultati)

Taschenbuch. Condizione: Neu. Neuware -Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The RSA Conferenceis attended by over10,000securityprofessionalseach year. The Cryptographers¿ Track (CT-RSA), one of several parallel tracks at the c- ference, provides an excellent opportunity for cryptographers to showcase their research to a wide audience. CT-RSA 2005 was the fth year of the Cryptog- phers¿ Track. The selection process for the CT-RSA program is the same as for other cryptography research conferences. This year, the program committee selected 23 papers from 74submissions (two of whichwerelater withdrawn) that covered all aspects of cryptography. The program also included two invited talks by Cynthia Dwork and Moti Yung. These proceedings contain the revised versions of the selected papers. The revisions were not checked, and so the authors (and not the committee) bear full responsibility for the contents of their papers. I am very grateful to the program committee for their very conscientious e orts to review each paper fairly and thoroughly. The initial review stage was followed by a tremendous amount of discussion which contributed to our high con denceinour judgements.Thanks alsoto the manyexternalreviewerswhose names arelisted in the followingpages.My apologiesto thosewhose nameswere inadvertently omitted from this list. Thanks to Eddie Ng for maintaining the submission server and the Web reviewsystem.ThesubmissionsoftwarewaswrittenbyChanathipNamprempre, and the Web review software by Wim Moreau and Joris Claessens. Thanks to AlfredHofmannandhiscolleaguesatSpringerforthetimelyproductionofthese proceedings.Finally, it is my pleasureto acknowledgeAri Juels and MikeSzydlo of RSA Laboratories for their assistance and cooperation during the past seven months.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume consists of the refereed papers presented at the Indonesia-Japan Joint Conference on Combinatorial Geometry and Graph Theory (IJCCGGT 2003), held on September 13¿16, 2003 at ITB, Bandung, Indonesia. This conf- ence can also be considered as a series of the Japan Conference on Discrete and Computational Geometry (JCDCG), which has been held annually since 1997. The rst ve conferences of the series were held in Tokyo, Japan, the sixth in Manila, the Philippines, in 2001, and the seventh in Tokyo, Japan in 2002. The proceedings of JCDCG 1998, JCDCG 2000 and JCDCG 2002 were p- lished by Springer as part of the series Lecture Notes in Computer Science: LNCS volumes 1763, 2098 and 2866, respectively. The proceedings of JCDCG 2001 were also published by Springer as a special issue of the journal Graphs and Combinatorics, Vol. 18, No. 4, 2002. TheorganizersaregratefultotheDepartmentofMathematics,InstitutTek- logi Bandung (ITB) and Tokai University for sponsoring the conference. We also thank all program committee members and referees for their excellent work. Our big thanks to the principal speakers: Hajo Broersma, Mikio Kano, Janos Pach andJorgeUrrutia.Finally,ourthanksalsogoestoallourcolleagueswhoworked hard to make the conference enjoyable and successful. August 2004 Jin Akiyama Edy Tri Baskoro Mikio Kano Organization The Indonesia-Japan Joint Conference on Combinatorial Geometry and Graph Theory (IJCCGGT) 2003 was organized by the Department of Mathematics, InstitutTeknologiBandung(ITB)IndonesiaandRIED,TokaiUniversity ,Japan.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Inrecentresearchoncomputervisionsystems,attentionhasbeenplayingacrucialrolein mediatingbottom-upandtop-downpathsofinformationprocessing. Inappliedresearch, the development of enabling technologies such as miniaturized mobile sensors, video surveillance systems, and ambient intelligence systems involves the real-time analysis of enormous quantities of data. Knowledge has to be applied about what needs to be attendedto,andwhen,andwhattodoinameaningfulsequence,incorresp ondencewith visual feedback. Methods on attention and control are mandatory to render computer vision systems more robust. The 2nd International Workshop on Attention and Performance in Computational Vision (WAPCV 2004) was held in the Czech Technical University of Prague, Czech Republic, as an associated workshop of the 8th European Conference on Computer - sion (ECCV 2004). The goal of this workshop was to provide an interdisciplinary forum tocommunicatecomputationalmodelsofvisualattentionfromvariousviewpoints,such as from computer vision, psychology, robotics and neuroscience. The motivation for - terdisciplinarity was communication and inspiration beyond the individual community, to focus discussion on computational modelling, to outline relevant objectives for p- formance comparison, to explore promising application domains, and to discuss these with reference to all related aspects of cognitive vision. The workshop was held as a single-day, single-track event, consisting of high-quality podium and poster presen- tions. Invited talks were given by John K. Tsotsos about attention and feature binding in biologically motivated computer vision and by Gustavo Deco about the context of attention, memory and reward from the perspective of computational neuroscience. The interdisciplinary program committee wascomposed of 21 internationally r- ognized researchers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -claritywas¿AProvablyCorrectCompilerforE cientModelCheckingofMobile Processes,¿byPingYang,YifeiDong,C.R.Ramakrishnan,andScottA.Smolka.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Buch. Condizione: Neu. Neuware -The Physics of the Early Universe is an edited and expanded version of the lectures given at a recent summer school of the same name. Its aim is to present an advanced multi-authored textbook that meets the needs of both postgraduate students and young researchers interested in, or already working on, problems in cosmology and general relativity, with emphasis on the early universe. A particularly strong feature of the present work is the constructive-critical approach to the present mainstream theories, the careful assessment of some alternative approaches, and the overall balance between theoretical and observational considerations. As such, this book will also benefit experienced scientists and nonspecialists from related areas of research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Swarm robotics can be defined as the study of how a swarm of relatively simple physically embodied agents can be constructed to collectively accomplish tasks that are beyond the capabilities of a single one. Unlike other studies on multi-robot systems, swarm robotics emphasizes self-organization and emergence, while keeping in mind the issues of scalability and robustness. These emphases promote the use of relatively simple robots, equipped with localized sensing ability, scalable communication mechanisms, and the exploration of decentralized control strategies.This state-of-the-art survey is the first book devoted to swarm robotics. It is based on the First International Workshop on Swarm Robotics held in Santa Monica, CA, USA in July 2004 as part of SAB 2004 192 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -A central theme in the study of dynamic systems is the modelling and control of uncertain systems. While ¿uncertainty¿ has long been a strong motivating factor behind many techniques developed in the modelling, control, statistics and mathematics communities, the past decade, in particular, has witnessed remarkable progress in this area with the emergence of a number of powerful newmethodsforbothmodellingandcontrollinguncertaindynamicsystems. The speci c objective of this book is to describe and review some of these exciting new approaches within a single volume. Our approach was to invite some of the leading researchers in this area to contribute to this book by submitting both tutorial papers on their speci c area of research, and to submit more focussed research papers to document some of the latest results in the area. We feel that collecting some of the main results together in this manner is particularly important as many of the important ideas that emerged in the past decade were derived in a variety of academic disciplines. By providing both tutorial and researchpaperswehopetobeabletoprovidetheinterestedreaderwithsu cient background to appreciate some of the main concepts from a variety of related, but nevertheless distinct elds, and to provide a avor of how these results are currently being used to cope with ¿uncertainty. ¿ It is our sincere hope that the availability of these results within a single volume will lead to further cro- fertilization of ideas and act as a spark for further research in this important area of applied mathematics. 360 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International Conference on Implemen- tion and Application of Automata, CIAA 2004. Also included are the extended abstracts of the posters accepted to the conference. The conference was held at Queen¿s University in Kingston, Ontario, Canada on July 22¿24, 2004. As for its predecessors, the theme of CIAA 2004 was the implementation of automata and grammars of all types and their application in other elds. The topics of the papers presented at the conference range from applications of automata in natural language and speech processing to protein sequencingandgenecompression,andfromstatecomplexityandnewalgorithms for automata operations to applications of quantum nite automata. The25regularpapersand14posterpaperswereselectedfrom62submissions totheconference.EachsubmittedpaperwasevaluatedbyatleastthreeProgram Committee members, with the help of external referees. Based on the referee reports, the paper ¿Substitutions, Trajectories and Noisy Channels¿ by L. Kari, S. Konstantinidis and P. Sos¿ k was chosen as the winner of the CIAA 2004 Best Paper Award. The award is sponsored by the University of California at Santa Barbara. The authors of the papers presented here come from the following countries and regions: Austria, Canada, Czech Republic, Finland, France, Germany, Hong Kong, Netherlands, Portugal, Russia, Slovakia, South Africa, Spain, UK, and USA. 356 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The theme ¿Build and Conquer¿ chosen for this year¿s conference fully represents what we (the organizers) want to put across to the software community: software development is an engineering discipline, and not an artistic expression. Once we are ready to ¿build¿ our software systems using pieces previously builtin (similar to any other technology manufacturer), we will be able to ¿conquer¿ the software engineering process. If we take a look at other engineering disciplines such as car manufacturing, house appliances or aeronautics, we see that the final products are built through the integration of multiprovider commercial components. These components are successfully integrated and constitute an important part of the final product. Most software-related organizations still build software from scratch, omitting thousands of ready-built commercially available software components that could be used very effectively during the development phase. This year ICCBSS moves to Europe for the first time since the first conference took place in Orlando, FL, USA in 2002. The conference scope has enlarged over the years to include the Open Source community and Web Services technologies. The reason for this is that I believe both are considered components-off-the-shelf, so many of the characteristics of COTS are also applied to Open Source and Web Services. Due to this, we will enjoy the presence of keynote speakers and researchers presenting on these two topics for the first time.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In many industries the tariffs are not strictly proportional to the quantity purchased, i. e, they are nonlinear. Examples of nonlinear tariffs include railroad and electricity schedules and rental rates for durable goods and space. The major justification for the nonlinear pricing is the existence of private information on the side of consumers. In the early papers on the subject, private information was captured either by assuming a finite number of types (e. g. Adams and Yellen, 1976) or by a unidimensional continuum of types (Mussa and Rosen, 1978). Economics of the unidimen sional problems is by now well understood. The unidimensional models, however, do not cover all the situations of practical interest. Indeed, often the nonlinear tariffs specify the payment as a function of a variety of characteristics. For example, railroad tariffs spec ify charges based on weight, volume, and distance of each shipment. Dif ferent customers may value each of these characteristics differently, hence the customer's type will not in general be captured by a unidimensional characteristic and a problem of multidimensional screening arises. In such models the consumer's private information (her type) is captured by an m¿dimensional vector, while the good produced by the monopolist has n quality dimensions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Workshop on Quality of Service in Multiservice IP Networks, QoS-IP 2005, held in Catania, Italy in February 2005.The 50 revised full papers presented were carefully reviewed and selected from around 100 submissions. The papers are organized in topical sections on analytical models, traffic characterization, MPLS failure and restoration, network planning and dimensioning, DiffServ and InfServ, routing, software routers, network architectures for QoS provisioning, multiservice in wireless networks, TCP in special environments, and scheduling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 676 pp. Englisch.

Buch. Condizione: Neu. Neuware -The various processes that connect the physics of the Sun with that of the Earth`s environment has become known as 'Space Weather' during recent years, a slogan that has emerged in connection with many other expressions adapted from meteorology, such as solar wind, magnetic clouds or polar rain. This volume is intended as a first graduate-level textbook-style account on the physics of these solar-terrestrial relations and their impact on our natural and technological environment.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.

Buch. Condizione: Neu. Neuware -Creativity plays an important role in all human activities, from the visual arts to cinema and theatre, and in particular in science and mathematics .This volume, published only in English in the series 'Mathematics and Culture', stresses the strong links between mathematics, culture and creativity in architecture, contemporary art, geometry, computer graphics, literature, theatre and cinema. So this book is designed not only for mathematicians but for all the people who have an interest in the various aspects of culture, both scientific and literary, with a special emphasis on the visual aspects.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -IJCNLP 2004 heralded a new era for computational linguistics and natural l- guage processing in Asia, as it coincided with the launching of the Asian F- eration of NLP Associations (AFNLP) in Sanya, Hainan, China. This was a timely development for the most populous and linguistically diversi ed region in the world, and there is little wonder that this conference managed to draw over 200 participants. Following an enthusiastic response to the call for papers from 19regionsand the vigorousand rigorouse ortsof the ProgramCommittee Co-chairs, the sizable collection of papers presented at this conference enabled AFNLP to be compared with related organizations such as COLING and ACL, which have been in existence for more than 40 years. Theorganizersrecognizedthatitisimportantforseriousattemptstobemade to increaseandimprovee ortsinthis areaallacrossAsia.Towardsthisend,and to contribute to a better awarenessof topical issues, IJCNLP 2004 included two panels of special interest: (1) Panel on Emerging Asian Language Processing E orts, and (2) Panel on Multilingual NLP for Public Information Services, which was devoted to the NLP requirements envisioned by the organizers of the 2008 Olympics. There were also two thematic sessions on (a) Natural Language TechnologyinMobileInformationRetrievalandTextProcessingUserInterfaces, and(b)TextMininginBiomedicine.Theo eringsofthisconferencewerefurther enriched by tutorials and workshops as well as an Asian Symposium on Natural Language Processing to Overcome Language Barriers, organized as a satellite eventbytheInstitute ofElectronics,InformationandCommunicationEngineers (IEICE) and the Communications Research Laboratory (CRL) of Japan.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 840 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -publication support from Springer.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 752 pp. Englisch.

Buch. Condizione: Neu. Neuware -Epigenetics refers to heritable patterns of gene expression which do not depend on alterations of genomic DNA sequence.This book provides a state-of-the-art account of a few selected hot spots by scientists at the edge in this extremely active field. It puts special emphasis on two main streams of research. One is the role of post-translational modifications of proteins, mostly histones, on chromatin structure and accessibility. The other one deals with parental genomic imprinting, a process which allows to express a few selected genes from only one of the parental allele while extinguishing the other.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Buch. Condizione: Neu. Neuware -The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism, with profound impact in technology and serving as the basis for a revolution in electronics. Our understanding of the physics of magnetic nanostructures has also advanced significantly. This rapid development has generated a need for a comprehensive treatment that can serve as an introduction to the field for those entering it from diverse fields, but which will also serve as a timely overview for those already working in this area. The four-volume work Ultra-Thin Magnetic Structures aims to fulfill this dual need. The original two volumes ¿ now available once more ¿ are An Introduction to the Electronic, Magnetic and Structural Properties (this volume) and 'Measurement Techniques and Novel Magnetic Properties.' Two new volumes, 'Fundamentals of Nanomagnetism' and 'Applications of Nanomagnetism,' extend and complete this comprehensive work by presenting the foundations of spintronics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Buch. Condizione: Neu. Neuware -W.S. Leal: Pheromone Reception.- J.G. Millar: Pheromones of True Bugs.- W. Francke, K. Dettner: Chemical Signalling in Beetles.- P. Laurent, J.-C. Braekman, D. Daloze: Insect Chemical Defense.- B.V. Burger: Mammalian Semiochemicals.- S.R. Chhabra, B. Philipp, L. Eberl, M. Givskov, P. Williams, M. Cámara: Extracelluar Communication in Bacteria. 352 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In today¿s society the issue of security has become a crucial one. The use of knowledge-based technology in security applications emerges with important applications in monitoring, control, crisis, and rescue management. This volume contains extended and improved versions of selected contributions presented at the International Workshop 'Monitoring, Security and Rescue Techniques in Multiagent Systems' (MSRAS 2004) held in Plock, Poland, June 7-9, 2004, bringing together the world¿s leading researchers in the field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 612 pp. Englisch.

Buch. Condizione: Neu. Neuware -Since 1995, when Costas Fotakis first brought together restorers and scientists to discuss the potential of lasers in art conservation, the field has grown enormously in importance, and today restorers and laser scientists work together to develop new applications. This book presents the more than six dozen research papers prepared for LACONA V (Lasers in Art Conservation), held in Osnabrueck/Germany in September 2003. The fifth congress once again gathered restorers, art historians, museum staff, laser scientists and laser manufacturers. The topics include, among others: laser cleaning of artworks (case studies and side effects), removal of former conservation layers, fundamentals of laser-artwork interaction, online monitoring and process control, laser diagnostics, spectroscopy for monitoring and identification, networks and cooperation projects.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book is an up-to-date treatment of optical fiber fusion splicing incorporating all the recent innovations in the field. It provides a toolbox of general strategies and specific techniques that the reader can apply when optimizing fusion splices between novel fibers. It specifically addresses considerations important for fusion splicing of contemporary specialty fibers including dispersion compensating fiber, erbium-doped gain fiber, polarization maintaining fiber, and microstructured fiber. Finally, it discusses the future of optical fiber fusion splicing including silica and non-silica based optical fibers as well as the trend toward increasing automation. Whilst serving as a self-contained reference work, abundant citations from the technical literature will enable readers to readily locate primary sources.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Buch. Condizione: Neu. Neuware -Wenn man auf den Internet-Seiten des Bundesministeriums für Wirtschaft und Arbeit das Stichwort ¿Controlling¿ aufruft, findet man diesen Satz: ¿Viel zu we- ge Unternehmen betrachten das Controlling in guten Zeiten als Managementa- gabe. Folge: Controlling wird vor allem in kleinen und mittleren Unternehmen stark vernachlässigt. Aber: Schnell verändernde Marktbedingungen (u.a. Nachf- geveränderungen, neue Konkurrenten) oder interne Faktoren im Unternehmen (z.B. hohe Belastungen durch Zinsen und Tilgungen) zwingen Unternehmer dazu, präziser zu planen und heute die Weichen für morgen zu stellen: eben durch C- trolling.¿ Es lohnt sich also für die Verantwortlichen eines Unternehmens, sich mit Contr- ling und den Controlling-Methoden auseinanderzusetzen. Dabei soll Sie dieses Buch unterstützen. Ziel dieses Buches ist es, auf der Grundlage einer praxiserprobten Controller- Leistung gleichsam eine roadmap zur Einführung eines funktionsfähigen Contr- lings in einem Unternehmen zu liefern. Es soll also ein Praktiker-Buch sein, das Sie nun in Händen haben, in dem allerdings die wichtigsten modernen wiss- schaftlichen Erkenntnisse nicht fehlen. Dieses Buch soll Sie begleiten, wenn Sie als Leiter eines Unternehmens den C- trolling-Prozeß installieren oder verbessern wollen. Insbesondere auch die in - pitel 6 beschriebenen Controlling-Projekte mit den im Anhang beigefügten F- mularen werden Sie unterstützen, wenn Ihr Unternehmen ¿out of balance¿ geraten ist. Dabei ist es unerheblich, ob Sie die in diesem Buch beschriebenen Erfahr- gen in einem größeren oder einem eher mittlerem Unternehmen umsetzen wollen. Problemstellungen und Lösungen sind davon unberührt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Deutsch.

Buch. Condizione: Neu. Neuware -Die Autorin untersucht am Beispiel umweltvölkerrechtlicher Verträge, inwiefern inhaltliche Überschneidungen und Konflikte zwischen Ansätzen, Zielen und konkreten Regelungen der betroffenen Verträge bestehen und welche Konsequenzen dies für ein kohärentes Regelungsgefüge im Völkerrecht hat.Mit dem Ziel, Wege zur Koordinierung völkerrechtlicher Verträge und zur Herstellung eines möglichst kohärenten Geflechts völkerrechtlicher Regelungen aufzuzeigen, werden das gesamte Völkervertragsrecht sowie institutionelle 'Global Governance'-Mechanismen analysiert. Auf diese Weise verbindet das Buch eine detaillierte und umfassende Erörterung völkervertragsrechtlicher Ansätze mit neuen Lösungswegen zur Bewältigung eines Problems, das in seiner Bedeutung nicht auf das Umweltvölkerrecht beschränkt ist.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Inrecentresearchoncomputervisionsystems,attentionhasbeenplayingacrucialrolein mediatingbottom-upandtop-downpathsofinformationprocessing. Inappliedresearch, the development of enabling technologies such as miniaturized mobile sensors, video surveillance systems, and ambient intelligence systems involves the real-time analysis of enormous quantities of data. Knowledge has to be applied about what needs to be attendedto,andwhen,andwhattodoinameaningfulsequence,incorresp ondencewith visual feedback. Methods on attention and control are mandatory to render computer vision systems more robust. The 2nd International Workshop on Attention and Performance in Computational Vision (WAPCV 2004) was held in the Czech Technical University of Prague, Czech Republic, as an associated workshop of the 8th European Conference on Computer - sion (ECCV 2004). The goal of this workshop was to provide an interdisciplinary forum tocommunicatecomputationalmodelsofvisualattentionfromvariousviewpoints,such as from computer vision, psychology, robotics and neuroscience. The motivation for - terdisciplinarity was communication and inspiration beyond the individual community, to focus discussion on computational modelling, to outline relevant objectives for p- formance comparison, to explore promising application domains, and to discuss these with reference to all related aspects of cognitive vision. The workshop was held as a single-day, single-track event, consisting of high-quality podium and poster presen- tions. Invited talks were given by John K. Tsotsos about attention and feature binding in biologically motivated computer vision and by Gustavo Deco about the context of attention, memory and reward from the perspective of computational neuroscience. The interdisciplinary program committee was composed of 21 internationally r- ognized researchers. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information.The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field. 308 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains a selection of refereed papers from participants of the workshop Construction and Analysis of Safe, Secure and Interoperable Smart Devices (CASSIS), held from the 10th to the 13th March 2004 in Marseille, France: The workshop was organized by INRIA (Institut National de Recherche en InformatiqueetenAutomatique),Franceandthe UniversitydelaM editerran ee, Marseille, France. The workshop was attended by nearly 100 participants, who were invited for their contributions to relevant areas of computer science. Theaimoftheworkshopwastobringtogetherexpertsfromthesmartdevic es industry and academic researchers, with a view to stimulate research on formal methods and security, and to encourage the smart device industry to adopt innovative solutions drawn from academic research. The next generation of smart devices holds the promise of providing the required infrastructure for the secure provision of multiple and personalized services. In order to deliver their promise, the smart device technology must however pursue the radical evolution that was initiated with the adoption of multi-application smartcards. Typical needs include: The possibility for smart devices to feature extensible computational infr- tructures that may be enhanced to support increasingly complex appli- tions that may be installed post-issuance, and may require operating system functionalities that were not pre-installed. Such additional exibility must however not compromise security. The possibility for smart devices to achieve a better integration with larger computersystems,throughimprovedconnectivity,genericity,aswellasint- operability. 272 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of declarativeconcepts,includingfunctional,logic,constraints,etc.De clarativel- guages build on sound theoretical foundations to provide attractive frameworks for application development. These languages have been successfully applied to a wide array of di erent real-world situations, including database management, active networks, software engineering, decision support systems, or music c- position; whereas new developments in theory and implementation have opened up new application areas. Inversely, applications often drive the progress in the theory and implementation of declarative systems, as well as bene t from this progress. The 7th PADL Symposium was held in Long Beach, California on January 10 11, 2005, and was co-located with ACM s Principles of Programming L- guages(POPL).From36 submitted papers,the ProgramCommittee selected 17 papers for presentation at the symposium, based upon at least three reviews for eachpaper,providedfromProgramCommitteemembersandadditionalreferees. Two invited talks were presented at the conference: one by Norman R- sey (Harvard University) entitled Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction ; and a second by Saumya Debray (University of Arizona) entitled Code Compression. Following what has become a tradition in PADL symposia, the Program Committee selected one paper to receive the Most Practical Paper award. This year the paper judged the best in terms of practicality, originality, and claritywas AProvablyCorrectCompilerforE cientModelCheckingofMobile Processes, byPingYang,YifeiDong,C.R.Ramakrishnan,andScottA.Smolka. 296 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -SAC 2004 was the eleventh in a series of annual workshops on Selected Areas in Cryptography. This was the second time that the workshop was hosted by the University of Waterloo, Ontario, with previous workshops being held at Queen'sUniversityinKingston(1994,1996,1998and1999),CarletonUnivers ity in Ottawa (1995, 1997 and 2003), the Fields Institute in Toronto (2001) and Memorial University of Newfoundland in St. John's (2002). The primary intent of the workshop was to provide a relaxed atmosphere in which researchers in cryptography could present and discuss new work on selected areas of current interest. This year's themes for SAC were: - Design and analysis of symmetric key cryptosystems. - Primitives for symmetric key cryptography, including block and stream - phers, hash functions, and MAC algorithms. - E cient implementation of cryptographic systems in public and symmetric key cryptography. - Cryptographic solutions for mobile (web) services. A record of 117 papers were submitted for consideration by the program committee. After an extensive review process, 25 papers were accepted for p- sentation at the workshop (two of these papers were merged). Unfortunately, many good papers could not be accommodated this year. These proceedings contain the revised versions of the 24 accepted papers. The revised versions were not subsequently checked for correctness. Also, we were very fortunate to have two invited speakers at SAC 2004. - Eli Biham arranged for some breaking news in his talk on 'New Results on SHA-0 and SHA-1.' This talk was designated as the Sta ord Tavares L- ture. 372 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International Conference on Implemen- tion and Application of Automata, CIAA 2004. Also included are the extended abstracts of the posters accepted to the conference. The conference was held at Queen's University in Kingston, Ontario, Canada on July 22-24, 2004. As for its predecessors, the theme of CIAA 2004 was the implementation of automata and grammars of all types and their application in other elds. The topics of the papers presented at the conference range from applications of automata in natural language and speech processing to protein sequencingandgenecompression,andfromstatecomplexityandnewalgorithms for automata operations to applications of quantum nite automata. The25regularpapersand14posterpaperswereselectedfrom62submissions totheconference.EachsubmittedpaperwasevaluatedbyatleastthreeProgram Committee members, with the help of external referees. Based on the referee reports, the paper 'Substitutions, Trajectories and Noisy Channels' by L. Kari, S. Konstantinidis and P. Sos k was chosen as the winner of the CIAA 2004 Best Paper Award. The award is sponsored by the University of California at Santa Barbara. The authors of the papers presented here come from the following countries and regions: Austria, Canada, Czech Republic, Finland, France, Germany, Hong Kong, Netherlands, Portugal, Russia, Slovakia, South Africa, Spain, UK, and USA. 356 pp. Englisch.