Arising from the fourth Dagstuhl conference entitled Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data (2011), this book offers a broad and vivid view of current work in this emerging field. Topics covered range from applications of the analysis of tensor fields to research on their mathematical and analytical properties. Part I, Tensor Data Visualization, surveys techniques for visualization of tensors and tensor fields in engineering, discusses the current state of the art and challenges, and examines tensor invariants and glyph design, including an overview of common glyphs. The second Part, Representation and Processing of Higher-order Descriptors, describes a matrix representation of local phase, outlines mathematical morphological operations techniques, extended for use in vector images, and generalizes erosion to the space of diffusion weighted MRI. Part III, Higher Order Tensors and Riemannian-Finsler Geometry, offers powerful mathematical language to model and analyze large and complex diffusion data such as High Angular Resolution Diffusion Imaging (HARDI) and Diffusion Kurtosis Imaging (DKI). A Part entitled Tensor Signal Processing presents new methods for processing tensor-valued data, including a novel perspective on performing voxel-wise morphometry of diffusion tensor data using kernel-based approach, explores the free-water diffusion model, and reviews proposed approaches for computing fabric tensors, emphasizing trabecular bone research. The last Part, Applications of Tensor Processing, discusses metric and curvature tensors, two of the most studied tensors in geometry processing. Also covered is a technique for diagnostic prediction of first-episode schizophrenia patients based on brain diffusion MRI data. The last chapter presents an interactive system integrating the visual analysis of diffusion MRI tractography with data from electroencephalography.

Bringing together key researchers in disciplines ranging from visualization and image processing to applications in structural mechanics, fluid dynamics, elastography, and numerical mathematics, the workshop that generated this edited volume was the third in the successful Dagstuhl series. Its aim, reflected in the quality and relevance of the papers presented, was to foster collaboration and fresh lines of inquiry in the analysis and visualization of tensor fields, which offer a concise model for numerous physical phenomena. Despite their utility, there remains a dearth of methods for studying all but the simplest ones, a shortage the workshops aim to address. Documenting the latest progress and open research questions in tensor field analysis, the chapters reflect the excitement and inspiration generated by this latest Dagstuhl workshop, held in July 2009. The topics they address range from applications of the analysis of tensor fields to purer research into their mathematical and analytical properties. They show how cooperation and the sharing of ideas and data between those engaged in pure and applied research can open new vistas in the study of tensor fields.

The second volume of the Geometry of Algebraic Curves is devoted to the foundations of the theory of moduli of algebraic curves. Its authors are research mathematicians who have actively participated in the development of the Geometry of Algebraic Curves. The subject is an extremely fertile and active one, both within the mathematical community and at the interface with the theoretical physics community. The approach is unique in its blending of algebro-geometric, complex analytic and topological/combinatorial methods. It treats important topics such as Teichmuller theory, the cellular decomposition of moduli and its consequences and the Witten conjecture. The careful and comprehensive presentation of the material is of value to students who wish to learn the subject and to experts as a reference source. The first volume appeared 1985 as vol. 267 of the same series.

Mathematics in the Real World is a self-contained, accessible introduction to the world of mathematics for non-technical majors. With a focus on everyday applications and context, the topics in this textbook build in difficulty and are presented sequentially, starting with a brief review of sets and numbers followed by an introduction to elementary statistics, models, and graph theory. Data and identification numbers are then covered, providing the pathway to voting and finance. Each subject is covered in a concise and clear fashion through the use of real-world applications and the introduction of relevant terminology. Many sample problems - both writing exercises and multiple-choice questions - are included to help develop students' level of understanding and to offer a variety of options to instructors. Covering six major units and outlining a one-semester course, Mathematics in the Real World is aimed at undergraduate liberal art students fulfilling the mathematics requirement in their degree program. This introductory text will be an excellent resource for such courses, and will show students where mathematics arises in their everyday lives.

Graph theory gained initial prominence in science and engineering through its strong links with matrix algebra and computer science. Moreover, the structure of the mathematics is well suited to that of engineering problems in analysis and design. The methods of analysis in this book employ matrix algebra, graph theory and meta-heuristic algorithms, which are ideally suited for modern computational mechanics. Efficient methods are presented that lead to highly sparse and banded structural matrices. The main features of the book include: application of graph theory for efficient analysis; extension of the force method to finite element analysis; application of meta-heuristic algorithms to ordering and decomposition (sparse matrix technology); efficient use of symmetry and regularity in the force method; and simultaneous analysis and design of structures.

This book presents a modular and expandable technique in the rapidly emerging research area of automatic configuration and selection of the best algorithm for the instance at hand. The author presents the basic model behind ISAC and then details a number of modifications and practical applications. In particular, he addresses automated feature generation, offline algorithm configuration for portfolio generation, algorithm selection, adaptive solvers, online tuning, and parallelization. The author's related thesis was honorably mentioned (runner-up) for the ACP Dissertation Award in 2014, and this book includes some expanded sections and notes on recent developments. Additionally, the techniques described in this book have been successfully applied to a number of solvers competing in the SAT and MaxSAT International Competitions, winning a total of 18 gold medals between 2011 and 2014. The book will be of interest to researchers and practitioners in artificial intelligence, in particular in the area of machine learning and constraint programming.

Visualization research aims to provide insight into large, complicated data sets and the phenomena behind them. While there are di?erent methods of reaching this goal, topological methods stand out for their solid mathem- ical foundation, which guides the algorithmic analysis and its presentation. Topology-based methods in visualization have been around since the beg- ning of visualization as a scienti?c discipline, but they initially played only a minor role. In recent years,interest in topology-basedvisualization has grown andsigni?cantinnovationhasledto newconceptsandsuccessfulapplications. The latest trends adapt basic topological concepts to precisely express user interests in topological properties of the data. This book is the outcome of the second workshop on Topological Methods in Visualization, which was held March 4-6, 2007 in Kloster Nimbschen near Leipzig,Germany.Theworkshopbroughttogethermorethan40international researchers to present and discuss the state of the art and new trends in the ?eld of topology-based visualization. Two inspiring invited talks by George Haller, MIT, and Nelson Max, LLNL, were accompanied by 14 presentations by participants and two panel discussions on current and future trends in visualization research. This book contains thirteen research papers that have been peer-reviewed in a two-stage review process. In the ?rst phase, submitted papers where peer-reviewed by the international program committee. After the workshop accepted papers went through a revision and a second review process taking into account comments from the ?rst round and discussions at the workshop. Abouthalfthepapersconcerntopology-basedanalysisandvisualizationof ?uid?owsimulations;twopapersconcernmoregeneraltopologicalalgorithms, while the remaining papers discuss topology-based visualization methods in application areas like biology, medical imaging and electromagnetism.

As a student moves from basic calculus courses into upper-division courses in linear and abstract algebra, real and complex analysis, number theory, topology, and so on, a "bridge" course can help ensure a smooth transition. Introduction to Mathematical Structures and Proofs is a textbook intended for such a course, or for self-study. This book introduces an array of fundamental mathematical structures. It also explores the delicate balance of intuition and rigor-and the flexible thinking-required to prove a nontrivial result. In short, this book seeks to enhance the mathematical maturity of the reader. The new material in this second edition includes a section on graph theory, several new sections on number theory (including primitive roots, with an application to card-shuffling), and a brief introduction to the complex numbers (including a section on the arithmetic of the Gaussian integers). Solutions for even numbered exercises are available on springer.com for instructors adopting the text for a course.

This book offers a complete and streamlined treatment of the central principles of abelian harmonic analysis: Pontryagin duality, the Plancherel theorem and the Poisson summation formula, as well as their respective generalizations to non-abelian groups, including the Selberg trace formula. The principles are then applied to spectral analysis of Heisenberg manifolds and Riemann surfaces. This new edition contains a new chapter on p-adic and adelic groups, as well as a complementary section on direct and projective limits. Many of the supporting proofs have been revised and refined. The book is an excellent resource for graduate students who wish to learn and understand harmonic analysis and for researchers seeking to apply it.

This book features 13 papers presented at the Fifth International Symposium on Recurrence Plots, held August 2013 in Chicago, IL. It examines recent applications and developments in recurrence plots and recurrence quantification analysis (RQA) with special emphasis on biological and cognitive systems and the analysis of coupled systems using cross-recurrence methods. Readers will discover new applications and insights into a range of systems provided by recurrence plot analysis and new theoretical and mathematical developments in recurrence plots. Recurrence plot based analysis is a powerful tool that operates on real-world complex systems that are nonlinear, non-stationary, noisy, of any statistical distribution, free of any particular model type and not particularly long. Quantitative analyses promote the detection of system state changes, synchronized dynamical regimes or classification of system states. The book will be of interest to an interdisciplinary audience of recurrence plot users and researchers interested in time series analysis of complex systems in general.

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. This methodology affords user interaction on visual data representations that are native to the domain of the data. User interaction in visual analytics systems is critical to enabling visual data exploration. Interaction transforms people from mere viewers to active participants in the process of analyzing and understanding data. This discourse between people and data enables people to understand aspects of their data, such as structure, patterns, trends, outliers, and other properties that ultimately result in insight. Through interacting with visualizations, users engage in sensemaking, a process of developing and understanding relationships within datasets through foraging and synthesis. The book provides a description of the principles of semantic interaction, providing design guidelines for the integration of semantic interaction into visual analytics, examples of existing technologies that leverage semantic interaction, and a discussion of how to evaluate these technologies. Semantic interaction has the potential to increase the effectiveness of visual analytic technologies and opens possibilities for a fundamentally new design space for user interaction in visual analytics systems.

This book gives an introduction to the very active field of combinatorics of affine Schubert calculus, explains the current state of the art, and states the current open problems. Affine Schubert calculus lies at the crossroads of combinatorics, geometry, and representation theory. Its modern development is motivated by two seemingly unrelated directions. One is the introduction of k-Schur functions in the study of Macdonald polynomial positivity, a mostly combinatorial branch of symmetric function theory. The other direction is the study of the Schubert bases of the (co)homology of the affine Grassmannian, an algebro-topological formulation of a problem in enumerative geometry. This is the first introductory text on this subject. It contains many examples in Sage, a free open source general purpose mathematical software system, to entice the reader to investigate the open problems. This book is written for advanced undergraduate and graduate students, as well as researchers, who want to become familiar with this fascinating new field.

This concise text is based on a series of lectures held only a few years ago and originally intended as an introduction to known results on linear hyperbolic and parabolic equations. Yet the topic of differential equations on graphs, ramified spaces, and more general network-like objects has recently gained significant momentum and, well beyond the confines of mathematics, there is a lively interdisciplinary discourse on all aspects of so-called complex networks. Such network-like structures can be found in virtually all branches of science, engineering and the humanities, and future research thus calls for solid theoretical foundations. This book is specifically devoted to the study of evolution equations – i.e., of time-dependent differential equations such as the heat equation, the wave equation, or the Schrödinger equation (quantum graphs) – bearing in mind that the majority of the literature in the last ten years on the subject of differential equations of graphs has been devoted to elliptic equations and related spectral problems. Moreover, for tackling the most general settings - e.g. encoded in the transmission conditions in the network nodes - one classical and elegant tool is that of operator semigroups. This book is simultaneously a very concise introduction to this theory and a handbook on its applications to differential equations on networks. With a more interdisciplinary readership in mind, full proofs of mathematical statements have been frequently omitted in favor of keeping the text as concise, fluid and self-contained as possible. In addition, a brief chapter devoted to the field of neurodynamics of the brain cortex provides a concrete link to ongoing applied research.

This book contains recent contributions to the fields of rigidity and symmetry with two primary focuses: to present the mathematically rigorous treatment of rigidity of structures and to explore the interaction of geometry, algebra and combinatorics. Contributions present recent trends and advances in discrete geometry, particularly in the theory of polytopes. The rapid development of abstract polytope theory has resulted in a rich theory featuring an attractive interplay of methods and tools from discrete geometry, group theory, classical geometry, hyperbolic geometry and topology. Overall, the book shows how researchers from diverse backgrounds explore connections among the various discrete structures with symmetry as the unifying theme. The volume will be a valuable source as an introduction to the ideas of both combinatorial and geometric rigidity theory and its applications, incorporating the surprising impact of symmetry. It will appeal to students at both the advanced undergraduate and graduate levels, as well as post docs, structural engineers and chemists.

This monograph covers some of the most important developments in Ramsey theory from its beginnings in the early 20th century via its many breakthroughs to recent important developments in the early 21st century. The book first presents a detailed discussion of the roots of Ramsey theory before offering a thorough discussion of the role of parameter sets. It presents several examples of structures that can be interpreted in terms of parameter sets and features the most fundamental Ramsey-type results for parameter sets: Hales-Jewett's theorem and Graham-Rothschild(1)s Ramsey theorem as well as their canonical versions and several applications. Next, the book steps back to the most basic structure, to sets. It reviews classic results as well as recent progress on Ramsey numbers and the asymptotic behavior of classical Ramsey functions. In addition, it presents product versions of Ramsey's theorem, a combinatorial proof of the incompleteness of Peano arithmetic, provides a digression to discrepancy theory and examines extensions of Ramsey's theorem to larger cardinals. The next part of the book features an in-depth treatment of the Ramsey problem for graphs and hypergraphs. It gives an account on the existence of sparse and restricted Ramsey theorem's using sophisticated constructions as well as probabilistic methods. Among others it contains a proof of the induced Graham-Rothschild theorem and the random Ramsey theorem. The book closes with a chapter on one of the recent highlights of Ramsey theory: a combinatorial proof of the density Hales-Jewett theorem. This book provides graduate students as well as advanced researchers with a solid introduction and reference to the field.

Both classical geometry and modern differential geometry have been active subjects of research throughout the 20th century and lie at the heart of many recent advances in mathematics and physics. The underlying motivating concept for the present book is that it offers readers the elements of a modern geometric culture by means of a whole series of visually appealing unsolved (or recently solved) problems that require the creation of concepts and tools of varying abstraction. Starting with such natural, classical objects as lines, planes, circles, spheres, polygons, polyhedra, curves, surfaces, convex sets, etc., crucial ideas and above all abstract concepts needed for attaining the results are elucidated. These are conceptual notions, each built "above" the preceding and permitting an increase in abstraction, represented metaphorically by Jacob's ladder with its rungs: the 'ladder' in the Old Testament, that angels ascended and descended... In all this, the aim of the book is to demonstrate to readers the unceasingly renewed spirit of geometry and that even so-called "elementary" geometry is very much alive and at the very heart of the work of numerous contemporary mathematicians. It is also shown that there are innumerable paths yet to be explored and concepts to be created. The book is visually rich and inviting, so that readers may open it at random places and find much pleasure throughout according their own intuitions and inclinations. Marcel Berger is t he author of numerous successful books on geometry, this book once again is addressed to all students and teachers of mathematics with an affinity for geometry.

This book contains a collection of fifteen articles and is dedicated to the sixtieth birthdays of Lex Renner and Mohan Putcha, the pioneers of the field of algebraic monoids. Topics presented include: structure and representation theory of reductive algebraic monoids monoid schemes and applications of monoids monoids related to Lie theory equivariant embeddings of algebraic groups constructions and properties of monoids from algebraic combinatorics endomorphism monoids induced from vector bundles Hodge-Newton decompositions of reductive monoids A portion of these articles are designed to serve as a self-contained introduction to these topics, while the remaining contributions are research articles containing previously unpublished results, which are sure to become very influential for future work. Among these, for example, the important recent work of Michel Brion and Lex Renner showing that the algebraic semi groups are strongly -regular. Graduate students as well as researchers working in the fields of algebraic (semi)group theory, algebraic combinatorics and the theory of algebraic group embeddings will benefit from this unique and broad compilation of some fundamental results in (semi)group theory, algebraic group embeddings and algebraic combinatorics merged under the umbrella of algebraic monoids.

For some time, medicine has been an important driver for the development of data processing and visualization techniques. Improved technology offers the capacity to generate larger and more complex data sets related to imaging and simulation. This, in turn, creates the need for more effective visualization tools for medical practitioners to interpret and utilize data in meaningful ways. The first edition of Visualization in Medicine and Life Sciences (VMLS) emerged from a workshop convened to explore the significant data visualization challenges created by emerging technologies in the life sciences. The workshop and the book addressed questions of whether medical data visualization approaches can be devised or improved to meet these challenges, with the promise of ultimately being adopted by medical experts. Visualization in Medicine and Life Sciences II follows the second international VMLS workshop, held in Bremerhaven, Germany, in July 2009. Internationally renowned experts from the visualization and driving application areas came together for this second workshop. The book presents peer-reviewed research and survey papers which document and discuss the progress made, explore new approaches to data visualization, and assess new challenges and research directions.

This book shows how to look at ways of visualizing large datasets, whether large in numbers of cases, or large in numbers of variables, or large in both. All ideas are illustrated with displays from analyses of real datasets and the importance of interpreting displays effectively is emphasized. Graphics should be drawn to convey information and the book includes many insightful examples. New approaches to graphics are needed to visualize the information in large datasets and most of the innovations described in this book are developments of standard graphics. The book is accessible to readers with some experience of drawing statistical graphics.

Projective geometry is one of the most fundamental and at the same time most beautiful branches of geometry. It can be considered the common foundation of many other geometric disciplines like Euclidean geometry, hyperbolic and elliptic geometry or even relativistic space-time geometry. This book offers a comprehensive introduction to this fascinating field and its applications. In particular, it explains how metric concepts may be best understood in projective terms. One of the major themes that appears throughout this book is the beauty of the interplay between geometry, algebra and combinatorics. This book can especially be used as a guide that explains how geometric objects and operations may be most elegantly expressed in algebraic terms, making it a valuable resource for mathematicians, as well as for computer scientists and physicists. The book is based on the author's experience in implementing geometric software and includes hundreds of high-quality illustrations.

