Liang Wang, Jianxin Zhao, Richard Mortier

OCaml Scientific Computing (eBook, PDF)

Functional Programming in Data Science and Artificial Intelligence

• Format: PDF

Produktbeschreibung

This book is about the harmonious synthesis of functional programming and numerical computation. It shows how the expressiveness of OCaml allows for fast and safe development of data science applications. Step by step, the authors build up to use cases drawn from many areas of Data Science, Machine Learning, and AI, and then delve into how to deploy at scale, using parallel, distributed, and accelerated frameworks to gain all the advantages of cloud computing environments.

To this end, the book is divided into three parts, each focusing on a different area. Part I begins by introducing how basic numerical techniques are performed in OCaml, including classical mathematical topics (interpolation and quadrature), statistics, and linear algebra. It moves on from using only scalar values to multi-dimensional arrays, introducing the tensor and Ndarray, core data types in any numerical computing system. It concludes with two more classical numerical computing topics, the solution of Ordinary Differential Equations (ODEs) and Signal Processing, as well as introducing the visualization module we use throughout this book. Part II is dedicated to advanced optimization techniques that are core to most current popular data science fields. We do not focus only on applications but also on the basic building blocks, starting with Algorithmic Differentiation, the most crucial building block that in turn enables Deep Neural Networks. We follow this with chapters on Optimization and Regression, also used in building Deep Neural Networks. We then introduce Deep Neural Networks as well as topic modelling in Natural Language Processing (NLP), two advanced and currently very active fields in both industry and academia. Part III collects a range of case studies demonstrating how you can build a complete numerical application quickly from scratch using Owl. The cases presented include computer vision and recommender systems.

This book aims at anyone with a basic knowledge offunctional programming and a desire to explore the world of scientific computing, whether to generally explore the field in the round, to build applications for particular topics, or to deep-dive into how numerical systems are constructed. It does not assume strict ordering in reading - readers can simply jump to the topic that interests them most.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Nature Switzerland
• Seitenzahl: 359
• Erscheinungstermin: 26. Mai 2022
• Englisch
• ISBN-13: 9783030976453
• Artikelnr.: 64098632

Autorenporträt

Liang Wang is a Principal AI Architect at Nokia, a Senior Researcher at the University of Cambridge, an Intel Software Innovator, and the Chief Scientific Officer at IKVA. He has a broad research interest in artificial intelligence, machine learning, operating systems, computer networks, optimization theory, and graph theory. Jianxin Zhao is a PhD graduate from the University of Cambridge. His research interests include numerical computation, artificial intelligence, decentralized systems, and their application in the real world. Richard Mortier is a Professor in Computing and Human-Data Interaction at the University of Cambridge. He works at the intersection of systems and networking with human-computer interaction, and he currently focuses on building user-centric systems infrastructure.

Inhaltsangabe

Part I: Numerical Techniques.- 1. Introduction.- 2. Numerical Algorithms.- 3. Statistics.- 4. Linear Algebra.- 5. N-Dimensional Arrays.- 6. Ordinary Differential Equations.- 7. Signal Processing.- Part II: Advanced Data Analysis Techniques.- 8. Algorithmic Differentiation.- 9. Optimisation.- 10. Regression.- 11. Neural Network.- 12. Vector Space Modelling.- Part III: Use Cases.- 13. Case Study: Image Recognition.- 14. Case Study: Instance Segmentation.- 15. Case Study: Neural Style Transfer.- 16. Case Study: Recommender System.

Rezensionen

"This monograph is an exposition of the Owl library in OCaml for building applications that make essential use of numerical algorithms. These numerical algorithms are the basis of most engineering applications--mechanical, electrical, and electronic systems grounded in physics. ... This book should be read as a tutorial on the facilities of the Owl library. ... OCaml scientific computing serves as a valuable resource for computer science students embarking on their initial exploration of numerical algorithms." (Prahladavaradan Sampath, Computing Reviews, September 18, 2024)