Search

This volume aims at collecting survey papers which give broad and enlightening perspectives of various aspects of number theory.Kitaoka's paper is a continuation of his earlier paper published in the last proceedings and pushes the research forward. Browning's paper introduces a new direction of research on analytic number theory — quantitative theory of some surfaces and Bruedern et al's paper details state-of-the-art affairs of additive number theory. There are two papers on modular forms — Kohnen's paper describes generalized modular forms (GMF) which has some applications in conformal field theory, while Liu's paper is very useful for readers who want to have a quick introduction to Maass forms and some analytic-number-theoretic problems related to them. Matsumoto et al's paper gives a very thorough survey on functional relations of root system zeta-functions, Hoshi-Miyake's paper is a continuation of Miyake's long and fruitful research on generic polynomials and gives rise to related Diophantine problems, and Jia's paper surveys some dynamical aspects of a special arithmetic function connected with the distribution of prime numbers. There are two papers of collections of problems by Shparlinski on exponential and character sums and Schinzel on polynomials which will serve as an aid for finding suitable research problems. Yamamura's paper is a complete bibliography on determinant expressions for a certain class number and will be useful to researchers.Thus the book gives a good-balance of classical and modern aspects in number theory and will be useful to researchers including enthusiastic graduate students.

In his groundbreaking paper “Absence of diffusion in certain random lattices (1958)”, Philip W Anderson originated, described and developed the physical principles underlying the phenomenon of the localization of quantum objects due to disorder. Anderson's 1977 Nobel Prize citation featured that paper, which was fundamental for many subsequent developments in condensed matter physics and technical applications. After more than a half century, the subject continues to be of fundamental importance. In particular, in the last 25 years, the phenomenon of localization has proved to be crucial for the understanding of the quantum Hall effect, mesoscopic fluctuations in small conductors, some aspects of quantum chaotic behavior, and the localization and collective modes of electromagnetic and matter waves.This unique and invaluable volume celebrates the five decades of the impact of Anderson localization on modern physics. In addition to the historical perspective on its origin, the volume provides a comprehensive description of the experimental and theoretical aspects of Anderson localization, together with its application in various areas, which include disordered metals and the metal-insulator transition, mesoscopic physics, classical systems and light, strongly-correlated systems, and mathematical models.The volume is edited by E Abrahams, who has been a contributor in the field of localization. A distinguished group of experts, each of whom has left his mark on the developments of this fascinating theory, contribute their personal insights in this volume. They are: A Amir (Weizmann Institute of Science), P W Anderson (Princeton University), G Bergmann (University of Southern California), M Büttiker (University of Geneva), K Byczuk (University of Warsaw & University of Augsburg), J Cardy (University of Oxford), S Chakravarty (University of California, Los Angeles), V Dobrosavljević (Florida State University), R C Dynes (University of California, San Diego), K B Efetov (Ruhr University Bochum), F Evers (Karlsruhe Institute of Technology), A M Finkel'stein (Weizmann Institute of Science & Texas A&M University), A Genack (Queens College, CUNY), N Giordano (Purdue University), I V Gornyi (Karlsruhe Institute of Technology), W Hofstetter (Goethe University Frankfurt), Y Imry (Weizmann Institute of Science), B Kramer (Jacobs University Bremen), S V Kravchenko (Northeastern University), A MacKinnon (Imperial College London), A D Mirlin (Karlsruhe Institute of Technology), M Moskalets (NTU “Kharkiv Polytechnic Institute”), T Ohtsuki (Sophia University), P M Ostrovsky (Karlsruhe Institute of Technology), A M M Pruisken (University of Amsterdam), T V Ramakrishnan (Indian Institute of Science), M P Sarachik (City College, CUNY), K Slevin (Osaka University), T Spencer (Institute for Advanced Study, Princeton), D J Thouless (University of Washington), D Vollhardt (University of Augsburg), J Wang (Queens College, CUNY), F J Wegner (Ruprecht-Karls-University) and P Wölfle (Karlsruhe Institute of Technology).

Written by world-renowned experts, the book is a collection of tutorial presentations and research papers catering to the latest advances in symbolic summation, factorization, symbolic-numeric linear algebra and linear functional equations. The papers were presented at a workshop celebrating the 60th birthday of Sergei Abramov (Russia), whose highly influential contributions to symbolic methods are adopted in many leading computer algebra systems.

