Databases Books

This book constitutes the thoroughly refereed papers of the 8th Chinese Conference on The Semantic Web and Web Science, CSWS 2014, held in Wuhan, China, in August 2014. The 22 research papers presented were carefully reviewed and selected from 61...

This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations...

This book constitutes the refereed proceedings of the 2014 Multidisciplinary International Social Networks Research, MISNC 2014, held in Kaohsiung, Taiwan, in September 2014. The 37 full papers presented were carefully reviewed and selected from numerous...

This book constitutes the proceedings of the 14th International Conference on Transport Systems Telematics, TST 2014, held in Katowice/Kraków and Ustroń, Poland, in October 2014. The 49 papers included in this volume were carefully reviewed and selected...

This book constitutes the proceedings of the 10th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2014, held in conjunction with CAiSE 2014 in Thessaloniki, Greece, in June 2014. Tools and methods for modeling and...

This book constitutes the refereed proceedings of the 22st Annual European Symposium on Algorithms, ESA 2014, held in Wrocław, Poland, in September 2014, as part of ALGO 2014. The 69 revised full papers presented were carefully reviewed and selected from...

This book contains selected contributions from some of the most renowned researchers in the field of Digital Heritage and 3D representation of the Past, based in large part on invited presentations from the workshop "Computational Geometry and Ontologies...

This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full...

This book represents an attempt to fully review the phenomenon of the blogosphere. The intention is to provide a reliable guide to understanding and analyzing the world of the unimaginable number of diverse blogs, each consisting of innumerable posts,...

This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014. The 108 papers included in this volume were carefully reviewed and selected from 150 submissions...

One of the grand challenges in our digital world are the large, complex and often weakly structured data sets, and massive amounts of unstructured information. This "big data" challenge is most evident in biomedical informatics: the trend towards...

This book constitutes the refereed proceedings of the 28th IFIP WG 11.3 International Working Conference on Data and Applications Security and Privacy, DBSec 2014, held in Vienna, Austria, in July 2014. The 22 revised full papers and 4 short papers...

This book reviews the state-of-the-art in combinatorial testing, with particular emphasis on the automatic generation of test data. It describes the most commonly used approaches in this area - including algebraic construction, greedy methods,...

The book reviews methods for the analysis of astronomical datasets, particularly emphasizing very large databases arising from both existing and forthcoming projects, as well as current large-scale computer simulation studies...

Thomas Hubauer addresses the challenge of providing reasonable interpretations of incomplete observational data in the context of imperfect domain models - a situation often encountered in the context of industrial diagnostics. To tackle this problem,...

In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs. Theapproach combines symbolic simulation with stateful model checking...

The doctoral thesis of Tatiana Gossen formulates criteria and guidelines on how to design the user interfaces of search engines for children. In her work, the author identifies the conceptual challenges based on own and previous user studies and...

Michael Nofer examines whether and to what extent Social Media can be used to predict stock returns. Market-relevant information is available on various platforms on the Internet, which largely consist of user generated content. For instance, emotions...

Numerical programs often use parallel programming techniques such as OpenMP to compute the program's output values as efficient as possible. In addition, derivative values of these output values with respect to certain input values play a crucial role...

​There is an increasing demand for recommender systems due to the information overload users are facing on the Web. The goal of a recommender system is to provide personalized recommendations of products or services to users. With the advent of the...

Als erste Monographie im deutschsprachigen Raum vermittelt das vorliegende Buch eine Konstruktionslehre des Software Engineering über den gesamten Lebenszyklus eines Softwareproduktes. Während Software-Technologie üblicherweise...

Der Einsatz von Software-Entwicklungsumgebungen in Unternehmen ist heute eine zentrale Aufgabe des Informationsmanagements. Das vorliegende Buch bietet eine umfassende Beschreibung der Vorgehensweise bei der Auswahl und...

This book is intended as a text for a course in programming languages. The pre­ requisites for such a course are insight in structured programming and knowledge as well as practical experience of at least one (e.g., Pascal) of...

This book presents an overview of the most fundamental aspects of the theory that underlies the Relational Database Model. As such it is self-contained though experience with formal models and abstract data manipulating on the...

The design and analysis of data structures and efficient algorithms has gained considerable importance in recent years. The concept of "algorithm" is central in computer science, and "efficiency" is central in the world of...

After a long period of research, development, test and trial, relational database management systems are at last being marketed in force. The feedback from early installations of these systems is overwhelmingly positive. The...

With the rapid growth in the use of computers to manipulate, process, and reason about multimedia data, the problem of how to store and retrieve such data is becoming increasingly important. Thus, although the field of...

Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are needed to model the systems...

This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and survey active topics and recent advances, and address such subjects...

The need to electronically store, manipulate and analyze large-scale, high-dimensional data sets requires new computational methods. This book presents new intelligent data management methods and tools, including new results...

Processing multimedia content has emerged as a key area for the application of machine learning techniques, where the objectives are to provide insight into the domain from which the data is drawn, and to organize that data and improve the performance of...

Decades of innovations in combinatorial problem solving have produced better and more complex algorithms. These new methods are better since they can solve larger problems and address new application domains. They are also more complex which means that...

Developing educational software requires thinking, problematizing, representing, modeling, implementing and analyzing pedagogical objectives and issues, as well as conceptual models and software architectures. Computer scientists face the difficulty of...

Multicriteria analysis is one of the most important fields of decision science. This book gives an outline of the formulation of an appropriate model and presents a comprehensive summary of the most popular methods for solving multicriteria decision...

The present book outlines a new approach to possibilistic clustering in which the sought clustering structure of the set of objects is based directly on the formal definition of fuzzy cluster and the possibilistic memberships are determined directly from...

Here we use the term "field" to refer to a sphere of practical operation, and correspondingly the term "field informatics" describes informatics tools and methodologies that arise in the field. The components of field informatics are description,...

This is the first book primarily dedicated to clustering using multiobjective genetic algorithms with extensive real-life applications in data mining and bioinformatics. The authors first offer detailed introductions to the relevant techniques - genetic...

"Foundations of Large-Scale Multimedia Information Management and Retrieval: Mathematics of Perception" covers knowledge representation and semantic analysis of multimedia data and scalability in signal extraction, data mining, and indexing. The book is...

This book gathers threads that have evolved across different mathematical disciplines into seamless narrative. It deals with condition as a main aspect in the understanding of the performance ---regarding both stability and complexity--- of numerical...

As the interconnectivity between humans through technical devices is becoming ubiquitous, the next step is already in the making: ambient intelligence, i.e. smart (technical) environments, which will eventually play the same active role in communication...

​The research presented in this book discusses how to efficiently retrieve track and trace information for an item of interest that took a certain path through a complex network of manufacturers, wholesalers, retailers, and consumers. To this end, a...