Editore: Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642045804 ISBN 13: 9783642045806
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -The objective of this state-of-the-art survey is to give a coherent overview of the main topics and results achieved by the Network of Excellence REWERSE on 'Reasoning on the Web', funded by the European Commission and Switzerland within the '6th Framework Programme' (FP6), from 2004 to 2008. The material has been organized into eight chapters, each of which addresses one of the main topics of REWERSE: hybrid reasoning with rules and ontologies, lessons in versatility or how query languages adapt to the Web, evolution and reactivity in the Semantic Web, rule-based policy representations and reasoning, component models for Semantic Web languages, controlled English for reasoning on the Semantic Web, semantic search with GoPubMed, and information integration in bioinformatics with ontologies and standards. Each chapter gives an in-depth coverage of the subject and provides an extensive bibliography with pointers to further literature. 396 pp. Englisch.
Editore: Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642044336 ISBN 13: 9783642044335
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -MobiSec 2009 was the first ICST conference on security and privacy in mobile information and communication systems. With the the vast area of mobile technology research and application, the intention behind the creation of MobiSec was to make a small, but unique contribution to build a bridge between top-level research and large scale application of novel kinds of information security for mobile devices and communication. The papers at MobiSec 2009 dealt with a broad variety of subjects ranging from issues of trust in and security of mobile devices and embedded hardware security, over efficient cryptography for resource-restricted platforms, to advanced applications such as wireless sensor networks, user authentication, and privacy in an environment of autonomously communicating objects. With hindsight a leitmotif emerged from these contributions, which corrobarated the idea behind MobiSec; a set of powerful tools have been created in various branches of the security discipline, which await combined application to build trust and security into mobile (that is, all future) networks, autonomous and personal devices, and pervasive applications 300 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642043410 ISBN 13: 9783642043413
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -On behalf of the Program Committee, it is our pleasure to present the p- ceedings of the 12th International Symposium on Recent Advances in Intrusion Detection systems (RAID 2009),which took place in Saint-Malo,France, during September 23¿25. As in the past, the symposium brought together leading - searchers and practitioners from academia, government, and industry to discuss intrusion detection research and practice. There were six main sessions prese- ingfullresearchpapersonanomalyandspeci cation-basedapproaches,malware detection and prevention, network and host intrusion detection and prevention, intrusion detection for mobile devices, and high-performance intrusion det- tion. Furthermore, there was a poster session on emerging research areas and case studies. The RAID 2009ProgramCommittee received59 full paper submissionsfrom all over the world. All submissions were carefully reviewed by independent - viewers on the basis of space, topic, technical assessment, and overall balance. The nal selection took place at the Program Committee meeting on May 21 in Oakland, California. In all, 17 papers were selected for presentation and p- lication in the conference proceedings. As a continued feature, the symposium accepted submissions for poster presentations which have been published as - tended abstracts, reporting early-stage research, demonstration of applications, or case studies. Thirty posters were submitted for a numerical review by an independent, three-person sub-committee of the Program Committee based on novelty, description, and evaluation. The sub-committee recommended the - ceptance of 16 of these posters for presentation and publication. The success of RAID 2009 depended on the joint e ort of many people.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642044336 ISBN 13: 9783642044335
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -MobiSec 2009 was the first ICST conference on security and privacy in mobile information and communication systems. With the the vast area of mobile technology research and application, the intention behind the creation of MobiSec was to make a small, but unique contribution to build a bridge between top-level research and large scale application of novel kinds of information security for mobile devices and communication.The papers at MobiSec 2009 dealt with a broad variety of subjects ranging from issues of trust in and security of mobile devices and embedded hardware security, over efficient cryptography for resource-restricted platforms, to advanced applications such as wireless sensor networks, user authentication, and privacy in an environment of autonomously communicating objects. With hindsight a leitmotif emerged from these contributions, which corrobarated the idea behind MobiSec; a set of powerful tools have been created in various branches of the security discipline, which await combined application to build trust and security into mobile (that is, all future) networks, autonomous and personal devices, and pervasive applicationsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642042597 ISBN 13: 9783642042591
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the International Conference on Personal Satellite Services (PSATS 2009) in Rome, Italy in March 2009.The 17 papers papers demonstrate recent advances in Internet applications over satellites, satellites technologies, and future satellite location-based systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642046665 ISBN 13: 9783642046667
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Computer Vision Systems, ICVS 2009, held in Liege, Belgium, October 13-15, 2009.The 21 papers for oral presentation presented together with 24 poster presentations and 2 invited papers were carefully reviewed and selected from 96 submissions. The papers are organized in topical sections on human-machine-interaction, sensors, features and representations, stereo, 3D and optical flow, calibration and registration, mobile and autonomous systems, evaluation, studies and applications, learning, recognition and adaption.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642044700 ISBN 13: 9783642044700
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -e ciently.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642041426 ISBN 13: 9783642041426
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th German Conference on Multiagent Systems Technologies, MATES 2009, held in Hamburg, Germany in September 2009 - colocated with the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X) and the 5th International Workshop on Modelling of Objects, Components, and Agents (MOCA 2009). The 14 revised full papers, 10 short papers, and 5 exhibition papers presented together with one invited talk were carefully reviewed and selected from 44 submissions. The papers present and discuss the latest advances of research and development in the area of autonomous agents and multiagent systems ranging from theoretical and methodological issues to applications in various fields. 308 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642040756 ISBN 13: 9783642040757
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Workshop on Haptic and Audio Interaction Design, HAID 2009 held in Dresden, Germany in September 2009. The 17 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on haptic communication and perception, navigation and guidance, visual impairment, vibrotactile feedback and music, multimodal user interfaces: design and evaluation, and multimodal gaming. 180 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642044379 ISBN 13: 9783642044373
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Digital Watermarking, IWDW 2008, held in Busan, Korea, in November 2008. The 36 regular papers included in the volume were carefully reviewed and selected from 62 submissions. Areas of interest to the conference are mathematical modeling of embedding and detection; information theoretic, stochastic aspects of data hiding; security issues, including attacks and counter-attacks; combination of data hiding and cryptography; optimum watermark detection and reliable recovery; estimation of watermark capacity; channel coding techniques for watermarking; large-scale experimental tests and benchmarking; new statistical and perceptual models of content; reversible data hiding; data hiding in special media; data hiding and authentication; steganography and steganalysis; data forensics; copyright protection, DRM, and forensic watermarking; and visual cryptography.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642044301 ISBN 13: 9783642044304
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Information Hiding, IH 2009, held in Darmstadt, Germany, in June 2009. The 19 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on steganography, steganalysis, watermarking, fingerprinting, hiding in unusual content, novel applications and forensics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642001270 ISBN 13: 9783642001277
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware -In a Darwinian world, religious behavior - just like other behaviors - is likely to have undergone a process of natural selection in which it was rewarded in the evolutionary currency of reproductive success. This book aims to provide a better understanding of the social scenarios in which selection pressure led to religious practices becoming an evolved human trait, i.e. an adaptive answer to the conditions of living and surviving that prevailed among our prehistoric ancestors. This aim is pursued by a team of expert authors from a range of disciplines. Their contributions examine the relevant physiological, emotional, cognitive and social processes. The resulting understanding of the functional interplay of these processes gives valuable insights into the biological roots and benefits of religion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642044190 ISBN 13: 9783642044199
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and abstractions which are describing various computational processes. Topics of interest include reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems, reachability problems in logic and verification, reachability analysis in different computational models, counter, timed, cellular, communicating automata, Petri-Nets, computational aspects of algebraic structures and predictability in iterative maps and new computational paradigms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 364203831X ISBN 13: 9783642038310
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -First established in 1993 with a conference in Elba, Italy, COSIT (the International C- ference on Spatial Information Theory) is widely acknowledged as one of the most - portant conferences for the field of spatial information theory. This conference series brings together researchers from a wide range of disciplines for intensive scientific - changes centered on spatial information theory. COSIT submissions typically address research questions drawn from cognitive, perceptual, and environmental psychology, geography, spatial information science, computer science, artificial intelligence, cog- tive science, engineering, cognitive anthropology, linguistics, ontology, architecture, planning, and environmental design. Some of the topical areas include, for example, the cognitive structure of spatial knowledge; events and processes in geographic space; incomplete or imprecise spatial knowledge; languages of spatial relations; navigation by organisms and robots; ontology of space; communication of spatial information; and the social and cultural organization of space to name a few. This volume contains the papers presented at the 9th International Conference on Spatial Information Theory, COSIT 2009, held in Aber Wrac¿h, France, September 21¿25, 2009. For COSIT 2009, 70 full paper submissions were received. These papers were carefully reviewed by an international Program Committee based on relevance to the conference, intellectual quality, scientific significance, novelty, relation to previously published literature, and clarity of presentation. After reviewing was completed, 30 papers were selected for presentation at the conference and appear in this volume. This number of papers reflects the high quality of submissions to COSIT this year. 520 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642035515 ISBN 13: 9783642035517
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the Third International Workshop on Critical Information Infrastructure Security (CRITIS 2008),which was held - tober 13¿15, 2008 in Villa Mondragone (Rome), Italy, and was co-organized by AIIC (The Italian Society of Critical Infrastructures Experts) and ENEA (The Italian National Agency for New Technology, Energy and the Environment). This year¿s workshop was focused on an interdisciplinary and multifaced - alogue about the third millennium security strategies for critical information infrastructures (CII) and their protection (CIP). The aim was to explore the new challenges posed by the CII, bringing together researchersand professionals from universities, private companies and public administrations interested in all security-related aspects, and actively involved in the scienti c communities at a national, European and trans-European level. More than 70 papers were submitted to the conference, which were screened by a very selective double-blind review process to identify the 39 papers selected for presentation, based on their signi cance, novelty and technical quality. - visions were not checked and the authors bear full responsibility for the content of their papers. CRITIS 2008 also had six outstanding invited speakers: Erol Gelenbe (- perial College, UK), Massoud Amin (University of Minnesota, USA), George Apostolakis(MIT,USA),AndreaValboni(Microsoft,Italy),SujeetShenoi(U- versity of Tulsa, USA) and Angelo Marino (DG Information Society and Media, European Commission).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642045804 ISBN 13: 9783642045806
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -The objective of this state-of-the-art survey is to give a coherent overview of the main topics and results achieved by the Network of Excellence REWERSE on 'Reasoning on the Web', funded by the European Commission and Switzerland within the '6th Framework Programme' (FP6), from 2004 to 2008. The material has been organized into eight chapters, each of which addresses one of the main topics of REWERSE: hybrid reasoning with rules and ontologies, lessons in versatility or how query languages adapt to the Web, evolution and reactivity in the Semantic Web, rule-based policy representations and reasoning, component models for Semantic Web languages, controlled English for reasoning on the Semantic Web, semantic search with GoPubMed, and information integration in bioinformatics with ontologies and standards. Each chapter gives an in-depth coverage of the subject and provides an extensive bibliography with pointers to further literature.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642047602 ISBN 13: 9783642047602
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 364204378X ISBN 13: 9783642043789
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the Second International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT 2009), held in Orlando, Florida on September 30, 2009 in conjunction with the 11th International Conference on Ubiquitous Computing (Ubicomp 2009). MELT provides a forum for the presentation of state-of-the-art technologies in mobile localization and tracking and novel applications of location-based s- vices. MELT 2009 continued the success of the rst workshop in the series (MELT 2008), which was held is San Francisco, California on September 19, 2008 in conjunction with Mobicom. Location-awareness is a key component for achieving context-awareness. - cent years have witnessed an increasing trend towards location-based services and applications. In most cases, however, location information is limited by the accessibility to GPS, which is unavailable for indoor or underground fac- ities and unreliable in urban environments. Much research has been done, in both the sensor network community and the ubiquitous computing community, to provide techniques for localization and tracking in GPS-less environments. Novel applications based on ad-hoc localization and real-time tracking of - bile entities are growing as a result of these technologies. MELT brings together leaders from both the academic and industrial research communities to discuss challenging and open problems, to evaluate pros and cons of various approaches, to bridge the gap between theory and applications, and to envision new research opportunities.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642047653 ISBN 13: 9783642047657
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -The NordSec workshops were started in 1996 with the aim of bringing together - searchers and practitioners within computer security in the Nordic countries ¿ thereby establishing a forum for discussions and co-operation between universities, industry and computer societies. Since then, the workshop has developed into a fully fledged inter- tional information security conference, held in the Nordic countries on a round robin basis. The 14th Nordic Conference on Secure IT Systems was held in Oslo on 14-16 October 2009. Under the theme Identity and Privacy in the Internet Age, this year's conference explored policies, strategies and technologies for protecting identities and the growing flow of personal information passing through the Internet and mobile n- works under an increasingly serious threat picture. Among the contemporary security issues discussed were security services modeling, Petri nets, attack graphs, electronic voting schemes, anonymous payment schemes, mobile ID-protocols, SIM cards, n- work embedded systems, trust, wireless sensor networks, privacy, privacy disclosure regulations, financial cryptography, PIN verification, temporal access control, random number generators, and some more. As a pre-cursor to the conference proper, the Nordic Security Day on Wednesday 14 October hosted talks by leading representatives from industry, academia and the g- ernment sector, and a press conference was given.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642037976 ISBN 13: 9783642037979
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 31st Symposium of the German Association for Pattern Recognition, DAGM 2009, held in Jena, Germany, in September 2009. The 56 revised full papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on motion and tracking; pedestrian recognition and automotive applications; features; single-view and 3D reconstruction; learning and classification; pattern recognition and estimation; stereo and multi-view reconstruction; image analysis and applications; and segmentation. 584 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642047432 ISBN 13: 9783642047435
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -As genome-sequencing costs continue their downward spiral, sequencing of closely related organisms has become increasingly a ordable. The growing amount of genomic data available demands for the constant development of computational tools to be applied in comparative genomics. The RECOMB Workshop on C- parative Genomics (RECOMB-CG) is devoted to bringing together scientists working on all aspects of comparative genomics, from computer scientists, ma- ematicians and statisticians working on novel computational approaches for genome analysis and comparison, to biologists applying these computational tools to study the structure and the evolution of prokaryotic and eukaryotic genomes. This volume contains the 19 papers presented at the 7th Annual RECOMB-CG workshop held during September 27¿29, 2009 at the Renyi Institute, in Budapest, Hungary. The papers published in these proceedings were selected for oral p- sentation from 31 submissions from scientists around the world. Each paper was reviewed by at least three members of the Program Committee in a stringent and thoughtful peer-review process.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642047343 ISBN 13: 9783642047343
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -For many years Leonard Bolc has played an important role in the Polish computer science community. He is especially known for his clear vision in the development of artificial intelligence, inspiring research, organizational and editorial achievements in areas such as e.g.: logic, automatic reasoning, natural language processing, and computer applications of natural language or human-like reasoning.This Festschrift volume, published to honor Leonard Bolc on his 75th birthday includes 17 refereed papers by leading researchers, his friends, former students and colleagues to celebrate his scientific career. The essays present research in the areas which Leonard Bolc and his colleagues investigated during his long scientific career.The volume is organized in three parts; the first is devoted to logic - the domain which was one of the most explored by Leonard Bolc himself. The second part contains papers focusing on different aspects of computational linguistics; the third part comprises papers describing different applications in which natural language processing or automatic reasoning plays an important role.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642046932 ISBN 13: 9783642046933
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -The RV series of workshops brings together researchers from academia and - dustry that are interested in runtime veri cation. The goal of the RV workshops is to study the ability to apply lightweight formal veri cation during the exe- tion of programs. This approach complements the o ine use of formal methods, which often use large resources. Runtime veri cation methods and tools include the instrumentation of code with pieces of software that can help to test and monitor it online and detect, and sometimes prevent, potential faults. RV 2009 was held during June 26¿28 in Grenoble, adjacent to CAV 2009. The program included 11 accepted papers. Two invited talks were given by AmirPnueli,on¿CompositionalApproachtoMonitoringLinearTemporalLogic Properties¿ and Sriram Rajamani on ¿Veri cation, Testing and Statistics.¿ The program also included three tutorials. We would like to thank the members of the Program Committee and ad- tional referees for the reviewing and participation in the discussions. 212 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642042155 ISBN 13: 9783642042157
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed post-conference proceedings of the 15th International Workshop on Groupware: Design, Implementation, and Use, held in Peso da Régua, Douro, Portugal, during September 13-17, 2009. The 30 papers presented were carefully reviewed and selected from numerous submission. The topics covered are mobile collaboration, social aspects of collaboration, technology for CSCW, groupware evaluation, CSCW design, geo collaboration, collaborative learning, and modeling CSCW. 384 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642045588 ISBN 13: 9783642045585
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the first International Workshop on Quality of Context, QuaCon 2009, held in Stuttgart, Germany, in June 2009. The 11 revised papers presented were carefully reviewed and selected from 19 submissions and included in the volume together with 5 invited papers. Discussed are interdisciplinary approaches to context quality, such as models for degradation and consistency of context data, spatial ontologies and spatial data mining, trust in context data, methods and calculi for context quality assessment, frameworks and metrics for context quality, uncertainty in sensor data processing, quality-aware algorithms for context management, quality-aware event and stream processing, uncertainty in reasoning on context data, application-specific context quality and case studies, and visualization of context quality.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642034586 ISBN 13: 9783642034589
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -The Joint Workshop on ¿Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security¿ (ARSPA-WITS 2009) was held in York, UK, March 28¿29, 2009, in association with ETAPS 2009. ARSPA is a series of workshops on ¿Automated Reasoning for Security P- tocol Analysis,¿ bringing together researchers and practitioners from both the security andthe formalmethods communities,from academiaand industry,who are working on developing and applying automated reasoning techniques and tools for the formal speci cation and analysis of security protocols. The rst two ARSPA workshops were held as satellite events of the Second International JointConferenceon Automated Reasoning(IJCAR 2004)andof the 32nd Int- nationalColloquiumonAutomata,LanguagesandProgramming(ICALP2005), respectively. ARSPA then joined forces with the workshop FCS (Foundations of Computer Security): FCS-ARSPA 2006 was a liated with LICS 2006, in the context of FLoC 2006,and FCS-ARSPA 2007 was a liated with LICS 2007 and ICALP 2007. WITSistheo cialannualworkshoporganizedbytheIFIP WG1.7on¿T- oretical Foundations of Security Analysis and Design,¿ established to promote the investigation on the theoretical foundations of security, discovering and p- moting new areas of application of theoretical techniques in computer security and supporting the systematic use of formal techniques in the development of security-related applications. This is the ninth meeting in the series. In 2008, ARSPA and WITS joined with the workshop on Foundations of Computer - curityFCSforajointworkshop,FCS-ARSPA-WITS2008,associatedwithLICS 2008 and CSF 21.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642027792 ISBN 13: 9783642027796
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 74,89
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware -After some decades of work a satisfactory theory of quantum gravity is still not available; moreover, there are indications that the original field theoretical approach may be better suited than originally expected. There, to first approximation, one is left with the problem of quantum field theory on Lorentzian manifolds. Surprisingly, this seemingly modest approach leads to far reaching conceptual and mathematical problems and to spectacular predictions, the most famous one being the Hawking radiation of black holes. Ingredients of this approach are the formulation of quantum physics in terms of C\*-algebras, the geometry of Lorentzian manifolds, in particular their causal structure, and linear hyperbolic differential equations where the well-posedness of the Cauchy problem plays a distinguished role, as well as more recently the insights from suitable concepts such as microlocal analysis. This primer is an outgrowth of a compact course given by the editors and contributing authors to an audience of advanced graduate students and young researchers in the field, and assumes working knowledge of differential geometry and functional analysis on the part of the reader.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642005403 ISBN 13: 9783642005404
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 74,89
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware -'Geometry and Physics' addresses mathematicians wanting to understand modern physics, and physicists wanting to learn geometry. It gives an introduction to modern quantum field theory and related areas of theoretical high-energy physics from the perspective of Riemannian geometry, and an introduction to modern geometry as needed and utilized in modern physics. Jürgen Jost, a well-known research mathematician and advanced textbook author, also develops important geometric concepts and methods that can be used for the structures of physics. In particular, he discusses the Lagrangians of the standard model and its supersymmetric extensions from a geometric perspective.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3540689664 ISBN 13: 9783540689669
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 85,55
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware -Progress continues in the theoretical treatment of surfaces and processes on surfaces based on first-principles methods, i.e. without invoking any empirical parameters. In this book, the theoretical concepts and computational tools necessary and relevant for a microscopic approach to the theoretical description of surface science is presented, together with a detailed discussion of surface phenomena. This makes the book suitable for both graduate students and for experimentalists seeking an overview of the theoretical concepts in surface science. This second enlarged edition has been carefully revised and updated, a new chapter on surface magnetism is included, and novel developments in theoretical surface science are addressed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009
ISBN 10: 3642043798 ISBN 13: 9783642043796
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 106,99
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -Welcome to the proceedings of the 9th International Conference on Intelligent Virtual Agents, held September 14¿16, 2009 in Amsterdam, The Netherlands. Intelligent virtual agents (IVAs) are interactive characters that exhibit hum- like qualities and communicate with humans or with each other using natural human modalities such as speech and gesture. They are capable of real-time perception, cognition and action, allowing them to participate in a dynamic physical and social environment. IVA is an interdisciplinary annual conference and the main forum for p- senting research on modeling, developing and evaluating IVAs with a focus on communicative abilities and social behavior. The development of IVAs requires expertise in multimodal interaction and several AI elds such as cognitive m- eling, planning, vision and natural language processing. Computational models are typically based on experimental studies and theories of human¿human and human¿robot interaction; conversely, IVA technology may provide interesting lessons for these elds. The realization of engaging IVAs is a challenging task, so reusable modules and tools are of great value. The elds of application range from robot assistants, social simulation and tutoring to games and artistic - ploration. 592 pp. Englisch.