Norbert Wiener (1894-1964) is well known by the general public as the founder of Cybernetics, by mathematicians as one of the first north-American mathematicians who win international prestige — as the person who formalized Brownian motion, solved the Zaremba problem and was the author of two seminal papers devoted to Generalized Harmonic Analysis and Tauberian Theorems — and by engineers as the person who proposed much of the Fourier analysis used by them and contributed to the foundation of the statistical theory of communication — which includes the use of wave filter theory, information theory and prediction theory in control and communications as well as the automation of all types of electronic devices.Wiener's research, which was frequently motivated by physics, engineering, or biology, was a clever mixture of Fourier analysis and probability theory. His contributions to electronics through his work on filtering (that is, the separation of noise from a message), and the theory of prediction made him very valuable to electronics engineering. In addition, Wiener addressed many other topics, including the formalization of the Brownian motion, ergodic theory, wave filter theory, and information theory. Taking all these ingredients together, he ventured to create a new scientific paradigm: cybernetics.This book contains a detailed explanation of Wiener's life, his many colleagues, and the historical context in which he lived, as well as Wiener's work. It also contains a large appendix about'Wiener, Shannon, and the rise of a Digital World'. The main focus of the book is on Wiener's work related to electrical and electronic engineering and the way he used his mathematics to create the main concepts and techniques of the statistical theory of communication. In particular, the author presents Wiener surrounded by the engineers that worked at MIT with whom he maintained strong contact. It was in this atmosphere that information theory arose, and Wiener was a main influence on the people who developed that theory.

The ICTCA conference provides an interdisciplinary forum for active researchers in academia and industry who are of varying backgrounds to discuss the state-of-the-art developments and results in theoretical and computational acoustics and related topics. The papers presented at the meeting cover acoustical problems of common interest across disciplines and their accurate mathematical and numerical modelling.The present book collects papers that were presented at the 4th meeting and printed in the Journal of Computational Acoustics. There are about 120 full research articles on various subjects, such as wave propagation theory and numerical modelling, sound propagation, vibrations and noise generation, underwater acoustics, engineering seismology, ultrasonic field synthesis and modelling, as well as computational methods, inverse problems and tomography, shallow water acoustics and environmental/bottom parameter extraction. A CD-Rom is attached that allows readers to browse through articles and print those of interest to them.

This book contains about 20 invited papers and 40 contributed papers in the research areas of theoretical continuum mechanics, kinetic theory and numerical applications of continuum mechanics. Collectively these papers give a good overview of the activities and developments in these fields in the last few years.The proceedings have been selected for coverage in:• Index to Scientific & Technical Proceedings® (ISTP® / ISI Proceedings)• Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings)• CC Proceedings — Engineering & Physical Sciences

The book is intended as an invitation to the topic of relations on a rather general basis. It fills the gap between the basic knowledge offered in countless introductory papers and books (usually comprising orders and equivalences) and the highly specialized monographs on mainly relation algebras, many-valued (fuzzy) relations, or graphs. This is done not only by presenting theoretical results but also by giving hints to some of the many interesting application areas (also including their respective theoretical basics).This book is a new — and the first of its kind — compilation of known results on binary relations. It offers relational concepts in both reasonable depth and broadness, and also provides insight into the vast diversity of theoretical results as well as application possibilities beyond the commonly known examples.This book is unique by the spectrum of the topics it handles. As indicated in its title these are:

This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics. It covers the areas such as automata and grammars, languages and codes, combinatorics on words, cryptosystems, logics and trees, Grobner bases, minimal clones, zero-divisor graphs, fine convergence of functions, and others.

The interaction of a fluid with a solid body is a widespread phenomenon in nature, occurring at different scales and different applied disciplines. Interestingly enough, even though the mathematical theory of the motion of bodies in a liquid is one of the oldest and most classical problems in fluid mechanics, mathematicians have, only very recently, become interested in a systematic study of the basic problems related to fluid-structure interaction, from both analytical and numerical viewpoints.Fundamental Trends in Fluid-Structure Interaction is a unique collection of important papers written by world-renowned experts aimed at furnishing the highest level of development in several significant areas of fluid-structure interactions. The contributions cover several aspects of this discipline, from mathematical analysis, numerical simulation and modeling viewpoints, including motion of rigid and elastic bodies in a viscous liquid, particulate flow and hemodynamic.

