An ontology is a formal description of concepts and relationships that can exist for a community of human and/or machine agents. The notion of ontologies is crucial for the purpose of enabling knowledge sharing and reuse. The Handbook on Ontologies provides a comprehensive overview of the current status and future prospectives of the field of ontologies considering ontology languages, ontology engineering methods, example ontologies, infrastructures and technologies for ontologies, and how to bring this all into ontology-based infrastructures and applications that are among the best of their kind. The field of ontologies has tremendously developed and grown in the five years since the first edition of the "Handbook on Ontologies". Therefore, its revision includes 21 completely new chapters as well as a major re-working of 15 chapters transferred to this second edition.

This is a text in methods of applied statistics for researchers who design and conduct experiments, perform statistical inference, and write technical reports. These research activities rely on an adequate knowledge of applied statistics. The reader both builds on basic statistics skills and learns to apply it to applicable scenarios without over-emphasis on the technical aspects. Demonstrations are a very important part of this text. Mathematical expressions are exhibited only if they are defined or intuitively comprehensible. This text may be used as a self review guidebook for applied researchers or as an introductory statistical methods textbook for students not majoring in statistics.​ Discussion includes essential probability models, inference of means, proportions, correlations and regressions, methods for censored survival time data analysis, and sample size determination. The author has over twenty years of experience on applying statistical methods to study design and data analysis in collaborative medical research setting as well as on teaching. He received his PhD from University of Southern California Department of Preventive Medicine, received a post-doctoral training at Harvard Department of Biostatistics, has held faculty appointments at UCLA School of Medicine and Harvard Medical School, and currently a biostatistics faculty member at Massachusetts General Hospital and Harvard Medical School in Boston, Massachusetts, USA. 

Substantial effort has been drawn for years onto the development of (possibly high-order) numerical techniques for the scalar homogeneous conservation law, an equation which is strongly dissipative in L1 thanks to shock wave formation. Such a dissipation property is generally lost when considering hyperbolic systems of conservation laws, or simply inhomogeneous scalar balance laws involving accretive or space-dependent source terms, because of complex wave interactions. An overall weaker dissipation can reveal intrinsic numerical weaknesses through specific nonlinear mechanisms: Hugoniot curves being deformed by local averaging steps in Godunov-type schemes, low-order errors propagating along expanding characteristics after having hit a discontinuity, exponential amplification of truncation errors in the presence of accretive source terms... This book aims at presenting rigorous derivations of different, sometimes called well-balanced, numerical schemes which succeed in reconciling high accuracy with a stronger robustness even in the aforementioned accretive contexts. It is divided into two parts: one dealing with hyperbolic systems of balance laws, such as arising from quasi-one dimensional nozzle flow computations, multiphase WKB approximation of linear Schroedinger equations, or gravitational Navier-Stokes systems. Stability results for viscosity solutions of onedimensional balance laws are sketched. The other being entirely devoted to the treatment of weakly nonlinear kinetic equations in the discrete ordinate approximation, such as the ones of radiative transfer, chemotaxis dynamics, semiconductor conduction, spray dynamics or linearized Boltzmann models. "Caseology" is one of the main techniques used in these derivations. Lagrangian techniques for filtration equations are evoked too. Two-dimensional methods are studied in the context of non-degenerate semiconductor models.

This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. The authors focus on safe Petri nets and place/transition nets (P/T-nets), treating synthesis as an automated process which, given behavioural specifications or partial specifications of a system to be realized, decides whether the specifications are feasible, and then produces a Petri net realizing them exactly, or if this is not possible produces a Petri net realizing an optimal approximation of the specifications. In Part I the authors introduce elementary net synthesis. In Part II they explain variations of elementary net synthesis and the unified theory of net synthesis. The first three chapters of Part III address the linear algebraic structure of regions, synthesis of P/T-nets from finite initialized transition systems, and the synthesis of unbounded P/T-nets. Finally, the last chapter in Part III and the chapters in Part IV cover more advanced topics and applications: P/T-net with the step firing rule, extracting concurrency from transition systems, process discovery, supervisory control, and the design of speed-independent circuits. Most chapters conclude with exercises, and the book is a valuable reference for both graduate students of computer science and electrical engineering and researchers and engineers in this domain.

The Art of Proof is designed for a one-semester or two-quarter course. A typical student will have studied calculus (perhaps also linear algebra) with reasonable success. With an artful mixture of chatty style and interesting examples, the student's previous intuitive knowledge is placed on solid intellectual ground. The topics covered include: integers, induction, algorithms, real numbers, rational numbers, modular arithmetic, limits, and uncountable sets. Methods, such as axiom, theorem and proof, are taught while discussing the mathematics rather than in abstract isolation. The book ends with short essays on further topics suitable for seminar-style presentation by small teams of students, either in class or in a mathematics club setting. These include: continuity, cryptography, groups, complex numbers, ordinal number, and generating functions.

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.

