springer international publishing apr 2014 (337 risultati)

Taschenbuch. Condizione: Neu. Neuware -Librarians have been providing support to researchers for many years, typically with a focus on responding to researchers¿ needs for access to the existing literature. However, librarians¿ skills and expertise make them uniquely suited to provide a wide range of assistance to researchers across the entire research process, from conception of the research question to archiving of collected data at the project¿s conclusion. In response to increasingly stringent demands on researchers to share their data, and as computationally intensive and primarily data-driven scientific methods begin to take the place of traditional lab-based research, the ¿research informationist¿ has emerged as a new information profession. With a background in library and information sciences, as well as expertise in best practices for data management, grant funder policies, and informatics tools, the research informationist is capable of implementing a full suite of research support services. This book will discuss how the research informationist role has developed out of the previously established clinical informationist model and how it expands on the model of embedded librarianship. The book will also examine core competencies for the successful research informationist and the training and preparation necessary for students in library and information sciences programs, as well as currently practicing librarians. Finally, this book will consider how research informationists can form collaborative partnerships with research teams and build their services outside the walls of the library, citing practical examples of the types of support research informationists can offer.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 48 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Near Field Communication is a radio frequency technology that allows objects, such as mobile phones, computers, tags, or posters, to exchange information wirelessly across a small distance. This report on the progress of Near Field Communication reviews the features and functionality of the technology and summarizes the broad spectrum of its current and anticipated applications. We explore the development of NFC technology in recent years, introduce the major stakeholders in the NFC ecosystem, and project its movement toward mainstream adoption. Several examples of early implementation of NFC in libraries are highlighted, primarily involving the use of NFC to enhance discovery by linking books or other physical objects with digital information about library resources, but also including applications of NFC to collection management and self-checkout. Future uses of NFC in libraries, such as smart posters or other enhanced outreach, are envisioned as well as the potential for the 'touchparadigm' and 'Internet of things' to transform the ways in which library users interact with the information environment. Conscious of the privacy and security of our patrons, we also address continuing concerns related to NFC technology and its expected applications, recommending caution, awareness, and education as immediate next steps for librarians.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 96 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -From proposal to examination, producing a dissertation or thesis is a challenge. Grounded in decades of experience with research training and supervision, this fully updated and revised edition takes an integrated, down-to-earth approach drawing on case studies and examples to guide you step-by-step towards productive success.Early chapters frame the tasks ahead and show you how to get started. From there, practical advice and illustrations take you through the elements of formulating research questions, working with software, and purposeful writing of each of the different kinds of chapters, and finishes with a focus on revision, dissemination and deadlines. How to Write a Better Thesis presents a cohesive approach to research that will help you succeed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Image understanding has been playing an increasingly crucial role in several inverse problems and computer vision. Sparse models form an important component in image understanding, since they emulate the activity of neural receptors in the primary visual cortex of the human brain. Sparse methods have been utilized in several learning problems because of their ability to provide parsimonious, interpretable, and efficient models. Exploiting the sparsity of natural signals has led to advances in several application areas including image compression, denoising, inpainting, compressed sensing, blind source separation, super-resolution, and classification. The primary goal of this book is to present the theory and algorithmic considerations in using sparse models for image understanding and computer vision applications. To this end, algorithms for obtaining sparse representations and their performance guarantees are discussed in the initial chapters. Furthermore, approaches for designing overcomplete, data-adapted dictionaries to model natural images are described. The development of theory behind dictionary learning involves exploring its connection to unsupervised clustering and analyzing its generalization characteristics using principles from statistical learning theory. An exciting application area that has benefited extensively from the theory of sparse representations is compressed sensing of image and video data. Theory and algorithms pertinent to measurement design, recovery, and model-based compressed sensing are presented. The paradigm of sparse models, when suitably integrated with powerful machine learning frameworks, can lead to advances in computer vision applications such as object recognition, clustering, segmentation, and activity recognition. Frameworks that enhance the performance of sparse models in such applications by imposing constraints based on the prior discriminatory information and the underlying geometrical structure, and kernelizing the sparse coding and dictionary learning methods are presented. In addition to presenting theoretical fundamentals in sparse learning, this book provides a platform for interested readers to explore the vastly growing application domains of sparse representations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Learning from Demonstration (LfD) explores techniques for learning a task policy from examples provided by a human teacher. The field of LfD has grown into an extensive body of literature over the past 30 years, with a wide variety of approaches for encoding human demonstrations and modeling skills and tasks. Additionally, we have recently seen a focus on gathering data from non-expert human teachers (i.e., domain experts but not robotics experts). In this book, we provide an introduction to the field with a focus on the unique technical challenges associated with designing robots that learn from naive human teachers. We begin, in the introduction, with a unification of the various terminology seen in the literature as well as an outline of the design choices one has in designing an LfD system. Chapter 2 gives a brief survey of the psychology literature that provides insights from human social learning that are relevant to designing robotic social learners. Chapter 3 walks through an LfD interaction, surveying the design choices one makes and state of the art approaches in prior work. First, is the choice of input, how the human teacher interacts with the robot to provide demonstrations. Next, is the choice of modeling technique. Currently, there is a dichotomy in the field between approaches that model low-level motor skills and those that model high-level tasks composed of primitive actions. We devote a chapter to each of these. Chapter 7 is devoted to interactive and active learning approaches that allow the robot to refine an existing task model. And finally, Chapter 8 provides best practices for evaluation of LfD systems, with a focus on how to approach experiments with human subjects in this domain.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Buch. Condizione: Neu. Neuware -Vladimir Maz'ya (born 1937) is an outstanding mathematician who systematically made fundamental contributions to a wide array of areas in mathematical analysis and in the theory of partial differential equations. In this fascinating book he describes the first thirty years of his life. He starts with the story of his family, speaks about his childhood, high school and university years, describe his formative years as a mathematician. Behind the author's personal recollections, with his own joys, sorrows and hopes, one sees a vivid picture of the time. He speaks warmly about his friends, both outside and inside mathematics. The author describes the awakening of his passion for mathematics and his early achievements. He mentions a number of mathematicians who influenced his professional life. The book is written in a readable and inviting way sometimes with a touch of humor. It can be of interest for a very broad readership.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 208 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Outlier (or anomaly) detection is a very broad field which has been studied in the context of a large number of research areas like statistics, data mining, sensor networks, environmental science, distributed systems, spatio-temporal mining, etc. Initial research in outlier detection focused on time series-based outliers (in statistics). Since then, outlier detection has been studied on a large variety of data types including high-dimensional data, uncertain data, stream data, network data, time series data, spatial data, and spatio-temporal data. While there have been many tutorials and surveys for general outlier detection, we focus on outlier detection for temporal data in this book. A large number of applications generate temporal datasets. For example, in our everyday life, various kinds of records like credit, personnel, financial, judicial, medical, etc., are all temporal. This stresses the need for an organized and detailed study of outliers with respect to such temporal data.In the past decade, there has been a lot of research on various forms of temporal data including consecutive data snapshots, series of data snapshots and data streams. Besides the initial work on time series, researchers have focused on rich forms of data including multiple data streams, spatio-temporal data, network data, community distribution data, etc. Compared to general outlier detection, techniques for temporal outlier detection are very different. In this book, we will present an organized picture of both recent and past research in temporal outlier detection. We start with the basics and then ramp up the reader to the main ideas in state-of-the-art outlier detection techniques. We motivate the importance of temporal outlier detection and brief the challenges beyond usual outlier detection. Then, we list down a taxonomy of proposed techniques for temporal outlier detection. Such techniques broadly include statistical techniques (like AR models, Markov models, histograms, neuralnetworks), distance- and density-based approaches, grouping-based approaches (clustering, community detection), network-based approaches, and spatio-temporal outlier detection approaches. We summarize by presenting a wide collection of applications where temporal outlier detection techniques have been applied to discover interesting outliers. Table of Contents: Preface / Acknowledgments / Figure Credits / Introduction and Challenges / Outlier Detection for Time Series and Data Sequences / Outlier Detection for Data Streams / Outlier Detection for Distributed Data Streams / Outlier Detection for Spatio-Temporal Data / Outlier Detection for Temporal Network Data / Applications of Outlier Detection for Temporal Data / Conclusions and Research Directions / Bibliography / Authors' BiographiesSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed scientific proceedings of the 6th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2014, held in Eichstätt, Germany, in April 2014.The 13 papers presented in this volume were carefully reviewed and selected from 43 contributions. They explore the many facets of network-driven business process management,in particular issues related to correctness, interchange and transformation of business models, as well as dynamic handling of changes through agile process management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -To large organizations, business intelligence (BI) promises the capability of collecting and analyzing internal and external data to generate knowledge and value, thus providing decision support at the strategic, tactical, and operational levels. BI is now impacted by the ¿Big Datä phenomena and the evolution of society and users. In particular, BI applications must cope with additional heterogeneous (often Web-based) sources, e.g., from social networks, blogs, competitors¿, suppliers¿, or distributors¿ data, governmental or NGO-based analysis and papers, or from research publications. In addition, they must be able to provide their results also on mobile devices, taking into account location-based or time-based environmental data.The lectures held at the Third European Business Intelligence Summer School (eBISS), which are presented here in an extended and refined format, cover not only established BI and BPM technologies, but extend into innovative aspects that are important in this new environment and for novel applications, e.g., pattern and process mining, business semantics, Linked Open Data, and large-scale data management and analysis.Combining papers by leading researchers in the field, this volume equips the reader with the state-of-the-art background necessary for creating the future of BI. It also provides the reader with an excellent basis and many pointers for further research in this growing field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book focus on organizational changes that are taking place in higher education.Universities are currently experiencing a period of change and restructuring into what is known as the European Higher Education Area (EHEA). EHEA represents a process of educational reform based on three types of transformations: structural, curricular and organizational. The integration of universities in this new EHEA is bringing conceptual and methodological changes not just to the structure of university education, but also to the teaching-learning processes and the conditions under which they take place. EHEA is prompting a change in the teaching model towards the consideration of students as the main actors in the educational process. This change requires new teaching strategies where students are asked to resolve problems with tools provided by the teacher.This book presents ideas, results and challenges related to new information and communication technologies, innovations and methodologies applied to education and research, as well as demonstrating the latest trends in educational innovation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Buch. Condizione: Neu. Neuware -The use of interactive technology in the arts has changed the audience from viewer to participant and in doing so is transforming the nature of experience. From visual and sound art to performance and gaming, the boundaries of what is possible for creation, curating, production and distribution are continually extending. As a consequence, we need to reconsider the way in which these practices are evaluated. Interactive Experience in the Digital Age explores diverse ways of creating and evaluating interactive digital art through the eyes of the practitioners who are embedding evaluation in their creative process as a way of revealing and enhancing their practice. It draws on research methods from other disciplines such as interaction design, human-computer interaction and practice-based research more generally and adapts them to develop new strategies and techniques for how we reflect upon and assess value in the creation and experience of interactive art. With contributions from artists, scientists, curators, entrepreneurs and designers engaged in the creative arts, this book is an invaluable resource for both researchers and practitioners, working in this emerging field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed conference proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools and Applications, ARC 2014, held in Vilamoura, Portugal, in April 2014. The 16 revised full papers presented together with 17 short papers and 6 special session papers were carefully reviewed and selected from 57 submissions. The topics covered are applications; methods, frameworks and OS for debug, over-clocking, and relocation; memory architectures; methodologies and tools and architectures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book presents a thorough overview of fusion in computer vision, from an interdisciplinary and multi-application viewpoint, describing successful approaches, evaluated in the context of international benchmarks that model realistic use cases. Features: examines late fusion approaches for concept recognition in images and videos; describes the interpretation of visual content by incorporating models of the human visual system with content understanding methods; investigates the fusion of multi-modal features of different semantic levels, as well as results of semantic concept detections, for example-based event recognition in video; proposes rotation-based ensemble classifiers for high-dimensional data, which encourage both individual accuracy and diversity within the ensemble; reviews application-focused strategies of fusion in video surveillance, biomedical information retrieval, and content detection in movies; discusses the modeling of mechanisms of human interpretation of complex visual content.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This short monograph is the first book to focus exclusively on the study of summability methods, which have become active areas of research in recent years. The book provides basic definitions of sequence spaces, matrix transformations, regular matrices and some special matrices, making the material accessible to mathematicians who are new to the subject.Among the coreitems covered are the proof of the Prime Number Theorem using Lambert's summability and Wiener's Tauberian theorem, some results on summability tests for singular points of an analytic function, andanalytic continuation through Lototski summability.Almost summability is introduced to prove Korovkin-type approximation theorems and the last chapters feature statistical summability, statistical approximation, and some applications of summability methods in fixed point theorems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Focusing on the computer graphics required to create digital media this book discusses the concepts and provides hundreds of solved examples and unsolved problems for practice. Pseudo codes are included where appropriate but these coding examples do not rely on specific languages. The aim is to get readers to understand the ideas and how concepts and algorithms work, through practicing numeric examples.Topics covered include:2D Graphics3D Solid ModellingMapping TechniquesTransformations in 2D and 3D SpaceIlluminations, Lighting and ShadingIdeal as an upper level undergraduate text, Digital Media ¿ A Problem-solving Approach for Computer Graphic, approaches the field at a conceptual level thus no programming experience is required, just a basic knowledge of mathematics and linear algebra.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 724 pp. Englisch.