Interest in visualization design has increased in recent years. While there is a large body of existing work from which visualization designers can draw, much of the past research has focused on developing new tools and techniques that are aimed at specific contexts. Less focus has been placed on developing holistic frameworks, models, and theories that can guide visualization design at a general level-a level that transcends domains, data types, users, and other contextual factors. In addition, little emphasis has been placed on the thinking processes of designers, including the concepts that designers use, while they are engaged in a visualization design activity. In this book we present a general, holistic framework that is intended to support visualization design for human-information interaction. The framework is composed of a number of conceptual elements that can aid in design thinking. The core of the framework is a pattern language-consisting of a set of 14 basic, abstract patterns-and a simple syntax for describing how the patterns are blended. We also present a design process, made up of four main stages, for creating static or interactive visualizations. The 4-stage design process places the patterns at the core of designers' thinking, and employs a number of conceptual tools that help designers think systematically about creating visualizations based on the information they intend to represent. Although the framework can be used to design static visualizations for simple tasks, its real utility can be found when designing visualizations with interactive possibilities in mind-in other words, designing to support a human-information interactive discourse. This is especially true in contexts where interactive visualizations need to support complex tasks and activities involving large and complex information spaces. The framework is intended to be general and can thus be used to design visualizations for diverse domains, users, information spaces, and tasks in different fields such as business intelligence, health and medical informatics, digital libraries, journalism, education, scientific discovery, and others. Drawing from research in multiple disciplines, we introduce novel concepts and terms that can positively contribute to visualization design practice and education, and will hopefully stimulate further research in this area.

This book, first published in 1991, is devoted to the exposition of combinatorial matrix theory. This subject concerns itself with the use of matrix theory and linear algebra in proving results in combinatorics (and vice versa), and with the intrinsic properties of matrices viewed as arrays of numbers rather than algebraic objects in themselves. There are chapters dealing with the many connections between matrices, graphs, digraphs and bipartite graphs. The basic theory of network flows is developed in order to obtain existence theorems for matrices with prescribed combinatorial properties and to obtain various matrix decomposition theorems. Other chapters cover the permanent of a matrix, and Latin squares. The final chapter deals with algebraic characterizations of combinatorial properties and the use of combinatorial arguments in proving classical algebraic theorems, including the Cayley-Hamilton Theorem and the Jordan Canonical Form. The book is sufficiently self-contained for use as a graduate course text, but complete enough for a standard reference work on the basic theory. Thus it will be an essential purchase for combinatorialists, matrix theorists, and those numerical analysts working in numerical linear algebra.

This book is an indispensable source for anyone with an interest in semigroup theory or whose research overlaps with this increasingly important area of mathematics. It is a clear and readable introduction to the subject, with emphasis on various classes of regular and semigroups. More than 150 exercises, accompanied by relevant references to the literature,give pointerse to areas of the subject not explicitly covered in the text.

Fixed Point Theory and Graph Theory provides an intersection between the theories of fixed point theorems that give the conditions under which maps (single or multivalued) have solutions and graph theory which uses mathematical structures to illustrate the relationship between ordered pairs of objects in terms of their vertices and directed edges. This edited reference work is perhaps the first to provide a link between the two theories, describing not only their foundational aspects, but also the most recent advances and the fascinating intersection of the domains. The authors provide solution methods for fixed points in different settings, with two chapters devoted to the solutions method for critically important non-linear problems in engineering, namely, variational inequalities, fixed point, split feasibility, and hierarchical variational inequality problems. The last two chapters are devoted to integrating fixed point theory in spaces with the graph and the use of retractions in the fixed point theory for ordered sets.

Explaining how graph theory and social network analysis can be applied to team sports analysis, This book presents useful approaches, models and methods that can be used to characterise the overall properties of team networks and identify the prominence of each team player. Exploring the different possible network metrics that can be utilised in sports analysis, their possible applications and variances from situation to situation, the respective chapters present an array of illustrative case studies. Identifying the general concepts of social network analysis and network centrality metrics, readers are shown how to generate a methodological protocol for data collection. As such, the book provides a valuable resource for students of the sport sciences, sports engineering, applied computation and the social sciences.