Originally published in 1948, this book was written to provide students with an accessible guide to various elements of mathematics. The text was created for individual working rather than group learning situations. Numerous exercises are included. This book will be of value to anyone with an interest in mathematics and the history of education.

The book is the first in the trilogy which will bring you to the fascinating world of numbers and operations with them. Numbers provide information about myriads of things. Together with operations, numbers constitute arithmetic forming in basic intellectual instruments of theoretical and practical activity of people and offering powerful tools for representation, acquisition, transmission, processing, storage, and management of information about the world.The history of numbers and arithmetic is the topic of a variety of books and at the same time, it is extensively presented in many books on the history of mathematics. However, all of them, at best, bring the reader to the end of the 19th century without including the developments in these areas in the 20th century and later. Besides, such books consider and describe only the most popular classes of numbers, such as whole numbers or real numbers. At the same time, a diversity of new classes of numbers and arithmetic were introduced in the 20th century.This book looks into the chronicle of numbers and arithmetic from ancient times all the way to 21st century. It also includes the developments in these areas in the 20th century and later. A unique aspect of this book is its information orientation of the exposition of the history of numbers and arithmetic.

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas. This LNCS volume is part of FoLLi book serie and contains the papers presented at the 5th International Workshop on Logic, Rationality and Interaction/ (LORI-V), held in October 2015 in Taipei, Taiwan. The topics covered in this program well represent the span and depth that hasby now become a trademark of the LORI workshop series, where logic interfaceswith disciplines as diverse as game theory and decision theory, philosophyand epistemology, linguistics, computer science and artificial intelligence.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Large-Scale Scientific Computations, LSSC 2015, held in Sozopol, Bulgaria, in June 2015. The 49 revised full papers presented were carefully reviewed and selected from 64 submissions. The general theme for LSSC 2015 was Large-Scale Scientific Computing with a particular focus on the organized special sessions: enabling exascale computation; control and uncertain systems; computational microelectronics - from monte carlo to deterministic approaches; numerical methods for multiphysics problems; large-scale models: numerical methods, parallel computations and applications; mathematical modeling and analysis of PDEs describing physical problems; a posteriori error control and iterative methods for maxwell type problems; efficient algorithms for hybrid HPC systems; multilevel methods on graphs; and applications of metaheuristics to large-scale problems.

This volume contains nine survey articles based on the invited lectures given at the 25th British Combinatorial Conference, held at the University of Warwick in July 2015. This biennial conference is a well-established international event, with speakers from around the world. The volume provides an up-to-date overview of current research in several areas of combinatorics, including graph theory, Ramsey theory, combinatorial geometry and curves over finite fields. Each article is clearly written and assumes little prior knowledge on the part of the reader. The authors are some of the world's foremost researchers in their fields, and here they summarise existing results and give a unique preview of cutting-edge developments. The book provides a valuable survey of the present state of knowledge in combinatorics, and will be useful to researchers and advanced graduate students, primarily in mathematics but also in computer science and statistics.

This book provides the first comprehensive treatment of Benford's law, the surprising logarithmic distribution of significant digits discovered in the late nineteenth century. Establishing the mathematical and statistical principles that underpin this intriguing phenomenon, the text combines up-to-date theoretical results with overviews of the law's colorful history, rapidly growing body of empirical evidence, and wide range of applications. An Introduction to Benford's Law begins with basic facts about significant digits, Benford functions, sequences, and random variables, including tools from the theory of uniform distribution. After introducing the scale-, base-, and sum-invariance characterizations of the law, the book develops the significant-digit properties of both deterministic and stochastic processes, such as iterations of functions, powers of matrices, differential equations, and products, powers, and mixtures of random variables. Two concluding chapters survey the finitely additive theory and the flourishing applications of Benford's law. Carefully selected diagrams, tables, and close to 150 examples illuminate the main concepts throughout. The text includes many open problems, in addition to dozens of new basic theorems and all the main references. A distinguishing feature is the emphasis on the surprising ubiquity and robustness of the significant-digit law. This text can serve as both a primary reference and a basis for seminars and courses.

Steps forward in mathematics often reverberate in other scientific disciplines, and give rise to innovative conceptual developments or find surprising technological applications. This volume brings to the forefront some of the proponents of the mathematics of the twentieth century, who have put at our disposal new and powerful instruments for investigating the reality around us. The portraits present people who have impressive charisma and wide-ranging cultural interests, who are passionate about defending the importance of their own research, are sensitive to beauty, and attentive to the social and political problems of their times. What we have sought to document is mathematics' central position in the culture of our day. Space has been made not only for the great mathematicians but also for literary texts, including contributions by two apparent interlopers, Robert Musil and Raymond Queneau, for whom mathematical concepts represented a valuable tool for resolving the struggle between 'soul and precision.'