Buch. Condizione: Neu. Neuware -The main purpose of this book is to present emerging neuroimaging data in order to define the role of primary and secondary structural and hemodynamic disturbances in different phases of traumatic brain injury (TBI) and to analyze the potential of diffusion tensor MRI, tractography and CT perfusion imaging in evaluating the dynamics of TBI. The authors present a new MRI classification of brain stem and hemispheric cortical/subcortical damage localization that is of significant prognostic value. New data are provided regarding the pathogenesis and dynamics of diffuse and focal brain injuries and qualitative and quantitative changes in the brain white matter tracts. It is shown that diffuse axonal injury can be considered a clinical model of multidimensional ¿split brain¿ with commissural, association and projection fiber disorders. The book will be of interest for neuroradiologists, neurosurgeons, neurologists and others with an interest in the subject.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Buch. Condizione: Neu. Neuware -Reviews of Environmental Contamination and Toxicology attempts to provide concise, critical reviews of timely advances, philosophy and significant areas of accomplished or needed endeavor in the total field of xenobiotics, in any segment of the environment, as well as toxicological implications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Camera-Based Document Analysis and Recognition, CBDAR 2013, held in Washington, DC, USA, in August 2013. The 14 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous original submissions. Intended to give a snapshot of the state-of-the-art research in the field of camera based document analysis and recognition, the papers are organized in topical sections on text detection and recognition in scene images and camera-based systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2014, held in Essen, Germany, in April 2014.The 23 papers presented were carefully reviewed and selected from 89 submissions. The REFSQ conference is organised as a three-day symposium with two days devoted to scientific papers presentation with a one-day industry track in-between. Both the industry and scientific presentations concern a variety of topics, which shows the liveliness of the requirements engineering domain. These topics are for instance: scalability in RE, communication issues, compliance with law and regulations, RE for self adaptive systems, requirements traceability, new sources of requirements, domain specific RE, Natural Language issues and of course games. 'Games for RE and RE for Games' was the special topic of REFSQ 2014. This is materialized by a plenary session at the conference, and by a keynote given by Catherine Rolland, a serious games expert and project manager at KTM Advance, a French company specialized in serious games.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Buch. Condizione: Neu. Neuware -Modern image processing techniques are based on multiresolution geometrical methods of image representation. These methods are efficient in sparse approximation of digital images. There is a wide family of functions called simply ¿X-lets¿, and these methods can be divided into two groups: the adaptive and the nonadaptive. This book is devoted to the adaptive methods of image approximation, especially to multismoothlets.Besides multismoothlets, several other new ideas are also covered. Current literature considers the black and white images with smooth horizon function as the model for sparse approximation but here, the class of blurred multihorizon is introduced, which is then used in the approximation of images with multiedges. Additionally, the semi-anisotropic model of multiedge representation, the introduction of the shift invariant multismoothlet transform and sliding multismoothlets are also covered. Geometrical Multiresolution Adaptive Transforms should be accessible to both mathematicians and computer scientists. It is suitable as a professional reference for students, researchers and engineers, containing many open problems and will be an excellent starting point for those who are beginning new research in the area or who want to use geometrical multiresolution adaptive methods in image processing, analysis or compression.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Serious Games for Training, Education, Health and Sports, Game Days 2014, held in Darmstadt, Germany, in April 2014. The 13 full papers presented together with 3 short papers, 2 keynotes, and 3 workshop papers were carefully reviewed and selected for inclusion in this book. The topics of the papers are settled in the fields of (game-based) training, teaching and learning, authoring tools, mobile gaming, health and rehabilitation, and citizen science. The papers address a broad scope of issues, including mechanisms and effects of (Serious) Games, adaptation and personalisation, local, mobile, and internet learning and education applications, game, reuse and evaluation, game settings, types of learners, problem solving etc.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes revised selected papers from the International Workshop on Clinical Image-Based Procedures, CLIP 2013, held in conjunction with MICCAI 2012 in Nagoya, Japan, in September 2013.The 19 papers presented in this volume were carefully reviewed and selected from 26 submissions. The workshop was a productive and exciting forum for the discussion and dissemination of clinically tested, state-of-the-art methods for image-based planning, monitoring and evaluation of medical procedures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Medical Computer Vision, MCV 2013, held in Nagoya, Japan, in September 2013 in conjunction with the 16th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2013. The 7 revised full papers and 12 poster papers presented were selected from 25 submissions. They have been organized in topical sections on registration and visualization, segmentation, detection and localization, and features and retrieval. In addition, the volume contains two invited papers describing segmentation task and data set of the VISCERAL benchmark challenge.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Genetically uniform cultivars in many self-pollinated cereal crops dominate commercial production in high-input environments especially due to their high grain yields and wide geographical adaptation. These cultivars generally perform well under favorable and high-input farming systems but their optimal performance cannot be achieved on marginal/organic lands or without the use of external chemical inputs (fertilizers, herbicides and pesticides). Cereal breeding programs aim at evaluating candidate lines/cultivars for agronomic, disease and quality traits in a weed free environment that makes it impossible to identify traits conferring competitive ability against weeds. Moreover, quantification of competitive ability is a complex phenomenon which is affected by range of growth traits. Above (e.g. light) and below (e.g. water and nutrients) ground resources also influence competitiveness to a greater extent. Competitiveness is quantitatively inherited trait which is heavily influenced by many factors including genotype, management, environment and their interaction. Sound plant breeding techniques and good experimental designs are prerequisites for maximizing genetic gains to breed cultivars for organically managed lands. The brief is focused on breeding wheat for enhanced competitive ability along with other agronomic, genetic and molecular studies that have been undertaken to improve weed suppression, disease resistance and quality in organically managed lands. The examples from other cereals have also been highlighted to compare wheat with other cereal crops.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 88 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis for new foundations, programming languages and software development methods for communication-intensive distributed systems. The Third Workshop on Formal Methods in the Development of Software (WS-FMDS). The aim was to bring together scientists and practitioners active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (FM-RAIL-BOK). In many engineering-based application areas such as in the railway domain, formal methods have reached a level of maturity that already enables the compilation of a so-called body of knowledge. The Second International Symposium on Modelling and Knowledge Management for Sustainable Development (MoKMaSD). The aim was to bring together researchers and practitioner from academia, industry, government and non-government organisations to present research results and exchange experience, ideas and solutions for modelling and analysing complex systems. In particular in areas including economy, governance, health, biology, ecology, climate and poverty reduction. The 7th International Workshop on Foundations and Techniques for Open Source Software Certification (Open Cert). The aim was to bring together researchers from Academia and Industry interested in the quality assessment of OSS projects, as well as the metrics, procedures and tools used in OSS communities and for the measurement and assessment of OSS quality.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the carefully refereed post-proceedings of the 6th Symposium on Foundations and Practice of Security, FPS 2013, held in La Rochelle, France, in October 2013. The 25 revised full papers presented together with a keynote address were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on security protocols, formal methods, physical security, attack classification and assessment, access control, cipher attacks, ad-hoc and sensor networks, resilience and intrusion detection.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 6th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2014, held in Eichstätt, Germany, in April 2014. The 14 application-oriented papers selected during the peer review process and included in this volume deal with a variety of topics ranging from model elicitation over strategic alignment to the application of S-BPM in different domains like software effort estimation, production planning and education.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These two volumes set LNCS 8421 and LNCS 8422 constitutes the refereed proceedings of the 19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, held in Bali, Indonesia, in April 2014. The 62 revised full papers presented together with 1 extended abstract paper, 4 industrial papers, 6 demo presentations, 3 tutorials and 1 panel paper were carefully reviewed and selected from a total of 257 submissions. The papers cover the following topics: big data management, indexing and query processing, graph data management, spatio-temporal data management, database for emerging hardware, data mining, probabilistic and uncertain data management, web and social data management, security, privacy and trust, keyword search, data stream management and data quality.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 540 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These two volumes set LNCS 8421 and LNCS 8422 constitutes the refereed proceedings of the 19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, held in Bali, Indonesia, in April 2014. The 62 revised full papers presented together with 1 extended abstract paper, 4 industrial papers, 6 demo presentations, 3 tutorials and 1 panel paper were carefully reviewed and selected from a total of 257 submissions. The papers cover the following topics: big data management, indexing and query processing, graph data management, spatio-temporal data management, database for emerging hardware, data mining, probabilistic and uncertain data management, web and social data management, security, privacy and trust, keyword search, data stream management and data quality.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch.