This book covers original research and the latest advances in symbolic, algebraic and geometric computation; computational methods for differential and difference equations, symbolic-numerical computation; mathematics software design and implementation; and scientific and engineering applications based on features, invited talks, special sessions and contributed papers presented at the 9th (in Fukuoka, Japan in 2009) and 10th (in Beijing China in 2012) Asian Symposium on Computer Mathematics (ASCM). Thirty selected and refereed articles in the book present the conference participants' ideas and views on researching mathematics using computers.

This text presents a wide-ranging and rigorous overview of nearest neighbor methods, one of the most important paradigms in machine learning. Now in one self-contained volume, this book systematically covers key statistical, probabilistic, combinatorial and geometric ideas for understanding, analyzing and developing nearest neighbor methods. Gerard Biau is a professor at Universite Pierre et Marie Curie (Paris). Luc Devroye is a professor at the School of Computer Science at McGill University (Montreal).

This book is a comprehensive guide to qualitative comparative analysis (QCA) using R. Using Boolean algebra to implement principles of comparison used by scholars engaged in the qualitative study of macro social phenomena, QCA acts as a bridge between the quantitative and the qualitative traditions. The QCA package for R, created by the author, facilitates QCA within a graphical user interface. This book provides the most current information on the latest version of the QCA package, which combines written commands with a cross-platform interface. Beginning with a brief introduction to the concept of QCA, this book moves from theory to calibration, from analysis to factorization, and hits on all the key areas of QCA in between. Chapters one through three are introductory, familiarizing the reader with R, the QCA package, and elementary set theory. The next few chapters introduce important applications of the package beginning with calibration, analysis of necessity, analysis of sufficiency, parameters of fit, negation and factorization, and the construction of Venn diagrams. The book concludes with extensions to the classical package, including temporal applications and panel data. Providing a practical introduction to an increasingly important research tool for the social sciences, this book will be indispensable for students, scholars, and practitioners interested in conducting qualitative research in political science, sociology, business and management, and evaluation studies.

This volume collects selected, peer-reviewed contributions from the 2nd Conference of the International Society for Nonparametric Statistics (ISNPS), held in Cadiz (Spain) between June 11-16 2014, and sponsored by the American Statistical Association, the Institute of Mathematical Statistics, the Bernoulli Society for Mathematical Statistics and Probability, the Journal of Nonparametric Statistics and Universidad Carlos III de Madrid. The 15 articles are a representative sample of the 336 contributed papers presented at the conference. They cover topics such as high-dimensional data modelling, inference for stochastic processes and for dependent data, nonparametric and goodness-of-fit testing, nonparametric curve estimation, object-oriented data analysis, and semiparametric inference. The aim of the ISNPS 2014 conference was to bring together recent advances and trends in several areas of nonparametric statistics in order to facilitate the exchange of research ideas, promote collaboration among researchers from around the globe, and contribute to the further development of the field.

This volume conveys some of the surprises, puzzles and success stories in high-dimensional and complex data analysis and related fields. Its peer-reviewed contributions showcase recent advances in variable selection, estimation and prediction strategies for a host of useful models, as well as essential new developments in the field. The continued and rapid advancement of modern technology now allows scientists to collect data of increasingly unprecedented size and complexity. Examples include epigenomic data, genomic data, proteomic data, high-resolution image data, high-frequency financial data, functional and longitudinal data, and network data. Simultaneous variable selection and estimation is one of the key statistical problems involved in analyzing such big and complex data. The purpose of this book is to stimulate research and foster interaction between researchers in the area of high-dimensional data analysis. More concretely, its goals are to: 1) highlight and expand the breadth of existing methods in big data and high-dimensional data analysis and their potential for the advancement of both the mathematical and statistical sciences; 2) identify important directions for future research in the theory of regularization methods, in algorithmic development, and in methodologies for different application areas; and 3) facilitate collaboration between theoretical and subject-specific researchers.

Pulsar timing is a promising method for detecting gravitational waves in the nano-Hertz band. In his prize winning Ph.D. thesis Rutger van Haasteren deals with how one takes thousands of seemingly random timing residuals which are measured by pulsar observers, and extracts information about the presence and character of the gravitational waves in the nano-Hertz band that are washing over our Galaxy. The author presents a sophisticated mathematical algorithm that deals with this issue. His algorithm is probably the most well-developed of those that are currently in use in the Pulsar Timing Array community. In chapter 3, the gravitational-wave memory effect is described. This is one of the first descriptions of this interesting effect in relation with pulsar timing, which may become observable in future Pulsar Timing Array projects. The last part of the work is dedicated to an effort to combine the European pulsar timing data sets in order to search for gravitational waves. This study has placed the most stringent limit to date on the intensity of gravitational waves that are produced by pairs of supermassive black holes dancing around each other in distant galaxies, as well as those that may be produced by vibrating cosmic strings. Rutger van Haasteren has won the 2011 GWIC Thesis Prize of the Gravitational Wave International Community for his innovative work in various directions of the search for gravitational waves by pulsar timing. The work is presented in this Ph.D. thesis.