There are a number of intriguing connections between Painleve equations and orthogonal polynomials, and this book is one of the first to provide an introduction to these. Researchers in integrable systems and non-linear equations will find the many explicit examples where Painleve equations appear in mathematical analysis very useful. Those interested in the asymptotic behavior of orthogonal polynomials will also find the description of Painleve transcendants and their use for local analysis near certain critical points helpful to their work. Rational solutions and special function solutions of Painleve equations are worked out in detail, with a survey of recent results and an outline of their close relationship with orthogonal polynomials. Exercises throughout the book help the reader to get to grips with the material. The author is a leading authority on orthogonal polynomials, giving this work a unique perspective on Painleve equations.

Rich in examples and intuitive discussions, this book presents General Algebra using the unifying viewpoint of categories and functors. Starting with a survey, in non-category-theoretic terms, of many familiar and not-so-familiar constructions in algebra (plus two from topology for perspective), the reader is guided to an understanding and appreciation of the general concepts and tools unifying these constructions. Topics include: set theory, lattices, category theory, the formulation of universal constructions in category-theoretic terms, varieties of algebras, and adjunctions. A large number of exercises, from the routine to the challenging, interspersed through the text, develop the reader's grasp of the material, exhibit applications of the general theory to diverse areas of algebra, and in some cases point to outstanding open questions. Graduate students and researchers wishing to gain fluency in important mathematical constructions will welcome this carefully motivated book.

This book features survey and research papers from The Abel Symposium 2011: Algebras, quivers and representations, held in Balestrand, Norway 2011. It examines a very active research area that has had a growing influence and profound impact in many other areas of mathematics like, commutative algebra, algebraic geometry, algebraic groups and combinatorics. This volume illustrates and extends such connections with algebraic geometry, cluster algebra theory, commutative algebra, dynamical systems and triangulated categories. In addition, it includes contributions on further developments in representation theory of quivers and algebras. Algebras, Quivers and Representations is targeted at researchers and graduate students in algebra, representation theory and triangulate categories.

This is the most comprehensive survey of the mathematical life of the legendary Paul Erdos (1913-1996), one of the most versatile and prolific mathematicians of our time. For the first time, all the main areas of Erdos' research are covered in a single project. Because of overwhelming response from the mathematical community, the project now occupies over 1000 pages, arranged into two volumes. These volumes contain both high level research articles as well as key articles that survey some of the cornerstones of Erdos' work, each written by a leading world specialist in the field. A special chapter "Early Days", rare photographs, and art related to Erdos complement this striking collection. A unique contribution is the bibliography on Erdos' publications: the most comprehensive ever published. This new edition, dedicated to the 100th anniversary of Paul Erdos' birth, contains updates on many of the articles from the two volumes of the first edition, several new articles from prominent mathematicians, a new introduction, and more biographical information about Paul Erdos with an updated list of publications. The second volume contains chapters on graph theory and combinatorics, extremal and Ramsey theory, and a section on infinity that covers Erdos' research on set theory. All of these chapters are essentially updated, particularly the extremal theory chapter that contains a survey of flag algebras, a new technique for solving extremal problems.

This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution. It examines in detail the two problems this leads to: SysTermSat(A) and SysPolSat(A), in which equations are built out of terms or polynomials, respectively. The book characterizes those algebras for which SysPolSat can be solved in a polynomial time. So far, studies and their outcomes have not covered algebras that generate a variety admitting type 1 in the sense of Tame Congruence Theory. Since unary algebras admit only type 1, this book focuses on these algebras to tackle the main problem. It discusses several aspects of unary algebras and proves that the Constraint Satisfaction Problem for relational structures is polynomially equivalent to SysTermSat over unary algebras. The book's final chapters discuss partial characterizations, present conclusions, and describe the problems that are still open.

This text focuses on a variety of topics in mathematics in common usage in graduate engineering programs including vector calculus, linear and nonlinear ordinary differential equations, approximation methods, vector spaces, linear algebra, integral equations and dynamical systems. The book is designed for engineering graduate students who wonder how much of their basic mathematics will be of use in practice. Following development of the underlying analysis, the book takes students through a large number of examples that have been worked in detail. Students can choose to go through each step or to skip ahead if they so desire. After seeing all the intermediate steps, they will be in a better position to know what is expected of them when solving assignments, examination problems, and when on the job. Chapters conclude with exercises for the student that reinforce the chapter content and help connect the subject matter to a variety of engineering problems. Students have grown up with computer-based tools including numerical calculations and computer graphics; the worked-out examples as well as the end-of-chapter exercises often use computers for numerical and symbolic computations and for graphical display of the results.