This book provides an up-to-date overview of research articles in applied and industrial mathematics in Italy. This is done through the presentation of a number of investigations focusing on subjects as nonlinear optimization, life science, semiconductor industry, cultural heritage, scientific computing and others.This volume is important as it gives a report on modern applied and industrial mathematics, and will be of specific interest to the community of applied mathematicians.This book collects selected papers presented at the 9th Conference of SIMAI. The subjects discussed include image analysis methods, optimization problems, mathematics in the life sciences, differential models in applied mathematics, inverse problems, complex systems, innovative numerical methods and others.

International ISAAC (International Society for Analysis, its Applications and Computation) Congresses have been held every second year since 1997. The proceedings report on a regular basis on the progresses of the field in recent years, where the most active areas in analysis, its applications and computation are covered. Plenary lectures also highlight recent results. This volume concentrates mainly on partial differential equations, but also includes function spaces, operator theory, integral transforms and equations, potential theory, complex analysis and generalizations, stochastic analysis, inverse problems, homogenization, continuum mechanics, mathematical biology and medicine. With over 350 participants attending the congress, the book comprises 140 papers from 211 authors.The volume also serves for transferring personal information about the ISAAC and its members. This volume includes citations for O Besov, V Burenkov and R P Gilbert on the occasion of their anniversaries.

This book brings together the joint work of Drew Fudenberg and David Levine (through 2008) on the closely connected topics of repeated games and reputation effects, along with related papers on more general issues in game theory and dynamic games. The unified presentation highlights the recurring themes of their work.

A reprint of one of the classic volumes on racetrack efficiency, this book is the only one in its field that deals with the racetrack betting market in-depth, containing all the important historical papers on racetrack efficiency. As evidenced by the collection of articles, the understanding of racetrack betting is clearly drawn from, and has correspondingly returned something to, all the fields of psychology, economics, finance, statistics, mathematics and management science.

Gabor and wavelet analyses have found widespread applications in signal analysis, image processing and many other information-related areas. Both deliver representations that are simultaneously local in time and in frequency. Due to their significance and success in practical applications, they formed some of the core topics of the program “Mathematics and Computation in Imaging Science and Information Processing”, which was held at the Institute for Mathematical Sciences, National University of Singapore, from July to December 2003 and in August 2004. As part of the program, tutorial lectures were conducted by international experts, and they covered a wide spectrum of topics in mathematical image, signal and information processing.This volume includes exposition articles by the tutorial speakers on the foundations of Gabor analysis, subband filters and wavelet algorithms, and operator-theoretic interpolation of wavelets and frames. It also presents research papers on Gabor analysis, written by specialists in their respective areas. The volume takes graduate students and researchers new to the field on a valuable learning journey from introductory Gabor and wavelet analyses to advanced topics of current research.

The Hilbert-Huang Transform (HHT) represents a desperate attempt to break the suffocating hold on the field of data analysis by the twin assumptions of linearity and stationarity. Unlike spectrograms, wavelet analysis, or the Wigner-Ville Distribution, HHT is truly a time-frequency analysis, but it does not require an a priori functional basis and, therefore, the convolution computation of frequency. The method provides a magnifying glass to examine the data, and also offers a different view of data from nonlinear processes, with the results no longer shackled by spurious harmonics — the artifacts of imposing a linearity property on a nonlinear system or of limiting by the uncertainty principle, and a consequence of Fourier transform pairs in data analysis. This is the first HHT book containing papers covering a wide variety of interests. The chapters are divided into mathematical aspects and applications, with the applications further grouped into geophysics, structural safety and visualization.

The research results published in this book range from pure mathematical theory (semigroup theory, discrete mathematics, etc.) to theoretical computer science, in particular formal languages and automata. The papers address issues in the algebraic and combinatorial theories of semigroups, words and languages, the structure theory of automata, the classification theory of formal languages and codes, and applications of these theories to various areas, like quantum and molecular computing, coding theory, and cryptography.