This book discusses recent developments in mathematical programming and game theory, and the application of several mathematical models to problems in finance, games, economics and graph theory. All contributing authors are eminent researchers in their respective fields, from across the world. This book contains a collection of selected papers presented at the 2017 Symposium on Mathematical Programming and Game Theory at New Delhi during 9-11 January 2017. Researchers, professionals and graduate students will find the book an essential resource for current work in mathematical programming, game theory and their applications in finance, economics and graph theory. The symposium provides a forum for new developments and applications of mathematical programming and game theory as well as an excellent opportunity to disseminate the latest major achievements and to explore new directions and perspectives.

The papers in this volume represent the most timely and advanced contributions to the 2014 Joint Applied Statistics Symposium of the International Chinese Statistical Association (ICSA) and the Korean International Statistical Society (KISS), held in Portland, Oregon. The contributions cover new developments in statistical modeling and clinical research: including model development, model checking, and innovative clinical trial design and analysis. Each paper was peer-reviewed by at least two referees and also by an editor. The conference was attended by over 400 participants from academia, industry, and government agencies around the world, including from North America, Asia, and Europe. It offered 3 keynote speeches, 7 short courses, 76 parallel scientific sessions, student paper sessions, and social events.

This Festschrift in honour of Ursula Gather's 60th birthday deals with modern topics in the field of robust statistical methods, especially for time series and regression analysis, and with statistical methods for complex data structures. The individual contributions of leading experts provide a textbook-style overview of the topic, supplemented by current research results and questions. The statistical theory and methods in this volume aim at the analysis of data which deviate from classical stringent model assumptions, which contain outlying values and/or have a complex structure. Written for researchers as well as master and PhD students with a good knowledge of statistics.

"This volume provides essential guidance for transforming mathematics learning in schools through the use of innovative technology, pedagogy, and curriculum. It presents clear, rigorous evidence of the impact technology can have in improving students learning of important yet complex mathematical concepts -- and goes beyond a focus on technology alone to clearly explain how teacher professional development, pedagogy, curriculum, and student participation and identity each play an essential role in transforming mathematics classrooms with technology. Further, evidence of effectiveness is complemented by insightful case studies of how key factors lead to enhancing learning, including the contributions of design research, classroom discourse, and meaningful assessment.
The volume organizes over 15 years of sustained research by multiple investigators in different states and countries who together developed an approach called "SimCalc" that radically transforms how Algebra and Calculus are taught.
The SimCalc program engages students around simulated motions, such as races on a soccer field, and builds understanding using visual representations such as graphs, and familiar representations such as stories to help students to develop meaning for more abstract mathematical symbols. Further, the SimCalc program leverages classroom wireless networks to increase participation by all students in doing, talking about, and reflecting on mathematics. Unlike many technology programs, SimCalc research shows the benefits of balanced attention to curriculum, pedagogy, teacher professional development, assessment and technology -- and has proven effectiveness results at the scale of hundreds of schools and classrooms.
Combining the findings of multiple investigators in one accessible volume reveals the depth and breadth of the research program, andengages readers interested in: "

"* Engaging students in deeply learning the important concepts in mathematics
* Designing innovative curriculum, software, and professional development
. Effective uses of technology to improve mathematics education
* Creating integrated systems of teaching that transform mathematics classrooms
* Scaling up new pedagogies to hundreds of schools and classrooms
* Conducting research that really matters for the future of mathematics learning"

"* Engaging students in deeply learning the important concepts in mathematics
* Designing innovative curriculum, software, and professional development
. Effective uses of technology to improve mathematics education
* Creating integrated systems of teaching that transform mathematics classrooms
* Scaling up new pedagogies to hundreds of schools and classrooms
* Conducting research that really matters for the future of mathematics learning"

"

Linear mixed-effects models (LMMs) are an important class of statistical models that can be used to analyze correlated data. Such data are encountered in a variety of fields including biostatistics, public health, psychometrics, educational measurement, and sociology. This book aims to support a wide range of uses for the models by applied researchers in those and other fields by providing state-of-the-art descriptions of the implementation of LMMs in R. To help readers to get familiar with the features of the models and the details of carrying them out in R, the book includes a review of the most important theoretical concepts of the models. The presentation connects theory, software and applications. It is built up incrementally, starting with a summary of the concepts underlying simpler classes of linear models like the classical regression model, and carrying them forward to LMMs. A similar step-by-step approach is used to describe the R tools for LMMs. All the classes of linear models presented in the book are illustrated using real-life data. The book also introduces several novel R tools for LMMs, including new class of variance-covariance structure for random-effects, methods for influence diagnostics and for power calculations. They are included into an R package that should assist the readers in applying these and other methods presented in this text.