This book offers an excursion through the developmental area of research mathematics. It presents some 40 papers, published between the 1870s and the 1970s, on proofs of the Cantor-Bernstein theorem and the related Bernstein division theorem. While the emphasis is placed on providing accurate proofs, similar to the originals, the discussion is broadened to include aspects that pertain to the methodology of the development of mathematics and to the philosophy of mathematics. Works of prominent mathematicians and logicians are reviewed, including Cantor, Dedekind, Schroeder, Bernstein, Borel, Zermelo, Poincare, Russell, Peano, the Koenigs, Hausdorff, Sierpinski, Tarski, Banach, Brouwer and several others mainly of the Polish and the Dutch schools. In its attempt to present a diachronic narrative of one mathematical topic, the book resembles Lakatos' celebrated book Proofs and Refutations. Indeed, some of the observations made by Lakatos are corroborated herein. The analogy between the two books is clearly anything but superficial, as the present book also offers new theoretical insights into the methodology of the development of mathematics (proof-processing), with implications for the historiography of mathematics.

This book gives a general introduction to the theory of representations of algebras. It starts with examples of classification problems of matrices under linear transformations, explaining the three common setups: representation of quivers, modules over algebras and additive functors over certain categories. The main part is devoted to (i) module categories, presenting the unicity of the decomposition into indecomposable modules, the Auslander-Reiten theory and the technique of knitting; (ii) the use of combinatorial tools such as dimension vectors and integral quadratic forms; and (iii) deeper theorems such as Gabriel's Theorem, the trichotomy and the Theorem of Kac - all accompanied by further examples. Each section includes exercises to facilitate understanding. By keeping the proofs as basic and comprehensible as possible and introducing the three languages at the beginning, this book is suitable for readers from the advanced undergraduate level onwards and enables them to consult related, specific research articles.

This expanded second edition presents the fundamentals and touchstone results of real analysis in full rigor, but in a style that requires little prior familiarity with proofs or mathematical language. The text is a comprehensive and largely self-contained introduction to the theory of real-valued functions of a real variable. The chapters on Lebesgue measure and integral have been rewritten entirely and greatly improved. They now contain Lebesgue's differentiation theorem as well as his versions of the Fundamental Theorem(s) of Calculus. With expanded chapters, additional problems, and an expansive solutions manual, Basic Real Analysis, Second Edition is ideal for senior undergraduates and first-year graduate students, both as a classroom text and a self-study guide. Reviews of first edition: The book is a clear and well-structured introduction to real analysis aimed at senior undergraduate and beginning graduate students. The prerequisites are few, but a certain mathematical sophistication is required. ... The text contains carefully worked out examples which contribute motivating and helping to understand the theory. There is also an excellent selection of exercises within the text and problem sections at the end of each chapter. In fact, this textbook can serve as a source of examples and exercises in real analysis. -Zentralblatt MATH The quality of the exposition is good: strong and complete versions of theorems are preferred, and the material is organised so that all the proofs are of easily manageable length; motivational comments are helpful, and there are plenty of illustrative examples. The reader is strongly encouraged to learn by doing: exercises are sprinkled liberally throughout the text and each chapter ends with a set of problems, about 650 in all, some of which are of considerable intrinsic interest. -Mathematical Reviews [This text] introduces upper-division undergraduate or first-year graduate students to real analysis.... Problems and exercises abound; an appendix constructs the reals as the Cauchy (sequential) completion of the rationals; references are copious and judiciously chosen; and a detailed index brings up the rear. -CHOICE Reviews

This is a comprehensive book on the life and works of Leon Henkin (1921-2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on "The completeness of formal systems" under the direction of Alonzo Church. Upon the invitation of Alfred Tarski, Henkin joined the Group in Logic and the Methodology of Science in the Department of Mathematics at the University of California Berkeley in 1953. He stayed with the group until his retirement in 1991. This edited volume includes both foundational material and a logic perspective. Algebraic logic, model theory, type theory, completeness theorems, philosophical and foundational studies are among the topics covered, as well as mathematical education. The work discusses Henkin's intellectual development, his relation to his predecessors and contemporaries and his impact on the recent development of mathematical logic. It offers a valuable reference work for researchers and students in the fields of philosophy, mathematics and computer science.

The book describes 4 main topics in current model theory and updates their most recent development and applications. The 4 topics are: 1) model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; 4) model theory of real and complex exponentiation. The book addresses in particular young researchers in model theory, as well as more senior researchers in other branches of mathematics.