Adding new results that have appeared in the last 15 years, Dictionary of Inequalities, Second Edition provides an easy way for researchers to locate an inequality by name or subject. This edition offers an up-to-date, alphabetical listing of each inequality with a short statement of the result, some comments, references to related inequalities, and sources of information on proofs and other details. The book does not include proofs and uses basic mathematical terminology as much as possible, enabling readers to access a result or inequality effortlessly. New to the Second Edition More than 100 new inequalities, including recently discovered ones Updated inequalities according to the most recent research Inclusion of a name index Updated bibliography that contains URLs for important references The book mainly presents the most common version of the inequality and later gives more general results as extensions or variants. Inequalities that exist at various levels of generality are presented in the simplest form with the other forms as extensions or under a different heading. The author also clarifies any non-standard notations and includes cross-references for transliterations.

This second edition of a very popular two-volume work presents a thorough first course in analysis, leading from real numbers to such advanced topics as differential forms on manifolds; asymptotic methods; Fourier, Laplace, and Legendre transforms; elliptic functions; and distributions. Especially notable in this course are the clearly expressed orientation toward the natural sciences and the informal exploration of the essence and the roots of the basic concepts and theorems of calculus. Clarity of exposition is matched by a wealth of instructive exercises, problems, and fresh applications to areas seldom touched on in textbooks on real analysis. The main difference between the second and first editions is the addition of a series of appendices to each volume. There are six of them in the first volume and five in the second. The subjects of these appendices are diverse. They are meant to be useful to both students (in mathematics and physics) and teachers, who may be motivated by different goals. Some of the appendices are surveys, both prospective and retrospective. The final survey establishes important conceptual connections between analysis and other parts of mathematics. The first volume constitutes a complete course in one-variable calculus along with the multivariable differential calculus elucidated in an up-to-date, clear manner, with a pleasant geometric and natural sciences flavor.

"Hackos and Redish wisely offer us the three things we most need about user and task analysis: practical advice, practical advice, and practical advice." —Ben Shneiderman, University of Maryland

"This book is well written, thorough, and loaded with techniques, examples, and resources that bring analysis to everyone." —Marcia L. Conner, Director of Usability & Learnability PeopleSoft, Inc.

User and Task Analysis for Interface Design helps you design a great user interface by focusing on the most important step in the process —the first one. You learn to go out and observe your users at work, whether they are employees of your company or people in customer organizations. You learn to find out what your users really need, not by asking them what they want, but by going through a process of understanding what they are trying to accomplish.

JoAnn Hackos and Janice (Ginny) Redish, internationally known experts in usable design, take you through a step-by-step process to conduct a user and task analysis. You learn:

• How interface designers use user and task analysis to build successful interfaces
• Why knowledge of users, their tasks, and their environments is critical to successful design
• How to prepare and set up your site visits
• How to select and train your user and task analysis team
• What observations to make, questions to ask, and questions to avoid
• How to record and report what you have learned to your development team members
• How to turn the information you've gathered into design ideas
• How to create paper prototypes of your interface design
• How to conduct usability tests with your prototypes to find out if you're on the right track.

This book includes many examples of design successes and challenges for products of every kind.

Hex: The Full Story is for anyone - hobbyist, professional, student, teacher - who enjoys board games, game theory, discrete math, computing, or history. hex was discovered twice, in 1942 by Piet Hein and again in 1949 by John F. nash. How did this happen? Who created the puzzle for Hein's Danish newspaper column? How are Martin Gardner, David Gale, Claude Shannon, and Claude Berge involved? What is the secret to playing Hex well? The answers are inside... Features New documents on Hein's creation of Hex, the complete set of Danish puzzles, and the identity of their composer Chapters on Gale's game Bridg-it, the game Rex, computer Hex, open Hex problems, and more Dozens of new puzzles and solutions Study guide for Hex players Supplemenetary text for a course in game theory, discrete math, computer science, or science history

