Mathematical Applications and Modelling is the second in the series of the yearbooks of the Association of Mathematics Educators in Singapore. The book is unique as it addresses a focused theme on mathematics education. The objective is to illustrate the diversity within the theme and present research that translates into classroom pedagogies.

The book, comprising of 17 chapters, illuminates how application and modelling tasks may help develop the capacity of students to use mathematics in their present and future lives. Several renowned international researchers in the field of mathematical modelling have published their work in the book. The chapters are comprehensive and laden with evidence-based examples for both mathematics educators and classroom teachers. The book is an invaluable contribution towards the emerging field of research in mathematical applications and modelling. It is a must-read for graduate research students and mathematics educators.

This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures. The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth, proof, and grounding; and, often, a special emphasis is placed on considerations relating to mathematical practice. A distinguishing feature of the book is the multicultural nature of the community that has produced it. Philosophers, logicians, and mathematicians have all contributed high-quality articles which will prove valuable to researchers and students alike.

New to the Second Edition New Foreword by Joseph Clinton, life-long Buckminster Fuller collaborator A new chapter by Chris Kitrick on the mathematical techniques for developing optimal single-edge hexagonal tessellations, of varying density, with the smallest edge possible for a particular topology, suggesting ways of comparing their levels of optimization An expanded history of the evolution of spherical subdivision New applications of spherical design in science, product design, architecture and entertainment New geodesic algorithms for grid optimization New full-color spherical illustrations created using DisplaySphere to aid readers in visualizing and comparing the various tessellations presented in the book. Updated Bibliography with references to the most recent advancements in spherical subdivision methods.

This book presents a collection of invited articles by distinguished Mathematicians on the occasion of the Platinum Jubilee Celebrations of the Indian Statistical Institute, during the year 2007. These articles provide a current perspective of different areas of research, emphasizing the major challenging issues. Given the very significant record of the Institute in research in the areas of Statistics, Probability and Mathematics, distinguished authors have very admirably responded to the invitation. Some of the articles are written keeping students and potential new entrants to an area of mathematics in mind. This volume is thus very unique and gives a perspective of several important aspects of mathematics.

This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and Linguistics and, in particular, the theory of generalized quantification. A categorical framework with lambda calculus-oriented semantics is a convenient vehicle for generalizing semantic insights (obtained in various corners of natural language) into one coherent theory.

The book aims to demonstrate to fellow logicians that the resulting applied lambda calculus has intrinsic logical interest. In the final analysis, the idea is not just to break the syntactic code' of natural languages but to understand the cognitive functioning of the human mind.

Features Provides a uniquely historical perspective on the mathematical underpinnings of a comprehensive list of games Suitable for a broad audience of differing mathematical levels. Anyone with a passion for games, game theory, and mathematics will enjoy this book, whether they be students, academics, or game enthusiasts Covers a wide selection of topics at a level that can be appreciated on a historical, recreational, and mathematical level.

This work presents the research results of students of the Graduiertenkolleg "Communication-Based Systems" to an international community. To stimulate the scientific discussion, experts have been invited to give their views on the following research areas: formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi and temporal logics; performance evaluation, dependability modelling and analysis of real-time systems with different kinds of timed Petri-nets; specification and analysis of communication protocols; reliability, security and dependability in distributed systems; object orientation in distributed systems architecture; software development and concepts for distributed applications; computer network architecture and management; and language concepts for distributed systems.

Computational Intelligence Assisted Design framework mobilises computational resources, makes use of multiple Computational Intelligence (CI) algorithms and reduces computational costs. This book provides examples of real-world applications of technology. Case studies have been used to show the integration of services, cloud, big data technology and space missions. It focuses on computational modelling of biological and natural intelligent systems, encompassing swarm intelligence, fuzzy systems, artificial neutral networks, artificial immune systems and evolutionary computation. This book provides readers with wide-scale information on CI paradigms and algorithms, inviting readers to implement and problem solve real-world, complex problems within the CI development framework. This implementation framework will enable readers to tackle new problems without difficulty through a few tested MATLAB source codes

"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.

Residue number systems (RNSs) and arithmetic are useful for several reasons. First, a great deal of computing now takes place in embedded processors, such as those found in mobile devices, for which high speed and low-power consumption are critical; the absence of carry propagation facilitates the realization of high-speed, low-power arithmetic. Second, computer chips are now getting to be so dense that full testing will no longer be possible; so fault tolerance and the general area of computational integrity have become more important. RNSs are extremely good for applications such as digital signal processing, communications engineering, computer security (cryptography), image processing, speech processing, and transforms, all of which are extremely important in computing today.This book provides an up-to-date account of RNSs and arithmetic. It covers the underlying mathematical concepts of RNSs; the conversion between conventional number systems and RNSs; the implementation of arithmetic operations; various related applications are also introduced. In addition, numerous detailed examples and analysis of different implementations are provided.

