springer berlin heidelberg aug 2013 (441 risultati)

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 14th International Conference on Electronic Commerce and Web Technologies (EC-Web) held in Prague, Czech Republic, in August 2013. In 2013, EC-Web focused on recommender systems, semantic e-business, business services and process management, and agent-based e-commerce. The 13 full and 6 short papers accepted for EC-Web, selected from 43 submissions, were carefully reviewed based on their originality, quality, relevance, and presentation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Second European Conference on Service-Oriented and Cloud Computing, ESOCC 2013, held in Málaga, Spain, in September 2013. The 11 full papers presented together with 4 short papers were carefully reviewed and selected from 44 submissions. The volume also contains 3 papers from the industrial track. Service-oriented computing including Web services as its most important implementation platform has become the most important paradigm for distributed software development and application. The papers illustrate how cloud computing aims at enabling mobility as well as device, platform and/or service independence by offering centralized sharing of resources. It promotes interoperability, portability and security standards, and raises a completely new set of security issues.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 13th Agent-Oriented Software Engineering (AOSE) workshop, held at the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, in Valencia, Spain, in June 2012.This volume presents 9 thoroughly revised papers selected from 24 submissions as well as two invited articles by leading researchers in the field. The papers cover a broad range of topics related to software engineering of agent-based systems, with particular attention to the integration of concepts and techniques from multi-agent systems with recent programming languages, platforms, and established software engineering methodologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeInvited Talks.- Witness Runs for Counter Machines (Abstract).- On the Duality of Proofs and Countermodels in Labelled Sequent Calculi.- A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions.- Research Papers.- Dealing with Symmetries in Modal Tableaux.- Tableaux for Verification of Data-Centric Processes.- Bounded Proofs and Step Frames.- Compression of Propositional Resolution Proofs by Lowering Subproofs.- A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.- Hypersequent and Labelled Calculi for Intermediate Logics.- TATL: Implementation of ATL Tableau-Based Decision Procedure.- A Terminating Evaluation-Driven Variant of G3i.- Model Checking General Linear Temporal Logic.- Semantically Guided Evolution of SHI ABoxes.- Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture.- Understanding Resolution Proofs through Herbrand's Theorem.- A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search.- A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI.- Prefixed Tableau Systems for Logic of Proofs and Provability.- Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5.- Schemata of Formulæ in the Theory of Arrays.- TAFA - A Tool for Admissibility in Finite Algebras.- Formalizing Cut Elimination of Coalgebraic Logics in Coq.- Intelligent Tableau Algorithm for DL Reasoning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2012 Workshops LENLS, JURISIN, ALSIP, MiMI, which tool place onNovember/December 2012, respectively, in Miyazaki, Japan. The 17 contributions in this volume were carefully reviewed and selected from 42 submissions.They are an excellent selection of papers that are representative of topics of AI research both in Japan an in other parts of the world. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics; its topics are the formal and theoretical aspects of natural language. JURISIN (Juris-Informatics) deals with juris-informatics. This workshop brings together people from various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional ¿AI and law¿ area. MiMI (Multimodality in Multispace Interaction) focuses on how multispace is managed in socially, temporally, and sequentially complex environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book grew out of the First Symposium on the Personal Web, co-located with CASCON 2010 in Markham, Ontario, Canada. The purpose of the symposium was to bring together prominent researchers and practitioners from a diverse range of research areas relevant to the advancement of science and practice relating to the Personal Web. Research on the Personal Web is an outgrowth of the Smart Internet initiative, which seeks to extend and transform the web to be centred on the user, with the web as a calm platform ubiquitously providing cognitive support to its user and his or her tasks. As with the preceding SITCON workshop (held at CASCON 2009), this symposium involved a multi-disciplinary effort that brought together researchers and practitioners in data integration; web services modelling and architecture; human-computer interaction; predictive analytics; cloud infrastructure; semantics and ontology; and industrial application domains such as health care and finance.The discussions during the symposium dealt with different aspects of the architecture and functionality needed to make the Personal Web a reality. After the symposium the authors reworked their presentations into draft chapters that were submitted for peer evaluation and review. Every chapter went through two rounds of reviewing by at least two independent expert reviewers, and accepted chapters were then revised and are presented in this book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2013, held in Prague, Czech Republic, in August 2013, held in conjunction with DEXA 2013. The 7 revised long papers presented together with 4 short papers were carefully reviewed and selected from numerous submissions. The papers address the following topics: critical health and intelligent systems in medical research, and obstetrics, neonatology and decision systems in cardiology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeAccess control and authentication.- Identity and trust management.- privacy and confidentiality management.- Information systems security.- Security policies/legal issues.-Trust and privacy in mobile and pervasive environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held inPorquerolles, Francein September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of two workshops MAIR/AE-CAI 2013, held in conjunction with MICCAI 2013, held in Nagoya, Japan, in September 2013. The 29 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers cover a wide range of topics addressing the main research efforts in the fields of medical image formation, analysis and interpretation, augmented reality and visualization, computer assisted intervention, interventional imaging, image-guided robotics, image-guided intervention, surgical planning and simulation, systematic extra- and intra-corporeal imaging modalities, and general biological and neuroscience image computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The volume LNCS 8155 constitutes the refereed proceedings of the 19th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2013, held in Giessen, Germany, in September 2013. The 8 papers presented were carefully reviewed and selected from 26 submissions. The scope of the workshop spans the following areas the theoretical and practical aspects of a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS), to provide a platform for presenting and discussing new ideas and results, to support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned, to identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 11th International Conference on Business Process Management, BPM 2013, held in Beijing, China, in August 2013. The 17 regular papers and 8 short papers included in this volume were carefully reviewed and selected from 118 submissions. The papers are organized in 7 topical sections named: process mining; conformance checking; process data; process model matching; process architectures and collaboration; as well as alternative perspectives, and industry paper.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the joint refereed proceedings of the 13 International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking, NEW2AN, and the 6th Conference on Internet of Things and Smart Spaces, ruSMART 2013, held in St. Petersburg, Russia, in August 2013. The total of 38 papers was carefully reviewed and selected for inclusion in this book. The 14 papers selected from ruSMART are organized in topical sections named: internet on things, smart spaces technologies; and smart systems. The 24 papers from NEW2AN deal with the following topics: performance and efficiency analysis, network and transport layer issues; cognitive radio networks; sensor and mesh networks; upper layer protocols and applications; ad-hoc, cellular and satellite networks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013. The 23 regular papers were carefully reviewed and selected from 44 submissions and presented with four invited talks. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This edition will feature two special sessions: Argumentation Technologies and Norms and Normative Multi-Agent Systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The book constitutes the proceedings of the 23rd International Conference on Artificial Neural Networks, ICANN 2013, held in Sofia, Bulgaria, in September 2013. The 78 papers included in the proceedings were carefully reviewed and selected from 128 submissions. The focus of the papers is on following topics: neurofinance graphical network models, brain machine interfaces, evolutionary neural networks, neurodynamics, complex systems, neuroinformatics, neuroengineering, hybrid systems, computational biology, neural hardware, bioinspired embedded systems, and collective intelligence.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 664 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2013 held in Prague, Czech Republic, in August 2013.The 24 revised full papers and 8 short papers presented were carefully reviewed and selected from 89 submissions. The papers are organized in topical sections on modeling and ETL, query optimization and parallelism, spatial data warehouses and applications, text mining and OLAP, recommendation and prediction, data mining optimization and machine learning techniques, mining and processing data streams, clustering and data mining applications, social network and graph mining, and event sequence and Web mining.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 11th German Conference on Multiagent System Technologies, MATES 2013, held in Koblenz, Germany, in September 2013. The 29 revised full papers and 3 keynote talks presented were carefully reviewed and selected from various submissions. The papers cover a broad area of topics of interest ranging from issues of agent-based coordination to simulation to negotiation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2013, held in Prague, Czech Republic, in August 2013, in conjunction with DEXA 2013. The 25 revised full papers presented together with two invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in the following topical sections: MAS in automation and manufacturing; design, simulation and validation; MAS in transportation systems; industrial applications; and new trends.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The book of nature is written in the language of mathematics -- Galileo GalileiHow is it possible to predict weather patterns for tomorrow, with access solely to today¿s weather data And how is it possible to predict the aerodynamic behavior of an aircraft that has yet to be built The answer is computer simulations based on mathematical models ¿ sets of equations ¿ that describe the underlying physical properties. However, these equations are usually much too complicated to solve, either by the smartest mathematician or the largest supercomputer. This problem is overcome by constructing an approximation: a numerical model with a simpler structure can be translated into a program that tells the computer how to carry out the simulation.This book conveys the fundamentals of mathematical models, numerical methods and algorithms. Opening with a tutorial on mathematical models and analysis, it proceeds to introduce the most important classes of numerical methods, with finite element, finite difference and spectral methods as central tools. The concluding section describes applications in physics and engineering, including wave propagation, heat conduction and fluid dynamics. Also covered are the principles of computers and programming, including MATLAB®.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Buch. Condizione: Neu. Neuware -Domain engineering is a set of activities intended to develop, maintain, and manage the creation and evolution of an area of knowledge suitable for processing by a range of software systems. It is of considerable practical significance, as it provides methods and techniques that help reduce time-to-market, development costs, and project risks on one hand, and helps improve system quality and performance on a consistent basis on the other.In this book, the editors present a collection of invited chapters from various fields related to domain engineering. The individual chapters present state-of-the-art research and are organized in three parts. The first part focuses on results that deal with domain engineering in software product lines. The second part describes how domain-specific languages are used to support the construction and deployment of domains. Finally, the third part presents contributions dealing with domain engineering within the field of conceptual modeling.All chapters utilize a similar terminology, which will help readers to understand and relate to the chapters content. The book will be especially rewarding for researchers and students of software engineering methodologies in general and of domain engineering and its related fields in particular, as it contains the most comprehensive and up-to-date information on this topic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeAlgorithms.- Formal methods.-Emerging fieldsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 21st Annual European Symposium on Algorithms, ESA 2013, held in Sophia Antipolis, France, in September 2013 in the context of the combined conference ALGO 2013. The 69 revised full papers presented were carefully reviewed and selected from 303 initial submissions: 53 out of 229 in track 'Design and Analysis' and 16 out of 74 in track 'Engineering and Applications'. The papers in this book present original research in all areas of algorithmic research, including but not limited to: algorithm engineering; algorithmic aspects of networks; algorithmic game theory; approximation algorithms; computational biology; computational finance; computational geometry; combinatorial optimization; data compression; data structures; databases and information retrieval; distributed and parallel computing; graph algorithms; hierarchical memories; heuristics and meta-heuristics; mathematical programming; mobile computing; on-line algorithms; parameterized complexity; pattern matching; quantum computing; randomized algorithms; scheduling and resource allocation problems; streaming algorithms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 848 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the First International Conference on Geometric Science of Information, GSI 2013, held in Paris, France, in August 2013. The nearly 100 papers presented were carefully reviewed and selected from numerous submissions and are organized into the following thematic sessions: Geometric Statistics on Manifolds and Lie Groups, Deformations in Shape Spaces, Differential Geometry in Signal Processing, Relational Metric, Discrete Metric Spaces, Computational Information Geometry, Hessian Information Geometry I and II, Computational Aspects of Information Geometry in Statistics, Optimization on Matrix Manifolds, Optimal Transport Theory, Probability on Manifolds, Divergence Geometry and Ancillarity, Entropic Geometry, Tensor-Valued Mathematical Morphology, Machine/Manifold/Topology Learning, Geometry of Audio Processing, Geometry of Inverse Problems, Algebraic/Infinite dimensional/Banach Information Manifolds, Information Geometry Manifolds, and Algorithms on Manifolds.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 900 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This two volume set LNCS 8055 and LNCS 8056 constitutes the refereed proceedings of the 24th International Conference on Database and Expert Systems Applications, DEXA 2013, held in Prague, Czech Republic, August 23-29, 2013. The 43 revised full papers presented together with 33 short papers, and 3 keynote talks, were carefully reviewed and selected from 174 submissions. These papers discuss a range of topics including: search queries; indexing; discovery of semantics; parallel processing; XML and RDF; enterprise models; query evaluation and optimization; semantic Web; sampling; industrial applications; communities; AI and databases; matching and searching; information extraction; queries, streams, and uncertainty, storage and compression; query processing; security; distributed data processing; metadata modeling and maintenance; pricing and recommending; and security and semantics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 14th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security, CMS 2013, held in Magdeburg, Germany, in September 2013. The 5 revised full papers presented together with 11 short papers, 5 extended abstracts describing the posters that were discussed at the conference, and 2 keynote talks were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on biometrics; applied cryptography; digital watermarking, steganography and forensics; and social network privacy, security and authentication.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book gives an introduction to themechanical behavior and degradation of dental ceramics and guides the reader through their performance under effect of oral environments. It addresses the different kinds of dental ceramics, their properties, degradation and mechanical aspects with less emphasys on the physics and chemistry involved, which makes the reading interesting for beginners in the field. In each chapter, the reader will learn about the mechanical behavior of dental ceramics and each phenomenon involved in their application, besides finding some practical examples of their use in dental clinics, their manufacturing procedures and types of degradation. The clear language and the application-oriented perspective of the book makes it suitable for both professionals and students who want to learn about dental ceramics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 96 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 868 pp. Englisch.