Maths for computer scientists Books
O'Reilly Media Essential Math for Data Science
Book SynopsisTo succeed in data science you need some math proficiency. But not just any math. This common-sense guide provides a clear, plain English survey of the math you'll need in data science, including probability, statistics, hypothesis testing, linear algebra, machine learning, and calculus.
£42.39
Manning Publications Math and Architectures of Deep Learning
Book SynopsisThe mathematical paradigms that underlie deep learning typically start out as hard-to-read academic papers, often leaving engineers in the dark about how their models actually function. Math and Architectures of Deep Learning bridges the gap between theory and practice, laying out the math of deep learning side by side with practical implementations in Python and PyTorch. Written by deep learning expert Krishnendu Chaudhury, you'll peer inside the “black box” to understand how your code is working, and learn to comprehend cutting-edge research you can turn into practical applications. about the technology It's important to understand how your deep learning models work, both so that you can maintain them efficiently and explain them to other stakeholders. Learning mathematical foundations and neural network architecture can be challenging, but the payoff is big. You'll be free from blind reliance on pre-packaged DL models and able to build, customize, and re-architect for your specific needs. And when things go wrong, you'll be glad you can quickly identify and fix problems. about the book Math and Architectures of Deep Learning sets out the foundations of DL in a way that's both useful and accessible to working practitioners. Each chapter explores a new fundamental DL concept or architectural pattern, explaining the underpinning mathematics and demonstrating how they work in practice with well-annotated Python code. You'll start with a primer of basic algebra, calculus, and statistics, working your way up to state-of-the-art DL paradigms taken from the latest research. By the time you're done, you'll have a combined theoretical insight and practical skills to identify and implement DL architecture for almost any real-world challenge. Trade Review'This is a book that will reward your patience and perseverance with a clear and detailed knowledge of deep learning mathematics and associated techniques.' Tony Holdroyd 'Most online machine learning courses teach you how to get stuff done, but they don't give you the underlying math. If you want to know, this is the book for you!' Wiebe de Jong 'A really interesting book for people that want to understand the underlying mathematical mechanism of deep learning.' Julien Pohie 'Gives a unique perspective about machine learning and mathematical approaches.' Krzysztof Kamyczek 'An awesome book to get the grasp of the important mathematical skills to understand the very basics of deep learning.' Nicole KoenigsteinTable of Contentstable of contents READ IN LIVEBOOK 1AN OVERVIEW OF MACHINE LEARNING AND DEEP LEARNING READ IN LIVEBOOK 2INTRODUCTION TO VECTORS, MATRICES AND TENSORS FROM MACHINE LEARNING AND DATA SCIENCE POINT OF VIEW READ IN LIVEBOOK 3INTRODUCTION TO VECTOR CALCULUS FROM MACHINE LEARNING POINT OF VIEW READ IN LIVEBOOK 4LINEAR ALGEBRAIC TOOLS IN MACHINE LEARNING AND DATA SCIENCE READ IN LIVEBOOK 5PROBABILITY DISTRIBUTIONS FOR MACHINE LEARNING AND DATA SCIENCE READ IN LIVEBOOK 6BAYESIAN TOOLS FOR MACHINE LEARNING AND DATA SCIENCE READ IN LIVEBOOK 7FUNCTION APPROXIMATION: HOW NEURAL NETWORKS MODEL THE WORLD READ IN LIVEBOOK 8TRAINING NEURAL NETWORKS: FORWARD AND BACKPROPAGATION READ IN LIVEBOOK 9LOSS, OPTIMIZATION AND REGULARIZATION READ IN LIVEBOOK 10ONE, TWO AND THREE DIMENSIONAL CONVOLUTION AND TRANSPOSED CONVOLUTION IN NEURAL NETWORKS 11 IMAGE ANALYSIS: 2D CONVOLUTION BASED NEURAL NETWORK ARCHITECTURES FOR OBJECT RECOGNITION AND DETECTION 12 VIDEO ANALYSIS: 3D CONVOLUTION BASED SPATIO TEMPORAL NEURAL NETWORK ARCHITECTURES READ IN LIVEBOOK APPENDIX A: APPENDIX A.1Dot Product and cosine of the angle between two vectors A.2Computing variance of Gaussian Distribution A.3Two Theorems in Statistic
£37.99
Springer-Verlag New York Inc. All of Statistics
Book SynopsisTaken literally, the title "All of Statistics" is an exaggeration. But in spirit, the title is apt, as the book does cover a much broader range of topics than a typical introductory book on mathematical statistics. Statistics, data mining, and machine learning are all concerned with collecting and analysing data.Trade ReviewWinner of the 2005 DeGroot Prize.From the reviews:"Presuming no previous background in statistics and described by the author as "demanding" yet "understandable because the material is as intuitive as possible" (p. viii), this certainly would be my choice of textbook if I was required to learn mathematical statistics again for a couple of semesters." Technometrics, August 2004"This book should be seriously considered as a text for a theoretical statsitics course for non-majors, and perhaps even for majors...The coverage of emerging and important topics is timely and welcomed...you should have this book on your desk as a reference to nothing less than 'All of Statistics.'" Biometrics, December 2004"Although All of Statistics is an ambitious title, this book is a concise guide, as the subtitle suggests....I recommend it to anyone who has an interest in learning something new about statistical inference. There is something here for everyone." The American Statistician, May 2005"As the title of the book suggests, ‘All of Statistics’ covers a wide range of statistical topics. … The number of topics covered in this book is vast … . The greatest strength of this book is as a first point of reference for a wide range of statistical methods. … I would recommend this book as a useful and interesting introduction to a large number of statistical topics for non-statisticians and also as a useful reference book for practicing statisticians." (Matthew J. Langdon, Journal of Applied Statistics, Vol. 32 (1), January, 2005)"This book was written specifically to give students a quick but sound understanding of modern statistics, and its coverage is very wide. … The book is extremely well done … ." (N. R. Draper, Short Book Reviews, Vol. 24 (2), 2004)"This is most definitely a book about mathematical statistics. It is full of theorems and proofs … . Presuming no previous background in statistics … this certainly would be my choice of textbook if I was required to learn mathematical statistics again for a couple of semesters." (Eric R. Ziegel, Technometrics, Vol. 46 (3), August, 2004)"The author points out that this book is for those who wish to learn probability and statistics quickly … . this book will serve as a guideline for instructors as to what should constitute a basic education in modern statistics. It introduces many modern topics … . Adequate references are provided at the end of each chapter which the instructor will be able to use profitably … ." (Arup Bose, Sankhya, Vol. 66 (3), 2004)"The amount of material that is covered in this book is impressive. … the explanations are generally clear and the wide range of techniques that are discussed makes it possible to include a diverse set of examples … . The worked examples are complemented with numerous theoretical and practical exercises … . is a very useful overview of many areas of modern statistics and as such will be very useful to readers who require such a survey. Library copies would also see plenty of use." (Stuart Barber, Journal of the Royal Statistical Society, Series A – Statistics in Society, Vol. 168 (1), 2005)Table of ContentsProbability.- Random Variables.- Expectation.- Inequalities.- Convergence of Random Variables.- Models, Statistical Inference and Learning.- Estimating the CDF and Statistical Functionals.- The Bootstrap.- Parametric Inference.- Hypothesis Testing and p-values.- Bayesian Inference.- Statistical Decision Theory.- Linear and Logistic Regression.- Multivariate Models.- Inference about Independence.- Causal Inference.- Directed Graphs and Conditional Independence.- Undirected Graphs.- Loglinear Models.- Nonparametric Curve Estimation.- Smoothing Using Orthogonal Functions.- Classification.- Probability Redux: Stochastic Processes.- Simulation Methods.
£53.99
Springer New York Combinatorial Computational Biology of RNA Pseudoknots and Neutral Networks
Book SynopsisIn this monograph, new combinatorial and computational approaches in the study of RNA structures are presented which enhance both mathematics and computational biology.Trade ReviewFrom the reviews:“This book is devoted to the study of the structure of combinatorial models of the ribonucleic acid (RNA). … This book can serve as an introduction to the study of combinatorial computational biology as well as a reference of known results and state of the art in this topic.” (Ludovit Niepel, Zentralblatt MATH, Vol. 1207, 2011)Table of ContentsIntroduction.- Secondary Structures, Pseudoknot RNA and Beyond.- Folding Sequences into Structures.- Evolution of RNA Sequences.- Methods.- References.- Index.
£49.49
Springer New York Modern Graph Theory
Book SynopsisPresents an account of graph theory. Written with students of mathematics and computer science in mind, this book reflects the state of the subject and emphasizes connections with other branches of pure mathematics. It presents a survey of fresh topics and includes more than 600 exercises.Trade Review"...This book is likely to become a classic, and it deserves to be on the shelf of everyone working in graph theory or even remotely related areas, from graduate student to active researcher."--MATHEMATICAL REVIEWSTable of Contents1: Fundamentals. 2: Electrical Networks. 3: Flows, Connectivity and Matching. 4: Extremal Problems. 5: Colouring. 6: Ramsey Theory. 7: Random Graphs. 8: Graphs, Groups and Matrices. 9: Random Walks on Graphs. 10: The Tutte Polynomial.
£41.79
John Wiley & Sons Inc Computational Methods in Physics Chemistry and
Book SynopsisProviding an accessible introduction to a range of modern computational techniques, this book is perfect for anyone with only a limited knowledge of physics. It leads readers through a series of examples, problems, and practical--based tasks covering the basics to more complex ideas and techniques.Trade Review"within its tightly defined scope, the book is excellent, being both readable and informative" (Chemistry in Britain, January 2002) "...The book is fresh in its spirit..." (Zentralblatt Math, Vol.987, No. 12, 2002) "...an excellent book for undergraduate courses..." (Physical Sciences Educational Reviews, November 2002)"? Dieses Buch mit seinem klar eingegrenzten Themenspektrum ist ausgezeichnet - gut lesbar und informativ zugleich!" Chemistry in BritainTable of ContentsPreface Introduction Numerical Solutions to Schrö dinger's Equation Approximate Methods Matrix Methods Deterministic Simulations Stochastic Simulations Percolation Theory Evolutionary Methods Molecular Dynamics Appendices References Index
£69.30
Springer Us NonFunctional Requirements in Software Engineering 5 International Series in Software Engineering
Book SynopsisDetailed treatments of particular NFRs - accuracy, security and performance requirements - along with treatments of NFRs for information systems are presented as specializations of the NFR Framework.Table of ContentsList of Figures. List of Tables. Legend for Figures. Preface. 1. Introduction. Part I: The NFR Framework. 2. The NFR Framework in Action. 3. Softgoal Interdependency Graphs. 4. Cataloguing Refinement Methods and Correlations. Part II: Types of Non-Functional Requirements. 5. Types of NFRs. 6. Accuracy Requirements. 7. Security Requirements. 8. Performance Requirements. 9. Performance Requirements for Information Systems. Part III. Case Studies and Applications. 10. Introduction to the Studies and Applications. 11. A Credit Card System. 12. An Administrative System. 13. Application to Software Architecture. 14. Enterprise Modelling and Business Process Redesign. 15. Assessment of Studies. Postscript. Bibliography.
£474.99
Cambridge University Press Connecting Discrete Mathematics and Computer
Book SynopsisThis textbook is designed for undergraduate students taking a course on the mathematical foundations of computer science. It is written from an exclusively CS perspective rather than for a mixed-discipline audience, helping CS students see the ways that foundational mathematical material is central to the discipline of computer science.Trade Review'Finally! I've spent years struggling to find a textbook that makes the topic of Discrete Structures relevant to Computer Science students, David Liben-Nowell has put forth a book that will make CS students invested in the material. He not only connects every topic to Computer Science but does so in a clear and entertaining way.' Dan Arena, Vanderbilt University'Unlike most discrete math texts, here the computer science content and connections are woven extensively throughout, with “forward pointers” that can excite students about numerous computer science areas they will encounter in their future studies. In addition, the book is written TO students, not FOR faculty. It will be a joy to teach with!' Valerie Barr, Mount Holyoke College'By foregrounding the connections between the fields, this outstanding textbook makes a compelling case for why computer science students should embrace the study of discrete mathematics. This is an approachable yet rigorous book, written with wit and verve, that I look forward to teaching from!' Raghuram Ramanujan, Davidson College'David Liben-Nowell's Connecting Discrete Mathematics and Computer Science provides students with a beautifully motivated, clearly written, and accessible exploration of the mathematical foundations of computer science. The “Computer Science Connections” sections provide compelling applications of the mathematical content and the frequent “Taking in further” notes provide extra richness that add to the joy of the experience. This is a discrete math book that truly keeps the reader engaged!' Ran Libeskind-Hadas, Founding Chair of Integrated Sciences, Claremont McKenna College'An inspired approach to the introductory discrete math course, illuminating the aesthetic appeal of the subject together with the profound and inextricable links that connect it to the core ideas of computing.' Jon Kleinberg, Cornell UniversityTable of Contents1. On the point of this book; 2. Basic data types; 3. Logic; 4. Proofs; 5. Mathematical induction; 6. Analysis of algorithms; 7. Number theory; 8. Relations; 9. Counting; 10. Probability; 11. Graphs and trees; 12. Looking forward.
£55.09
Cambridge University Press Proven Impossible
Book SynopsisWritten for any motivated reader with a high-school knowledge of mathematics, and the discipline to follow logical arguments, this book presents the proofs for revolutionary impossibility theorems in an accessible way, with less jargon and notation, and more background, intuition, examples, explanations, and exercises.Trade Review'This unique and lovely book takes us on a grand tour of the limitations of science, mathematics, and of reason itself. To appreciate what is possible we must know the impossible, and such limitations define the boundary between the two. Gusfield offers well-explained gems illustrating various limitations, showing why they arise, giving their historical context, and in contrast to other similar books for a broad audience, presenting rigorous proofs requiring limited background.' Michael Sipser, MIT'There are impossible problems in many different fields (e.g., Physics, Mathematics). This book is an excellent exposition of these difference ways a problem can be impossible. Along the way, the reader will pick up the needed background which is interesting in itself.' William Gasarch, University of MarylandTable of ContentsPreface; 1. Yes you can prove a negative!; 2. Bell's impossibility theorem(s); 3. Enjoying Bell magic; 4. Arrow's (and friends') impossibility theorems; 5. Clustering and impossibility; 6. Gödel-ish impossibility; 7. Turing undecidability and incompleteness; 8. Chaitin's theorem: More devastating; 9. Gödel (for real, this time).
£26.59
Cambridge University Press Proven Impossible
Book SynopsisWritten for any motivated reader with a high-school knowledge of mathematics, and the discipline to follow logical arguments, this book presents the proofs for revolutionary impossibility theorems in an accessible way, with less jargon and notation, and more background, intuition, examples, explanations, and exercises.Trade Review'This unique and lovely book takes us on a grand tour of the limitations of science, mathematics, and of reason itself. To appreciate what is possible we must know the impossible, and such limitations define the boundary between the two. Gusfield offers well-explained gems illustrating various limitations, showing why they arise, giving their historical context, and in contrast to other similar books for a broad audience, presenting rigorous proofs requiring limited background.' Michael Sipser, MIT'There are impossible problems in many different fields (e.g., Physics, Mathematics). This book is an excellent exposition of these difference ways a problem can be impossible. Along the way, the reader will pick up the needed background which is interesting in itself.' William Gasarch, University of MarylandTable of ContentsPreface; 1. Yes you can prove a negative!; 2. Bell's impossibility theorem(s); 3. Enjoying Bell magic; 4. Arrow's (and friends') impossibility theorems; 5. Clustering and impossibility; 6. Gödel-ish impossibility; 7. Turing undecidability and incompleteness; 8. Chaitin's theorem: More devastating; 9. Gödel (for real, this time).
£56.99
Cambridge University Press Mathematics of Public Key Cryptography
Book SynopsisPublic key cryptography is a major interdisciplinary subject with many real-world applications. This book has been carefully written to communicate the major ideas and techniques in this subject to a wide readership. With numerous examples and exercises, it is suitable as a textbook for an advanced course or for self-study.Trade Review'… the book gathers the main mathematical topics related to public key cryptography and provides an excellent source of information for both students and researchers interested in the field.' Juan Tena Ayuso, Zentralblatt MATHTable of ContentsPreface; Acknowledgements; 1. Introduction; Part I. Background: 2. Basic algorithmic number theory; 3. Hash functions and MACs; Part II. Algebraic Groups: 4. Preliminary remarks on algebraic groups; 5. Varieties; 6. Tori, LUC and XTR; 7. Curves and divisor class groups; 8. Rational maps on curves and divisors; 9. Elliptic curves; 10. Hyperelliptic curves; Part III. Exponentiation, Factoring and Discrete Logarithms: 11. Basic algorithms for algebraic groups; 12. Primality testing and integer factorisation using algebraic groups; 13. Basic discrete logarithm algorithms; 14. Factoring and discrete logarithms using pseudorandom walks; 15. Factoring and discrete logarithms in subexponential time; Part IV. Lattices: 16. Lattices; 17. Lattice basis reduction; 18. Algorithms for the closest and shortest vector problems; 19. Coppersmith's method and related applications; Part V. Cryptography Related to Discrete Logarithms: 20. The Diffie–Hellman problem and cryptographic applications; 21. The Diffie–Hellman problem; 22. Digital signatures based on discrete logarithms; 23. Public key encryption based on discrete logarithms; Part VI. Cryptography Related to Integer Factorisation: 24. The RSA and Rabin cryptosystems; Part VII. Advanced Topics in Elliptic and Hyperelliptic Curves: 25. Isogenies of elliptic curves; 26. Pairings on elliptic curves; Appendix A. Background mathematics; References; Author index; Subject index.
£56.99
Cambridge University Press Calendrical Calculations
Book SynopsisThis unique resource now includes coverage of Unix dates, Italian time, the Akan, Icelandic, Saudi Arabian Umm al-Qura, Babylonian, Samaritan, and Nepalese calendars, plus expanded treatments of Islamic and Hebrew calendars. The astronomical functions have been rewritten for more accurate results and include calculations of moonrise and moonset.Trade Review'It retains all the features that made the first edition … such a wonderful resource, while adding much new material … If you are at all interested in time and calendars, this book must find a place on your desk.' Victor J. Katz, Mathematical ReviewsTable of Contents1. Calendar basics; Part I. Arithmetical Calendars: 2. The Gregorian calendar; 3. The Julian calendar; 4. The Coptic and Ethiopic calendars; 5. The ISO calendar; 6. The Icelandic calendar; 7. The Islamic calendar; 8. The Hebrew calendar; 9. The Ecclesiastical calendars; 10. The old Hindu calendars; 11. The Mayan calendars; 12. The Balinese Pawukon calendar; 13. Generic Cyclical calendars; Part II. Astronomical Calendars: 14. Time and astronomy; 15. The Persian calendar; 16. The Bahá'í calendar; 17. The French Revolutionary calendar; 18. Astronomical Lunar calendars; 19. The Chinese calendar; 20. The modern Hindu calendars; 21. The Tibetan calendar; Part III. Appendices: A. Function, parameter, and constant types; B. Cross references; C. Sample data; D. Lisp implementation.
£97.85
Springer-Verlag New York Inc. Monte Carlo Statistical Methods
Book SynopsisWe have sold 4300 copies worldwide of the first edition (1999). This new edition contains five completely new chapters covering new developments. Trade ReviewFrom the reviews: MATHEMATICAL REVIEWS "Although the book is written as a textbook, with many carefully worked out examples and exercises, it will be very useful for the researcher since the authors discuss their favorite research topics (Monte Carlo optimization and convergence diagnostics) going through many relevant references…This book is a comprehensive treatment of the subject and will be an essential reference for statisticians working with McMC." From the reviews of the second edition: "Only 2 years after its first edition this carefully revised second edition accounts for the rapid development in this field...This book can be highly recommended for students and researchers interested in learning more about MCMC methods and their background." Biometrics, March 2005 "This is a comprehensive book for advanced graduate study by statisticians." Technometrics, May 2005 "This excellent text is highly recommended..." Short Book Reviews of the ISI, April 2005 "This book provides a thorough introduction to Monte Carlo methods in statistics with an emphasis on Markov chain Monte Carlo methods. … Each chapter is concluded by problems and notes. … The book is self-contained and does not assume prior knowledge of simulation or Markov chains. …. on the whole it is a readable book with lots of useful information." (Søren Feodor Nielsen, Journal of Applied Statistics, Vol. 32 (6), August, 2005) "This revision of the influential 1999 text … includes changes to the presentation in the early chapters and much new material related to MCMC and Gibbs sampling. The result is a useful introduction to Monte Carlo methods and a convenient reference for much of current methodology. … The numerous problems include many with analytical components. The result is a very useful resource for anyone wanting to understand Monte Carlo procedures. This excellent text is highly recommended … ." (D.F. Andrews, Short Book Reviews, Vol. 25 (1), 2005) "You have to practice statistics on a desert island not to know that Markov chain Monte Carlo (MCMC) methods are hot. That situation has caused the authors not only to produce a new edition of their landmark book but also to completely revise and considerably expand it. … This is a comprehensive book for advanced graduate study by statisticians." (Technometrics, Vol. 47 (2), May, 2005) "This remarkable book presents a broad and deep coverage of the subject. … This second edition is a considerably enlarged version of the first. Some subjects that have matured more rapidly in the five years following the first edition, like reversible jump processes, sequential MC, two-stage Gibbs sampling and perfect sampling have now chapters of their own. … the book is also very well suited for self-study and is also a valuable reference for any statistician who wants to study and apply these techniques." (Ricardo Maronna, Statistical Papers, Vol. 48, 2006) "This second edition of ‘Monte Carlo Statistical Methods’ has appeared only five years after the first … the new edition aims to incorporate recent developments. … Each chapter includes sections with problems and notes. … The style of the presentation and many carefully designed examples make the book very readable and easily accessible. It represents a comprehensive account of the topic containing valuable material for lecture courses as well as for research in this area." (Evelyn Buckwar, Zentrablatt MATH, Vol. 1096 (22), 2006) "This is a useful and utilitarian book. It provides a catalogue of modern Monte carlo based computational techniques with ultimate emphasis on Markov chain Monte Carlo (MCMC) … . an excellent reference for anyone who is interested in algorithms for various modes of Markov chain (MC) methodology … . a must for any researcher who believes in the importance of understanding what goes on inside of the MCMC ‘black box.’ … I recommend the book to all who wish to learn about statistical simulation." (Wesley O. Johnson, Journal of the American Statistical Association, Vol. 104 (485), March, 2009)Table of ContentsIntroduction * Random Variable Generation * Monte Carlo Integration * Controlling Monte Carlo Variance * Monte Carlo Optimization * Markov Chains * The Metropolis-Hastings Algorithm * The Slice Sampler * The Two-Stage Gibbs Sampler * The Multi-Stage Gibbs Sampler * Variable Dimension Models and Reversible Jump * Diagnosing Convergence * Perfect Sampling * Iterated and Sequential Importance Sampling
£104.49
Springer New York Nonparametric Functional Data Analysis Theory and Practice Springer Series in Statistics
Book SynopsisAt the same time it shows how functional data can be studied through parameter-free statistical ideas, and offers an original presentation of new nonparametric statistical methods for functional data analysis.Trade ReviewFrom the reviews: "This is certainly a very valuable book for anyone interested in this new methodology." N.D.C. Veraverbeke for Short Book Reviews of the ISI, December 2006 "The present book does bring something new and, indeed some novel theoretical investigations into the kinds of functional data problems … . I do think the present book is a worthy contribution to the literature. The authors have done a nice job of summarizing some of ongoing research … . Researchers in the growing functional statistics community should be glad to have a copy of the book." (Z. Q. John Lu, Technometrics, Vol. 49 (2), 2007) "This book presents new nonparametric staustical methods for samples of functional data … . The computational aspects of the book are oriented toward practitioners whereas open problems emerging from this new field of statistics will attract Ph. D. students and academic researchers. This book is also accessible to graduate students starting out in the area of functional statistics." (Fazil A. Aliev, Mathematical Reviews, Issue 2007 b) "Nonparametric Functional Data Analysis explores nonparametric methods as that can be applied to functional data, developing new methods and providing theoretical results for the conditional and unconditional mean, median, and mode for independent and dependent functional data. … As a resource for those interested in FDA research and methods, it is highly recommended. … This book should spur new and exciting research in FDA, and it provides new tools that are ready for application to real data sets." (Mark Greenwood, Journal of the American Statistical Association, Vol. 102 (479), 2007) "Example data sets that motivate the development of the models are also provided. … The index provided seems to be fairly complete and is helpful in looking up topics discusses in this monograph. Several chapters end in a section in which the authors provide additional comments, discussions and pose some open problems in this area, which should be appealing for researchers in this field. … This book should be useful for all people interested in the area of functional data analysis." (Anatolij Dvurecenskij, Zentralblatt MATH, Vol. 1119 (21), 2007)Table of ContentsIntroduction to functional nonparametric statistics.- Some functional datasets and associated statistical problematics.- What is a well adapted space for functional data?.- Local weighting of functional variables.- Functional nonparametric prediction methodologies.- Some selected asymptotics.- Computational issues.- Nonparametric supervised classification for functional data.- Nonparametric unsupervised classification for functional data.- Mixing, nonparametric and functional statistics.- Some selected asymptotics.- Application to continuous time processes prediction.- Small ball probabilities, semi-metric spaces and nonparametric statistics.- Conclusion and perspectives.
£104.99
Springer New York Bayesian Networks and Influence Diagrams A Guide to Construction and Analysis 22 Information Science and Statistics
Book SynopsisThe techniques and methods presented for knowledge elicitation, model construction and verification, modeling techniques and tricks, learning models from data, and analyses of models have all been developed and refined on the basis of numerous courses that the authors have held for practitioners worldwide.Trade ReviewFrom the book reviews:“The monograph concentrates on intelligent systems for decision support based on probabilistic models, including Bayesian networks and influence diagrams. … This monograph provides a review of recent state affairs of probabilistic networks that can be useful for professionals, practitioners, and researchers from diverse fields of statistics and related disciplines. I think it can be used as a textbook in its own right for an upper level undergraduate course, especially for a reading course.” (Technometrics, Vol. 55 (2), May, 2013)Table of ContentsIntroduction.- Networks.- Probabilities.- Probabilistic Networks.- Solving Probabilistic Networks.- Eliciting the Model.- Modeling Techniques.- Data-Driven Modeling.- Conflict Analysis.- Sensitivity Analysis.- Value of Information Analysis.- Quick Reference to Model Construction.- List of Examples.- List of Figures.- List of Tables.- List of Symbols.- References.- Index.
£82.49
APress Beginning R 4
Book SynopsisLearn how to use R 4, write and save R scripts, read in and write out data files, use built-in functions, and understand common statistical methods. This in-depth tutorial includes key R 4 features including a new color palette for charts, an enhanced reference counting system (useful for big data), and new data import settings for text (as well as the statistical methods to model text-based, categorical data). Each chapter starts with a list of learning outcomes and concludes with a summary of any R functions introduced in that chapter, along with exercises to test your new knowledge. The text opens with a hands-on installation of R and CRAN packages for both Windows and macOS. The bulk of the book is an introduction to statistical methods (non-proof-based, applied statistics) that relies heavily on R (and R visualizations) to understand, motivate, and conduct statistical tests and modeling.Beginning R 4 shows the use of R in specific cases such as ANOTable of Contents1: Installing R2: Installing Packages and Using Libraries3: Data Input and Output4: Working with Data5: Data and Samples6: Descriptive Statistics7: Understanding Probability and Distribution8: Correlation and Regression9: Confidence Intervals10: Hypothesis Testing11: Multiple Regression12: Moderated Regression13: Analysts of VarianceBibliography
£41.24
APress Beginning MATLAB and Simulink
Book SynopsisEmploy essential tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via interactive examples and case studies. This revised edition covers features from the latest MATLAB 2022b release, as well as other features that have been released since the first edition published. This book contains dozens of simulation models and solved problems via m-files/scripts and Simulink models which will help you to learn programming and modelling essentials. You''ll become efficient with many of the built-in tools and functions of MATLAB/Simulink while solving engineering and scientific computing problems. Beginning MATLAB and Simulink, Second Edition explains various practical issues of programming and modelling in parallel by comparing MATLAB and Simulink. After studying and using this book, you''ll be proficient at using MATLAB and Simulink and applying the source code and models from the book''s examples as templTable of Contents1. Introduction to MATLAB.- 2. Programming Essentials.- 3. Graphical User Interface Model Development.- 4. MEX files, C/C++ and Standalone Applications.- 5. Simulink Modeling Essentials.- 6. Plots.- 7. Matrix Algebra.- 8. Ordinary Differential Equations.
£49.49
Springer New York Bayesian Networks and Influence Diagrams A Guide to Construction and Analysis
Book SynopsisThe techniques and methods presented for knowledge elicitation, model construction and verification, modeling techniques and tricks, learning models from data, and analyses of models have all been developed and refined on the basis of numerous courses that the authors have held for practitioners worldwide.Trade ReviewFrom the book reviews:“The monograph concentrates on intelligent systems for decision support based on probabilistic models, including Bayesian networks and influence diagrams. … This monograph provides a review of recent state affairs of probabilistic networks that can be useful for professionals, practitioners, and researchers from diverse fields of statistics and related disciplines. I think it can be used as a textbook in its own right for an upper level undergraduate course, especially for a reading course.” (Technometrics, Vol. 55 (2), May, 2013)Table of ContentsIntroduction.- Networks.- Probabilities.- Probabilistic Networks.- Solving Probabilistic Networks.- Eliciting the Model.- Modeling Techniques.- Data-Driven Modeling.- Conflict Analysis.- Sensitivity Analysis.- Value of Information Analysis.- Quick Reference to Model Construction.- List of Examples.- List of Figures.- List of Tables.- List of Symbols.- References.- Index.
£59.99
Springer-Verlag New York Inc. A Course in Mathematical Statistics and Large
Book SynopsisThis graduate-level textbook is primarily aimed at graduate students of statistics, mathematics, science, and engineering who have had an undergraduate course in statistics, an upper division course in analysis, and some acquaintance with measure theoretic probability. It provides a rigorous presentation of the core of mathematical statistics.Part I of this book constitutes a one-semester course on basic parametric mathematical statistics. Part II deals with the large sample theory of statistics - parametric and nonparametric, and its contents may be covered in one semester as well. Part III provides brief accounts of a number of topics of current interest for practitioners and other disciplines whose work involves statistical methods.Trade Review“It deals with advanced statistical theory with a special focus on statistical inference and large sample theory, aiming to cover the material for a modern two-semester graduate course in mathematical statistics. … Overall, the book is very advanced and is recommended to graduate students with sound statistical backgrounds, as well as to teachers, researchers, and practitioners who wish to acquire more knowledge on mathematical statistics and large sample theory.” (Lefteris Angelis, Computing Reviews, March, 2017)“This is a very nice book suitable for a theoretical statistics course after having worked through something at the level of Casella & Berger, as well as some measure theory. … In addition to the exercises, which range from doable to interesting, there are several projects scattered throughout the text. The explanations are clear and crisp, and the presentation is interesting. … the book would be a worthy addition to your statistics library.” (Peter Rabinovitch, MAA Reviews, maa.org, March, 2017)Table of Contents1 Introduction.- 2 Decision Theory.- 3 Introduction to General Methods of Estimation.- 4 Sufficient Statistics, Exponential Families, and Estimation.- 5 Testing Hypotheses.- 6 Consistency and Asymptotic Distributions and Statistics.- 7 Large Sample Theory of Estimation in Parametric Models.- 8 Tests in Parametric and Nonparametric Models.- 9 The Nonparametric Bootstrap.- 10 Nonparametric Curve Estimation.- 11 Edgeworth Expansions and the Bootstrap.- 12 Frechet Means and Nonparametric Inference on Non-Euclidean Geometric Spaces.- 13 Multiple Testing and the False Discovery Rate.- 14 Markov Chain Monte Carlo (MCMC) Simulation and Bayes Theory.- 15 Miscellaneous Topics.- Appendices.- Solutions of Selected Exercises in Part 1.
£98.99
Manning Publications Graph Algorithms for Data Science
Book SynopsisGraphs are the natural way to understand connected data. This book explores the most important algorithms and techniques for graphs in data science, with practical examples and concrete advice on implementation and deployment. In Graph Algorithms for Data Science you will learn: Labeled-property graph modeling Constructing a graph from structured data such as CSV or SQL NLP techniques to construct a graph from unstructured data Cypher query language syntax to manipulate data and extract insights Social network analysis algorithms like PageRank and community detection How to translate graph structure to a ML model input with node embedding models Using graph features in node classification and link prediction workflows Graph Algorithms for Data Science is a hands-on guide to working with graph-based data in applications like machine learning, fraud detection, and business data analysis. It's filled with fascinating and fun projects, demonstrating the ins-and-outs of graphs. You'll gain practical skills by analyzing Twitter, building graphs with NLP techniques, and much more. You don't need any graph experience to start benefiting from this insightful guide. These powerful graph algorithms are explained in clear, jargon-free text and illustrations that makes them easy to apply to your own projects. about the technology Graphs reveal the relationships in your data. Tracking these interlinking connections reveals new insights and influences and lets you analyze each data point as part of a larger whole. This interconnected data is perfect for machine learning, as well as analyzing social networks, communities, and even product recommendations. about the book Graph Algorithms for Data Science teaches you how to construct graphs from both structured and unstructured data. You'll learn how the flexible Cypher query language can be used to easily manipulate graph structures, and extract amazing insights. The book explores common and useful graph algorithms like PageRank and community detection/clustering algorithms. Each new algorithm you learn is instantly put into action to complete a hands-on data project, including modeling a social network! Finally, you'll learn how to utilize graphs to upgrade your machine learning, including utilizing node embedding models and graph neural networks.Trade Review'The book covers topics in-depth but is easy to understand. Though delving into theory, it doesn't lose its focus of being a more practical guide. ' Carl Yu 'A good starting point to getting started with network analysis and how to extract the essential information you need easily.' Andrea Paciolla 'A great introduction to how to use graphs and data they can provide.' Marcin SękTable of Contentstable of contents detailed TOC READ IN LIVEBOOK 1GRAPHS AND NETWORK SCIENCE: AN INTRODUCTION READ IN LIVEBOOK 2REPRESENTING NETWORK STRUCTURE - DESIGN YOUR FIRST GRAPH MODEL READ IN LIVEBOOK 3YOUR FIRST STEPS WITH THE CYPHER QUERY LANGUAGE READ IN LIVEBOOK 4CYPHER AGGREGATIONS AND SOCIAL NETWORK ANALYSIS 5 INFERRING NETWORKS AND MONOPARTITE PROJECTIONS 6 CONSTRUCT A GRAPH USING NLP TECHNIQUES 7 NODE EMBEDDINGS AND CLASSIFICATION 8 IMPROVE DOCUMENT CLASSIFICATION WITH GRAPH NEURAL NETWORKS 9 PREDICT NEW CONNECTIONS 10 KNOWLEDGE GRAPH COMPLETION READ IN LIVEBOOK APPENDIX A: ADJACENCY MATRIX
£41.39
No Starch Press,US Math For Security: From Graphs and Geometry to
Book SynopsisApplied Math for Security is one of the first math-based guides specifically geared for information security practitioners. Readers will learn how to use concepts from various fields of mathematics - like graph theory, computational geometry, and statistics - to create and implement ready-to-use security tools. The book is written in a lively, conversational style that engages readers from the get-go. Chapters are enriched with code examples written in Python, and feature hands-on 'proof of concept' projects that involve developing math-based applications to solve real-world problems. Readers are also able to apply the mathematical constructs that they learn to a variety of challenging scenarios, like determining the ideal location for fire stations, disrupting information flow in a social network, building facial recognition software, and designing custom tools for modern security work.Trade Review"A very practical book for security. . . . a real eye-opener."—William Gasarch, Professor, University of Maryland-Dept of Computer Science"A really nice introduction to graph theory and computational geometry for people who know a bit of Python and without a mathematical background."—Julien Voisin, Artificial Truth"The book was very easy to follow, I'd expect anyone with a technical or stats background to be able to dive right in given the step-by-step instructions and explanations provided by Daniel."—@WithSandra, tech YouTuber and security analyst"Whether you're an aspiring security professional, a social network analyst, or an innovator seeking to create cutting-edge security solutions, Math for Security will empower you to solve complex problems with precision and confidence. "—Midwest Book ReviewTable of ContentsAcknowledgments IntroductionPART I: ENVIRONMENT AND CONVENTIONSChapter 1: Setting up the EnvironmentChapter 2: Programming and Math ConventionsPART II: GRAPH THEORY AND COMPUTATIONAL GEOMETRYChapter 3: Securing Networks with Graph TheoryChapter 4: Building a Network Traffic Analysis Tool Chapter 5: Identifying Threats with Social Network AnalysisChapter 6: Analyzing Social Networks to Prevent Security IncidentsChapter 7: Using Geometry to Improve Security PracticesChapter 8: Tracking People in Physical Space with Digital InformationChapter 9: Computational Geometry for Safety Resource DistributionChapter 10: Computational Geometry for Facial RecognitionPART III: THE ART GALLERY PROBLEMChapter 11: Distributing Security Resources to Guard a SpaceChapter 12: The Minimum Viable Product Approach to Security Software DevelopmentChapter 13: Delivering Python ApplicationsNotesIndex
£38.39
Springer London Ltd Graph Theory
Book SynopsisThe primary aim of this book is to present a coherent introduction to graph theory, suitable as a textbook for advanced undergraduate and beginning graduate students in mathematics and computer science. It provides a systematic treatment of the theory of graphs without sacrificing its intuitive and aesthetic appeal. Commonly used proof techniques are described and illustrated. The book also serves as an introduction to research in graph theory.Trade Reviewdeveloped by Paul Seymour and Neil Robertson and followers), which certainly now deserves a monographic treatment of its own. Summing up: Recommended. Lower-division undergraduate through professional collections. CHOICE This book is a follow-on to the authors' 1976 text, Graphs with Applications. What began as a revision has evolved into a modern, first-class, graduate-level textbook reflecting changes in the discipline over the past thirty years... This text hits the mark by appearing in Springer’s Graduate Texts in Mathematics series, as it is a very rigorous treatment, compactly presented, with an assumption of a very complete undergraduate preparation in all of the standard topics. While the book could ably serve as a reference for many of the most important topics in graph theory, it fulfills the promise of being an effective textbook. The plentiful exercises in each subsection are divided into two groups, with the second group deemed "more challenging". Any exercises necessary for a complete understanding of the text have also been marked as such. There is plenty here to keep a graduate student busy, and any student would learn much in tackling a selection of the exercises... Not only is the content of this book exceptional, so too is its production. The high quality of its manufacture, the crisp and detailed illustrations, and the uncluttered design complement the attention to the typography and layout. Even in simple black and white with line art, it is a beautiful book. SIAM Book Reviews "A text which is designed to be usable both for a basic graph theory course … but also to be usable as an introduction to research in graph theory, by including more advanced topics in each chapter. There are a large number of exercises in the book … . The text contains drawings of many standard interesting graphs, which are listed at the end." (David B. Penman, Zentralblatt MATH, Vol. 1134 (12), 2008) MathSciNet Reviews "The present volume is intended to serve as a text for "advanced undergraduate and beginning graduate students in mathematics and computer science" (p. viii). It is well suited for this purpose. The writing is fully accessible to the stated groups of students, and indeed is not merely readable but is engaging… Even a complete listing of the chapters does not fully convey the breadth of this book… For researchers in graph theory, this book offers features which parallel the first Bondy and Murty book: it provides well-chosen terminology and notation, a multitude of especially interesting graphs, and a substantial unsolved problems section…One-hundred unsolved problems are listed in Appendix A, a treasure trove of problems worthy of study… (In short) this rewrite of a classic in graph theory stands a good chance of becoming a classic itself." "The present volume is intended to serve as a text for ‘advanced undergraduate and beginning graduate students in mathematics and computer science’ … . The writing is fully accessible to the stated groups of students, and indeed is not merely readable but is engaging. The book has many exercise sets, each containing problems … ." (Arthur M. Hobbs, Mathematical Reviews, Issue 2009 C) "A couple of fantastic features: Proof techniques: I love these nutshelled essences highlighted in bordered frames. They look like pictures on the wall and grab the view of the reader. Exercises: Their style, depth and logic remind me of Lovász’ classical exercise book. Also the fact that the name of the author is bracketed after the exercise…Figures: Extremely precise and high-tech…The book contains very recent results and ideas. It is clearly an up-to-date collection of fundamental results of graph theory…All-in-all, it is a marvelous book." (János Barát, Acta Scientiarum Mathematicarum, Vol. 75, 2009)Table of ContentsGraphs.- Subgraphs.- Connected Graphs.- Trees.- Nonseparable Graphs.- Tree-Search Algorithms.- Flows in Networks.- Complexity of Algorithms.- Connectivity.- Planar Graphs.- The Four-Colour Problem.- Stable Sets and Cliques.- The Probabilistic Method.- Vertex Colourings.- Colourings of Maps.- Matchings.- Edge Colourings.- Hamilton Cycles.- Coverings and Packings in Directed Graphs.- Electrical Networks.- Integer Flows and Coverings.
£43.70
ISTE Ltd and John Wiley & Sons Inc Bayesian Approach to Inverse Problems
Book SynopsisMany scientific, medical or engineering problems raise the issue of recovering some physical quantities from indirect measurements; for instance, detecting or quantifying flaws or cracks within a material from acoustic or electromagnetic measurements at its surface is an essential problem of non-destructive evaluation. The concept of inverse problems precisely originates from the idea of inverting the laws of physics to recover a quantity of interest from measurable data. Unfortunately, most inverse problems are ill-posed, which means that precise and stable solutions are not easy to devise. Regularization is the key concept to solve inverse problems. The goal of this book is to deal with inverse problems and regularized solutions using the Bayesian statistical tools, with a particular view to signal and image estimation. The first three chapters bring the theoretical notions that make it possible to cast inverse problems within a mathematical framework. The next three chapters address the fundamental inverse problem of deconvolution in a comprehensive manner. Chapters 7 and 8 deal with advanced statistical questions linked to image estimation. In the last five chapters, the main tools introduced in the previous chapters are put into a practical context in important applicative areas, such as astronomy or medical imaging.Table of ContentsIntroduction 15 Jérôme IDIER PART I. FUNDAMENTAL PROBLEMS AND TOOLS 23 Chapter 1. Inverse Problems, Ill-posed Problems 25 Guy DEMOMENT, Jérôme IDIER 1.1. Introduction 25 1.2. Basic example 26 1.3. Ill-posed problem 30 1.3.1. Case of discrete data 31 1.3.2. Continuous case 32 1.4. Generalized inversion 34 1.4.1. Pseudo-solutions 35 1.4.2. Generalized solutions 35 1.4.3. Example 35 1.5. Discretization and conditioning 36 1.6. Conclusion 38 1.7. Bibliography 39 Chapter 2. Main Approaches to the Regularization of Ill-posed Problems 41 Guy DEMOMENT, Jérôme IDIER 2.1. Regularization 41 2.1.1. Dimensionality control 42 2.1.2. Minimization of a composite criterion 44 2.2. Criterion descent methods 48 2.2.1.Criterion minimization for inversion 48 2.2.2. The quadratic case 49 2.2.3. The convex case 51 2.2.4. General case 52 2.3. Choice of regularization coefficient 53 2.3.1. Residual error energy control 53 2.3.2. “L-curve” method 53 2.3.3. Cross-validation 54 2.4. Bibliography 56 Chapter 3. Inversion within the Probabilistic Framework 59 Guy DEMOMENT, Yves GOUSSARD 3.1. Inversion and inference 59 3.2. Statistical inference 60 3.2.1. Noise law and direct distribution for data 61 3.2.2. Maximum likelihood estimation 63 3.3. Bayesian approach to inversion 64 3.4. Links with deterministic methods 66 3.5. Choice of hyperparameters 67 3.6. A priori model68 3.7. Choice of criteria 70 3.8. The linear, Gaussian case 71 3.8.1. Statistical properties of the solution 71 3.8.2. Calculation of marginal likelihood 73 3.8.3. Wiener filtering 74 3.9. Bibliography 76 PART II. DECONVOLUTION 79 Chapter 4. Inverse Filtering and Other Linear Methods 81 Guy LE BESNERAIS, Jean-François GIOVANNELLI, Guy DEMOMENT 4.1. Introduction 81 4.2. Continuous-time deconvolution 82 4.2.1. Inverse filtering 82 4.2.2. Wiener filtering 84 4.3. Discretization of the problem 85 4.3.1. Choice of a quadrature method 85 4.3.2. Structure of observation matrix H 87 4.3.3. Usual boundary conditions 89 4.3.4. Problem conditioning 89 4.3.5.Generalized inversion 91 4.4. Batch deconvolution 92 4.4.1. Preliminary choices 92 4.4.2. Matrix form of the estimate 93 4.4.3. Hunt’s method (periodic boundary hypothesis) 94 4.4.4. Exact inversion methods in the stationary case 96 4.4.5. Case of non-stationary signals 98 4.4.6. Results and discussion on examples 98 4.5. Recursive deconvolution 102 4.5.1. Kalman filtering 102 4.5.2. Degenerate state model and recursive least squares 104 4.5.3. Autoregressive state model 105 4.5.4. Fast Kalman filtering 108 4.5.5. Asymptotic techniques in the stationary case 110 4.5.6. ARMA model and non-standard Kalman filtering 111 4.5.7. Case of non-stationary signals 111 4.5.8. On-lineprocessing: 2Dcase 112 4.6. Conclusion 112 4.7. Bibliography 113 Chapter 5. Deconvolution of Spike Trains 117 Frédéric CHAMPAGNAT, Yves GOUSSARD, Stéphane GAUTIER, Jérôme IDIER 5.1. Introduction 117 5.2. Penalization of reflectivities, L2LP/L2Hy deconvolutions 119 5.2.1. Quadratic regularization 121 5.2.2. Non-quadratic regularization 122 5.2.3. L2LPorL2Hy deconvolution 123 5.3. Bernoulli-Gaussian deconvolution 124 5.3.1. Compound BG model 124 5.3.2. Various strategies for estimation 124 5.3.3. General expression for marginal likelihood 125 5.3.4. An iterative method for BG deconvolution 126 5.3.5. Other methods 128 5.4. Examples of processing and discussion 130 5.4.1. Nature of the solutions 130 5.4.2. Setting the parameters 132 5.4.3. Numerical complexity 133 5.5. Extensions 133 5.5.1. Generalization of structures of R and H 134 5.5.2. Estimation of the impulse response . . . 134 5.6. Conclusion 136 5.7. Bibliography 137 Chapter 6. Deconvolution of Images 141 Jérôme IDIER, Laure BLANC-FÉRAUD 6.1. Introduction 141 6.2. Regularization in the Tikhonov sense 142 6.2.1. Principle 142 6.2.2. Connection with image processing by linear PDE 144 6.2.3. Limits of Tikhonov’s approach 145 6.3. Detection-estimation 148 6.3.1. Principle 148 6.3.2. Disadvantages 149 6.4. Non-quadratic approach 150 6.4.1. Detection-estimation and non-convex penalization 154 6.4.2. Anisotropic diffusion by PDE 155 6.5. Half-quadratic augmented criteria 156 6.5.1. Duality between non-quadratic criteria and HQ criteria 157 6.5.2. Minimization of HQ criteria 158 6.6. Application in image deconvolution 159 6.6.1. Calculation of the solution 159 6.6.2. Example 161 6.7. Conclusion 164 6.8. Bibliography 165 PART III. ADVANCED PROBLEMS AND TOOLS 169 Chapter 7. Gibbs-Markov Image Models 171 Jérôme IDIER 7.1. Introduction 171 7.2. Bayesian statistical framework 172 7.3. Gibbs-Markov fields 173 7.3.1. Gibbs fields 174 7.3.2. Gibbs-Markov equivalence 177 7.3.3. Posterior law of a GMRF 180 7.3.4. Gibbs-Markov models for images 181 7.4. Statistical tools, stochastic sampling 185 7.4.1. Statistical tools 185 7.4.2. Stochastic sampling 188 7.5. Conclusion 194 7.6. Bibliography 195 Chapter 8. Unsupervised Problems 197 Xavier DESCOMBES, Yves GOUSSARD 8.1. Introduction and statement of problem 197 8.2. Directly observed field 199 8.2.1. Likelihood properties 199 8.2.2. Optimization 200 8.2.3. Approximations 202 8.3. Indirectly observed field 205 8.3.1. Statement of problem 205 8.3.2. EM algorithm 206 8.3.3. Application to estimation of the parameters of a GMRF 207 8.3.4. EM algorithm and gradient 208 8.3.5. Linear GMRF relative to hyperparameters 210 8.3.6. Extensions and approximations 212 8.4. Conclusion 215 8.5. Bibliography 216 PART IV. SOME APPLICATIONS 219 Chapter 9. Deconvolution Applied to Ultrasonic Non-destructive Evaluation 221 Stéphane GAUTIER, Frédéric CHAMPAGNAT, Jérôme IDIER 9.1. Introduction 221 9.2. Example of evaluation and difficulties of interpretation 222 9.2.1. Description of the part to be inspected 222 9.2.2. Evaluation principle 222 9.2.3. Evaluation results and interpretation 223 9.2.4. Help with interpretation by restoration of discontinuities 224 9.3. Definition of direct convolution model 225 9.4. Blind deconvolution 226 9.4.1. Overview of approaches for blind deconvolution 226 9.4.2. DL2Hy/DBGd econvolution 230 9.4.3. Blind DL2Hy/DBG deconvolution 232 9.5. Processing real data 232 9.5.1. Processing by blind deconvolution 233 9.5.2. Deconvolution with a measured wave 234 9.5.3. Comparison between DL2Hy and DBG 237 9.5.4. Summary 240 9.6. Conclusion 240 9.7. Bibliography 241 Chapter 10. Inversion in Optical Imaging through Atmospheric Turbulence 243 Laurent MUGNIER, Guy LE BESNERAIS, Serge MEIMON 10.1. Optical imaging through turbulence 243 10.1.1. Introduction 243 10.1.2. Image formation 244 10.1.4. Imaging techniques 249 10.2. Inversion approach and regularization criteria used 253 10.3. Measurement of aberrations 254 10.3.1. Introduction 254 10.3.2. Hartmann-Shack sensor 255 10.3.3. Phase retrieval and phase diversity 257 10.4. Myopic restoration in imaging 258 10.4.1. Motivation and noise statistic 258 10.4.2. Data processing in deconvolution from wavefront sensing 259 10.4.3. Restoration of images corrected by adaptive optics 263 10.4.4. Conclusion 267 10.5. Image reconstruction in optical interferometry (OI) 268 10.5.1. Observation model 268 10.5.2. Traditional Bayesian approach 271 10.5.3. Myopic modeling 272 10.5.4. Results 274 10.6. Bibliography 277 Chapter 11. Spectral Characterization in Ultrasonic Doppler Velocimetry 285 Jean-François GIOVANNELLI, Alain HERMENT 11.1. Velocity measurement in medical imaging 285 11.1.1. Principle of velocity measurement in ultrasound imaging 286 11.1.2. Information carried by Doppler signals 286 11.1.3.Some characteristics and limitations 288 11.1.4. Data and problems treated 288 11.2. Adaptive spectral analysis 290 11.2.1. Least squares and traditional extensions 290 11.2.2. Long AR models – spectral smoothness – spatial continuity 291 11.2.3. Kalman smoothing 293 11.2.4. Estimation of hyperparameters 294 11.2.5. Processing results and comparisons 296 11.3. Tracking spectral moments 297 11.3.1. Proposed method 298 11.3.2. Likelihood of the hyperparameters 302 11.3.3. Processing results and comparisons 304 11.4. Conclusion 306 11.5. Bibliography 307 Chapter 12. Tomographic Reconstruction from Few Projections 311 Ali MOHAMMAD-DJAFARI, Jean-Marc DINTEN 12.1. Introduction 311 12.2. Projection generation model 312 12.3. 2D analytical methods 313 12.4. 3D analytical methods 317 12.5. Limitations of analytical methods 317 12.6. Discrete approach to reconstruction 319 12.7. Choice of criterion and reconstruction methods 321 12.8. Reconstruction algorithms 323 12.8.1. Optimization algorithms for convex criteria 323 12.8.2. Optimization or integration algorithms 327 12.9. Specific models for binary objects 328 12.10. Illustrations 328 12.10.1.2D reconstruction 328 12.10.2.3Dreconstruction 329 12.11. Conclusions 331 12.12. Bibliography 332 Chapter 13. Diffraction Tomography 335 Hervé CARFANTAN, Ali MOHAMMAD-DJAFARI 13.1. Introduction 335 13.2. Modeling the problem 336 13.2.1. Examples of diffraction tomography applications 336 13.2.2. Modeling the direct problem 338 13.3. Discretization of the direct problem 340 13.3.1. Choice of algebraic framework 340 13.3.2. Method of moments 341 13.3.3. Discretization by the method of moments 342 13.4. Construction of criteria for solving the inverse problem 343 13.4.1. First formulation: estimation of x 344 13.4.2. Second formulation: simultaneous estimation of x and φ 345 13.4.3. Properties of the criteria 347 13.5. Solving the inverse problem 347 13.5.1. Successive linearizations 348 13.5.2. Joint minimization 350 13.5.3. Minimizing MAP criterion 351 13.6. Conclusion 353 13.7. Bibliography 354 Chapter 14. Imaging from Low-intensity Data 357 Ken SAUER, Jean-Baptiste THIBAULT 14.1. Introduction 357 14.2. Statistical properties of common low-intensity image data 359 14.2.1. Likelihood functions and limiting behavior 359 14.2.2. Purely Poisson measurements 360 14.2.3. Inclusion of background counting noise 362 14.2.4. Compound noise models with Poisson information 362 14.3. Quantum-limited measurements in inverse problems 363 14.3.1. Maximum likelihood properties 363 14.3.2. Bayesian estimation 366 14.4. Implementation and calculation of Bayesian estimates 368 14.4.1. Implementation for pure Poisson model 368 14.4.2. Bayesian implementation for a compound data model 370 14.5. Conclusion 372 14.6. Bibliography 372 List of Authors 375 Index 377
£170.95
Springer London Ltd A First Course in Discrete Mathematics
Book SynopsisDrawing on many years'experience of teaching discrete mathem atics to students of all levels, Anderson introduces such as pects as enumeration, graph theory and configurations or arr angements. Starting with an introduction to counting and rel ated problems, he moves on to the basic ideas of graph theor y with particular emphasis on trees and planar graphs. He de scribes the inclusion-exclusion principle followed by partit ions of sets which in turn leads to a study of Stirling and Bell numbers. Then follows a treatment of Hamiltonian cycles, Eulerian circuits in graphs, and Latin squares as well as proof of Hall's theorem. He concludes with the constructions of schedules and a brief introduction to block designs. Each chapter is backed by a number of examples, with straightforw ard applications of ideas and more challenging problems.Trade Review"Wie der Titel andeutet, handelt es sich bei diesem Buch um eine elementare Einführung in Denkweisen und Methoden der Diskreten Mathematik. Die fachlichen Voraussetzungen an den Leser sind minimal. Darauf aufbauend wird ein doch recht buntes Bild entwickelt, bestehend vor allem aus den wichtigsten Konzepten aus Kombinatorik und Graphentheorie sowie einigen spezielleren Themen wie Designs und Codes.... Der Vorteil besteht darin, dass auch dem mathematischen Laien auf knapp 200 Seiten ein durchaus einprägsames Bild von einem Zweig der Mathematik vermittelt wird, der in unserer Zeit u.a. durch die Allgegenwart der sogenannten Informationstechnologie extrem an Bedeutung gewonnen hat."Internationale Mathematische Nachrichten, Nr. 187, August 2001Table of Contents1. Counting and Binomial Coefficients.- 2. Recurrence.- 3. Introduction to Graphs.- 4. Travelling Round a Graph.- 5. Partitions and Colourings.- 6. The Inclusion Exclusion Principle.- 7. Latin Squares and Hall’s Theorem.- 8. Schedules and 1-Factorisations.- 9. Introduction to Designs.- Solutions.- Further Reading.
£29.99
ISTE Ltd and John Wiley & Sons Inc Wavelets and their Applications
Book SynopsisThe last 15 years have seen an explosion of interest in wavelets with applications in fields such as image compression, turbulence, human vision, radar and earthquake prediction. Wavelets represent an area that combines signal in image processing, mathematics, physics and electrical engineering. As such, this title is intended for the wide audience that is interested in mastering the basic techniques in this subject area, such as decomposition and compression.Table of ContentsNotations xiii Introduction xvii Chapter 1. A Guided Tour 1 1.1. Introduction 1 1.2. Wavelets 2 1.2.1. General aspects 2 1.2.2. A wavelet 6 1.2.3. Organization of wavelets 8 1.2.4. The wavelet tree for a signal 10 1.3. An electrical consumption signal analyzed by wavelets 12 1.4. Denoising by wavelets: before and afterwards 14 1.5. A Doppler signal analyzed by wavelets 16 1.6. A Doppler signal denoised by wavelets 17 1.7. An electrical signal denoised by wavelets 19 1.8. An image decomposed by wavelets 21 1.8.1. Decomposition in tree form 21 1.8.2. Decomposition in compact form 22 1.9. An image compressed by wavelets 24 1.10. A signal compressed by wavelets 25 1.11. A fingerprint compressed using wavelet packets 27 Chapter 2. Mathematical Framework 29 2.1. Introduction 29 2.2. From the Fourier transform to the Gabor transform 30 2.2.1. Continuous Fourier transform 30 2.2.2. The Gabor transform 35 2.3. The continuous transform in wavelets 37 2.4. Orthonormal wavelet bases 41 2.4.1. From continuous to discrete transform 41 2.4.2. Multi-resolution analysis and orthonormal wavelet bases 42 2.4.3. The scaling function and the wavelet 46 2.5. Wavelet packets 50 2.5.1. Construction of wavelet packets 50 2.5.2. Atoms of wavelet packets 52 2.5.3. Organization of wavelet packets 53 2.6. Biorthogonal wavelet bases 55 2.6.1. Orthogonality and biorthogonality 55 2.6.2. The duality raises several questions 56 2.6.3. Properties of biorthogonal wavelets 57 2.6.4. Semi-orthogonal wavelets 60 Chapter 3. From Wavelet Bases to the Fast Algorithm 63 3.1. Introduction. 63 3.2. From orthonormal bases to the Mallat algorithm 64 3.3. Four filters 65 3.4. Efficient calculation of the coefficients 67 3.5. Justification: projections and twin scales 68 3.5.1. The decomposition phase 69 3.5.2. The reconstruction phase 72 3.5.3. Decompositions and reconstructions of a higher order 75 3.6. Implementation of the algorithm 75 3.6.1. Initialization of the algorithm 76 3.6.2. Calculation on finite sequences 77 3.6.3. Extra coefficients 77 3.7. Complexity of the algorithm 78 3.8. From 1D to 2D 79 3.9. Translation invariant transform 81 3.9.1. e-decimated DWT 83 3.9.2. Calculation of the SWT 83 3.9.3. Inverse SWT 87 Chapter 4. Wavelet Families 89 4.1. Introduction 89 4.2. What could we want from a wavelet? 90 4.3. Synoptic table of the common families 91 4.4. Some well known families 92 4.4.1. Orthogonal wavelets with compact support 93 4.4.2. Biorthogonal wavelets with compact support: bior 99 4.4.3. Orthogonal wavelets with non-compact support 101 4.4.4. Real wavelets without filters 104 4.4.5. Complex wavelets without filters 106 4.5. Cascade algorithm 109 4.5.1. The algorithm and its justification 110 4.5.2. An application 112 4.5.3. Quality of the approximation 113 Chapter 5. Finding and Designing a Wavelet 115 5.1. Introduction 115 5.2. Construction of wavelets for continuous analysis 116 5.2.1. Construction of a new wavelet 116 5.2.2. Application to pattern detection 124 5.3. Construction of wavelets for discrete analysis 131 5.3.1. Filter banks 132 5.3.2. Lifting 140 5.3.3. Lifting and biorthogonal wavelets 146 5.3.4. Construction examples 149 Chapter 6. A Short 1D Illustrated Handbook 159 6.1. Introduction 159 6.2. Discrete 1D illustrated handbook 160 6.2.1. The analyzed signals 160 6.2.2. Processing carried out 161 6.2.3. Commented examples 162 6.3. The contribution of analysis by wavelet packets 178 6.3.1. Example 1: linear and quadratic chirp 178 6.3.2. Example 2: a sine181 6.3.3. Example 3: a composite signal 182 6.4. “Continuous” 1D illustrated handbook 183 6.4.1. Time resolution 183 6.4.2. Regularity analysis 187 6.4.3. Analysis of a self-similar signal 193 Chapter 7. Signal Denoising and Compression 197 7.1. Introduction 197 7.2. Principle of denoising by wavelets 198 7.2.1. The model 198 7.2.2. Denoising: before and after 198 7.2.3. The algorithm 199 7.2.4. Why does it work? 200 7.3. Wavelets and statistics 200 7.3.1. Kernel estimators and estimators by orthogonal projection 201 7.3.2. Estimators by wavelets 201 7.4. Denoising methods 202 7.4.1. A first estimator 203 7.4.2. From coefficient selection to thresholding coefficients 204 7.4.3. Universal thresholding 206 7.4.4. Estimating the noise standard deviation 206 7.4.5. Minimax risk 207 7.4.6. Further information on thresholding rules 208 7.5. Example of denoising with stationary noise 209 7.6. Example of denoising with non-stationary noise 212 7.6.1. The model with ruptures of variance 213 7.6.2. Thresholding adapted to the noise level change-points 214 7.7. Example of denoising of a real signal 216 7.7.1. Noise unknown but “homogenous” in variance by level 216 7.7.2. Noise unknown and “non-homogenous” in variance by level 217 7.8. Contribution of the translation invariant transform 218 7.9. Density and regression estimation 221 7.9.1. Density estimation 221 7.9.2. Regression estimation 224 7.10. Principle of compression by wavelets 225 7.10.1. The problem 225 7.10.2. The basic algorithm 225 7.10.3. Why does it work? 226 7.11. Compression methods 226 7.11.1. Thresholding of the coefficients 226 7.11.2. Selection of coefficients 228 7.12. Examples of compression 229 7.12.1. Global thresholding 229 7.12.2. A comparison of the two compression strategies 230 7.13. Denoising and compression by wavelet packets 233 7.14. Bibliographical comments 234 Chapter 8. Image Processing with Wavelets 235 8.1. Introduction 235 8.2. Wavelets for the image 236 8.2.1. 2D wavelet decomposition 237 8.2.2. Approximation and detail coefficients 238 8.2.3. Approximations and details 241 8.3. Edge detection and textures 243 8.3.1. A simple geometric example 243 8.3.2. Two real life examples 245 8.4. Fusion of images 247 8.4.1. The problem through a simple example 247 8.4.2. Fusion of fuzzy images 250 8.4.3. Mixing of images 252 8.5. Denoising of images 256 8.5.1. An artificially noisy image 257 8.5.2. A real image 260 8.6. Image compression 262 8.6.1. Principles of compression 262 8.6.2. Compression and wavelets 263 8.6.3. “True” compression 269 Chapter 9. An Overview of Applications 279 9.1. Introduction 279 9.1.1. Why does it work? 279 9.1.2. A classification of the applications 281 9.1.3. Two problems in which the wavelets are competitive 283 9.1.4. Presentation of applications 283 9.2. Wind gusts 285 9.3. Detection of seismic jolts 287 9.4. Bathymetric study of the marine floor 290 9.5. Turbulence analysis 291 9.6. Electrocardiogram (ECG): coding and moment of the maximum 294 9.7. Eating behavior 295 9.8. Fractional wavelets and fMRI 297 9.9. Wavelets and biomedical sciences 298 9.9.1. Analysis of 1D biomedical signals 300 9.9.2. 2D biomedical signal analysis 301 9.10. Statistical process control 302 9.11. Online compression of industrial information 304 9.12. Transitories in underwater signals 306 9.13. Some applications at random 308 9.13.1. Video coding 308 9.13.2. Computer-assisted tomography 309 9.13.3. Producing and analyzing irregular signals or images 309 9.13.4. Forecasting 310 9.13.5. Interpolation by kriging 310 Appendix. The EZW Algorithm 313 A.1. Coding 313 A.1.1. Detailed description of the EZW algorithm (coding phase) 313 A.1.2. Example of application of the EZW algorithm (coding phase) 314 A.2. Decoding 317 A.2.1. Detailed description of the EZW algorithm (decoding phase) 317 A.2.2. Example of application of the EZW algorithm (decoding phase) 318 A.3. Visualization on a real image of the algorithm’s decoding phase 318 Bibliography 321 Index 329
£194.70
Springer Nature Switzerland AG Geometric Multiplication of Vectors: An
Book SynopsisThis book enables the reader to discover elementary concepts of geometric algebra and its applications with lucid and direct explanations. Why would one want to explore geometric algebra? What if there existed a universal mathematical language that allowed one: to make rotations in any dimension with simple formulas, to see spinors or the Pauli matrices and their products, to solve problems of the special theory of relativity in three-dimensional Euclidean space, to formulate quantum mechanics without the imaginary unit, to easily solve difficult problems of electromagnetism, to treat the Kepler problem with the formulas for a harmonic oscillator, to eliminate unintuitive matrices and tensors, to unite many branches of mathematical physics? What if it were possible to use that same framework to generalize the complex numbers or fractals to any dimension, to play with geometry on a computer, as well as to make calculations in robotics, ray-tracing and brain science? In addition, what if such a language provided a clear, geometric interpretation of mathematical objects, even for the imaginary unit in quantum mechanics? Such a mathematical language exists and it is called geometric algebra. High school students have the potential to explore it, and undergraduate students can master it. The universality, the clear geometric interpretation, the power of generalizations to any dimension, the new insights into known theories, and the possibility of computer implementations make geometric algebra a thrilling field to unearth.Table of ContentsBasic Concepts.- Euclidean 3D Geometric Algebra.- Applications.- Geometric Algebra and Matrices.- Appendix.- Solutions for Some Problems.- Problems.- Why Geometric Algebra?.- Formulae.- Literature.- References.
£31.49
Springer Nature Switzerland AG Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
Book SynopsisThe books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers.This first volume establishes the inductive approach as a fundamental principle for system and domain analysis. After a brief introduction to the elementary mathematical structures, such as sets, propositional logic, relations, and functions, the authors focus on the separation between syntax (representation) and semantics (meaning), and on the advantages of the consistent and persistent use of inductive definitions. They identify compositionality as a feature that not only acts as a foundation for algebraic proofs but also as a key for more general scalability of modeling and analysis. A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions.This textbook is suitable for undergraduate and graduate courses in computer science and for self-study. Most chapters contain exercises and the content has been class-tested over many years in various universities.Table of ContentsIntroduction.- Propositions and Sets.- Relations and Functions.- Inductive Definitions.- Inductive Proofs.- Inductive Approach: Potential, Limitations, and Pragmatics.
£27.99
Springer Nature Switzerland AG Statistics for Data Scientists: An Introduction
Book SynopsisThis book provides an undergraduate introduction to analysing data for data science, computer science, and quantitative social science students. It uniquely combines a hands-on approach to data analysis – supported by numerous real data examples and reusable [R] code – with a rigorous treatment of probability and statistical principles. Where contemporary undergraduate textbooks in probability theory or statistics often miss applications and an introductory treatment of modern methods (bootstrapping, Bayes, etc.), and where applied data analysis books often miss a rigorous theoretical treatment, this book provides an accessible but thorough introduction into data analysis, using statistical methods combining the two viewpoints. The book further focuses on methods for dealing with large data-sets and streaming-data and hence provides a single-course introduction of statistical methods for data science.Trade Review“Having taught data analytics at the introductory graduate level, I welcome the authors’ textbook as an essential resource for training well-grounded entry-level data scientists. … A data scientist shall provide competent data science professional services to a client. … Training in both the theory and practice of data analytics is a requirement for such competence. The authors’ textbook definitely provides a valuable resource for such training.” (Harry J. Foxwell, Computing Reviews, July 7, 2022)Table of Contents1 A First Look at Data.- 2 Sampling Plans and Estimates.- 3 Probability Theory.- 4 Random Variables and Distributions.- 5 Estimation.- 6 Multiple Random Variables.- 7 Making Decisions in Uncertainty.- 8 Bayesian Statistics.
£35.99
Springer Nature Switzerland AG Applied Machine Learning
Book SynopsisMachine learning methods are now an important tool for scientists, researchers, engineers and students in a wide range of areas. This book is written for people who want to adopt and use the main tools of machine learning, but aren’t necessarily going to want to be machine learning researchers. Intended for students in final year undergraduate or first year graduate computer science programs in machine learning, this textbook is a machine learning toolkit. Applied Machine Learning covers many topics for people who want to use machine learning processes to get things done, with a strong emphasis on using existing tools and packages, rather than writing one’s own code.A companion to the author's Probability and Statistics for Computer Science, this book picks up where the earlier book left off (but also supplies a summary of probability that the reader can use).Emphasizing the usefulness of standard machinery from applied statistics, this textbook gives an overview of the major applied areas in learning, including coverage of:• classification using standard machinery (naive bayes; nearest neighbor; SVM)• clustering and vector quantization (largely as in PSCS)• PCA (largely as in PSCS)• variants of PCA (NIPALS; latent semantic analysis; canonical correlation analysis)• linear regression (largely as in PSCS)• generalized linear models including logistic regression• model selection with Lasso, elasticnet• robustness and m-estimators• Markov chains and HMM’s (largely as in PSCS)• EM in fairly gory detail; long experience teaching this suggests one detailed example is required, which students hate; but once they’ve been through that, the next one is easy• simple graphical models (in the variational inference section)• classification with neural networks, with a particular emphasis onimage classification• autoencoding with neural networks• structure learningTable of Contents1. Learning to Classify.- 2. SVM’s and Random Forests.- 3. A Little Learning Theory.- 4. High-dimensional Data.- 5. Principal Component Analysis.- 6. Low Rank Approximations.- 7. Canonical Correlation Analysis.- 8. Clustering.- 9. Clustering using Probability Models.- 10. Regression.- 11. Regression: Choosing and Managing Models.- 12. Boosting.- 13. Hidden Markov Models.- 14. Learning Sequence Models Discriminatively.- 15. Mean Field Inference.- 16. Simple Neural Networks.- 17. Simple Image Classifiers.- 18. Classifying Images and Detecting Objects.- 19. Small Codes for Big Signals.- Index.
£62.99
Springer Nature Switzerland AG Analysis of Experimental Algorithms: Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers
Book SynopsisThis book constitutes the refereed post-conference proceedings of the Special Event on the Analysis of Experimental Algorithms, SEA² 2019, held in Kalamata, Greece, in June 2019.The 35 revised full papers presented were carefully reviewed and selected from 45 submissions. The papers cover a wide range of topics in both computer science and operations research/mathematical programming. They focus on the role of experimentation and engineering techniques in the design and evaluation of algorithms, data structures, and computational optimization methods.
£62.99
Springer Nature Switzerland AG Graph Drawing and Network Visualization: 27th
Book SynopsisThis book constitutes the refereed proceedings of the 27th International Symposium on Graph Drawing and Network Visualization, GD 2019, held in Prague, Czech Republic, in September 2019.The 42 papers and 12 posters presented in this volume were carefully reviewed and selected from 113 submissions. They were organized into the following topical sections: Cartograms and Intersection Graphs, Geometric Graph Theory, Clustering, Quality Metrics, Arrangements, A Low Number of Crossings, Best Paper in Track 1, Morphing and Planarity, Parameterized Complexity, Collinearities, Topological Graph Theory, Best Paper in Track 2, Level Planarity, Graph Drawing Contest Report, and Poster Abstracts.Table of ContentsCartograms and Intersection Graphs.- Stick Graphs with Length Constraints.- Representing Graphs and Hypergraphs by Touching Polygons in 3D.- Optimal Morphs of Planar Orthogonal Drawings II.- Computing Stable Demers Cartograms.- Geometric Graph Theory.- Bundled Crossings Revisited.- Crossing Numbers of Beyond-Planar Graphs.- On the 2-Colored Crossing Number.- Minimal Representations of Order Types by Geometric Graphs.- Balanced Schnyder woods for planar triangulations: an experimental study with applications to graph drawing and graph separators.- Clustering.- A Quality Metric for Visualization of Clusters in Graphs.- Multi-level Graph Drawing using Infomap Clustering.- On Strict (Outer-)Confluent Graphs.- Quality Metrics.- On the Edge-Length Ratio of Planar Graphs.- Node Overlap Removal Algorithms: A Comparative Study.- Graphs with large total angular resolution.- Arrangements.- Computing Height-Optimal Tangles Faster.- On Arrangements of Orthogonal Circles.- Extending Simple Drawings.- Coloring Hasse diagrams and disjointness graphs of curves.- A Low Number of Crossings.- Efficient Generation of Different Topological Representations of Graphs Beyond-Planarity.- The QuaSEFE Problem.- ChordLink: A New Hybrid Visualization Model.- Stress-Plus-X (SPX) Graph Layout.- Best Paper in Track 1.- Exact Crossing Number Parameterized by Vertex Cover.- Morphing and Planarity.- Maximizing Ink in Partial Edge Drawings of k-Plane Graphs.- Graph Drawing with Morphing Partial Edges.- A Note on Universal Point Sets for Planar Graphs.- Parameterized Complexity.- Parameterized Algorithms for Book Embedding Problems.- Sketched Representations and Orthogonal Planarity of Bounded Treewidth Graphs.- Collinearities.- 4-Connected Triangulations on Few Lines.- Line and Plane Cover Numbers Revisited.- Drawing planar graphs with few segments on a polynomial grid.- Variants of the Segment Number of a Graph.- Topological Graph Theory.- Local and Union Page Numbers.- Mixed Linear Layouts: Complexity, Heuristics, and Experiments.- Homotopy height, grid-major height and graph-drawing height.- On the Edge-Vertex Ratio of Maximal Thrackles.- Best Paper in Track 2.- Symmetry Detection and Classification in Drawings of Graphs.- Level Planarity.- An SPQR-Tree-Like Embedding Representation for Upward Planarity.- A Natural Quadratic Approach to the Generalized Graph Layering Problem.- Graph Stories in Small Area.- Level-Planar Drawings with Few Slopes.- Graph Drawing Contest Report.- Graph Drawing Contest Report.- Poster Abstracts.- A 1-planarity Testing and Embedding Algorithm.- Stretching Two Pseudolines in Planar Straight-Line Drawings.- Adventures in Abstraction: Reachability in Hierarchical Drawings.- On Topological Book Embedding for k-Plane Graphs.- On Compact RAC Drawings.- FPQ-choosable Planarity Testing.- Packing Trees into 1-Planar Graphs.- Geographic Network Visualization Techniques: A Work-In-Progress Taxonomy.- On the Simple Quasi Crossing Number of K 11.- Minimising Crossings in a Tree-Based Network.- Crossing Families and Their Generalizations.- Which Sets of Strings are Pseudospherical?.
£42.74
Springer Nature Switzerland AG Sets, Logic and Maths for Computing
Book SynopsisThis easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences. Specifically designed for the student who is intimidated by mathematics, the book offers a concise treatment in an engaging style.The thoroughly revised third edition features a new chapter on relevance-sensitivity in logical reasoning and many additional explanations on points that students find puzzling, including the rationale for various shorthand ways of speaking and ‘abuses of language’ that are convenient but can give rise to misunderstandings. Solutions are now also provided for all exercises.Topics and features: presents an intuitive approach, emphasizing how finite mathematics supplies a valuable language for thinking about computation; discusses sets and the mathematical objects built with them, such as relations and functions, as well as recursion and induction; introduces core topics of mathematics, including combinatorics and finite probability, along with the structures known as trees; examines propositional and quantificational logic, how to build complex proofs from simple ones, and how to ensure relevance in logic; addresses questions that students find puzzling but may have difficulty articulating, through entertaining conversations between Alice and the Mad Hatter; provides an extensive set of solved exercises throughout the text.This clearly-written textbook offers invaluable guidance to students beginning an undergraduate degree in computer science. The coverage is also suitable for courses on formal methods offered to those studying mathematics, philosophy, linguistics, economics, and political science. Assuming only minimal mathematical background, it is ideal for both the classroom and independent study.Table of ContentsPart I: Sets Collecting Things Together: Sets Comparing Things: Relations Associating One Item with Another: Functions Recycling Outputs as Inputs: Induction and Recursion Part II: Math Counting Things: Combinatorics Weighing the Odds: Probability Squirrel Math: Trees Part III: Logic Yea and Nay: Propositional Logic Something about Everything: Quantificational Logic Just Supposing: Proof and Consequence Sticking to the Point: Relevance in Logic
£37.85
Springer Nature Switzerland AG Audit Analytics: Data Science for the Accounting
Book SynopsisToday, information technology plays a pivotal role in financial control and audit: most financial data is now digitally recorded and dispersed among servers, clouds and networks over which the audited firm has no control. Additionally, a firm’s data—particularly in the case of finance, software, insurance and biotech firms— comprises most of the audited value of the firm. Financial audits are critical mechanisms for ensuring the integrity of information systems and the reporting of organizational finances. They help avoid the abuses that led to passage of legislation such as the Foreign Corrupt Practices Act (1977), and the Sarbanes-Oxley Act (2002). Audit effectiveness has declined over the past two decades as auditor skillsets have failed to keep up with advances in information technology. Information and communication technology lie at the core of commerce today and are integrated in business processes around the world. This book is designed to meet the increasing need of audit professionals to understand information technology and the controls required to manage it. The material included focuses on the requirements for annual Securities and Exchange Commission audits (10-K) for listed corporations. These represent the benchmark auditing procedures for specialized audits, such as internal, governmental, and attestation audits.Using R and RStudio, the book demonstrates how to render an audit opinion that is legally and statistically defensible; analyze, extract, and manipulate accounting data; build a risk assessment matrix to inform the conduct of a cost-effective audit program; and more.Table of Contents1. Fundamentals of Auditing Financial Statements.- 2. Foundations of Audit Analytics.- 3. Analysis of Accounting Transactions.- 4. Risk Assessment and Planning.- 5. Analytical Review: Technical Analysis.- 6. Analytical Review: Intelligence Scanning.- 7. Design of Audit Programs.- 8. Interim Compliance Tests.- 9. Substantive Tests.- 10. Sarbanes-Oxley Engagements.- 11. Blockchains, Cybercrime and Forensics.- 12. Special Engagements: Forecasts and Valuation.- 13. Simulated Transactions for Auditing Service Organizations.
£56.99
Springer Nature Switzerland AG Probability in Electrical Engineering and
Book SynopsisThis revised textbook motivates and illustrates the techniques of applied probability by applications in electrical engineering and computer science (EECS). The author presents information processing and communication systems that use algorithms based on probabilistic models and techniques, including web searches, digital links, speech recognition, GPS, route planning, recommendation systems, classification, and estimation. He then explains how these applications work and, along the way, provides the readers with the understanding of the key concepts and methods of applied probability. Python labs enable the readers to experiment and consolidate their understanding. The book includes homework, solutions, and Jupyter notebooks. This edition includes new topics such as Boosting, Multi-armed bandits, statistical tests, social networks, queuing networks, and neural networks. For ancillaries related to this book, including examples of Python demos and also Python labs used in Berkeley, please email Mary James at mary.james@springer.com. This is an open access book. Table of ContentsChapter 1. Page Rank - A.- Chapter 2. Page Rank - B.- Chapter 3. Multiplexing - A.- Chapter 4. Multiplexing - B.- Chapter 5. Networks - A.- Chapter 6. Networks - B.- Chapter 7. Digital Link - A.- Chapter 8. Digital Link - B.- Chapter 9. Tracking - A.- Chapter 10. Tracking - B.- Chapter 11. Speech Recognition - A.- Chapter 12. Speech Recognition - B.- Chapter 13. Route planning - A.- Chapter 14. Route Planning - B.- chapter 15. Perspective & Complements.- A. Elementary Probability.- B. Basic Probability.- . Index.
£31.49
Springer Nature Switzerland AG Understand Mathematics, Understand Computing:
Book SynopsisIn this book the authors aim to endow the reader with an operational, conceptual, and methodological understanding of the discrete mathematics that can be used to study, understand, and perform computing. They want the reader to understand the elements of computing, rather than just know them. The basic topics are presented in a way that encourages readers to develop their personal way of thinking about mathematics. Many topics are developed at several levels, in a single voice, with sample applications from within the world of computing. Extensive historical and cultural asides emphasize the human side of mathematics and mathematicians.By means of lessons and exercises on “doing” mathematics, the book prepares interested readers to develop new concepts and invent new techniques and technologies that will enhance all aspects of computing. The book will be of value to students, scientists, and engineers engaged in the design and use of computing systems, and to scholars and practitioners beyond these technical fields who want to learn and apply novel computational ideas.Trade Review“The text is written in an easy to read format which generously incorporates narratives from the history of mathematics as well as rigorous proofs of the concepts presented. The appendices and references to other texts provide the reader with numerous sources of supplementary information for those wishing to delve into a subject at a deeper level … . chapters are organized and clearly labeled to express which sections are appropriate for a beginning learner, an intermediate learner, or the specialist.” (Tom French, MAA Reviews, October 3, 2021)“Each chapter comes with several exercises from easy to difficult, the latter with complete solutions in the appendix. To accommodate the book to readers with different backgrounds and goals, the authors provide a guide which gives paths through the book for several courses. The exposition is always clear and motivating, no prerequisites are presumed, all terms and concepts are defined precisely, and there are many look-and-see proofs.” (Dieter Riebesehl, zbMATH 1465.68004, 2021)Table of ContentsIntroduction.- “Doing” Mathematics: A Toolkit for Mathematical Reasoning.- Sets and Their Algebras: The Stem Cells of Mathematics.- Numbers I: The Basics of Our Number System.- Arithmetic: Putting Numbers to Work.- Summations: Complex Operations from Simple Components.- The Vertigo of Infinity: Handling the Very Large and the Infinite.- Numbers II: Building the Integers and Building with the Integers.- Recurrences: Rendering Complex Structure Manageable.- Numbers III: Operational Representations and Their Consequences.- The Art of Counting: Combinatorics, Probability, and Statistics.- Graphs I: Representing Relationships Mathematically.- Graphs II: Graphs Within Computation and Communication.- Solutions to Exercises.- App. A, Pairing Functions.- App. B, A Deeper Look at the Fibonacci Numbers.- App. C, Two Recurrence-Defined Number Families.- App. D, Signed-Digit Numerals: Carry-Free Addition.- App. E, The Diverse Delights of de Bruijn Networks.- List of Symbols.- References.- Index.
£67.49
Springer Nature Switzerland AG Discrete Mathematics and Graph Theory: A Concise
Book SynopsisThis textbook can serve as a comprehensive manual of discrete mathematics and graph theory for non-Computer Science majors; as a reference and study aid for professionals and researchers who have not taken any discrete math course before. It can also be used as a reference book for a course on Discrete Mathematics in Computer Science or Mathematics curricula. The study of discrete mathematics is one of the first courses on curricula in various disciplines such as Computer Science, Mathematics and Engineering education practices. Graphs are key data structures used to represent networks, chemical structures, games etc. and are increasingly used more in various applications such as bioinformatics and the Internet. Graph theory has gone through an unprecedented growth in the last few decades both in terms of theory and implementations; hence it deserves a thorough treatment which is not adequately found in any other contemporary books on discrete mathematics, whereas about 40% of this textbook is devoted to graph theory. The text follows an algorithmic approach for discrete mathematics and graph problems where applicable, to reinforce learning and to show how to implement the concepts in real-world applications.Trade Review“This accessible reference book should be well received by undergraduate-level CS, engineering, and mathematics students.” (Soubhik Chakraborty, Computing Reviews, July 12, 2022)“The book under review is an elementary introduction to mathematical logic, set theory, discrete mathematics, number theory, probability theory and graph theory. Its undoubted advantage is its good algorithmic support. … I would recommend this book to students studying computer science at the bachelor’s level.” (I. M. Erusalimskiy, zbMATH 1477.68004, 2022)Table of ContentsPreface.- Part I: Fundamentals of Discrete Mathematics.- Logic.- Proofs.- Algorithms.- Set Theory.- Relations and Functions.- Sequences, Induction and Recursion.- Introduction to Number Theory.- Counting and Probability.- Boolean Algebra and Combinational Circuits.- Introduction to the Theory of Computation.- Part II: Graph Theory.- Introduction to Graphs.- Trees and Traversals.- Subgraphs.- Connectivity, Network Flows and Shortest Paths.- Graph Applications.- A:.- Pseudocode Conventions.- Index.
£28.61
Springer Nature Switzerland AG Algebra and Geometry with Python
Book SynopsisThis book teaches algebra and geometry. The authors dedicate chapters to the key issues of matrices, linear equations, matrix algorithms, vector spaces, lines, planes, second-order curves, and elliptic curves. The text is supported throughout with problems, and the authors have included source code in Python in the book. The book is suitable for advanced undergraduate and graduate students in computer science. Trade Review“It is most interesting to combine a classical mathematical topic with a new evolving programming language and exactly this is obtained by this book. … This material is used as a case study for their implementation for solving problems in theoretical and practical cryptography. The ‘roadmap’ of the content of this also quite interesting.” (Panayiotis Vlamos, zbMATH 1480.00002, 2022)Table of ContentsMatrices and Matrix Algorithms.- Matrix Algebra.- Systems of Linear Equations.- Complex Numbers and Matrices.- Vector Spaces.- Vectors in a Three-Dimensional Space.- Equation of a Straight Line on a Plane.- Equation of a Plane in Space.- Equation of a Line in Space.- Bilinear and Quadratic Forms.- Curves of the Second-Order.- Elliptic Curves.- Appendix A, Basic Operators in Python and C.- Appendix B, Trigonometric Formulae.- Appendix C, The Greek Alphabet.- References.- Name Index.- Subject Index.
£52.24
Springer Nature Switzerland AG Probabilistic Graphical Models: Principles and
Book SynopsisThis fully updated new edition of a uniquely accessible textbook/reference provides a general introduction to probabilistic graphical models (PGMs) from an engineering perspective. It features new material on partially observable Markov decision processes, causal graphical models, causal discovery and deep learning, as well as an even greater number of exercises; it also incorporates a software library for several graphical models in Python.The book covers the fundamentals for each of the main classes of PGMs, including representation, inference and learning principles, and reviews real-world applications for each type of model. These applications are drawn from a broad range of disciplines, highlighting the many uses of Bayesian classifiers, hidden Markov models, Bayesian networks, dynamic and temporal Bayesian networks, Markov random fields, influence diagrams, and Markov decision processes.Topics and features: Presents a unified framework encompassing all of the main classes of PGMs Explores the fundamental aspects of representation, inference and learning for each technique Examines new material on partially observable Markov decision processes, and graphical models Includes a new chapter introducing deep neural networks and their relation with probabilistic graphical models Covers multidimensional Bayesian classifiers, relational graphical models, and causal models Provides substantial chapter-ending exercises, suggestions for further reading, and ideas for research or programming projects Describes classifiers such as Gaussian Naive Bayes, Circular Chain Classifiers, and Hierarchical Classifiers with Bayesian Networks Outlines the practical application of the different techniques Suggests possible course outlines for instructors This classroom-tested work is suitable as a textbook for an advanced undergraduate or a graduate course in probabilistic graphical models for students of computer science, engineering, and physics. Professionals wishing to apply probabilistic graphical models in their own field, or interested in the basis of these techniques, will also find the book to be an invaluable reference.Dr. Luis Enrique Sucar is a Senior Research Scientist at the National Institute for Astrophysics, Optics and Electronics (INAOE), Puebla, Mexico. He received the National Science Prize en 2016.Table of ContentsPart I: FundamentalsIntroductionProbability TheoryGraph TheoryPart II: Probabilistic ModelsBayesian ClassifiersHidden Markov ModelsMarkov Random FieldsBayesian Networks: Representation and InferenceBayesian Networks: LearningDynamic and Temporal Bayesian NetworksPart III: Decision ModelsDecision GraphsMarkov Decision ProcessesPartially Observable Markov Decision Processes Part IV: Relational, Causal and Deep ModelsRelational Probabilistic Graphical ModelsGraphical Causal ModelsCausal DiscoveryDeep Learning and Graphical ModelsA: A Python Library for Inference and LearningGlossaryIndex
£49.49
Springer Nature Switzerland AG Logical Methods: The Art of Thinking Abstractly
Book SynopsisMany believe mathematics is only about calculations, formulas, numbers, and strange letters. But mathematics is much more than just crunching numbers or manipulating symbols. Mathematics is about discovering patterns, uncovering hidden structures, finding counterexamples, and thinking logically. Mathematics is a way of thinking. It is an activity that is both highly creative and challenging. This book offers an introduction to mathematical reasoning for beginning university or college students, providing a solid foundation for further study in mathematics, computer science, and related disciplines. Written in a manner that directly conveys the sense of excitement and discovery at the heart of doing science, its 25 short and visually appealing chapters cover the basics of set theory, logic, proof methods, combinatorics, graph theory, and much more. In the book you will, among other things, find answers to: What is a proof? What is a counterexample? What does it mean to say that something follows logically from a set of premises? What does it mean to abstract over something? How can knowledge and information be represented and used in calculations? What is the connection between Morse code and Fibonacci numbers? Why could it take billions of years to solve Hanoi's Tower? Logical Methods is especially appropriate for students encountering such concepts for the very first time. Designed to ease the transition to a university or college level study of mathematics or computer science, it also provides an accessible and fascinating gateway to logical thinking for students of all disciplines.Trade Review"The definitions are followed by examples to help explain their meaning, along with counterexamples ... . Therefore, very little basic knowledge is required for this introduction to logical methods ... which is written in an accessible style ... . contained in the book are several hundred small figures; arrow, Venn, and Hasse diagrams; and simplifies visual representations ... . The author has also elected to use color to draw the reader's attention ... ." “From personal teaching experience, knowledge of these mathematical areas is necessary for disparate fields of CS and informatics. These foundations are needed for many fields, from database theory to various domains of information systems applications. The book’s presentation of topics and incentives for problem-solving, along with its exercises, is very useful for university-level instructors and students. The compact chapters contain clear explanations, diagrams, and brief descriptions of interesting facts.” (Bálint Molnár, Computing Reviews, July 27, 2021)Table of ContentsPreface.- 0 The Art of Thinking Abstractly and Mathematically.- 1 Basic Set Theory.- 2 Propositional Logic.- 3 Semantics from Propositional Logic.- 4 Concepts in Propositional Logic.- 5 Proofs, Conjectures, and Counterexamples.- 6 Relations.- 7 Functions.- 8 A Little More Set Theory.- 9 Closures and Inductively Defined Sets.- 10 Recursively Defined Functions.- 11 Mathematical Induction.- 12 Structural Induction.- 13 First-Order Languages.- 14 Representation of Quantified Statements.- 15 Interpretation in Models.- 16 Reasoning About Models.- 17 Abstraction with Equivalences and Partitions.- 18 Combinatorics.- 19 A Little More Combinatorics.- 20 A Bit of Abstract Algebra.- 21 Graph Theory.- 22 Walks in Graphs.- 23 Formal Languages and Grammars.- 24 Natural Deduction.- The Road Ahead.- Index. Symbols.
£31.49
Springer Nature Switzerland AG Computational Diffusion MRI: International MICCAI
Book SynopsisThis book gathers papers presented at the Workshop on Computational Diffusion MRI, CDMRI 2020, held under the auspices of the International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI), which took place virtually on October 8th, 2020, having originally been planned to take place in Lima, Peru.This book presents the latest developments in the highly active and rapidly growing field of diffusion MRI. While offering new perspectives on the most recent research challenges in the field, the selected articles also provide a valuable starting point for anyone interested in learning computational techniques for diffusion MRI. The book includes rigorous mathematical derivations, a large number of rich, full-colour visualizations, and clinically relevant results. As such, it is of interest to researchers and practitioners in the fields of computer science, MRI physics, and applied mathematics. The reader will find numerous contributions covering a broad range of topics, from the mathematical foundations of the diffusion process and signal generation to new computational methods and estimation techniques for the in-vivo recovery of microstructural and connectivity features, as well as diffusion-relaxometry and frontline applications in research and clinical practice.Table of Contents
£143.99
Springer Nature Switzerland AG Algorithms and Complexity: 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings
Book SynopsisThis book constitutes the refereed conference proceedings of the 12th International Conference on Algorithms and Complexity, CIAC 2019, held as a virtual event, in May 2021. The 28 full papers presented together with one invited lecture and 2 two abstracts of invited lectures were carefully reviewed and selected from 78 submissions. The International Conference on Algorithms and Complexity is intended to provide a forum for researchers working in all aspects of computational complexity and the use, design, analysis and experimentation of efficient algorithms and data structures. The papers present original research in the theory and applications of algorithms and computational complexity.Due to the Corona pandemic the conference was held virtually.Table of ContentsAbundant Extensions.- Three Problems on Well-Partitioned Chordal Graphs.- Distributed Distance-r Covering Problems on Sparse High-Girth Graphs.- Reconfiguration of Connected Graph Partitions via Recombination.- Algorithms for Energy Conservation in Heterogeneous Data Centers.- On Vertex-Weighted Graph Realizations.- On the Role of 3's for the 1-2-3 Conjecture.- Upper Tail Analysis of Bucket Sort and Random Tries.- Throughput Scheduling with Equal Additive Laxity.- Fragile Complexity of Adaptive Algorithms.- FPT and Kernelization Algorithms for the Induced Tree Problem.- A Tight Lower Bound for Edge-Disjoint Paths on Planar DAGs.- Upper Dominating Set: Tight Algorithms for Pathwidth and Sub-Exponential Approximation.- A Multistage View on 2-Satisfiability.- The Weisfeiler-Leman Algorithm and Recognition of Graph Properties.- The Parameterized Suffix Tray.- Exploring the Gap Between Treedepth and Vertex Cover Through Vertex Integrity.- Covering a Set of Line Segments with a Few Squares.- Circumventing Connectivity for Kernelization.- Online and Approximate Network Construction from Bounded Connectivity Constraints.- Globally Rigid Augmentation of Minimally Rigid Graphs in \(R^2\).- Extending Partial Representations of Rectangular Duals with Given Contact Orientations.- Can Local Optimality be Used for Efficient Data Reduction.- Colouring Graphs of Bounded Diameter in the Absence of Small Cycles.- Online Two-Dimensional Vector Packing with Advice.- Temporal Matching on Geometric Graph Data.
£61.74
Springer Nature Switzerland AG Principles of Parallel Scientific Computing: A
Book SynopsisNew insight in many scientific and engineering fields is unthinkable without the use of numerical simulations running efficiently on modern computers. The faster we get new results, the bigger and accurate are the problems that we can solve. It is the combination of mathematical ideas plus efficient programming that drives the progress in many disciplines. Future champions in the area thus will have to be qualified in their application domain, they will need a profound understanding of some mathematical ideas, and they need the skills to deliver fast code. The present textbook targets students which have programming skills already and do not shy away from mathematics, though they might be educated in computer science or an application domain. It introduces the basic concepts and ideas behind applied mathematics and parallel programming that we need to write numerical simulations for today’s multicore workstations. Our intention is not to dive into one particular application domain or to introduce a new programming language – we lay the generic foundations for future courses and projects in the area. The text is written in an accessible style which is easy to digest for students without years and years of mathematics education. It values clarity and intuition over formalism, and uses a simple N-body simulation setup to illustrate basic ideas that are of relevance in various different subdomains of scientific computing. Its primary goal is to make theoretical and paradigmatic ideas accessible to undergraduate students and to bring the fascination of the field across.Table of Contents1. The Pillars of Science.- 2. Moore Myths.- 3. Our Model Problem.- 4. Floating Point Numbers.- 5. A Simplistic Machine Model.- 6. Round-off Error Propagation.- 7. SIMD Vector Crunching.- 8. Arithmetic Stability of an Implementation.- 9. Vectorisation of the Model Problem.- 10. Conditioning and Well-posedness.- 11. Taylor Expansion.- 12. Ordinary Differential Equations.- 13. Accuracy and Appropriateness of Numerical Schemes.- 14. Writing Parallel Codes.- 15. Upscaling Methods.- 16. OpenMP Primer.- 17. Shared Memory Tasking.- 18. GPGPUs with OpenMP.- 19. Higher Order Methods.- 20. Adaptive Time Stepping.
£35.99
Springer Nature Switzerland AG Introduction to Computation: Haskell, Logic and
Book SynopsisComputation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm). This uniquely accessible textbook introduces students using a very distinctive approach, quite rapidly leading them into essential topics with sufficient depth, yet in a highly intuitive manner. From core elements like sets, types, Venn diagrams and logic, to patterns of reasoning, calculus, recursion and expression trees, the book spans the breadth of key concepts and methods that will enable students to readily progress with their studies in Computer Science.Trade Review“This book is intended as a textbook for an introductory course in computation for students beginning in informatics. No prerequisites are needed, all concepts, even elementary ones ... . it is also very suited for self-study, even if a reader is interested in Haskell or symbolic logic alone. ... Comprehension is supported by exercises for each chapter ... .” (Dieter Riebesehl, zbMATH 1497.68005, 2022)Table of Contents1 Sets 132 Types 193 Simple Computations 274 Venn Diagrams and Logical Connectives 355 Lists and Comprehensions 456 Features and Predicates 557 Testing Your Programs 638 Patterns of Reasoning 739 More Patterns of Reasoning 8110 Lists and Recursion 9111 More Fun with Recursion 10112 Higher-Order Functions 11113 Higher and Higher 12314 Sequent Calculus 13115 Algebraic Data Types 14316 Expression Trees 15717 Karnaugh Maps 17518 Relations and Quantifiers 18319 Checking Satisfiability 19120 Data Representation 20321 Data Abstraction 22122 Efficient CNF Conversion 23723 Counting Satisfying Valuations 24924 Type Classes 26325 Search in Trees 27526 Combinatorial Algorithms 28527 Finite Automata 29928 Deterministic Finite Automata 31129 Non-Deterministic Finite Automata 32130 Input/Output and Monads 34131 Regular Expressions 35932 Non-Regular Languages 369Index 377
£28.49
Springer Nature Switzerland AG The Signed Distance Measure in Fuzzy Statistical
Book SynopsisThe main focus of this book is on presenting advances in fuzzy statistics, and on proposing a methodology for testing hypotheses in the fuzzy environment based on the estimation of fuzzy confidence intervals, a context in which not only the data but also the hypotheses are considered to be fuzzy. The proposed method for estimating these intervals is based on the likelihood method and employs the bootstrap technique. A new metric generalizing the signed distance measure is also developed. In turn, the book presents two conceptually diverse applications in which defended intervals play a role: one is a novel methodology for evaluating linguistic questionnaires developed at the global and individual levels; the other is an extension of the multi-ways analysis of variance to the space of fuzzy sets. To illustrate these approaches, the book presents several empirical and simulation-based studies with synthetic and real data sets. In closing, it presents a coherent R package called “FuzzySTs” which covers all the previously mentioned concepts with full documentation and selected use cases. Given its scope, the book will be of interest to all researchers whose work involves advanced fuzzy statistical methods.Table of Contents- 1. Introduction. - Part I Theoretical Part. - 2. Fundamental Concepts on Fuzzy Sets. - 3. Fuzzy Rule-Based Systems. - 4. Distances Between Fuzzy Sets. - 5. Fuzzy Random Variables and Fuzzy Distributions. - 6. Fuzzy Statistical Inference. - Conclusion Part I. - Part II Applications. - 7. Evaluation of Linguistic Questionnaire. - 8. Fuzzy Analysis of Variance. - Part III An R Package for Fuzzy Statistical Analysis: A DetailedDescription. - 9. FuzzySTs: Fuzzy Statistical Tools: A Detailed Description. - Conclusion.
£98.99
Springer Nature Switzerland AG Computer Algebra: An Algorithm-Oriented
Book SynopsisThis textbook offers an algorithmic introduction to the field of computer algebra. A leading expert in the field, the author guides readers through numerous hands-on tutorials designed to build practical skills and algorithmic thinking. This implementation-oriented approach equips readers with versatile tools that can be used to enhance studies in mathematical theory, applications, or teaching. Presented using Mathematica code, the book is fully supported by downloadable sessions in Mathematica, Maple, and Maxima. Opening with an introduction to computer algebra systems and the basics of programming mathematical algorithms, the book goes on to explore integer arithmetic. A chapter on modular arithmetic completes the number-theoretic foundations, which are then applied to coding theory and cryptography. From here, the focus shifts to polynomial arithmetic and algebraic numbers, with modern algorithms allowing the efficient factorization of polynomials. The final chapters offer extensions into more advanced topics: simplification and normal forms, power series, summation formulas, and integration. Computer Algebra is an indispensable resource for mathematics and computer science students new to the field. Numerous examples illustrate algorithms and their implementation throughout, with online support materials to encourage hands-on exploration. Prerequisites are minimal, with only a knowledge of calculus and linear algebra assumed. In addition to classroom use, the elementary approach and detailed index make this book an ideal reference for algorithms in computer algebra.Trade Review“Strong interplay between the abstract exposition, which includes the relevant theorems as well as their proofs, and the practical utilization of those concepts in Mathematica is certainly a remarkable feature of this textbook. … Overall, the book is very well written and the approach to provide examples as actual Mathematica sessions is commendable.” (Andreas Maletti, zbMATH 1484.68004, 2022)Table of Contents
£44.99
Springer Nature Switzerland AG Line Graphs and Line Digraphs
Book SynopsisIn the present era dominated by computers, graph theory has come into its own as an area of mathematics, prominent for both its theory and its applications. One of the richest and most studied types of graph structures is that of the line graph, where the focus is more on the edges of a graph than on the vertices. A subject worthy of exploration in itself, line graphs are closely connected to other areas of mathematics and computer science. This book is unique in its extensive coverage of many areas of graph theory applicable to line graphs. The book has three parts. Part I covers line graphs and their properties, while Part II looks at features that apply specifically to directed graphs, and Part III presents generalizations and variations of both line graphs and line digraphs.Line Graphs and Line Digraphs is the first comprehensive monograph on the topic. With minimal prerequisites, the book is accessible to most mathematicians and computer scientists who have had an introduction graph theory, and will be a valuable reference for researchers working in graph theory and related fields.Table of ContentsPart I Line Graphs.- 1 Fundamentals of Line Graphs.- 2 Line Graph Isomorphisms.- 3 Characterization of Line Graphs.- 4 Spectral Properties of Line Graphs.- 5 Planarity of Line Graphs.- 6 Connectivity of Line Graphs.- 7 Tranversability in Line Graphs.- 8 Colorability in Line Graphs.- 9 Distance and Transitivity in Line Graphs.- Part II Line Digraphs.- 10 Fundamentals of Line Digraphs.- 11 Characterizations of Line Digraphs.- 12 Iterated Line Digraphs.- Part III Generalizations.- 13 Total Graphs and Total Digraphs.- 14 Path Graphs and Path Digraphs.- 15 Super Line Graphs and Super Line Digraphs.- 16 Line Graphs of Signed Graphs.- 17 The Krausz Dimension of Graph.- Reference. Index of Names.- Index of Definitions.
£98.99
Springer Nature Switzerland AG Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications
This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing. The text is designed to motivate and inspire the reader, encouraging further study in this important skill. Features: This book provides an introduction to the building blocks of discrete mathematics, including sets, relations and functions; describes the basics of number theory, the techniques of induction and recursion, and the applications of mathematical sequences, series, permutations, and combinations; presents the essentials of algebra; explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability; reviews the history of logic, discussing propositional and predicate logic, as well as advanced topics such as the nature of theorem proving; examines the field of software engineering, including software reliability and dependability and describes formal methods; investigates probability and statistics and presents an overview of operations research and financial mathematics.
£27.99
Springer Nature Switzerland AG Algorithms on Trees and Graphs: With Python Code
Book SynopsisGraph algorithms is a well-established subject in mathematics and computer science. Beyond classical application fields, such as approximation, combinatorial optimization, graphics, and operations research, graph algorithms have recently attracted increased attention from computational molecular biology and computational chemistry. Centered around the fundamental issue of graph isomorphism, this text goes beyond classical graph problems of shortest paths, spanning trees, flows in networks, and matchings in bipartite graphs. Advanced algorithmic results and techniques of practical relevance are presented in a coherent and consolidated way. This book introduces graph algorithms on an intuitive basis followed by a detailed exposition in a literate programming style, with correctness proofs as well as worst-case analyses. Furthermore, full C++ implementations of all algorithms presented are given using the LEDA library of efficient data structures and algorithms.Table of Contents1. Introduction.- 2. Algorithmic Techniques.- 3. Tree Traversal.- 4. Tree Isomorphism.- 5. Graph Traversal.- 6. Clique, Independent Set, and Vertex Cover.- 7. Graph Isomorphism.
£59.99