This book provides new insights on the study of global environmental changes using the ecoinformatics tools and the adaptive-evolutionary technology of geoinformation monitoring. The main advantage of this book is that it gathers and presents extensive interdisciplinary expertise in the parameterization of global biogeochemical cycles and other environmental processes in the context of globalization and sustainable development. In this regard, the crucial global problems concerning the dynamics of the nature-society system are considered and the key problems of ensuring the system's sustainable development are studied. A new approach to the numerical modeling of the nature-society system is proposed and results are provided on modeling the dynamics of the system's characteristics with regard to scenarios of anthropogenic impacts on biogeochemical cycles, land ecosystems and oceans. The main purpose of this book is to develop a universal guide to information-modeling technologies for assessing the function of environmental subsystems under various climatic and anthropogenic conditions.

The contributions gathered here provide an overview of current research projects and selected software products of the Fraunhofer Institute for Algorithms and Scientific Computing SCAI. They show the wide range of challenges that scientific computing currently faces, the solutions it offers, and its important role in developing applications for industry. Given the exciting field of applied collaborative research and development it discusses, the book will appeal to scientists, practitioners, and students alike. The Fraunhofer Institute for Algorithms and Scientific Computing SCAI combines excellent research and application-oriented development to provide added value for our partners. SCAI develops numerical techniques, parallel algorithms and specialized software tools to support and optimize industrial simulations. Moreover, it implements custom software solutions for production and logistics, and offers calculations on high-performance computers. Its services and products are based on state-of-the-art methods from applied mathematics and information technology.

Most books on linear systems for undergraduates cover discrete and continuous systems material together in a single volume. Such books also include topics in discrete and continuous filter design, and discrete and continuous state-space representations. However, with this magnitude of coverage, the student typically gets a little of both discrete and continuous linear systems but not enough of either. Minimal coverage of discrete linear systems material is acceptable provided that there is ample coverage of continuous linear systems. On the other hand, minimal coverage of continuous linear systems does no justice to either of the two areas. Under the best of circumstances, a student needs a solid background in both these subjects. Continuous linear systems and discrete linear systems are broad topics and each merit a single book devoted to the respective subject matter. The objective of this set of two volumes is to present the needed material for each at the undergraduate level, and present the required material using MATLAB (R) (The MathWorks Inc.).

Biological and biomedical studies have entered a new era over the past two decades thanks to the wide use of mathematical models and computational approaches. A booming of computational biology, which sheerly was a theoretician's fantasy twenty years ago, has become a reality. Obsession with computational biology and theoretical approaches is evidenced in articles hailing the arrival of what are va- ously called quantitative biology, bioinformatics, theoretical biology, and systems biology. New technologies and data resources in genetics, such as the International HapMap project, enable large-scale studies, such as genome-wide association st- ies, which could potentially identify most common genetic variants as well as rare variants of the human DNA that may alter individual's susceptibility to disease and the response to medical treatment. Meanwhile the multi-electrode recording from behaving animals makes it feasible to control the animal mental activity, which could potentially lead to the development of useful brain-machine interfaces. - bracing the sheer volume of genetic, genomic, and other type of data, an essential approach is, ?rst of all, to avoid drowning the true signal in the data. It has been witnessed that theoretical approach to biology has emerged as a powerful and st- ulating research paradigm in biological studies, which in turn leads to a new - search paradigm in mathematics, physics, and computer science and moves forward with the interplays among experimental studies and outcomes, simulation studies, and theoretical investigations.

Multiple criteria decision aid (MCDA) methods are illustrated in this book through theoretical and computational techniques utilizing Python. Existing methods are presented in detail with a step by step learning approach. Theoretical background is given for TOPSIS, VIKOR, PROMETHEE, SIR, AHP, goal programming, and their variations. Comprehensive numerical examples are also discussed for each method in conjunction with easy to follow Python code. Extensions to multiple criteria decision making algorithms such as fuzzy number theory and group decision making are introduced and implemented through Python as well. Readers will learn how to implement and use each method based on the problem, the available data, the stakeholders involved, and the various requirements needed. Focusing on the practical aspects of the multiple criteria decision making methodologies, this book is designed for researchers, practitioners and advanced graduate students in the applied mathematics, information systems, operations research and business administration disciplines, as well as other engineers and scientists oriented in interdisciplinary research. Readers will greatly benefit from this book by learning and applying various MCDM/A methods. (Adiel Teixeira de Almeida, CDSID-Center for Decision System and Information Development, Universidade Federal de Pernambuco, Recife, Brazil) Promoting the development and application of multicriteria decision aid is essential to ensure more ethical and sustainable decisions. This book is a great contribution to this objective. It is a perfect blend of theory and practice, providing potential users and researchers with the theoretical bases of some of the best-known methods as well as with the computing tools needed to practice, to compare and to put these methods to use. (Jean-Pierre Brans, Vrije Universiteit Brussel, Brussels, Belgium) This book is intended for researchers, practitioners and students alike in decision support who wish to familiarize themselves quickly and efficiently with multicriteria decision aiding algorithms. The proposed approach is original, as it presents a selection of methods from the theory to the practical implementation in Python, including a detailed example. This will certainly facilitate the learning of these techniques, and contribute to their effective dissemination in applications. (Patrick Meyer, IMT Atlantique, Lab-STICC, Univ. Bretagne Loire, Brest, France)