In the past few decades, many significant insights have been gained into several areas of computational methods in sciences and engineering. New problems and methodologies have appeared in some areas of sciences and engineering. There is always a need in these fields for the advancement of information exchange.The aim of this book is to facilitate the sharing of ideas, problems and methodologies between computational scientists and engineers in several disciplines. Extended abstracts of papers on the recent advances regarding computational methods in sciences and engineering are provided. The book briefly describes new methods in numerical analysis, computational mathematics, computational and theoretical physics, computational and theoretical chemistry, computational biology, computational mechanics, computational engineering, computational medicine, high performance computing, etc.

This invaluable book contains 19 papers selected from those submitted to a conference held in Hong Kong in July 2000 to celebrate the 70th birthday of Professor Steve Smale. It may be regarded as a continuation of the proceedings of SMALEFEST 1990 (”From Topology to Computation”) held in Berkeley, USA, 10 years before, but with the focus on the area in which Smale worked more intensively during the'90's, namely the foundations of computational mathematics.

This series of volumes on the “Frontiers of Computational Fluid Dynamics” was introduced to honor contributors who have made a major impact on the field. The first volume was published in 1994 and was dedicated to Prof Antony Jameson; the second was published in 1998 and was dedicated to Prof Earl Murman. The volume is dedicated to Prof Robert MacCormack.The twenty-six chapters in the current volume have been written by leading researchers from academia, government laboratories, and industry. They present up-to-date descriptions of recent developments in techniques for numerical analysis of fluid flow problems, and applications of these techniques to important problems in industry, as well as the classic paper that introduced the “MacCormack scheme” to the world.

The advent of mathematical software has been one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. On the other hand, mathematical research often motivates developments of new algorithms and new systems.This volume contains the papers presented at the First International Congress of Mathematical Software, which aimed at a coherent study of mathematical software systems from a wide variety of branches of mathematics. The book discusses more than one hundred mathematical software systems. Readers can get an overview of the current status of the arts of mathematical software and algorithms.The proceedings have been selected for coverage in: • Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings)

This is an excellent collection of papers dealing with combinatorics on words, codes, semigroups, automata, languages, molecular computing, transducers, logics, etc., related to the impressive work of Gabriel Thierrin. This volume is in honor of Professor Thierrin on the occasion of his 80th birthday.

Ordinary differential equations (ODEs), differential-algebraic equations (DAEs) and partial differential equations (PDEs) are among the forms of mathematics most widely used in science and engineering. Each of these equation types is a focal point for international collaboration and research. This book contains papers by recognized numerical analysts who have made important contributions to the solution of differential systems in the context of realistic applications, and who now report the latest results of their work in numerical methods and software for ODEs/DAEs/PDEs. The papers address parallelization and vectorization of numerical methods, the numerical solution of ODEs/DAEs/PDEs, and the use of these numerical methods in realistic scientific and engineering applications.

