The canonical way to establish the central limit theorem for i.i.d. random variables is to use characteristic functions and Lévy’s continuity theorem. This monograph focuses on this characteristic function approach and presents a renormalization theory called mod-ϕ convergence. This type of convergence is a relatively new concept with many deep ramifications, and has not previously been pub…
Model-based recursive partitioning (MOB) provides a powerful synthesis between machine-learning inspired recursive partitioning methods and regression models. Hanna Birke extends this approach by allowing in addition for measurement error in covariates, as frequently occurring in biometric (or econometric) studies, for instance, when measuring blood pressure or caloric intake per day. After an …
This book collects the refereed proceedings of the 6th Indian Conference on Logic and Its Applications, ICLA 2015, held in Mumbai, India, in January 2015. The volume contains 13 full revised papers along with 3 invited talks presented at the conference. The papers were selected after rigorous review, from 23 submissions. They cover topics related to pure and applied formal logic, foundations an…
This book discusses control units represented by the model of a finite state machine (FSM). It contains various original methods and takes into account the peculiarities of field-programmable gate arrays (FPGA) chips and a FSM model. It shows that one of the peculiarities of FPGA chips is the existence of embedded memory blocks (EMB). The book is devoted to the solution of problems of logic syn…
n this book, there are five chapters: The Laplace Transform, Systems of Homogeneous Linear Differential Equations (HLDE), Methods of First and Higher Orders Differential Equations, Extended Methods of First and Higher Orders Differential Equations, and Applications of Differential Equations. In addition, there are exercises at the end of each chapter above to let students practice additional se…
This workbook was created through the efforts of three instructors at Scottsdale Community College in Scottsdale, Arizona, has been used by thousands of students, and is continually improved. This workbook contains have lessons that were carefully and thoughtfully crafted to lead students on a path to understanding numbers and arithmetic. License: Creative Commons Attribution Sharealike. Thi…
This monograph deals with theoretical and practical aspects of creating course timetables at academic institutions. The task is typically to create a timetable that suits the requirements of the stakeholders – students, lecturers, and the administration – as well as possible. The book presents an exposition of the basic combinatorial problems and solution methods for course timetabling and …
Ce travail en deux volumes donne la preuve de la stabilisation de la formule des trace tordue. Stabiliser la formule des traces tordue est la méthode la plus puissante connue actuellement pour comprendre l'action naturelle du groupe des points adéliques d'un groupe réductif, tordue par un automorphisme, sur les formes automorphes de carré intégrable de ce groupe. Cette compréhension se…
Michèle Artigue (ICMI 2013 Felix Klein Award, CIAEM 2015 Luis Santaló Award) is without doubt one of the most influential researchers nowadays in the field of didactics of mathematics. This influence rests both on the quality of her research and on her constant contribution, since the early 1970s, to the development of the teaching and learning of mathematics. Observing her exemplary professi…
This text explains how to use mathematical models and methods to analyze problems that arise in computer science. Proofs play a central role in this work because the authors share a belief with most mathematicians that proofs are essential for genuine understanding. Proofs also play a growing role in computer science; they are used to certify that software and hardware will always behave cor…