Algorithms and data structures

This book focusses on techniques for automating the procedure of creating external labelings, also known as callout labelings.

The emergence of multilayer networks as a concept from the field of complex systems provides many new opportunities for the visualization of network complexity, and has also raised many new exciting challenges.

There is ample evidence in the visualization community that individual differences matter.

At the 2016 IEEE VIS Conference in Baltimore, Maryland, a panel of experts from the Scientific Visualization (SciVis) community gathered to discuss why the SciVis component of the conference had been shrinking significantly for over a decade.

Prevalent types of data in scientific visualization are volumetric data, vector field data, and particle-based data.

This book discusses semantic interaction, a user interaction methodology for visual analytic applications that more closely couples the visual reasoning processes of people with the computation.

Visualization has become a valuable means for data exploration and analysis.

Analytical reasoning techniques are methods by which users explore their data to obtain insight and knowledge that can directly support situational awareness and decision making.

Displaying multiple levels of data visually has been proposed to address the challenge of limited screen space.

Visual analytics has come a long way since its inception in 2005.

Interest in visualization design has increased in recent years.

Our society has entered a data-driven era, one in which not only are enormous amounts of data being generated daily but there are also growing expectations placed on the analysis of this data.

This book constitutes the refereed proceedings of the 22nd European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2022, held as part of Evo*2022, in Madrid, Spain, during April 20-21, 2022, co-located with the Evo*2022 events: EvoMUSART, EvoApplications, and EuroGP.

This book will contemplate the nature of our participatory digital media culture, the diversity of actors involved, and how the role of the news librarian has evolved-from information gatekeeper to knowledge networker, collaborating and facilitating content creation with print and broadcast media professionals.

This book covers the concept of the Semantic Web-what it is, the components that comprise it, including Linked Data, and the various ways that libraries are engaged in contributing to its development in making library resources and services ever more accessible to end-users.

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.

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.

The study of what can be computed by a team of autonomous mobile robots, originally started in robotics and AI, has become increasingly popular in theoretical computer science (especially in distributed computing), where it is now an integral part of the investigations on computability by mobile entities.

A quorum system is a collection of subsets of nodes, called quorums, with the property that each pair of quorums have a non-empty intersection.

Cooperative network supercomputing is becoming increasingly popular for harnessing the power of the global Internet computing platform.

Wireless sensor networks are about to be part of everyday life.

Transactional memory (TM) is an appealing paradigm for concurrent programming on shared memory architectures.

Understanding distributed computing is not an easy task.

Understanding distributed computing is not an easy task.

Mobile agent computing is being used in fields as diverse as artificial intelligence, computational economics and robotics.

Link reversal is a versatile algorithm design technique that has been used in numerous distributed algorithms for a variety of problems.

This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems.

Providing a shared memory abstraction in distributed systems is a powerful tool that can simplify the design and implementation of software systems for networked platforms.

As the structure of contemporary communication networks grows more complex, practical networked distributed systems become prone to component failures.

This book aims at being a comprehensive and pedagogical introduction to the concept of self-stabilization, introduced by Edsger Wybe Dijkstra in 1973.

Computers and computer networks are one of the most incredible inventions of the 20th century, having an ever-expanding role in our daily lives by enabling complex human activities in areas such as entertainment, education, and commerce.

While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ,,,,(n) parameterized by n ?

To understand the power of distributed systems, it is necessary to understand their inherent limitations: what problems cannot be solved in particular systems, or without sufficient resources (such as time or space).

The focus of this monograph is on symmetry breaking problems in the message-passing model of distributed computing.

Data warehouses consolidate various activities of a business and often form the backbone for generating reports that support important business decisions.

Due to measurement errors, transmission lost, or injected noise for privacy protection, uncertainty exists in the data of many real applications.

Cloud computing has emerged as a successful paradigm of service-oriented computing and has revolutionized the way computing infrastructure is used.

After the traditional document-centric Web 1.

The chase has long been used as a central tool to analyze dependencies and their effect on queries.

While classic data management focuses on the data itself, research on Business Processes also considers the context in which this data is generated and manipulated, namely the processes, users, and goals that this data serves.

There are millions of searchable data sources on the Web and to a large extent their contents can only be reached through their own query interfaces.

Data quality is one of the most important problems in data management.

As data represent a key asset for today's organizations, the problem of how to protect this data from theft and misuse is at the forefront of these organizations' minds.

As an alternative to traditional client-server systems, Peer-to-Peer (P2P) systems provide major advantages in terms of scalability, autonomy and dynamic behavior of peers, and decentralization of control.

In data publishing, the owner delegates the role of satisfying user queries to a third-party publisher.

Declarative Networking is a programming methodology that enables developers to concisely specify network protocols and services, which are directly compiled to a dataflow framework that executes the specifications.

Spatial database management deals with the storage, indexing, and querying of data with spatial features, such as location and geometric extent.

Integrity constraints are semantic conditions that a database should satisfy in order to be an appropriate model of external reality.

With the proliferation of citizen reporting, smart mobile devices, and social media, an increasing number of people are beginning to generate information about events they observe and participate in.

Query compilation is the problem of translating user requests formulated over purely conceptual and domain specific ways of understanding data, commonly called logical designs, to efficient executable programs called query plans.