This volume contains selected papers of the proceedings of the first Hellenic Conference on Mathematics and Informatics (HERMIS'92). The main theme for HERMIS'92 Conference was Computer Mathematics, with special emphasis on Computational Mathematics, Operational Research and Statistics, and Mathematics in Economic Science. The presented papers of the HERMIS Conference have been classified into the following technical sessions: Numerical solution of Differential Equations, Parallel Processing and Parallel Algorithms, Optimization and Approximation, Algorithms in Operational Research and Control Theory, Statistical Methods and Analysis, Mathematics in Economic Science, Artificial Intelligence and Data Bases Technology.In addition, a number of selected research articles published recently in the Hellenic Mathematical Society Bulletin in the form of special issues on Computer Mathematics (Volumes 31 and 32) are also included.

This volume results from two programs that took place at the Institute for Mathematical Sciences at the National University of Singapore: Aspects of Computation — in Celebration of the Research Work of Professor Rod Downey (21 August to 15 September 2017) and Automata Theory and Applications: Games, Learning and Structures (20-24 September 2021).The first program was dedicated to the research work of Rodney G. Downey, in celebration of his 60th birthday. The second program covered automata theory whereby researchers investigate the other end of computation, namely the computation with finite automata, and the intermediate level of languages in the Chomsky hierarchy (like context-free and context-sensitive languages).This volume contains 17 contributions reflecting the current state-of-art in the fields of the two programs.

This volume features the latest scientific developments in the fields of computability theory and logical foundations of mathematics as well as applications. The scope involves the topics of Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory.

In this monograph, we develop the theory of one of the most fascinating topics in coding theory, namely, perfect codes and related structures. Perfect codes are considered to be the most beautiful structure in coding theory, at least from the mathematical side. These codes are the largest ones with their given parameters. The book develops the theory of these codes in various metrics — Hamming, Johnson, Lee, Grassmann, as well as in other spaces and metrics. It also covers other related structures such as diameter perfect codes, quasi-perfect codes, mixed codes, tilings, combinatorial designs, and more. The goal is to give the aspects of all these codes, to derive bounds on their sizes, and present various constructions for these codes.The intention is to offer a different perspective for the area of perfect codes. For example, in many chapters there is a section devoted to diameter perfect codes. In these codes, anticodes are used instead of balls and these anticodes are related to intersecting families, an area that is part of extremal combinatorics. This is one example that shows how we direct our exposition in this book to both researchers in coding theory and mathematicians interested in combinatorics and extremal combinatorics. New perspectives for MDS codes, different from the classic ones, which lead to new directions of research on these codes are another example of how this book may appeal to both researchers in coding theory and mathematicians.The book can also be used as a textbook, either on basic course in combinatorial coding theory, or as an advance course in combinatorial coding theory.

This volume consists of six articles covering different facets of the mathematical theory of dynamical systems. The topics range from topological foundations through invariant manifolds, decoupling, perturbations and computations to control theory. All contributions are based on a sound mathematical analysis. Some of them provide detailed proofs while others are of a survey character. In any case, emphasis is put on motivation and guiding ideas. Many examples are included.The papers of this volume grew out of a tutorial workshop for graduate students in mathematics held at the University of Augsburg. Each of the contributions is self-contained and provides an in-depth insight into some topic of current interest in the mathematical theory of dynamical systems. The text is suitable for courses and seminars on a graduate student level.

This volume is intended to mark the 75th birthday of A R Mitchell, of the University of Dundee. It consists of a collection of articles written by numerical analysts having links with Ron Mitchell, as colleagues, collaborators, former students, or as visitors to Dundee. Ron Mitchell is known for his books and articles contributing to the numerical analysis of partial differential equations; he has also made major contributions to the development of numerical analysis in the UK and abroad, and his many human qualitites are such that he is held in high regard and looked on with great affection by the numerical analysis community. The list of contributors is evidence of the esteem in which he is held, and of the way in which his influence has spread through his former students and fellow workers. In addition to contributions relevant to his own specialist subjects, there are also papers on a wide range of subjects in numerical analysis.

There are connections between invariant theory and modular forms since the times of Felix Klein, in the 19th century, connections between codes and lattices since the 1960's. The aim of the book is to explore the interplay between codes and modular forms. Here modular form is understood in a wide sense (Jacobi forms, Siegel forms, Hilbert forms). Codes comprises not only linear spaces over finite fields but modules over some commutative rings. The connection between codes over finite fields and lattices has been well documented since the 1970s. Due to an avalanche of results on codes over rings since the 1990's there is a need for an update at book level.

The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 2015. This special collection reports on important and recent interactions between the fields of Set Theory and Computation Theory. This includes the new research areas of computational complexity in set theory, randomness beyond the hyperarithmetic, powerful extensions of Goodstein's theorem and the capturing of large fragments of set theory via elementary-recursive structures.Further chapters are concerned with central topics within Set Theory, including cardinal characteristics, Fraïssé limits, the set-generic multiverse and the study of ideals. Also Computation Theory, which includes computable group theory and measure-theoretic aspects of Hilbert's Tenth Problem. A volume of this broad scope will appeal to a wide spectrum of researchers in mathematical logic.

The binomial transform is a discrete transformation of one sequence into another with many interesting applications in combinatorics and analysis. This volume is helpful to researchers interested in enumerative combinatorics, special numbers, and classical analysis. A valuable reference, it can also be used as lecture notes for a course in binomial identities, binomial transforms and Euler series transformations. The binomial transform leads to various combinatorial and analytical identities involving binomial coefficients. In particular, we present here new binomial identities for Bernoulli, Fibonacci, and harmonic numbers. Many interesting identities can be written as binomial transforms and vice versa.The volume consists of two parts. In the first part, we present the theory of the binomial transform for sequences with a sufficient prerequisite of classical numbers and polynomials. The first part provides theorems and tools which help to compute binomial transforms of different sequences and also to generate new binomial identities from the old. These theoretical tools (formulas and theorems) can also be used for summation of series and various numerical computations.In the second part, we have compiled a list of binomial transform formulas for easy reference. In the Appendix, we present the definition of the Stirling sequence transform and a short table of transformation formulas.

This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering. It is a summary of the work by the authors and their collaborators on automated inequality proving and discovering in recent years. Besides brief introduction to some classical results and related work in corresponding chapters, the book mainly focuses on the algorithms initiated by the authors and their collaborators, such as real root counting, real root classification, improved CAD projection, dimension-decreasing algorithm, difference substitution, and so on. All the algorithms were rigorously proved and the implementations are demonstrated by lots of examples in various backgrounds such as algebra, geometry, biological science, and computer science.

Problem solving is an essential part of every scientific discipline. It has two components: (1) problem identification and formulation, and (2) the solution to the formulated problem. One can solve a problem on its own using ad hoc techniques or by following techniques that have produced efficient solutions to similar problems. This requires the understanding of various algorithm design techniques, how and when to use them to formulate solutions, and the context appropriate for each of them.Algorithms: Design Techniques and Analysis advocates the study of algorithm design by presenting the most useful techniques and illustrating them with numerous examples — emphasizing on design techniques in problem solving rather than algorithms topics like searching and sorting. Algorithmic analysis in connection with example algorithms are explored in detail. Each technique or strategy is covered in its own chapter through numerous examples of problems and their algorithms.Readers will be equipped with problem solving tools needed in advanced courses or research in science and engineering.

Winning in Service Markets: Success through People, Technology, and Strategy is the first practitioner book in the market to cover the key aspects of services marketing and management based on sound academic evidence and knowledge. Derived from the globally leading textbook for Services Marketing by the same author, this book offers a comprehensive overview of extant knowledge on the topic. Accessible and practical, Winning in Service Markets bridges the gap between cutting-edge academic research and industry practitioners, and features best practices and latest trends on Services Marketing from around the world.

This book introduces oriented version of metrics and cuts and their multidimensional analogues, as well as partial metrics and weighted metrics. It is a follow-up of Geometry of Cuts and Metrics by Deza and Laurent which presents rich theory of classical binary and symmetric objects — metrics and cuts.Many research publications on this subject are devoted to different special aspects of the theory of generalized metrics. However, they are disconnected one from other, often written in different mathematical language, consider the same objects from different points of view without analysis of possible connections, etc. In this book we will construct full theory of main classes of finite generalized metrics and their polyhedral aspects.

This book gives introductory chapters on the classical basic and standard methods for asymptotic analysis, such as Watson's lemma, Laplace's method, the saddle point and steepest descent methods, stationary phase and Darboux's method. The methods, explained in great detail, will obtain asymptotic approximations of the well-known special functions of mathematical physics and probability theory. After these introductory chapters, the methods of uniform asymptotic analysis are described in which several parameters have influence on typical phenomena: turning points and transition points, coinciding saddle and singularities. In all these examples, the special functions are indicated that describe the peculiar behavior of the integrals.The text extensively covers the classical methods with an emphasis on how to obtain expansions, and how to use the results for numerical methods, in particular for approximating special functions. In this way, we work with a computational mind: how can we use certain expansions in numerical analysis and in computer programs, how can we compute coefficients, and so on.

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context to make it possible for students with at least a basic knowledge of computability theory and proof theory to appreciate the exciting advances currently happening in the area, and perhaps make contributions of their own. It adopts a case-study approach, using the study of versions of Ramsey's Theorem (for colorings of tuples of natural numbers) and related principles as illustrations of various aspects of computability theoretic and reverse mathematical analysis. This book contains many exercises and open questions.

This book aims to introduce some new trends and results on the study of the fractional differential equations, and to provide a good understanding of this field to beginners who are interested in this field, which is the authors'beautiful hope.This book describes theoretical and numerical aspects of the fractional partial differential equations, including the authors'researches in this field, such as the fractional Nonlinear Schrödinger equations, fractional Landau-Lifshitz equations and fractional Ginzburg-Landau equations. It also covers enough fundamental knowledge on the fractional derivatives and fractional integrals, and enough background of the fractional PDEs.

This volume presents several important and recent contributions to the emerging field of fractional differential equations in a self-contained manner. It deals with new results on existence, uniqueness and multiplicity, smoothness, asymptotic development, and stability of solutions. The new topics in the field of fractional calculus include also the Mittag-Leffler and Razumikhin stability, stability of a class of discrete fractional non-autonomous systems, asymptotic integration with a priori given coefficients, intervals of disconjugacy (non-oscillation), existence of Lp solutions for various linear, and nonlinear fractional differential equations.

The “Hyperboloidal Foliation Method” introduced in this monograph is based on a (3 + 1) foliation of Minkowski spacetime by hyperboloidal hypersurfaces. This method allows the authors to establish global-in-time existence results for systems of nonlinear wave equations posed on a curved spacetime. It also allows to encompass the wave equation and the Klein-Gordon equation in a unified framework and, consequently, to establish a well-posedness theory for a broad class of systems of nonlinear wave-Klein-Gordon equations. This book requires certain natural (null) conditions on nonlinear interactions, which are much less restrictive that the ones assumed in the existing literature. This theory applies to systems arising in mathematical physics involving a massive scalar field, such as the Dirac-Klein-Gordon systems.

This unique volume presents a fruitful and beautiful mathematical world hidden in Caianiello's neuronic equations, which describe the instantaneous behavior of a model of a brain or thinking machine. The detailed analysis from a viewpoint of “dynamical systems”, even in a single neuron case, enables us to obtain amazingly good rational approximations to the Hecke-Mahler series with two variables. Some interesting numerical applications of our rational approximations are also discussed.This book is fundamentally self-contained and many topics required in it are explained from the beginning. Each chapter contains a number of instructive and mostly original exercises at various levels.

This book is written for scientists and engineers who use HHT (Hilbert-Huang Transform) to analyze data from nonlinear and non-stationary processes. It can be treated as a HHT user manual and a source of reference for HHT applications. The book contains the basic principle and method of HHT and various application examples, ranging from the correction of satellite orbit drifting to detection of failure of highway bridges.The thirteen chapters of the first edition are based on the presentations made at a mini-symposium at the Society for Industrial and Applied Mathematics in 2003. Some outstanding mathematical research problems regarding HHT development are discussed in the first three chapters. The three new chapters of the second edition reflect the latest HHT development, including ensemble empirical mode decomposition (EEMD) and modified EMD.The book also provides a platform for researchers to develop the HHT method further and to identify more applications.

This book is a collection of lecture notes and contributions in “Summer School on Diversities in Quantum Computation/Information” held on 1-5 August, 2010 at U-Community Hotel, Higashi-Osaka, Japan. Lecturers are world class authorities in respective areas in quantum information and quantum computing including physics, mathematics, chemistry and information science. They lectured on cutting-edge research frontiers where they are currently working, including quantum error correction, relativistic quantum information, quantum computing of link polynomials, quantum algorithms, etc. Each lecture note is written in a self-contained manner so that it may be used as a textbook for one semester graduate course or advanced undergraduate course. Contributions report current research subjects also in a self-contained manner. We believe that these articles are accessible to the readers form various disciplines.

This is the only book that deals comprehensively with fixed point theorems throughout mathematics. Their importance is due, as the book demonstrates, to their wide applicability. Beyond the first chapter, each of the other seven can be read independently of the others so the reader has much flexibility to follow his/her own interests. The book is written for graduate students and professional mathematicians and could be of interest to physicists, economists and engineers.

High technology industries are in desperate need for adequate tools to assess the validity of simulations produced by ever faster computers for perennial unstable problems. In order to meet these industrial expectations, applied mathematicians are facing a formidable challenge summarized by these words — nonlinearity and coupling. This book is unique as it proposes truly original solutions: (1) Using hypercomputation in quadratic algebras, as opposed to the traditional use of linear vector spaces in the 20th century; (2) complementing the classical linear logic by the complex logic which expresses the creative potential of the complex plane.The book illustrates how qualitative computing has been the driving force behind the evolution of mathematics since Pythagoras presented the first incompleteness result about the irrationality of √2. The celebrated results of Gödel and Turing are but modern versions of the same idea: the classical logic of Aristotle is too limited to capture the dynamics of nonlinear computation. Mathematics provides us with the missing tool, the organic logic, which is aptly tailored to model the dynamics of nonlinearity. This logic will be the core of the “Mathematics for Life” to be developed during this century.

A small army of physicists, chemists, mathematicians, and engineers has joined forces to attack a classic problem, the “reversibility paradox”, with modern tools. This book describes their work from the perspective of computer simulation, emphasizing the authors'approach to the problem of understanding the compatibility, and even inevitability, of the irreversible second law of thermodynamics with an underlying time-reversible mechanics. Computer simulation has made it possible to probe reversibility from a variety of directions and “chaos theory” or “nonlinear dynamics” has supplied a useful vocabulary and a set of concepts, which allow a fuller explanation of irreversibility than that available to Boltzmann or to Green, Kubo and Onsager. Clear illustration of concepts is emphasized throughout, and reinforced with a glossary of technical terms from the specialized fields which have been combined here to focus on a common theme.The book begins with a discussion, contrasting the idealized reversibility of basic physics against the pragmatic irreversibility of real life. Computer models, and simulation, are next discussed and illustrated. Simulations provide the means to assimilate concepts through worked-out examples. State-of-the-art analyses, from the point of view of dynamical systems, are applied to many-body examples from nonequilibrium molecular dynamics and to chaotic irreversible flows from finite-difference, finite-element, and particle-based continuum simulations. Two necessary concepts from dynamical-systems theory — fractals and Lyapunov instability — are fundamental to the approach.Undergraduate-level physics, calculus, and ordinary differential equations are sufficient background for a full appreciation of this book, which is intended for advanced undergraduates, graduates, and research workers. The generous assortment of examples worked out in the text will stimulate readers to explore the rich and fruitful field of study which links fundamental reversible laws of physics to the irreversibility surrounding us all.This expanded edition stresses and illustrates computer algorithms with many new worked-out examples, and includes considerable new material on shockwaves, Lyapunov instability and fluctuations.

In the past 50 years, discrete mathematics has developed as a far-reaching and popular language for modeling fundamental problems in computer science, biology, sociology, operations research, economics, engineering, etc. The same model may appear in different guises, or a variety of models may have enough similarities such that same ideas and techniques can be applied in diverse applications.This book focuses on fields such as consensus and voting theory, clustering, location theory, mathematical biology, and optimization that have seen an upsurge of new and exciting works over the past two decades using discrete models in modern applications. Featuring survey articles written by experts in these fields, the articles emphasize the interconnectedness of the mathematical models and techniques used in various areas, and elucidate the possibilities for future interdisciplinary research. Additionally, this book discusses recent advances in the fields, highlighting the approach of cross-fertilization of ideas across disciplines.

This unique volume presents reviews of research in several important areas of applications of mathematical concepts to science and technology, for example applications of inverse problems and wavelets to real world systems. The book provides a comprehensive overview of current research of several outstanding scholars engaged in diverse fields such as complexity theory, vertex coupling in quantum graphs, mixing of substances by turbulence, network dynamics and architecture, processes with rate — independent hysteresis, numerical analysis of Hamilton Jacobi — Bellman equations, simulations of complex stochastic differential equations, optimal flow control, shape optimal flow control, shape optimization and aircraft designing, mathematics of brain, nanotechnology and DNA structure and mathematical models of environmental problems. The volume also contains contributory talks based on current researches of comparatively young researchers participating in the conference.

This book captures the state-of-the-art in the field of Strong Stability Preserving (SSP) time stepping methods, which have significant advantages for the time evolution of partial differential equations describing a wide range of physical phenomena. This comprehensive book describes the development of SSP methods, explains the types of problems which require the use of these methods and demonstrates the efficiency of these methods using a variety of numerical examples. Another valuable feature of this book is that it collects the most useful SSP methods, both explicit and implicit, and presents the other properties of these methods which make them desirable (such as low storage, small error coefficients, large linear stability domains). This book is valuable for both researchers studying the field of time-discretizations for PDEs, and the users of such methods.

Buildings are combinatorial constructions successfully exploited to study groups of various types. The vertex set of a building can be naturally decomposed into subsets called Grassmannians. The book contains both classical and more recent results on Grassmannians of buildings of classical types. It gives a modern interpretation of some classical results from the geometry of linear groups. The presented methods are applied to some geometric constructions non-related to buildings — Grassmannians of infinite-dimensional vector spaces and the sets of conjugate linear involutions.The book is self-contained and the requirement for the reader is a knowledge of basic algebra and graph theory. This makes it very suitable for use in a course for graduate students.