Dominik Volland studies the construction of a discrete counterpart to the Hilbert transform in the realm of a nonlinear discrete complex analysis given by circle packings. The Hilbert transform is closely related to Riemann-Hilbert problems which have been studied in the framework of circle packings by E. Wegert and co-workers since 2009. The author demonstrates that the discrete Hilbert transform is well-defined in this framework by proving a conjecture on discrete problems formulated by Wegert. Moreover, he illustrates its properties by carefully chosen numerical examples.

The advantages of periodic control have been known since humanity learned to cultivate crops in rotation to increase production. In more recent times, it has been recognized that some industrial and technological systems also work or function better in a periodic fashion. Moreover, with periodic control laws it has been possible to solve problems for which no time-invariant solution exists. Periodic models are also able to describe the intrinsic periodicity in many natural phenomena and time series.

Periodic Systems gives a comprehensive treatment of the theory of time-varying dynamical systems with periodic coefficients, including the problems of filtering and control.

Topics covered include:

a [ basic issues, including Floquet theory, controllability and observability, canonical decomposition, system norms and Lyapunov and robust stability;

a [ the problem of state estimation in its various forms, filtering, prediction and smoothing;

a [ control design methods, particularly optimal and robust control.

The text focuses on discrete-time signals and systems; however, an overview of the entire field, including the continuous-time case, is provided in the first chapter. The authorsa (TM) presentation of the theory and results is mathematically rigorous while maintaining a readable style, avoiding excessive formalism. This makes the book accessible to graduate students and researchers from the fields of engineering, physics, economics and mathematics.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 22nd International Conference on Formal Grammar, FG 2017, collocated with the European Summer School in Logic, Language and Information in July 2017. The 9 contributed papers were carefully reviewed and selected from 14 submissions. The focus of papers are as follows: Formal and computational phonology, morphology, syntax, semantics and pragmatics Model-theoretic and proof-theoretic methods in linguistics Logical aspects of linguistic structure Constraint-based and resource-sensitive approaches to grammar Learnability of formal grammar Integration of stochastic and symbolic models of grammar Foundational, methodological and architectural issues in grammar and linguistics Mathematical foundations of statistical approaches to linguistic analysis

This volume contains papers that were presented at HYP2006, the eleventh international Conference on Hyperbolic Problems: Theory, Numerics and Applications. This biennial series of conferences has become one of the most important international events in Applied Mathematics. As computers became more and more powerful, the interplay between theory, modeling, and numerical algorithms gained considerable impact, and the scope of HYP conferences expanded accordingly.

This volume compiles the major results of conference participants from the "Third International Conference in Network Analysis" held at the Higher School of Economics, Nizhny Novgorod in May 2013, with the aim to initiate further joint research among different groups. The contributions in this book cover a broad range of topics relevant to the theory and practice of network analysis, including the reliability of complex networks, software, theory, methodology, and applications. Network analysis has become a major research topic over the last several years. The broad range of applications that can be described and analyzed by means of a network has brought together researchers, practitioners from numerous fields such as operations research, computer science, transportation, energy, biomedicine, computational neuroscience and social sciences. In addition, new approaches and computer environments such as parallel computing, grid computing, cloud computing, and quantum computing have helped to solve large scale network optimization problems.

This book is devoted to the broad field of Fourier analysis and its applications to several areas of mathematics, including problems in the theory of pseudo-differential operators, partial differential equations, and time-frequency analysis. It is based on lectures given at the international conference "Fourier Analysis and Pseudo-Differential Operators," June 25-30, 2012, at Aalto University, Finland. This collection of 20 refereed articles is based on selected talks and presents the latest advances in the field. The conference was a satellite meeting of the 6th European Congress of Mathematics, which took place in Krakow in July 2012; it was also the 6th meeting in the series "Fourier Analysis and Partial Differential Equations."

Nestled between number theory, combinatorics, algebra and analysis lies a rapidly developing subject in mathematics variously known as additive combinatorics, additive number theory, additive group theory, and combinatorial number theory. Its main objects of study are not abelian groups themselves, but rather the additive structure of subsets and subsequences of an abelian group, i.e., sumsets and subsequence sums. This text is a hybrid of a research monograph and an introductory graduate textbook. With few exceptions, all results presented are self-contained, written in great detail, and only reliant upon material covered in an advanced undergraduate curriculum supplemented with some additional Algebra, rendering this book usable as an entry-level text. However, it will perhaps be of even more interest to researchers already in the field. The majority of material is not found in book form and includes many new results as well. Even classical results, when included, are given in greater generality or using new proof variations. The text has a particular focus on results of a more exact and precise nature, results with strong hypotheses and yet stronger conclusions, and on fundamental aspects of the theory. Also included are intricate results often neglected in other texts owing to their complexity. Highlights include an extensive treatment of Freiman Homomorphisms and the Universal Ambient Group of sumsets A+B, an entire chapter devoted to Hamidoune's Isoperimetric Method, a novel generalization allowing infinite summands in finite sumset questions, weighted zero-sum problems treated in the general context of viewing homomorphisms as weights, and simplified proofs of the Kemperman Structure Theorem and the Partition Theorem for setpartitions.

This book provides a comprehensive introduction to the theory of stochastic calculus and some of its applications. It is the only textbook on the subject to include more than two hundred exercises with complete solutions. After explaining the basic elements of probability, the author introduces more advanced topics such as Brownian motion, martingales and Markov processes. The core of the book covers stochastic calculus, including stochastic differential equations, the relationship to partial differential equations, numerical methods and simulation, as well as applications of stochastic processes to finance. The final chapter provides detailed solutions to all exercises, in some cases presenting various solution techniques together with a discussion of advantages and drawbacks of the methods used. Stochastic Calculus will be particularly useful to advanced undergraduate and graduate students wishing to acquire a solid understanding of the subject through the theory and exercises. Including full mathematical statements and rigorous proofs, this book is completely self-contained and suitable for lecture courses as well as self-study.

This book is meant as a text for a first-year graduate course in analysis. In a sense, it covers the same topics as elementary calculus but treats them in a manner suitable for people who will be using it in further mathematical investigations. The organization avoids long chains of logical interdependence, so that chapters are mostly independent. This allows a course to omit material from some chapters without compromising the exposition of material from later chapters.

In order not to intimidate students by a too abstract approach, this textbook on linear algebra is written to be easy to digest by non-mathematicians. It introduces the concepts of vector spaces and mappings between them without dwelling on statements such as theorems and proofs too much. It is also designed to be self-contained, so no other material is required for an understanding of the topics covered. As the basis for courses on space and atmospheric science, remote sensing, geographic information systems, meteorology, climate and satellite communications at UN-affiliated regional centers, various applications of the formal theory are discussed as well. These include differential equations, statistics, optimization and some engineering-motivated problems in physics. Contents Vectors Matrices Determinants Eigenvalues and eigenvectors Some applications of matrices and determinants Matrix series and additional properties of matrices

This text gives a rigorous treatment of the foundations of calculus. In contrast to more traditional approaches, infinite sequences and series are placed at the forefront. The approach taken has not only the merit of simplicity, but students are well placed to understand and appreciate more sophisticated concepts in advanced mathematics. The authors mitigate potential difficulties in mastering the material by motivating definitions, results and proofs. Simple examples are provided to illustrate new material and exercises are included at the end of most sections. Noteworthy topics include: an extensive discussion of convergence tests for infinite series, Wallis's formula and Stirling's formula, proofs of the irrationality of and e and a treatment of Newton's method as a special instance of finding fixed points of iterated functions.

This book contains eleven original and survey scientific research articles arose from presentations given by invited speakers at International Workshop on Image Processing and Inverse Problems, held in Beijing Computational Science Research Center, Beijing, China, April 21-24, 2018. The book was dedicated to Professor Raymond Chan on the occasion of his 60th birthday. The contents of the book cover topics including image reconstruction, image segmentation, image registration, inverse problems and so on. Deep learning, PDE, statistical theory based research methods and techniques were discussed. The state-of-the-art developments on mathematical analysis, advanced modeling, efficient algorithm and applications were presented. The collected papers in this book also give new research trends in deep learning and optimization for imaging science. It should be a good reference for researchers working on related problems, as well as for researchers working on computer vision and visualization, inverse problems, image processing and medical imaging.

By connecting dynamical systems and number theory, this graduate textbook on ergodic theory acts as an introduction to a highly active area of mathematics, where a variety of strands of research open up. The text explores various concepts in infinite ergodic theory, always using continued fractions and other number-theoretic dynamical systems as illustrative examples. Contents: Preface Mathematical symbols Number-theoretical dynamical systems Basic ergodic theory Renewal theory and -sum-level sets Infinite ergodic theory Applications of infinite ergodic theory Bibliography Index

Two major subjects are treated in this book. The main one is the theory of Bernoulli numbers and the other is the theory of zeta functions. Historically, Bernoulli numbers were introduced to give formulas for the sums of powers of consecutive integers. The real reason that they are indispensable for number theory, however, lies in the fact that special values of the Riemann zeta function can be written by using Bernoulli numbers. This leads to more advanced topics, a number of which are treated in this book: Historical remarks on Bernoulli numbers and the formula for the sum of powers of consecutive integers; a formula for Bernoulli numbers by Stirling numbers; the Clausen-von Staudt theorem on the denominators of Bernoulli numbers; Kummer's congruence between Bernoulli numbers and a related theory of p-adic measures; the Euler-Maclaurin summation formula; the functional equation of the Riemann zeta function and the Dirichlet L functions, and their special values at suitable integers; various formulas of exponential sums expressed by generalized Bernoulli numbers; the relation between ideal classes of orders of quadratic fields and equivalence classes of binary quadratic forms; class number formula for positive definite binary quadratic forms; congruences between some class numbers and Bernoulli numbers; simple zeta functions of prehomogeneous vector spaces; Hurwitz numbers; Barnes multiple zeta functions and their special values; the functional equation of the doub le zeta functions; and poly-Bernoulli numbers. An appendix by Don Zagier on curious and exotic identities for Bernoulli numbers is also supplied. This book will be enjoyable both for amateurs and for professional researchers. Because the logical relations between the chapters are loosely connected, readers can start with any chapter depending on their interests. The expositions of the topics are not always typical, and some parts are completely new.

The present volume is an extensive monograph on the analytic and geometric aspects of Markov diffusion operators. It focuses on the geometric curvature properties of the underlying structure in order to study convergence to equilibrium, spectral bounds, functional inequalities such as Poincare, Sobolev or logarithmic Sobolev inequalities, and various bounds on solutions of evolution equations. At the same time, it covers a large class of evolution and partial differential equations. The book is intended to serve as an introduction to the subject and to be accessible for beginning and advanced scientists and non-specialists. Simultaneously, it covers a wide range of results and techniques from the early developments in the mid-eighties to the latest achievements. As such, students and researchers interested in the modern aspects of Markov diffusion operators and semigroups and their connections to analytic functional inequalities, probabilistic convergence to equilibrium and geometric curvature will find it especially useful. Selected chapters can also be used for advanced courses on the topic.

This introduction to random walks on infinite graphs gives particular emphasis to graphs with polynomial volume growth. It offers an overview of analytic methods, starting with the connection between random walks and electrical resistance, and then proceeding to study the use of isoperimetric and Poincare inequalities. The book presents rough isometries and looks at the properties of a graph that are stable under these transformations. Applications include the 'type problem': determining whether a graph is transient or recurrent. The final chapters show how geometric properties of the graph can be used to establish heat kernel bounds, that is, bounds on the transition probabilities of the random walk, and it is proved that Gaussian bounds hold for graphs that are roughly isometric to Euclidean space. Aimed at graduate students in mathematics, the book is also useful for researchers as a reference for results that are hard to find elsewhere.

And God said, Let there be light; and there was light. Genesis 1,3 Light is not only the basis of our biological existence, but also an essential source of our knowledge about the physical laws of nature, ranging from the seventeenth century geometrical optics up to the twentieth century theory of general relativity and quantum electrodynamics. Folklore Don't give us numbers: give us insight! A contemporary natural scientist to a mathematician The present book is the second volume of a comprehensive introduction to themathematicalandphysicalaspectsofmodernquantum?eldtheorywhich comprehends the following six volumes: Volume I: Basics in Mathematics and Physics Volume II: Quantum Electrodynamics Volume III: Gauge Theory Volume IV: Quantum Mathematics Volume V: The Physics of the Standard Model Volume VI: Quantum Gravitation and String Theory. It is our goal to build a bridge between mathematicians and physicists based on the challenging question about the fundamental forces in * macrocosmos (the universe) and * microcosmos (the world of elementary particles). The six volumes address a broad audience of readers, including both und- graduate and graduate students, as well as experienced scientists who want to become familiar with quantum ?eld theory, which is a fascinating topic in modern mathematics and physics.

Mathematical models of deformation of elastic plates are used by applied mathematicians and engineers in connection with a wide range of practical applications, from microchip production to the construction of skyscrapers and aircraft. This book employs two important analytic techniques to solve the fundamental boundary value problems for the theory of plates with transverse shear deformation, which offers a more complete picture of the physical process of bending than Kirchhoff's classical one. The first method transfers the ellipticity of the governing system to the boundary, leading to singular integral equations on the contour of the domain. These equations, established on the basis of the properties of suitable layer potentials, are then solved in spaces of smooth (Hoelder continuous and Hoelder continuously differentiable) functions. The second technique rewrites the differential system in terms of complex variables and fully integrates it, expressing the solution as a combination of complex analytic potentials. The last chapter develops a generalized Fourier series method closely connected with the structure of the system, which can be used to compute approximate solutions. The numerical results generated as an illustration for the interior Dirichlet problem are accompanied by remarks regarding the efficiency and accuracy of the procedure. The presentation of the material is detailed and self-contained, making Mathematical Methods for Elastic Plates accessible to researchers and graduate students with a basic knowledge of advanced calculus.

This textbook is devoted to a compressed and self-contained exposition of two important parts of contemporary mathematics: convex and set-valued analysis. In the first part, properties of convex sets, the theory of separation, convex functions and their differentiability, properties of convex cones in finite- and infinite-dimensional spaces are discussed. The second part covers some important parts of set-valued analysis. There the properties of the Hausdorff metric and various continuity concepts of set-valued maps are considered. The great attention is paid also to measurable set-valued functions, continuous, Lipschitz and some special types of selections, fixed point and coincidence theorems, covering set-valued maps, topological degree theory and differential inclusions. Contents: Preface Part I: Convex analysis Convex sets and their properties The convex hull of a set. The interior of convex sets The affine hull of sets. The relative interior of convex sets Separation theorems for convex sets Convex functions Closedness, boundedness, continuity, and Lipschitz property of convex functions Conjugate functions Support functions Differentiability of convex functions and the subdifferential Convex cones A little more about convex cones in infinite-dimensional spaces A problem of linear programming More about convex sets and convex hulls Part II: Set-valued analysis Introduction to the theory of topological and metric spaces The Hausdorff metric and the distance between sets Some fine properties of the Hausdorff metric Set-valued maps. Upper semicontinuous and lower semicontinuous set-valued maps A base of topology of the spaceHc(X) Measurable set-valued maps. Measurable selections and measurable choice theorems The superposition set-valued operator The Michael theorem and continuous selections. Lipschitz selections. Single-valued approximations Special selections of set-valued maps Differential inclusions Fixed points and coincidences of maps in metric spaces Stability of coincidence points and properties of covering maps Topological degree and fixed points of set-valued maps in Banach spaces Existence results for differential inclusions via the fixed point method Notation Bibliography Index