This book creates a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic. It connects both fields and offers a proper theoretical foundation for the contemporary developments of Epistemic Logic regarding the dynamics of information. It builds a bridge between the view of Awareness Justification Internalism, and a dynamic approach to Awareness Logic. The book starts with an introduction to the main topics in Epistemic Logic and Epistemology and reviews the disconnection between the two fields. It analyses three core notions representing the basic structure of the conceptual schema: "Epistemic Awareness", "Knowledge" and "Justification". Next, it presents the Explicit Aware Knowledge (EAK) Schema, using a diagram of three ellipses to illustrate the schema, and a formal model based on a neighbourhood-model structure, that shows one concrete application of the EAK-Schema into a logical structure. The book ends by presenting conclusions and final remarks about the uses and applications of the EAK-Schema. It shows that the most important feature of the schema is that it serves both as a theoretical correlate to the dynamic extensions of Awareness Logic, providing it with a philosophical background, and as an abstract conceptual structure for a re-interpretation of Epistemology.

"Knot theory is a fascinating mathematical subject, with multiple links to theoretical physics. This enyclopedia is filled with valuable information on a rich and fascinating subject." - Ed Witten, Recipient of the Fields Medal "I spent a pleasant afternoon perusing the Encyclopedia of Knot Theory. It's a comprehensive compilation of clear introductions to both classical and very modern developments in the field. It will be a terrific resource for the accomplished researcher, and will also be an excellent way to lure students, both graduate and undergraduate, into the field." - Abigail Thompson, Distinguished Professor of Mathematics at University of California, Davis Knot theory has proven to be a fascinating area of mathematical research, dating back about 150 years. Encyclopedia of Knot Theory provides short, interconnected articles on a variety of active areas in knot theory, and includes beautiful pictures, deep mathematical connections, and critical applications. Many of the articles in this book are accessible to undergraduates who are working on research or taking an advanced undergraduate course in knot theory. More advanced articles will be useful to graduate students working on a related thesis topic, to researchers in another area of topology who are interested in current results in knot theory, and to scientists who study the topology and geometry of biopolymers. Features Provides material that is useful and accessible to undergraduates, postgraduates, and full-time researchers Topics discussed provide an excellent catalyst for students to explore meaningful research and gain confidence and commitment to pursuing advanced degrees Edited and contributed by top researchers in the field of knot theory

This workbook, which accompanies The Cryptoclub, provides students with problems related to each section to help them master the concepts introduced throughout the book. A PDF version is available at no charge. This file can be found under our Downloads and Updates tab. The teacher manual can be requested from the publisher by contacting the Academic Sales Manager, Susie Carlisle

Since techniques from topology and category theory have been used increasingly by theoretical computer scientists in recent years, it was decided during the Oxford Topology Symposium to hold a special session which would be devoted to the application of these topics in computer science. By holding this session in the context of the topology symposium, the organizers hoped to achieve a cross-fertilization between the communities they brought together - providing mathematicians with a course of new problems with a more practical flavour, and computer scientists with a source of solutions and ideas.

This is the first book to comprehensively cover chromatic polynomials of graphs. It includes most of the known results and unsolved problems in the area of chromatic polynomials. Dividing the book into three main parts, the authors take readers from the rudiments of chromatic polynomials to more complex topics: the chromatic equivalence classes of graphs and the zeros and inequalities of chromatic polynomials. The early material is well suited to a graduate level course while the latter parts will be an invaluable resource for postgraduate students and researchers in combinatorics and graph theory.

This is the first book to comprehensively cover chromatic polynomials of graphs. It includes most of the known results and unsolved problems in the area of chromatic polynomials. Dividing the book into three main parts, the authors take readers from the rudiments of chromatic polynomials to more complex topics: the chromatic equivalence classes of graphs and the zeros and inequalities of chromatic polynomials. The early material is well suited to a graduate level course while the latter parts will be an invaluable resource for postgraduate students and researchers in combinatorics and graph theory.

Conveniently grouping methods by techniques, such as chi-squared and empirical distributionfunction, and also collecting methods of testing for specific famous distributions, this useful reference is the first comprehensive review of the extensive literature on the subject. It surveysthe leading methods of testing fit . .. provides tables to make the tests available . .. assessesthe comparative merits of different test procedures . .. and supplies numerical examples to aidin understanding these techniques.Goodness-of-Fit Techniques shows how to apply the techniques . .. emphasizes testing for thethree major distributions, normal, exponential, and uniform . .. discusses the handling of censoreddata .. . and contains over 650 bibliographic citations that cover the field.Illustrated with tables and drawings, this volume is an ideal reference for mathematical andapplied statisticians, and biostatisticians; professionals in applied science fields, including psychologists,biometricians , physicians, and quality control and reliability engineers; advancedundergraduate- and graduate-level courses on goodness-of-fit techniques; and professional seminarsand symposia on applied statistics, quality control, and reliability.

At the heart of modern cryptographic algorithms lies computational number theory. Whether you're encrypting or decrypting ciphers, a solid background in number theory is essential for success. Written by a number theorist and practicing cryptographer, Cryptanalysis of Number Theoretic Ciphers takes you from basic number theory to the inner workings of ciphers and protocols.

