This book provides users with cutting edge methods and technologies in the area of big data and visual analytics, as well as an insight to the big data and data analytics research conducted by world-renowned researchers in this field. The authors present comprehensive educational resources on big data and visual analytics covering state-of-the art techniques on data analytics, data and information visualization, and visual analytics. Each chapter covers specific topics related to big data and data analytics as virtual data machine, security of big data, big data applications, high performance computing cluster, and big data implementation techniques. Every chapter includes a description of an unique contribution to the area of big data and visual analytics. This book is a valuable resource for researchers and professionals working in the area of big data, data analytics, and information visualization. Advanced-level students studying computer science will also find this book helpful as a secondary textbook or reference.

Man wird dem einzelnen nicht gerecht, wenn man es gesondert ins Auge jaftt, ohne seinen Zusammenhang mit dem Ganzen zu beachten und dem Beziehungssystem Rechnung zu tragen, in dem es steht. Thomas Mann Science in general, as well as in each of its individual fields, is a part of human culture. In that sense, this book aims to contribute to uncovering a small part of the connections and relationships which bind image processing, categorized in informatics and technology, with the knowledge accumulated over the years on discrete structures. How does one consider problems, models, mathematical methods and prac- tical applications? How does the search for ideas and the endeavour for know- ledge in the original work of scientists find expression? Is there something to be learnt from science to date for future developments? Such questions have shaped the content and style of this book. Substantial impetus to the discrete theory of image processing was afforded by the work of Rosenfeld and colleagues. Other fruitful sources of ideas con- sidered here are number theoretical problems (GauB, Minkowski) and integral geometric investigations (Blaschke, Santalo). Since the beginning of the 1980s I have strived to build upon these ideas a unified mathematical representation of discrete image processing working together with R.K1ette and P.Hufnagl.

Professor Rogers has written this economical and logical exposition of the theory of packing and covering at a time when the simplest general results are known and future progress seems likely to depend on detailed and complicated technical developments. The book treats mainly problems in n-dimensional space, where n is larger than 3. The approach is quantative and many estimates for packing and covering densities are obtained. The introduction gives a historical outline of the subject, stating results without proof, and the succeeding chapters contain a systematic account of the general results and their derivation. Some of the results have immediate applications in the theory of numbers, in analysis and in other branches of mathematics, while the quantative approach may well prove to be of increasing importance for further developments.

This book constitutes the revised selected papers of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2011, held at Tepla Monastery, Czech Republic, in June 2011. The 28 revised papers presented were carefully reviewed and selected from 52 submissions. The workshop aims at merging theory and practice by demonstrating how concepts from graph theory can be applied to various areas in computer science, and by extracting new graph theoretic problems from applications.

Relational methods can be found at various places in computer science, notably in data base theory, relational semantics of concurrency, relationaltype theory, analysis of rewriting systems, and modern programming language design. In addition, they appear in algorithms analysis and in the bulk of discrete mathematics taught to computer scientists. This book is devoted to the background of these methods. It explains how to use relational and graph-theoretic methods systematically in computer science. A powerful formal framework of relational algebra is developed with respect to applications to a diverse range of problem areas. Results are first motivated by practical examples, often visualized by both Boolean 0-1-matrices and graphs, and then derived algebraically.

This volume is a sequel to our 1996 compilation, Computational and Constructive Design Theory. Again we concentrate on two closely re lated aspects of the study of combinatorial designs: design construction and computer-aided study of designs. There are at least three classes of constructive problems in design theory. The first type of problem is the construction of a specific design. This might arise because that one particular case is an exception to a general rule, the last remaining case of a problem, or the smallest unknown case. A good example is the proof that there is no projective plane of parameter 10. In that case the computations involved were not different in kind from those which have been done by human brains without electronic assistance; they were merely longer. Computers have also been useful in the study of combinatorial spec trum problems: if a class of design has certain parameters, what is the set of values that the parameters can realize? In many cases, there is a recursive construction, so that the existence of a small number of "starter" designs leads to the construction of infinite classes of designs, and computers have proven very useful in finding "starter" designs.

This is a supplementary volume to the major three-volume Handbook of Combinatorial Optimization set. It can also be regarded as a stand-alone volume presenting chapters dealing with various aspects of the subject in a self-contained way.

Shapes are complex objects to apprehend, as mathematical entities, in terms that also are suitable for computerized analysis and interpretation. This volume provides the background that is required for this purpose, including different approaches that can be used to model shapes, and algorithms that are available to analyze them. It explores, in particular, the interesting connections between shapes and the objects that naturally act on them, diffeomorphisms. The book is, as far as possible, self-contained, with an appendix that describes a series of classical topics in mathematics (Hilbert spaces, differential equations, Riemannian manifolds) and sections that represent the state of the art in the analysis of shapes and their deformations. A direct application of what is presented in the book is a branch of the computerized analysis of medical images, called computational anatomy.

This is not a traditional work on topological graph theory. No current graph or voltage graph adorns its pages. Its readers will not compute the genus (orientable or non-orientable) of a single non-planar graph. Their muscles will not flex under the strain of lifting walks from base graphs to derived graphs. What is it, then? It is an attempt to place topological graph theory on a purely combinatorial yet rigorous footing. The vehicle chosen for this purpose is the con cept of a 3-graph, which is a combinatorial generalisation of an imbedding. These properly edge-coloured cubic graphs are used to classify surfaces, to generalise the Jordan curve theorem, and to prove Mac Lane's characterisation of planar graphs. Thus they playa central role in this book, but it is not being suggested that they are necessarily the most effective tool in areas of topological graph theory not dealt with in this volume. Fruitful though 3-graphs have been for our investigations, other jewels must be examined with a different lens. The sole requirement for understanding the logical development in this book is some elementary knowledge of vector spaces over the field Z2 of residue classes modulo 2. Groups are occasionally mentioned, but no expertise in group theory is required. The treatment will be appreciated best, however, by readers acquainted with topology. A modicum of topology is required in order to comprehend much of the motivation we supply for some of the concepts introduced."

The goal of the research out of which this monograph grew, was to make annealing as much as possible a general purpose optimization routine. At first glance this may seem a straight-forward task, for the formulation of its concept suggests applicability to any combinatorial optimization problem. All that is needed to run annealing on such a problem is a unique representation for each configuration, a procedure for measuring its quality, and a neighbor relation. Much more is needed however for obtaining acceptable results consistently in a reasonably short time. It is even doubtful whether the problem can be formulated such that annealing becomes an adequate approach for all instances of an optimization problem. Questions such as what is the best formulation for a given instance, and how should the process be controlled, have to be answered. Although much progress has been made in the years after the introduction of the concept into the field of combinatorial optimization in 1981, some important questions still do not have a definitive answer. In this book the reader will find the foundations of annealing in a self-contained and consistent presentation. Although the physical analogue from which the con cept emanated is mentioned in the first chapter, all theory is developed within the framework of markov chains. To achieve a high degree of instance independence adaptive strategies are introduced."

Notwithstanding its title, the reader will not find in this book a systematic account of this huge subject. Certain classical aspects have been passed by, and the true title ought to be "Various questions of elementary combina torial analysis". For instance, we only touch upon the subject of graphs and configurations, but there exists a very extensive and good literature on this subject. For this we refer the reader to the bibliography at the end of the volume. The true beginnings of combinatorial analysis (also called combina tory analysis) coincide with the beginnings of probability theory in the 17th century. For about two centuries it vanished as an autonomous sub ject. But the advance of statistics, with an ever-increasing demand for configurations as well as the advent and development of computers, have, beyond doubt, contributed to reinstating this subject after such a long period of negligence. For a long time the aim of combinatorial analysis was to count the different ways of arranging objects under given circumstances. Hence, many of the traditional problems of analysis or geometry which are con cerned at a certain moment with finite structures, have a combinatorial character. Today, combinatorial analysis is also relevant to problems of existence, estimation and structuration, like all other parts of mathema tics, but exclusively forjinite sets.

Written by an authority with great practical and teaching experience in the field, this book addresses a number of topics in computational number theory. Chapters one through five form a homogenous subject matter suitable for a six-month or year-long course in computational number theory. The subsequent chapters deal with more miscellaneous subjects.