First, the book provides the mathematical background needed in cryptography as well as definitions and simple examples from cryptography. It includes summaries of elementary number theory and group theory, as well as common methods of finding or constructing large random primes, factoring large integers, and computing discrete logarithms. Next, it describes a selection of cryptographic algorithms, most of which use number theory. Finally the book presents methods of attack on the cryptographic algorithms and assesses their effectiveness. For each attack method the author lists the systems it applies to and tells how they may be broken with it.

Computational number theorists are some of the most successful cryptanalysts against public key systems. Cryptanalysis of Number Theoretic Ciphers builds a solid foundation in number theory and shows you how to apply it not only when breaking ciphers, but also when designing ones that are difficult to break.

This monograph covers some of the most important developments in Ramsey theory from its beginnings in the early 20th century via its many breakthroughs to recent important developments in the early 21st century.

The book first presents a detailed discussion of the roots of Ramsey theory before offering a thorough discussion of the role of parameter sets. It presents several examples of structures that can be interpreted in terms of parameter sets and features the most fundamental Ramsey-type results for parameter sets: Hales-Jewett's theorem and Graham-Rothschild s Ramsey theorem as well as their canonical versions and several applications. Next, the book steps back to the most basic structure, to sets. It reviews classic results as well as recent progress on Ramsey numbers and the asymptotic behavior of classical Ramsey functions. In addition, it presents product versions of Ramsey's theorem, a combinatorial proof of the incompleteness of Peano arithmetic, provides a digression to discrepancy theory and examines extensions of Ramsey's theorem to larger cardinals. The next part of the book features an in-depth treatment of the Ramsey problem for graphs and hypergraphs. It gives an account on the existence of sparse and restricted Ramsey theorem's using sophisticated constructions as well as probabilistic methods. Among others it contains a proof of the induced Graham-Rothschild theorem and the random Ramsey theorem. The book closes with a chapter on one of the recent highlights of Ramsey theory: a combinatorial proof of the density Hales-Jewett theorem.

This book provides graduate students as well as advanced researchers with a solid introduction and reference to the field."

Dirk van Dalen's biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwer's main interest, however, was in the foundation of mathematics which led him to introduce, and then consolidate, constructive methods under the name 'intuitionism'. This made him one of the main protagonists in the 'foundation crisis' of mathematics. As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict ('The war of the frogs and the mice'). It was here that Brouwer played a pivotal role. The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century.

Putting the G into CAGD, the authors provide a much-needed practical and basic introduction to computer-aided geometric design. This book will help readers understand and use the elements of computer-aided geometric design, curves and surfaces, without the mathematical baggage that is necessary only for more advanced work. Though only minimal background in mathematics is needed to understand the bookis concepts, the book covers an amazing array of topics such as Bezier and B-spline curves and their corresponding surfaces, subdivision surfaces, and NURBS (Non-Uniform Rational B-Splines). Also included are techniques such as interpolation and least squares methods.

Algorithms that control the computational processes relating sensors and actuators are indispensable for robot navigation and the perception of the world in which they move. Therefore, a deep understanding of how algorithms work to achieve this control is essential for the development of efficient and usable robots in a broad field of applications. An interdisciplinary group of scientists gathers every two years to document the progress in algorithmic foundations of robotics. This volume addresses in particular the areas of control theory, computational and differential geometry in robotics, and applications to core problems such as motion planning, navigation, sensor-based planning, and manipulation.

This book is a history of artificial intelligence, that audacious effort to duplicate in an artifact what we consider to be our most important property-our intelligence. It is an invitation for anybody with an interest in the future of the human race to participate in the inquiry.

A revised and expanded advanced-undergraduate/graduate text (first ed., 1978) about optimization algorithms for problems that can be formulated on graphs and networks. This edition provides many new applications and algorithms while maintaining the classic foundations on which contemporary algorithm

Recognized as a "Recommended" title by Choice for their April 2021 issue. Choice is a publishing unit at the Association of College & Research Libraries (ACR&L), a division of the American Library Association. Choice has been the acknowledged leader in the provision of objective, high-quality evaluations of nonfiction academic writing. Metaheuristic optimization is a higher-level procedure or heuristic designed to find, generate, or select a heuristic (partial search algorithm) that may provide a sufficiently good solution to an optimization problem, especially with incomplete or imperfect information or limited computation capacity. This is usually applied when two or more objectives are to be optimized simultaneously. This book is presented with two major objectives. Firstly, it features chapters by eminent researchers in the field providing the readers about the current status of the subject. Secondly, algorithm-based optimization or advanced optimization techniques, which are applied to mostly non-engineering problems, are applied to engineering problems. This book will also serve as an aid to both research and industry. Usage of these methodologies would enable the improvement in engineering and manufacturing technology and support an organization in this era of low product life cycle. Features: Covers the application of recent and new algorithms Focuses on the development aspects such as including surrogate modeling, parallelization, game theory, and hybridization Presents the advances of engineering applications for both single-objective and multi-objective optimization problems Offers recent developments from a variety of engineering fields Discusses Optimization using Evolutionary Algorithms and Metaheuristics applications in engineering