It is gratifying that this textbook is still sufficiently popular to warrant a third edition. I have used the opportunity to improve and enlarge the book. When the second edition was prepared, only two pages on algebraic geometry codes were added. These have now been removed and replaced by a relatively long chapter on this subject. Although it is still only an introduction, the chapter requires more mathematical background of the reader than the remainder of this book. One of the very interesting recent developments concerns binary codes defined by using codes over the alphabet 7l.4 There is so much interest in this area that a chapter on the essentials was added. Knowledge of this chapter will allow the reader to study recent literature on 7l. -codes. 4 Furthermore, some material has been added that appeared in my Springer Lec ture Notes 201, but was not included in earlier editions of this book, e. g. Generalized Reed-Solomon Codes and Generalized Reed-Muller Codes. In Chapter 2, a section on "Coding Gain" ( the engineer's justification for using error-correcting codes) was added. For the author, preparing this third edition was a most welcome return to mathematics after seven years of administration. For valuable discussions on the new material, I thank C.P.l.M.Baggen, I. M.Duursma, H.D.L.Hollmann, H. C. A. van Tilborg, and R. M. Wilson. A special word of thanks to R. A. Pellikaan for his assistance with Chapter 10."

Polycycles and symmetric polyhedra appear as generalisations of graphs in the modelling of molecular structures, such as the Nobel prize winning fullerenes, occurring in chemistry and crystallography. The chemistry has inspired and informed many interesting questions in mathematics and computer science, which in turn have suggested directions for synthesis of molecules. Here the authors give access to new results in the theory of polycycles and two-faced maps together with the relevant background material and mathematical tools for their study. Organised so that, after reading the introductory chapter, each chapter can be read independently from the others, the book should be accessible to researchers and students in graph theory, discrete geometry, and combinatorics, as well as to those in more applied areas such as mathematical chemistry and crystallography. Many of the results in the subject require the use of computer enumeration; the corresponding programs are available from the author's website.

Bipartite graphs are perhaps the most basic of objects in graph theory, both from a theoretical and practical point of view. However, sometimes they have been considered only as a special class in some wider context. This book deals solely with bipartite graphs. Together with traditional material, the reader will also find many unusual results. Essentially all proofs are given in full; many of these have been streamlined specifically for this text. Numerous exercises of all standards have also been included. The theory is illustrated with many applications especially to problems in timetabling, chemistry, communication networks and computer science. For the most part the material is accessible to any reader with a graduate understanding of mathematics. However, the book contains advanced sections requiring much more specialized knowledge, which will be of interest to specialists in combinatorics and graph theory.

Over the past two decades a general mathematical theory of infinite electrical networks has been developed. This is the first book to present the salient features of this theory in a coherent exposition. Using the basic tools of functional analysis and graph theory, the author presents the fundamental developments of the past two decades and discusses applications to other areas of mathematics. The first half of the book presents existence and uniqueness theorems for both infinite-power and finite-power voltage-current regimes, and the second half discusses methods for solving problems in infinite cascades and grids. A notable feature is the recent invention of transfinite networks, roughly analogous to Cantor's extension of the natural numbers to the transfinite ordinals. The last chapter is a survey of applications to exterior problems of partial differential equations, random walks on infinite graphs, and networks of operators on Hilbert spaces. The jump in complexity from finite electrical networks to infinite ones is comparable to the jump in complexity from finite-dimensional to infinite-dimensional spaces. Many of the questions that are conventionally asked about finite networks are presently unanswerable for infinite networks, while questions that are meaningless for finite networks crop up for infinite ones and lead to surprising results, such as the occasional collapse of Kirchoff's laws in infinite regimes. Some central concepts have no counterpart in the finite case, as for example the extremities of an infinite network, the perceptibility of infinity, and the connections at infinity.

Many years of practical experience in teaching discrete mathematics form the basis of this text book. Part I contains problems on such topics as Boolean algebra, k-valued logics, graphs and networks, elements of coding theory, automata theory, algorithms theory, combinatorics, Boolean minimization and logical design. The exercises are preceded by ample theoretical background material. For further study the reader is referred to the extensive bibliography. Part II follows the same structure as Part I, and gives helpful hints and solutions. Audience: This book will be of great value to undergraduate students of discrete mathematics, whereas the more difficult exercises, which comprise about one-third of the material, will also appeal to postgraduates and researchers.

Written by one of the top experts in the fields of combinatorics and representation theory, this book distinguishes itself from the existing literature by its applications-oriented point of view. The second edition is extended, placing more emphasis on applications to the constructive theory of finite structures. Recent progress in this field, in particular in design and coding theory, is described.

This second edition includes two new chapters: one on domination in graphs and the other on the spectral properties of graphs, the latter including a discussion on graph energy. The chapter on graph colorings has been enlarged, covering additional topics such as homomorphisms and colorings and the uniqueness of the Mycielskian up to isomorphism. This book also introduces several interesting topics such as Dirac's theorem on k-connected graphs, Harary-Nashwilliam's theorem on the hamiltonicity of line graphs, Toida-McKee's characterization of Eulerian graphs, the Tutte matrix of a graph, Fournier's proof of Kuratowski's theorem on planar graphs, the proof of the nonhamiltonicity of the Tutte graph on 46 vertices, and a concrete application of triangulated graphs.

Massive amounts of numeric data are far more comprehensible when converted into graphical form. Hence visualization is becoming an integral part of many areas of research. The idea of visualization is not new, but techniques for visualization are still being developed, and visualization research is just beginning to be recognized as a cornerstone of future computer science. As scientists handle increasingly complex problems with computers, visualization will become an even more essential tool for extracting sense from numbers. This volume is a collection of the best papers selected from those presented at the August 1988 Visualization in Supercomputing Conference in Tokyo, Japan. It is divided into three parts: visualization applications, hardware and performance, and visualization theory. Subjects covered include visualization methods used in computational fluid dynamics research, time-to-solution aspects of visualization, the use of parallel/vector computers with finite element method systems, basic computational performance of two graphics supercomputers, and the applicability of the volume imaging concept in various fields.

This book is about an investigation of recent developments in the field of sympletic and contact structures on four- and three-dimensional manifolds from a topologist 's point of view. In it, two main issues are addressed: what kind of sympletic and contact structures we can construct via surgery theory and what kind of sympletic and contact structures are not allowed via gauge theory and the newly invented Heegaard-Floer theory.

The primary objective of this essential text is to emphasize the deep relations existing between the semiring and dio d structures with graphs and their combinatorial properties. It does so at the same time as demonstrating the modeling and problem-solving flexibility of these structures. In addition the book provides an extensive overview of the mathematical properties employed by "nonclassical" algebraic structures which either extend usual algebra or form a new branch of it.

Cryptography is one of the most active areas in current mathematics research and applications. This book focuses on cryptography along with two related areas: the study of probabilistic proof systems, and the theory of computational pseudorandomness. Following a common theme that explores the interplay between randomness and computation, the important notions in each field are covered, as well as novel ideas and insights.

SFCA/FPSAC (Series Formelles et Combinatoire Algebrique/Formal Power Se- ries and Algebraic Combinatorics) is a series of international conferences that are held annually since 1988, alternating between Europe and North America. They usually take place at the end of the academic year, between June and July depending on the local organizing constraints. SFCA/FPSAC has now become one of the most important annual inter- national meetings for the algebraic and bijective combinatorics community. The conference is indeed one of the key international exchange place of ideas between all researchers involved in this emerging exciting area. SFCA/FPSAC'OO is the 12th in the series. It will take place in Moscow (Russia) from June 26 to June 30, 2000. Previous SFCA/FPSAC conferences were organized in Lille (88), Paris (90), Bordeaux (91), Montreal (92), Florence (93), Rutgers (94), Marne-la-Vallee (95), Minneapolis (96), Vienna (97), Toronto (98) and Barcelona (99). SFCA/FPSAC'OO is co-organized by the Center of New Information Tech- nologies (CNIT) of Moscow State University, the Laboratoire d'Informatique AI- gorithmique : Fondements et Applications (LIAFA) of University Paris 7 and the Maison de l'Informatique et des Mathematiques Discretes (MIMD). The SFCA/FPSAC'OO conference covers all main areas of algebraic combi- natorics and bijective combinatorics (including asymptotic analysis, all sorts of enumeration, representation theory of classical groups and classical Lie algebras, symmetric functions, etc). A special stress was also put this year on combinato- rial and computer algebra.