Mathematical theory of computation Books
Springer London Introduction to the Theory of Programming Languages
Book Synopsisshowing that the study of programming languages does not consist of studying languages one after another, but is organized around the features that are present in these various languages.Trade ReviewFrom the reviews:“The book is divided into eight chapters and an epilogue. … Faculty teaching an undergraduate programming languages course may find this book to be a useful reference. Summing Up: Recommended. Upper-division undergraduates through professionals/practitioners.” (J. Beidler, Choice, Vol. 48 (10), June, 2011)“It is a short book--of about 100 pages--consisting of eight chapters and an epilogue. The book focuses on the formal description of programming language semantics and compilation using denotational semantics, small-step operational semantics (reduction semantics), and big-step operational semantics (natural semantics). … The book provides a good description of programming language concepts and motivates the necessary theory well. … The book is suitable for both professionals and graduate- and advanced undergraduate-level classes.” (Michael Oudshoorn, ACM Computing Reviews, November, 2011)Table of Contents1. Terms and Relations.- 2. The Language PCF.- 3. From Evaluation to Interpretation.- 4. Compilation.- 5. PCF with Types.- 6. Type Inference.- 7. References and Assignment.- 8. Records and Objects.- 9. Epilogue.- 10. Index.- 11. Bibliography
£26.99
Cambridge University Press Introducing String Diagrams
Book SynopsisThis is the first self-contained introduction to the use of string diagrams to reason in elementary category theory. Written in an informal expository style, it features hundreds of carefully chosen diagrams to aid understanding. With numerous worked examples and exercises, the text is ideal for graduate students and advanced undergraduates.Trade Review'String diagrams have proven an indispensable tool in modern category theory, enabling intuitive graphical reasoning while doing away with much of the bookkeeping that tends to bog down equational arguments. This textbook introduces category theory by way of string diagrams, making it an excellent choice both for beginners in category theory, as well as for more experienced category theorists seeking to add string diagrammatic reasoning to their repertoire.' Robin Kaarsgaard, University of Edinburgh'Well-chosen notation plays a vital role in constructive calculation because it facilitates the exploitation of algebraic properties. This book's exemplary use of string diagrams in category theory will inspire and invigorate the calculational method. Peruse and ponder its colourful beauty.' Roland Backhouse, University of NottinghamTable of ContentsPrologue; 1. Category theory; 2. String diagrams; 3. Monads; 4. Adjunctions; 5. Putting it all together; Epilogue; Appendix. Notation; References; Index.
£37.99
Cambridge University Press Syntax and Semantics of Petri Nets
£104.50
Taylor & Francis Ltd Occultism and the Origins of Psychoanalysis
Book SynopsisOccultism and the Origins of Psychoanalysis traces the origins of key psychoanalytic ideas back to their roots in hypnosis and the occult. Maria Pierri follows Freud’s early interest in ‘thought-transmission’, now known as telepathy. Trade Review"This book gives back to contemporary psychoanalysis the pleasure of exploring really little-known territories, fascinatingly restoring the connection between the past, present and "elsewhere" of communications between human beings, using the Freudian experience as its starting point, in order to reconsider in a reflective way the less visible, sometimes disorienting and mysterious levels of psychoanalytic practice. offers us an especially valuable reflection on the mysterious communicating paths which put individual and group unconsciouses in contact with each other, often bypassing in an apparently disconcerting manner the border controls." - Stefano Bolognini, past President of the IPA and the Italian Psychoanalytic Society"Following the thread of thought-transference, Maria Pierri goes through the events of the Freudian endeavour starting from its roots in hypnosis and occultism, through the dialogue with the masters, the pupils and the great female patients, the leading actresses of the cure. In his disquieting curiosity for telepathy, which he shared intimately with Ferenczi, Freud discovers that fortune-tellers, who do not know the future, can read the unconscious of their clients. But the "golden coin" of occultism, the generative mother-child communication, will be the great discovery of Ferenczi." - Luis J. Martin Cabré, Training analyst, past President Madrid Psychoanalytical Association."Today we know much about the polyphonic complex of contexts, experiences, relationships and ideas which made psychoanalysis possible and still nourish its current debates. We can be very grateful to Maria Pierri for bringing us up to date with the role and meaning of some little-known aspects of Freud’s life and work concerning occultism and the fascinating dialogue of the unconsciouses developed with Ferenczi: what the Author identifies as one of the matrices of the developments of contemporary psychoanalysis." - Marco Conci, MC, IPA Committee on the History of Psychoanalysis"This book gives back to contemporary psychoanalysis the pleasure of exploring really little-known territories, fascinatingly restoring the connection between the past, present and 'elsewhere' of communications between human beings, using the Freudian experience as its starting point, in order to reconsider in a reflective way the less visible, sometimes disorienting and mysterious levels of psychoanalytic practice. It offers us an especially valuable reflection on the mysterious communicating paths which put individual and group unconsciouses in contact with each other, often bypassing in an apparently disconcerting manner the border controls." - Stefano Bolognini, past president of the IPA and the Italian Psychoanalytic Society"Following the thread of thought-transference, Maria Pierri goes through the events of the Freudian endeavour starting from its roots in hypnosis and occultism, through the dialogue with the masters, the pupils and the great female patients, the leading actresses of the cure. In his disquieting curiosity for telepathy, which he shared intimately with Ferenczi, Freud discovers that fortune-tellers, who do not know the future, can read the unconscious of their clients. But the 'golden coin' of occultism, the generative mother-child communication, will be the great discovery of Ferenczi." - Luis J. Martin Cabré, training analyst, past president, Madrid Psychoanalytical Association"Today we know much about the polyphonic complex of contexts, experiences, relationships and ideas which made psychoanalysis possible and still nourish its current debates. We can be very grateful to Maria Pierri for bringing us up to date with the role and meaning of some little-known aspects of Freud’s life and work concerning occultism and the fascinating dialogue of the unconsciouses developed with Ferenczi: what the Author identifies as one of the matrices of the developments of contemporary psychoanalysis." - Marco Conci, MC, IPA Committee on the History of PsychoanalysisTable of ContentsIntroductionStefano BologniniPrologue: a result of character: the cocaine, this magical substance1. Vienna, Porta Orientis of the Unconscious The force of suggestion: the "wonderful somnambulists" HypnosisVienna, laboratory of modernity2. The Young FreudA passionate young researcher into natureFirst love Martha and Bertha: the languages of passion3. The Lesson of Jean Martin Charcot At the SalpêtrièreThe apparatus of language The magic of words4. The lesson of Josef Breuer and the "descent to the mothers"Studies on hysteriaA difficult separation: not all debts can be paidA foundation myth: a false pregnancy and a cure with a defect.5. Sigmund Freud’s lessonThe discovery of a false connection Irma’s throat and the feminine at the origin of psychoanalysis.Dream as desire 6. Fliess and the invention of psychoanalysis A secret correspondence My friend in BerlinFreud’s heart trouble7. The discovery of infantile sexualitySelf-analysis and the writing cure Cherchez la femme: the case of Emma Eckstein8. Original thought requires a ruptureThe "reader of thoughts" The accusation of plagiarism A future in the image of the past: predestination and superstition 9. Occultism made in the USASpiritualism Medium, media, and "mental telegraphy"First hypotheses about the unconscious10 Jung, spiritualism, and countertransference: the world of the deadJung, Poltergeist phenomena, and séances The arrival at Burghölzli First visit to ViennaEaster 1909: Jung’s spiritual complex and Sabina The dangerous fascination of the "beautiful Jewess"11. Ferenczi, the unclassifiableThe sultan and his "clairvoyant" A psychoanalyst "of a restless mind"Ferenczi and the hidden treasure of SpiritualismThe encounter with Freud: a postponed transferential appointment12. A journey to America Three men and an eventful, mutually analytic crossing: the outward journey… … and back again13. The Danaan gift The clairvoyant who reads Ferenczi’s mindThe patient who reads Ferenczi’s mindThe Palermo incident, or the interpretation of paranoiaThe psychic work of the clairvoyant: two unfulfilled prophecies14. An epistolary novelFerenczi and incestuous countertransferential storms: from mother to daughter What is still missing is the fatherly blessing: fatefulness and Oedipal coincidencesElma Pàlos, fragment of the analysis of a seduction The open wound in Ferenczi’s heart, a source of creativity 15. The Saturday goy: getting to know Dr Jones The Welsh liar Difficult beginnings Freud’s first pupil from BritainDr Jones’s stethoscope: rationalisation and censorship of excess countertransferenceA prescribed training analysis in Budapest 16. The intergenerational transmission of psychoanalysis Love and death: the three women of the three pupils"If you go to women, don't forget the whip"At school with Freud: the transmission of psychoanalysis17. The secret committeeThe transformations and the desertion of JungA missed meeting: the "Kreuzlingen gesture" The Committee: the Männerbund and the defence of the "Cause" (Die Sache)Totem and taboo: unconscious intelligence and intergenerational transmission of thought 18. 1913 - the year before the warThe last congress with JungA black tide of occultism The question of telepathyThe dialogues of the unconsciousEpilogue: a fortune-teller visits Freud in BerggasseCorrespondenceIndex
£29.99
Taylor & Francis Ltd Computational Framework for the Finite Element
Book SynopsisComputational Framework for the Finite Element Method in MATLAB and Python aims to provide a programming framework for coding linear FEM using matrix-based MATLAB language and Python scripting language. It describes FEM algorithm implementation in the most generic formulation so that it is possible to apply this algorithm to as many application problems as possible. Readers can follow the step-by-step process of developing algorithms with clear explanations of its underlying mathematics and how to put it into MATLAB and Python code. The content is focused on aspects of numerical methods and coding FEM rather than FEM mathematical analysis. However, basic mathematical formulations for numerical techniques which are needed to implement FEM are provided. Particular attention is paid to an efficient programming style using sparse matrices. Features Contains ready-to-use coding recipes allowing fast prototyping and
£43.69
CRC Press Handbook of Price Impact Modeling
Book SynopsisHandbook of Price Impact Modeling provides practitioners and students with a mathematical framework grounded in academic references to apply price impact models to quantitative trading and portfolio management. Automated trading is now the dominant form of trading across all frequencies. Furthermore, trading algorithm rise introduces new questions professionals must answer, for instance: How do stock prices react to a trading strategy? How to scale a portfolio considering its trading costs and liquidity risk? How to measure and improve trading algorithms while avoiding biases? Price impact models answer these novel questions at the forefront of quantitative finance. Hence, practitioners and students can use this Handbook as a comprehensive, modern view of systematic trading.For financial institutions, the Handbookâs framework aims to minimize the firmâs price impact, measure market liquiditTrade Review"Kevin Webster has written a remarkable textbook that studies these problems in a uniquely comprehensive manner. To wit, he covers theory, empirics, and implementation by bringing together insights developed in a number of different research communities, ranging from Industry Practitioners, Financial Economists, Econophysicists, to Applied Mathematicians. In doing so, Kevin develops the underlying theory in a very accessible manner. He also presents important practical applications beyond optimal trading (such as risk management), which showcase that a good grasp of the mechanics of price impact is an essential part of any modern financial engineer's toolkit."- Johannes Muhle-Karbe, Imperial College London.Full article: Handbook of Price Impact Modeling (tandfonline.com)Table of Contents1. Introduction to Modeling Price Impact. 2. Mathematical Models of Price Impact. 3. Applications of Price Impact Models. 4. Further Applications of Price Impact Models. 5. An Introduction to the Mathematics of Causal Inference. 6. Dealing with Biases when Fitting Price Impact Models. 7. Empirical Analysis of Price Impact Models.
£73.14
Taylor and Francis Deep Learning
Book Synopsis
£47.49
CRC Press Introduction to Python for Science and
Book SynopsisIntroduction to Python for Science and Engineering offers a quick and incisive introduction to the Python programming language for use in any science or engineering discipline. The approach is pedagogical and âœbottom up,â which means starting with examples and extracting more general principles from that experience. No prior programming experience is assumed.Readers will learn the basics of Python syntax, data structures, input and output, conditionals and loops, user-defined functions, plotting, animation, and visualization. They will also learn how to use Python for numerical analysis, including curve fitting, random numbers, linear algebra, solutions to nonlinear equations, numerical integration, solutions to differential equations, and fast Fourier transforms.Readers learn how to interact and program with Python using JupyterLab and Spyder, two simple and widely used integrated development environments.All the major Python libraries for science and e
£47.49
CRC Press Python
Book SynopsisPython's simplicity and versatility make it an ideal language for both beginners and experienced programmers. Its syntax facilitates a smooth learning curve, enabling individuals to concentrate on grasping programming concepts instead of wrestling with intricate syntax rules. The extensive standard library reinforces its practicality, offering pre-built modules and functions that reduce manual coding efforts. Python's versatility is evident in its applications, spanning web development, data analysis, Machine Learning and automation.The language's interactive nature supports real-time code experimentation, stepping up the learning process and enhancing understanding. Python's wealth of online resources further enriches the learning experience, fostering a community where individuals can develop their programming skills. Python: A Practical Learning Approach exemplifies Python's simplicity and versatility with numerous examples, ensuring a seamless learning journ
£42.74
CRC Press Python Programming for Mathematics
Book SynopsisPython Programming for Mathematics focuses on the practical use of the Python language in a range of different areas of mathematics. Through fifty-five exercises of increasing difficulty, the book provides an expansive overview of the power of using programming to solve complex mathematical problems.This book is intended for undergraduate and graduate students who already have learned the basics of Python programming and would like to learn how to apply that programming skill in mathematics.Features Innovative style that teaches programming skills via mathematical exercises. Ideal as a main textbook for Python for Mathematics courses, or as a supplementary resource for Numerical Analysis and Scientific Computing courses.
£42.74
Cambridge University Press Advanced Topics in Bisimulation and Coinduction 52 Cambridge Tracts in Theoretical Computer Science Series Number 52
Book SynopsisCoinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.Table of ContentsPreface; List of contributors; 1. Origins of bisimulation and coinduction Davide Sangiorgi; 2. An introduction to (co)algebra and (co)induction Bart Jacobs and Jan Rutten; 3. The algorithmics of bisimilarity Luca Aceto, Anna Ingolfsdottir and Jiří Srba; 4. Bisimulation and logic Colin Stirling; 5. Howe's method for higher-order languages Andrew Pitts; 6. Enhancements of the bisimulation proof method Damien Pous and Davide Sangiorgi; 7. Probabilistic bisimulation Prakash Panangaden.
£104.50
Cambridge University Press Quantum Information Theory
Book SynopsisThis new edition of Wilde's popular book promises over 100 pages of new material, exercises and references. New attention is given to the derivation of the Choi-Kraus theorem for quantum channels, the CHSH game, quantum relative entropy, and sequential decoding. The text offers an ideal entry point into the topic for graduate students.Trade Review'For years, I have been hoping that somebody would write a book on quantum information theory that was clear, comprehensive, and up to date. This is that book. And the second edition is even better than the first.' Peter Shor, Massachusetts Institute of Technology'Mark M. Wilde's Quantum Information Theory is a natural expositor's labor of love. Accessible to anyone comfortable with linear algebra and elementary probability theory, Wilde's book brings the reader to the forefront of research in the quantum generalization of Shannon's information theory. What had been a gaping hole in the literature has been replaced by an airy edifice, scalable with the application of reasonable effort and complete with fine vistas of the landscape below. Wilde's book has a permanent place not just on my bookshelf but on my desk.' Patrick Hayden, Stanford University, CaliforniaReview of previous edition: '… [its] clear, thorough, and above all self-contained presentation will aid quantum information researchers in coming up to speed with the latest results in this area of the field. Meanwhile, the familiar setting and language will help classical information theorists who wish to become more acquainted with the quantum aspects of information processing … The presentation is well-structured, making it easy to jump to the desired topic and quickly determine on what that topic depends and how it is used going forward … Quantum Information Theory fills an important gap in the existing literature and will, I expect, help propagate the latest and greatest results in quantum Shannon theory to both quantum and classical researchers.' Joseph M. Renes, Quantum Information ProcessingReview of previous edition: '… a modern self-contained text … suitable for graduate-level courses leading up to research level.' Journal of Discrete Mathematical Sciences and CryptographyReview of previous edition: '… the book does a phenomenal job of introducing, developing and nurturing a mathematical sense of quantum information processing … In a nutshell, this is an essential reference for students and researchers who work in the area or are trying to understand what it is that quantum information theorists study. Wilde, as mentioned in his book, beautifully illustrates 'the ultimate capability of noisy physical systems, governed by the laws of quantum mechanics, to preserve information and correlations' through this book. I would strongly recommend it to anyone who plans to continue working in the field of quantum information.' Subhayan Roy Moulick, SIGCAT NewsTable of ContentsPreface to the second edition; Preface to the first edition; How to use this book; Part I. Introduction: 1. Concepts in quantum Shannon theory; 2. Classical Shannon theory; Part II. The Quantum Theory: 3. The noiseless quantum theory; 4. The noisy quantum theory; 5. The purified quantum theory; Part III. Unit Quantum Protocols: 6. Three unit quantum protocols; 7. Coherent protocols; 8. Unit resource capacity region; Part IV. Tools of Quantum Shannon Theory: 9. Distance measures; 10. Classical information and entropy; 11. Quantum information and entropy; 12. Quantum entropy inequalities and recoverability; 13. The information of quantum channels; 14. Classical typicality; 15. Quantum typicality; 16. The packing lemma; 17. The covering lemma; Part V. Noiseless Quantum Shannon Theory: 18. Schumacher compression; 19. Entanglement manipulation; Part VI. Noisy Quantum Shannon Theory: 20. Classical communication; 21. Entanglement-assisted classical communication; 22. Coherent communication with noisy resources; 23. Private classical communication; 24. Quantum communication; 25. Trading resources for communication; 26. Summary and outlook; Appendix A. Supplementary results; Appendix B. Unique linear extension of a quantum physical evolution; References; Index.
£60.79
Cambridge University Press Compressive Imaging Structure Sampling Learning
Book SynopsisAccurate, robust and fast image reconstruction is a critical task in many scientific, industrial and medical applications. Over the last decade, image reconstruction has been revolutionized by the rise of compressive imaging. It has fundamentally changed the way modern image reconstruction is performed. This in-depth treatment of the subject commences with a practical introduction to compressive imaging, supplemented with examples and downloadable code, intended for readers without extensive background in the subject. Next, it introduces core topics in compressive imaging including compressed sensing, wavelets and optimization in a concise yet rigorous way, before providing a detailed treatment of the mathematics of compressive imaging. The final part is devoted to recent trends in compressive imaging: deep learning and neural networks. With an eye to the next decade of imaging research, and using both empirical and mathematical insights, it examines the potential benefits and the piTable of Contents1. Introduction; Part I. The Essentials of Compressive Imaging: 2. Images, transforms and sampling; 3. A short guide to compressive imaging; 4. Techniques for enhancing performance; Part II. Compressed Sensing, Optimization and Wavelets: 5. An introduction to conventional compressed sensing; 6. The LASSO and its cousins; 7. Optimization for compressed sensing; 8. Analysis of optimization algorithms; 9. Wavelets; 10. A taste of wavelet approximation theory; Part III. Compressed Sensing with Local Structure: 11. From global to local; 12. Local structure and nonuniform recovery; 13. Local structure and uniform recovery; 14. Infinite-dimensional compressed sensing; Part IV. Compressed Sensing for Imaging: 15. Sampling strategies for compressive imaging; 16. Recovery guarantees for wavelet-based compressive imaging; 17. Total variation minimization; Part V. From Compressed Sensing to Deep Learning: 18. Neural networks and deep learning; 19. Deep learning for compressive imaging; 20. Accuracy and stability of deep learning for compressive imaging; 21. Stable and accurate neural networks for compressive imaging; 22. Epilogue; Appendices: A. Linear Algebra; B. Functional analysis; C. Probability; D. Convex analysis and convex optimization; E. Fourier transforms and series; F. Properties of Walsh functions and the Walsh transform; Notation; Abbreviations; References; Index.
£59.84
Cambridge University Press Mathematical Logic and Computation
Book SynopsisThis book presents mathematical logic from the syntactic point of view, with an emphasis on aspects that are fundamental to computer science. It is an excellent introduction for graduate students and advanced undergraduates interested in logic in mathematics, computer science, and philosophy, and an invaluable reference for professional logicians.Trade Review'Avigad provides a much needed introduction to mathematical logic that foregrounds the role of syntax and computability in our understanding of consistency and inconsistency. The result provides a jumping off point to any of the fields of modern logic, not only teaching the technical groundwork, but also providing a window into how to think like a logician.' Henry Towsner, University of Pennsylvania'This book by one of the most knowledgeable researchers in the field covers a remarkably broad selection of material without sacrificing depth. Its clear organization and unified approach - focused on a syntactic approach and on the role of computation - make it suitable for a wide range of introductory logic sequences at the upper-level undergraduate and graduate level, as well as a valuable resource for background material in more advanced logic courses.' Denis Hirschfeldt, University of Chicago'… an excellent addition to the literature, with plenty more than enough divergences and side-steps from the more well-trodden paths through the material to be consistently interesting … this is most certainly a book to make sure your library gets.' Peter Smith, Logic MattersTable of ContentsPreface; 1. Fundamentals; 2. Propositional Logic; 3. Semantics of Propositional Logic; 4. First-Order Logic; 5. Semantics of First-Order Logic; 6. Cut Elimination; 7. Properties of First-Order Logic; 8. Primitive Recursion; 9. Primitive Recursive Arithmetic; 10. First-Order Arithmetic; 11. Computability 12. Undecidability and Incompleteness; 13. Finite Types; 14. Arithmetic and Computation; 15. Second-Order Logic and Arithmetic; 16. Subsystems of Second-Order Arithmetic; 17. Foundations; Appendix; References; Notation; Index.
£56.99
Cambridge University Press Theoretical Computer Science for the Working
Book SynopsisUsing basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer science. In this Element, readers will meet some of the deepest ideas and theorems of modern computers and mathematics, such as Turing machines, unsolvable problems, the P=NP question, Kurt Gödel''s incompleteness theorem, intractable problems, cryptographic protocols, Alan Turing''s Halting problem, and much more. The concepts come alive with many examples and exercises.Table of Contents1. Introduction; 2. Aide-Mémoire for Category Theory; 3. Models of Computation; 4. Computability Theory; 5. Complexity Theory; 6. Diagonal Arguments; 7. Conclusion; References.
£17.00
Cambridge University Press Topological Data Analysis with Applications
Book SynopsisThe continued and dramatic rise in the size of data sets has meant that new methods are required to model and analyze them. This timely account introduces topological data analysis (TDA), a method for modeling data by geometric objects, namely graphs and their higher-dimensional versions: simplicial complexes. The authors outline the necessary background material on topology and data philosophy for newcomers, while more complex concepts are highlighted for advanced learners. The book covers all the main TDA techniques, including persistent homology, cohomology, and Mapper. The final section focuses on the diverse applications of TDA, examining a number of case studies drawn from monitoring the progression of infectious diseases to the study of motion capture data. Mathematicians moving into data science, as well as data scientists or computer scientists seeking to understand this new area, will appreciate this self-contained resource which explains the underlying technology and how it can be used.Table of ContentsPart I. Background: 1. Introduction; 2. Data; Part II. Theory: 3. Topology; 4. Shape of data; 5. Structures on spaces of barcodes; Part III. Practice: 6. Case studies; References; Index.
£37.99
John Wiley & Sons Inc Foundations of Computational Finance with MATLAB
Book SynopsisGraduate from Excel to MATLAB to keep up with the evolution of finance data Foundations of Computational Finance with MATLAB is an introductory text for both finance professionals looking to branch out from the spreadsheet, and for programmers who wish to learn more about finance. As financial data grows in volume and complexity, its very nature has changed to the extent that traditional financial calculators and spreadsheet programs are simply no longer enough. Today's analysts need more powerful data solutions with more customization and visualization capabilities, and MATLAB provides all of this and more in an easy-to-learn skillset. This book walks you through the basics, and then shows you how to stretch your new skills to create customized solutions. Part I demonstrates MATLAB's capabilities as they apply to traditional finance concepts, and PART II shows you how to create interactive and reusable code, link with external data Table of ContentsIntroduction xiii Why You Should Read This Book xiii The Intended Reader xiv Why MATLAB®? xiv How to Use This Book xvi Font Conventions xvi About the Author xvii MathWorks Information xviii References xviii Part I MATLAB Conventions and Basic Skills 1 Chapter 1 Working with MATLAB® Data 3 1.1 Introduction 3 1.2 Arrays 3 1.2.1 Numerical Arrays 4 1.2.2 Math Calculations with Scalars,Vectors, and Matrices 10 1.2.3 Statistical Calculations on Vectors and Matrices 16 1.2.4 Extracting Values from Numerical Vectors and Matrices 19 1.2.5 Counting Elements 26 1.2.6 Sorting Vectors and Matrices 28 1.2.7 Relational Expressions and Logical Arrays 31 1.2.8 Dealing with NaNs (Not a Number) 35 1.2.9 Dealing with Missing Data 39 1.3 Character Arrays 40 1.3.1 String Arrays 44 1.4 Flexible Data Structures 46 1.4.1 Cell Arrays 47 1.4.2 Structure (“struct”) Arrays 49 1.4.3 Tables 51 References 60 Further Reading 60 Chapter 2 Working with Dates and Times 61 2.1 Introduction 61 2.2 Finance Background: Why Dates and Times Matter 61 2.2.1 First Challenge: Day Count Conventions 62 2.2.2 Second Challenge: Date Formats 63 2.3 Dates and Times in MATLAB 64 2.3.1 Datetime Variables 64 2.3.2 Date Conversions 73 2.3.3 Date Generation Functions with Serial Number Outputs 79 2.3.4 Duration Arrays 83 2.3.5 Calendar Duration Variables 86 2.3.6 Date Calculations and Operations 89 2.3.7 Plotting Date Variables Introduction 94 References 95 Chapter 3 Basic Programming with MATLAB® 97 3.1 Introduction 97 3.1.1 Algorithms 101 97 3.1.2 Go DIY or Use Built-In Code? 98 3.2 MATLAB Scripts and Functions 99 3.2.1 Scripts 99 3.2.2 Developing Functions 106 3.2.3 If Statements 112 3.2.4 Modular Programming 115 3.2.5 User Message Formats 121 3.2.6 Testing and Debugging 124 References 127 Chapter 4 Working with Financial Data 129 4.1 Introduction 129 4.2 Accessing Financial Data 129 4.2.1 Closing Prices versus Adjusted Close Prices for Stocks 130 4.2.2 Data Download Examples 131 4.2.3 Importing Data Interactively 133 4.2.4 Automating Data Imports with a Script 138 4.2.5 Automating Data Imports with a Function 140 4.2.6 Importing Data Programmatically 147 4.3 Working with Spreadsheet Data 154 4.3.1 Importing Spreadsheet Data with Import Tool 154 4.3.2 Importing Spreadsheet Data Programmatically 154 4.4 Data Visualization 156 4.4.1 Built-In Plot Functions 156 4.4.2 Using the Plot Tools 158 4.4.3 Plotting with Commands 159 4.4.4 Other Plot Tools 162 4.4.5 Built-In Financial Charts 173 References 176 Part II Financial Calculations with MATLAB 177 Chapter 5 The Time Value of Money 179 5.1 Introduction 179 5.2 Finance Background 180 5.2.1 Future Value with Single Cash Flows 180 5.2.2 Future Value with Multiple Cash Flows 185 5.2.3 Present Value with Single Cash Flows 187 5.2.4 Present Value with Multiple Variable Cash Flows 188 5.3 MATLAB Time Value of Money Functions 189 5.3.1 Future Value of Fixed Periodic Payments 190 5.3.2 Future Value of Variable Payments 191 5.3.3 Present Value of Fixed Payments 193 5.3.4 Present Value of Variable Payments 194 5.4 Internal Rate of Return 197 5.5 Effective Interest Rates 198 5.6 Compound Annual Growth Rate 198 5.7 Continuous Interest 200 5.8 Loans 200 References 202 Chapter 6 Bonds 203 6.1 Introduction 203 6.2 Finance Background 204 6.2.1 Bond Classifications 204 6.2.2 Bond Terminology 205 6.3 MATLAB Bond Functions 206 6.3.1 US Treasury Bills 206 6.3.2 Bond Valuation Principles 208 6.3.3 Calculating Bond Prices 209 6.3.4 Calculating Bond Yields 212 6.3.5 Calculating a Bond’s Total Return 214 6.3.6 Pricing Discount Bonds 216 6.4 Bond Analytics 216 6.4.1 Interest Rate Risk 217 6.4.2 Measuring Rate Sensitivity 219 6.4.3 Yield Curves 227 6.5 Callable Bonds 229 References 231 Further Reading 231 Chapter 7 Dealing with Uncertainty and Risk 233 7.1 Introduction 233 7.2 Overview of Financial Risk 234 7.3 Data Insights 234 7.3.1 Visualizing Data 235 7.3.2 Basic Single Series Plots 237 7.3.3 Basic Multiple Series Plots 237 7.3.4 Adding Plot Customization 238 7.3.5 Histograms 239 7.3.6 Measures of Central Location 241 7.3.7 Measures of Data Dispersion 243 7.4 Data Relationships 249 7.4.1 Covariance and Correlation 251 7.4.2 Correlation Coefficients 252 7.5 Creating a Basic Simulation Model 253 7.6 Value at Risk (VaR) 258 References 261 Further Reading 262 Chapter 8 Equity Derivatives 263 8.1 Introduction 263 8.2 Options 264 8.2.1 Option Quotes 265 8.2.2 Market Mechanics 266 8.2.3 Factors in Option Valuation 267 8.3 Option Pricing Models 268 8.3.1 Arbitrage 269 8.3.2 Binomial Option Pricing 270 8.3.3 Black-Scholes 274 8.4 Options’ Uses 276 8.4.1 Hedging 277 8.4.2 Speculation and Leverage 277 8.4.3 Customizing Payoff Profiles 278 8.5 Appendix: Other Types of Derivatives 279 8.5.1 Commodity and Energy 279 8.5.2 Credit 279 8.5.3 Exotic Options 280 References 281 Further Reading 281 Chapter 9 Portfolios 283 9.1 Introduction 283 9.2 Finance Background 283 9.3 Portfolio Optimization 285 9.4 MATLAB Portfolio Object 286 9.4.1 Object-Oriented Programming (OOP) 286 9.4.2 A Basic Example 287 9.4.3 Using Data Stored in a Table Format 294 References 296 Chapter 10 Regression and Time Series 297 10.1 Introduction 297 10.2 Basic Regression 297 10.2.1 Understanding Least Squares 300 10.2.2 Model Notation 301 10.2.3 Fitting a Polynomial with polyfit and polyval 303 10.2.4 Linear Regression Methods 305 10.3 Working with Time Series 308 10.3.1 Step 1: Load the Data (Single Series) 308 10.3.2 Step 2: Create the FTS Object 309 10.3.3 Step 3: Using FTS Tools 311 References 314 Appendix 1 Sharing Your Work 315 A1.1 Introduction 315 A1.2 Publishing a Script 316 A1.2.1 Publishing with Code Sections 317 A1.2.2 futureValueCalc3 319 A1.2.3 Formatting Options 321 A1.2.4 Working with Live Scripts 322 A1.2.5 Editing and Control 325 References 326 Appendix 2 Reference for Included MATLAB® Functions 327 Index 335
£27.54
John Wiley & Sons Inc Modern Computational Finance
Book SynopsisArguably the strongest addition to numerical finance of the past decade, Algorithmic Adjoint Differentiation (AAD) is the technology implemented in modern financial software to produce thousands of accurate risk sensitivities, within seconds, on light hardware.AAD recently became a centerpiece of modern financial systems and a key skill for all quantitative analysts, developers, risk professionals or anyone involved with derivatives. It is increasingly taught in Masters and PhD programs in finance.Danske Bank''s wide scale implementation of AAD in its production and regulatory systems won the In-House System of the Year 2015 Risk award. The Modern Computational Finance books, written by three of the very people who designed Danske Bank''s systems, offer a unique insight into the modern implementation of financial models. The volumes combine financial modelling, mathematics and programming to resolve real life financial problems and produce effective derivatives Table of ContentsModern Computational Finance xi Preface by Leif Andersen xv Acknowledgments xix Introduction xxi About the Companion C++ Code xxv PART I Modern Parallel Programming 1 Introduction 3 CHAPTER 1 Effective C++ 17 CHAPTER 2 Modern C++ 25 2.1 Lambda expressions 25 2.2 Functional programming in C++ 28 2.3 Move semantics 34 2.4 Smart pointers 41 CHAPTER 3 Parallel C++ 47 3.1 Multi-threaded Hello World 49 3.2 Thread management 50 3.3 Data sharing 55 3.4 Thread local storage 56 3.5 False sharing 57 3.6 Race conditions and data races 62 3.7 Locks 64 3.8 Spinlocks 66 3.9 Deadlocks 67 3.10 RAII locks 68 3.11 Lock-free concurrent design 70 3.12 Introduction to concurrent data structures 72 3.13 Condition variables 74 3.14 Advanced synchronization 80 3.15 Lazy initialization 83 3.16 Atomic types 86 3.17 Task management 89 3.18 Thread pools 96 3.19 Using the thread pool 108 3.20 Debugging and optimizing parallel programs 113 PART II Parallel Simulation 123 Introduction 125 CHAPTER 4 Asset Pricing 127 4.1 Financial products 127 4.2 The Arbitrage Pricing Theory 140 4.3 Financial models 151 CHAPTER 5 Monte-Carlo 185 5.1 The Monte-Carlo algorithm 185 5.2 Simulation of dynamic models 192 5.3 Random numbers 200 5.4 Better random numbers 202 CHAPTER 6Serial Implementation 213 6.1 The template simulation algorithm 213 6.2 Random number generators 223 6.3 Concrete products 230 6.4 Concrete models 245 6.5 User interface 263 6.6 Results 268 CHAPTER 7 Parallel Implementation 271 7.1 Parallel code and skip ahead 271 7.2 Skip ahead with mrg32k3a 276 7.3 Skip ahead with Sobol 282 7.4 Results 283 PART III Constant Time Differentiation 285 Introduction 287 CHAPTER 8 Manual Adjoint Differentiation 295 8.1 Introduction to Adjoint Differentiation 295 8.2 Adjoint Differentiation by hand 308 8.3 Applications in machine learning and finance 315 CHAPTER 9 Algorithmic Adjoint Differentiation 321 9.1 Calculation graphs 322 9.2 Building and applying DAGs 328 9.3 Adjoint mathematics 340 9.4 Adjoint accumulation and DAG traversal 344 9.5 Working with tapes 349 CHAPTER 10 Effective AAD and Memory Management 357 10.1 The Node class 359 10.2 Memory management and the Tape class 362 10.3 The Number class 379 10.4 Basic instrumentation 398 CHAPTER 11 Discussion and Limitations 401 11.1 Inputs and outputs 401 11.2 Higher-order derivatives 402 11.3 Control flow 402 11.4 Memory 403 CHAPTER 12 Differentiation of the Simulation Library 407 12.1 Active code 407 12.2 Serial code 409 12.3 User interface 417 12.4 Serial results 424 12.5 Parallel code 426 12.6 Parallel results 433 CHAPTER 13 Check-Pointing and Calibration 439 13.1 Check-pointing 439 13.2 Explicit calibration 448 13.3 Implicit calibration 475 CHAPTER 14 Multiple Differentiation in Almost Constant Time 483 14.1 Multidimensional differentiation 483 14.2 Traditional Multidimensional AAD 484 14.3 Multidimensional adjoints 485 14.4 AAD library support 487 14.5 Instrumentation of simulation algorithms 494 14.6 Results 499 CHAPTER 15 Acceleration with Expression Templates 503 15.1 Expression nodes 504 15.2 Expression templates 507 15.3 Expression templated AAD code 524 Debugging AAD Instrumentation 541 Conclusion 547 References 549 Index 555
£67.50
John Wiley & Sons Inc Machine Learning in the AWS Cloud
Book SynopsisPut the power of AWS Cloud machine learning services to work in your business and commercial applications! Machine Learning in the AWS Cloud introduces readers to the machine learning (ML) capabilities of the Amazon Web Services ecosystem and provides practical examples to solve real-world regression and classification problems. While readers do not need prior ML experience, they are expected to have some knowledge of Python and a basic knowledge of Amazon Web Services. Part One introduces readers to fundamental machine learning concepts. You will learn about the types of ML systems, how they are used, and challenges you may face with ML solutions. Part Two focuses on machine learning services provided by Amazon Web Services. You'll be introduced to the basics of cloud computing and AWS offerings in the cloud-based machine learning space. Then you'll learn to use Amazon Machine Learning to solve a simpler class of machine learning problems, and Amazon SageMaker to solve more complexTable of ContentsIntroduction xxiii Part 1 Fundamentals of Machine Learning 1 Chapter 1 Introduction to Machine Learning 3 What is Machine Learning? 4 Tools Commonly Used by Data Scientists 4 Common Terminology 5 Real-World Applications of Machine Learning 7 Types of Machine Learning Systems 8 Supervised Learning 8 Unsupervised Learning 9 Semi-Supervised Learning 10 Reinforcement Learning 11 Batch Learning 11 Incremental Learning 12 Instance-based Learning 12 Model-based Learning 12 The Traditional Versus the Machine Learning Approach 13 A Rule-based Decision System 14 A Machine Learning–based System 17 Summary 25 Chapter 2 Data Collection and Preprocessing 27 Machine Learning Datasets 27 Scikit-learn Datasets 27 AWS Public Datasets 30 Kaggle.com Datasets 30 UCI Machine Learning Repository 30 Data Preprocessing Techniques 31 Obtaining an Overview of the Data 31 Handling Missing Values 42 Creating New Features 44 Transforming Numeric Features 46 One-Hot Encoding Categorical Features 47 Summary 50 Chapter 3 Data Visualization with Python 51 Introducing Matplotlib 51 Components of a Plot 54 Figure 55 Axes55 Axis 56 Axis Labels 56 Grids 57 Title 57 Common Plots 58 Histograms 58 Bar Chart 62 Grouped Bar Chart 63 Stacked Bar Chart 65 Stacked Percentage Bar Chart 67 Pie Charts 69 Box Plot 71 Scatter Plots 73 Summary 78 Chapter 4 Creating Machine Learning Models with Scikit-learn 79 Introducing Scikit-learn 79 Creating a Training and Test Dataset 80 K-Fold Cross Validation 84 Creating Machine Learning Models 86 Linear Regression 86 Support Vector Machines 92 Logistic Regression 101 Decision Trees 109 Summary 114 Chapter 5 Evaluating Machine Learning Models 115 Evaluating Regression Models 115 RMSE Metric 117 R2 Metric 119 Evaluating Classification Models 119 Binary Classification Models 119 Multi-Class Classification Models 126 Choosing Hyperparameter Values 131 Summary 132 Part 2 Machine Learning with Amazon Web Services 133 Chapter 6 Introduction to Amazon Web Services 135 What is Cloud Computing? 135 Cloud Service Models 136 Cloud Deployment Models 138 The AWS Ecosystem 139 Machine Learning Application Services 140 Machine Learning Platform Services 141 Support Services 142 Sign Up for an AWS Free-Tier Account 142 Step 1: Contact Information 143 Step 2: Payment Information 145 Step 3: Identity Verification 145 Step 4: Support Plan Selection 147 Step 5: Confirmation 148 Summary 148 Chapter 7 AWS Global Infrastructure 151 Regions and Availability Zones 151 Edge Locations 153 Accessing AWS 154 The AWS Management Console 156 Summary 160 Chapter 8 Identity and Access Management 161 Key Concepts 161 Root Account 161 User 162 Identity Federation 162 Group 163 Policy164 Role 164 Common Tasks 165 Creating a User 167 Modifying Permissions Associated with an Existing Group 172 Creating a Role 173 Securing the Root Account with MFA 176 Setting Up an IAM Password Rotation Policy 179 Summary 180 Chapter 9 Amazon S3 181 Key Concepts 181 Bucket 181 Object Key 182 Object Value 182 Version ID 182 Storage Class 182 Costs 183 Subresources 183 Object Metadata 184 Common Tasks 185 Creating a Bucket 185 Uploading an Object 189 Accessing an Object 191 Changing the Storage Class of an Object 195 Deleting an Object 196 Amazon S3 Bucket Versioning 197 Accessing Amazon S3 Using the AWS CLI 199 Summary 200 Chapter 10 Amazon Cognito 201 Key Concepts 201 Authentication 201 Authorization 201 Identity Provider 202 Client 202 OAuth 2.0 202 OpenID Connect 202 Amazon Cognito User Pool 202 Identity Pool 203 Amazon Cognito Federated Identities 203 Common Tasks 204 Creating a User Pool 204 Retrieving the App Client Secret 213 Creating an Identity Pool 214 User Pools or Identity Pools: Which One Should You Use? 218 Summary 219 Chapter 11 Amazon DynamoDB 221 Key Concepts 221 Tables 222 Global Tables 222 Items 222 Attributes 222 Primary Keys 222 Secondary Indexes 223 Queries 223 Scans 223 Read Consistency 224 Read/Write Capacity Modes 224 Common Tasks 225 Creating a Table 225 Adding Items to a Table 228 Creating an Index 231 Performing a Scan 233 Performing a Query 235 Summary 236 Chapter 12 AWS Lambda 237 Common Use Cases for Lambda 237 Key Concepts 238 Supported Languages 238 Lambda Functions 238 Programming Model 239 Execution Environment 243 Service Limitations 244 Pricing and Availability 244 Common Tasks 244 Creating a Simple Python Lambda Function Using the AWS Management Console 244 Testing a Lambda Function Using the AWS Management Console 250 Deleting an AWS Lambda Function Using the AWS Management Console 253 Summary 255 Chapter 13 Amazon Comprehend 257 Key Concepts 257 Natural Language Processing 257 Topic Modeling 259 Language Support 259 Pricing and Availability 259 Text Analysis Using the Amazon Comprehend Management Console 260 Interactive Text Analysis with the AWS CLI 262 Entity Detection with the AWS CLI 263 Key Phrase Detection with the AWS CLI 264 Sentiment Analysis with the AWS CLI 265 Using Amazon Comprehend with AWS Lambda 266 Summary 274 Chapter 14 Amazon Lex 275 Key Concepts 275 Bot 275 Client Application 276 Intent 276 Slot 276 Utterance 277 Programming Model 277 Pricing and Availability 278 Creating an Amazon Lex Bot 278 Creating Amazon DynamoDB Tables 278 Creating AWS Lambda Functions 285 Creating the Chatbot 304 Customizing the AccountOverview Intent 308 Customizing the ViewTransactionList Intent 312 Testing the Chatbot 314 Summary 315 Chapter 15 Amazon Machine Learning 317 Key Concepts 317 Datasources 318 ML Model 318 Regularization 319 Training Parameters 319 Descriptive Statistics 320 Pricing and Availability 321 Creating Datasources 321 Creating the Training Datasource 324 Creating the Test Datasource 330 Viewing Data Insights 332 Creating an ML Model 337 Making Batch Predictions 341 Creating a Real-Time Prediction Endpoint for Your Machine Learning Model 346 Making Predictions Using the AWS CLI 347 Using Real-Time Prediction Endpoints with Your Applications 349 Summary 350 Chapter 16 Amazon SageMaker 353 Key Concepts 353 Programming Model 354 Amazon SageMaker Notebook Instances 354 Training Jobs 354 Prediction Instances 355 Prediction Endpoint and Endpoint Configuration 355 Amazon SageMaker Batch Transform 355 Data Channels 355 Data Sources and Formats 356 Built-in Algorithms 356 Pricing and Availability 357 Creating an Amazon SageMaker Notebook Instance 357 Preparing Test and Training Data 362 Training a Scikit-learn Model on an Amazon SageMaker Notebook Instance 364 Training a Scikit-learn Model on a Dedicated Training Instance 368 Training a Model Using a Built-in Algorithm on a Dedicated Training Instance 379 Summary 384 Chapter 17 Using Google TensorFlow with Amazon SageMaker 387 Introduction to Google TensorFlow 387 Creating a Linear Regression Model with Google TensorFlow 390 Training and Deploying a DNN Classifier Using the TensorFlow Estimators API and Amazon SageMaker 408 Summary 419 Chapter 18 Amazon Rekognition 421 Key Concepts 421 Object Detection 421 Object Location 422 Scene Detection 422 Activity Detection 422 Facial Recognition 422 Face Collection 422 API Sets 422 Non-Storage and Storage-Based Operations 423 Model Versioning 423 Pricing and Availability 423 Analyzing Images Using the Amazon Rekognition Management Console 423 Interactive Image Analysis with the AWS CLI 428 Using Amazon Rekognition with AWS Lambda 433 Creating the Amazon DynamoDB Table 433 Creating the AWS Lambda Function 435 Summary 444 Appendix A Anaconda and Jupyter Notebook Setup 445 Installing the Anaconda Distribution 445 Creating a Conda Python Environment 447 Installing Python Packages 449 Installing Jupyter Notebook 451 Summary 454 Appendix B AWS Resources Needed to Use This Book 455 Creating an IAM User for Development 455 Creating S3 Buckets 458 Appendix C Installing and Configuring the AWS CLI 461 Mac OS Users 461 Installing the AWS CLI 461 Configuring the AWS CLI 462 Windows Users 464 Installing the AWS CLI4 64 Configuring the AWS CLI 465 Appendix D Introduction to NumPy and Pandas 467 NumPy 467 Creating NumPy Arrays 467 Modifying Arrays 471 Indexing and Slicing 474 Pandas 475 Creating Series and Dataframes 476 Getting Dataframe Information 478 Selecting Data 481 Index 485
£28.49
John Wiley & Sons Inc Programming the Finite Element Method
Book SynopsisMany students, engineers, scientists and researchers have benefited from the practical, programming-oriented style of the previous editions of Programming the Finite Element Method, learning how to develop computer programs to solve specific engineering problems using the finite element method.Table of ContentsPreface to Fifth Edition xv Acknowledgements xvii 1 Preliminaries: Computer Strategies 1 1.1 Introduction 1 1.2 Hardware 2 1.3 Memory Management 2 1.4 Vector Processors 3 1.5 Multi-core Processors 3 1.6 Co-processors 4 1.7 Parallel Processors 4 1.8 Applications Software 5 1.9 Array Features 9 1.10 Third-party Libraries 17 1.11 Visualisation 18 1.12 Conclusions 23 References 24 2 Spatial Discretisation by Finite Elements 25 2.1 Introduction 25 2.2 Rod Element 25 2.3 The Eigenvalue Equation 28 2.4 Beam Element 29 2.5 Beam with an Axial Force 31 2.6 Beam on an Elastic Foundation 32 2.7 General Remarks on the Discretisation Process 33 2.8 Alternative Derivation of Element Stiffness 33 2.9 Two-dimensional Elements: Plane Stress 35 2.10 Energy Approach and Plane Strain 38 2.11 Plane Element Mass Matrix 40 2.12 Axisymmetric Stress and Strain 40 2.13 Three-dimensional Stress and Strain 42 2.14 Plate Bending Element 44 2.15 Summary of Element Equations for Solids 47 2.16 Flow of Fluids: Navier–Stokes Equations 47 2.17 Simplified Flow Equations 50 2.18 Further Coupled Equations: Biot Consolidation 54 2.19 Conclusions 56 References 56 3 Programming Finite Element Computations 59 3.1 Introduction 59 3.2 Local Coordinates for Quadrilateral Elements 59 3.3 Local Coordinates for Triangular Elements 64 3.4 Multi-Element Assemblies 66 3.5 ‘Element-by-Element’ Techniques 68 3.6 Incorporation of Boundary Conditions 72 3.7 Programming using Building Blocks 75 3.8 Solution of Equilibrium Equations 95 3.9 Evaluation of Eigenvalues and Eigenvectors 96 3.10 Solution of First-Order Time-Dependent Problems 99 3.11 Solution of Coupled Navier–Stokes Problems 103 3.12 Solution of Coupled Transient Problems 104 3.13 Solution of Second-Order Time-Dependent Problems 106 4 Static Equilibrium of Structures 115 4.1 Introduction 115 4.2 Conclusions 157 4.3 Glossary of Variable Names 157 4.4 Exercises 159 References 168 5 Static Equilibrium of Linear Elastic Solids 169 5.1 Introduction 169 5.2 Glossary of Variable Names 221 5.3 Exercises 224 References 232 6 Material Non-linearity 233 6.1 Introduction 233 6.2 Stress–strain Behaviour 235 6.3 Stress Invariants 236 6.4 Failure Criteria 238 6.5 Generation of Body Loads 240 6.6 Viscoplasticity 240 6.7 Initial Stress 242 6.8 Corners on the Failure and Potential Surfaces 243 6.9 Elastoplastic Rate Integration 270 6.10 Tangent Stiffness Approaches 275 6.11 The Geotechnical Processes of Embanking and Excavation 289 6.12 Undrained Analysis 305 6.13 Glossary of Variable Names 322 6.14 Exercises 327 References 331 7 Steady State Flow 333 7.1 Introduction 333 7.2 Glossary of Variable Names 359 7.3 Exercises 361 References 367 8 Transient Problems: First Order (Uncoupled) 369 8.1 Introduction 369 8.2 Comparison of Programs 8.4, 8.5, 8.6 and 8.7 397 8.3 Glossary of Variable Names 416 8.4 Exercises 419 References 422 9 Coupled Problems 423 9.1 Introduction 423 9.2 Glossary of Variable Names 454 9.3 Exercises 459 References 460 10 Eigenvalue Problems 461 10.1 Introduction 461 10.2 Glossary of Variable Names 477 10.3 Exercises 480 References 482 11 Forced Vibrations 483 11.1 Introduction 483 11.2 Glossary of Variable Names 517 11.3 Exercises 521 References 522 12 Parallel Processing of Finite Element Analyses 523 12.1 Introduction 523 12.2 Differences between Parallel and Serial Programs 525 12.3 Graphics Processing Units 589 12.4 Cloud Computing 594 12.5 Conclusions 596 12.6 Glossary of Variable Names 597 References 602 Appendix A Equivalent Nodal Loads 605 Appendix B Shape Functions and Element Node Numbering 611 Appendix C Plastic Stress-Strain Matrices and Plastic Potential Derivatives 619 Appendix D main Library Subprograms 623 Appendix E geom Library Subroutines 635 Appendix F Parallel Library Subroutines 639 Appendix G External Subprograms 645 Author Index 649 Subject Index 653
£78.26
Palgrave MacMillan UK Your Digital Afterlives Computational Theories of Life After Death Palgrave Frontiers in Philosophy of Religion
Book SynopsisDigitalism is a philosophical strategy that uses new computational ways of thinking to develop naturalistic but meaningful ways of thinking about bodies, souls, universes, gods, and life after death. Your Digital Afterlives examines four recently developed and digitally inspired theories of life after death.Table of ContentsPreface Series Editors' Preface 1. Ghosts 2. Persistence 3. Anatomy 4. Uploading 5. Promotion 6. Digital Gods 7. Revision 8. Superhuman Bodies 9. Infinite Bodies 10. Nature References Index
£42.74
Taylor & Francis Ltd Advanced Problem Solving Using Maple
Book SynopsisAdvanced Problem Solving Using Maple: Applied Mathematics, Operations Research, Business Analytics, and Decision Analysis applies the mathematical modeling process by formulating, building, solving, analyzing, and criticizing mathematical models. Scenarios are developed within the scope of the problem-solving process.The text focuses on discrete dynamical systems, optimization techniques, single-variable unconstrained optimization and applied problems, and numerical search methods. Additional coverage includes multivariable unconstrained and constrained techniques. Linear algebra techniques to model and solve problems such as the Leontief model, and advanced regression techniques including nonlinear, logistics, and Poisson are covered. Game theory, the Nash equilibrium, and Nash arbitration are also included.Features: The text's case studies and student projects involve students with real-world problem soTable of ContentsIntroduction to Problem Solving and Maple. Discrete Dynamical Systems. Single Variable Unconstrained and Constrained Optimization. Multi- Variable Unconstrained and Constrained Optimization. Linear Systems. Advanced Model Fitting.
£80.74
Cambridge University Press Mathematical Aspects of Deep Learning
Book SynopsisIn recent years the development of new classification and regression algorithms based on deep learning has led to a revolution in the fields of artificial intelligence, machine learning, and data analysis. The development of a theoretical foundation to guarantee the success of these algorithms constitutes one of the most active and exciting research topics in applied mathematics. This book presents the current mathematical understanding of deep learning methods from the point of view of the leading experts in the field. It serves both as a starting point for researchers and graduate students in computer science, mathematics, and statistics trying to get into the field and as an invaluable reference for future research.Table of Contents1. The modern mathematics of deep learning Julius Berner, Philipp Grohs, Gitta Kutyniok and Philipp Petersen; 2. Generalization in deep learning Kenji Kawaguchi, Leslie Pack Kaelbling, and Yoshua Bengio; 3. Expressivity of deep neural networks Ingo Gühring, Mones Raslan and Gitta Kutyniok; 4. Optimization landscape of neural networks René Vidal, Zhihui Zhu and Benjamin D. Haeffele; 5. Explaining the decisions of convolutional and recurrent neural networks Wojciech Samek, Leila Arras, Ahmed Osman, Grégoire Montavon and Klaus-Robert Müller; 6. Stochastic feedforward neural networks: universal approximation Thomas Merkh and Guido Montúfar; 7. Deep learning as sparsity enforcing algorithms A. Aberdam and J. Sulam; 8. The scattering transform Joan Bruna; 9. Deep generative models and inverse problems Alexandros G. Dimakis; 10. A dynamical systems and optimal control approach to deep learning Weinan E, Jiequn Han and Qianxiao Li; 11. Bridging many-body quantum physics and deep learning via tensor networks Yoav Levine, Or Sharir, Nadav Cohen and Amnon Shashua.
£66.49
Cambridge University Press Session Types
Book Synopsis
£45.59
Springer-Verlag New York Inc. Complex Intelligent Systems and Their
Book Synopsis"Complex Intelligent Systems and Applications" presents the most up-to-date advances in complex, software intensive and intelligent systems.The book is divided into three parts focusing on complex intelligent network systems, efficient resource management in complex systems, and artificial data mining systems.Table of ContentsEfficient Integration of Complex Information Systems in the ATM Domain with Explicit Expert Knowledge Models.- An Ontology-Based Approach for Supporting Business-IT Alignment.- EPCIS-Based Supply Chain Event Management.- Cost-Benefit Analysis to Hedge with Third-Party Producers in Demand-Driven Production.- A Security Assurance Model to Holistically Assess the Information Security Posture.- Risk-Aware Business Process Management—Establishing the Link Between Business and Security.- Self-Optimised Tree Overlays Using Proximity-Driven Self-Organised Agents.- Filtering Order Adaptation Based on Attractor Selection for Data Broadcasting System.- StreamAPAS: Query Language and Data Model.- Agent-Supported Programming of Multicore Computing Systems.- Multimodal and Agent-Based Human–Computer Interaction in Cultural Heritage Applications: an Overview.- Reinforced Operators in Fuzzy Clustering Systems.
£67.49
Springer Us Handbook of Cloud Computing
Book SynopsisHandbook of Cloud Computing includes contributions from world experts in the field of cloud computing from academia, research laboratories and private industry. The basic concepts of cloud computing and cloud computing applications are also introduced.Trade ReviewFrom the reviews:“Cloud computing affects all areas where computers and mobile clients are used, including industry, government, and science. This book offers a multitude of examples of this new way of handling data and computer resources--from basic research in the life sciences and physics to enterprise-level applications in industry. … handbook is highly relevant and provides the reader with good information about the fundamentals of all aspects of cloud computing. After reading the book, readers will understand how much is already being done in the cloud.” (Aake Edlund, ACM Computing Reviews, May, 2011) Table of ContentsTechnologies and Systems.- Cloud Computing Fundamentals.- Cloud Computing Technologies and Applications.- Key Enabling Technologies for Virtual Private Clouds.- The Role of Networks in Cloud Computing.- Data-Intensive Technologies for Cloud Computing.- Survey of Storage and Fault Tolerance Strategies Used in Cloud Computing.- Scheduling Service Oriented Workflows Inside Clouds Using an Adaptive Agent Based Approach.- The Role of Grid Computing Technologies in Cloud Computing.- Cloudweaver: Adaptive and Data-Driven Workload Manager for Generic Clouds.- Architectures.- Enterprise Knowledge Clouds: Architecture and Technologies.- Integration of High-Performance Computing into Cloud Computing Services.- Vertical Load Distribution for Cloud Computing via Multiple Implementation Options.- SwinDeW-C: A Peer-to-Peer Based Cloud Workflow System.- Services.- Cloud Types and Services.- Service Scalability Over the Cloud.- Scientific Services on the Cloud.- A Novel Market-Oriented Dynamic Collaborative Cloud Service Platform.- Applications.- Enterprise Knowledge Clouds: Applications and Solutions.- Open Science in the Cloud: Towards a Universal Platform for Scientific and Statistical Computing.- Multidimensional Environmental Data Resource Brokering on Computational Grids and Scientific Clouds.- HPC on Competitive Cloud Resources.- Scientific Data Management in the Cloud: A Survey of Technologies, Approaches and Challenges.- Feasibility Study and Experience on Using Cloud Infrastructure and Platform for Scientific Computing.- A Cloud Computing Based Patient Centric Medical Information System.- Cloud@Home: A New Enhanced Computing Paradigm.- Using Hybrid Grid/Cloud Computing Technologies for Environmental Data Elastic Storage, Processing, and Provisioning.
£224.99
Springer London Understanding Concurrent Systems
Book SynopsisCSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. A first point of reference for anyone wanting to use CSP or learn about its theory, the book also introduces other views of concurrency, using CSP to model and explain these.Trade ReviewFrom the reviews:“This book is divided into four parts … . Part I is designed for an audience of both undergraduate and graduate computer science students. … Part II is designed for people who are familiar with Part I and have fairly theoretical interests. … Part III is intended for people who … want to be able to use them in a better way, or who are specifically interested in timed systems. Part IV is designed for people who already understand CSP.” (Günther Bauer, Zentralblatt MATH, Vol. 1211, 2011)Table of ContentsPart I: A Foundation Course in CSP Building a Simple Sequential Process Understanding CSP Parallel Operators CSP Case Studies Hiding and Renaming Beyond Traces Further Operators Using FDR Part II: Theory Operational Semantics Denotational Semantics and Behavioural Models Finite Observation Models Infinite-behaviour Models The Algebra of CSP Part III: Using CSP Timed Systems 1: tock-CSP Timed Systems 2: Discrete Timed CSP More About FDR State Explosion and Parameterised Verification Part IV: Exploring Concurrency Shared-variable Programs Understanding Shared-variable Concurrency Priority and Mobility
£42.74
Springer Mathematical Logic for Computer Science
Book SynopsisPreface.- Introduction.- Propositional Logic: Formulas, Models, Tableaux.- Propositional Logic: Deductive Systems.- Propositional Logic: Resolution.- Propositional Logic: Binary Decision Diagrams.- Propositional Logic: SAT Solvers.- First-Order Logic: Formulas, Models, Tableaux.- First-Order Logic: Deductive Systems.- First-Order Logic: Terms and Normal Forms.- First-Order Logic: Resolution.- First-Order Logic: Logic Programming.- First-Order Logic: Undecidability and Model Theory.- Temporal Logic: Formulas, Models, Tableaux.- Temporal Logic: A Deductive System.- Verification of Sequential Programs.- Verification of Concurrent Programs.- Set Theory.- Index of Symbols.- Index of Names.- Subject Index.Trade ReviewAsst. Prof. Manoj Raut, Dhirubhai Ambani Institute of Information and Communication Technology, IndiaExcerpts from full review posted Jan 15 2013 to Computing Reviews [Review #: CR140831]I have used the second edition of this book for my class. I find this new third edition more interesting and more elaborately written; I like it very much, and applaud the author for his work.Table of ContentsPreface.- Introduction.- Propositional Logic: Formulas, Models, Tableaux.- Propositional Logic: Deductive Systems.- Propositional Logic: Resolution.- Propositional Logic: Binary Decision Diagrams.- Propositional Logic: SAT Solvers.- First-Order Logic: Formulas, Models, Tableaux.- First-Order Logic: Deductive Systems.- First-Order Logic: Terms and Normal Forms.- First-Order Logic: Resolution.- First-Order Logic: Logic Programming.- First-Order Logic: Undecidability and Model Theory.- Temporal Logic: Formulas, Models, Tableaux.- Temporal Logic: A Deductive System.- Verification of Sequential Programs.- Verification of Concurrent Programs.- Set Theory.- Index of Symbols.- Index of Names.- Subject Index.
£52.24
Springer London Ltd Mathematics for Computer Graphics
Book SynopsisJohn Vince explains a comprehensive range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, special effects, virtual reality, CAD and other areas of computer graphics in this completely revised and expanded sixth edition. The first five chapters cover a general introduction, number sets, algebra, trigonometry and coordinate systems, which are employed in the following chapters on determinants, vectors, matrix algebra, complex numbers, geometric transforms, quaternion algebra, quaternions in space, interpolation, curves and patches, analytical geometry and barycentric coordinates. Following this, the reader is introduced to the relatively new subject of geometric algebra, followed by two chapters that introduce differential and integral calculus. Finally, there is a chapter on worked examples.Mathematics for Computer Graphics covers all of the key areas of the subject, including: NuTrade Review“These days nobody can imagine a world without computer graphics. … It is a challenge to explain this theory in an easy-to-follow way. But this book shows that it is possible. … It can be used both as a textbook for a computer graphics course and for self-study by practitioners and starting researchers alike.” (Agnieszka Lisowska, zbMATH 1500.68003, 2023)Table of ContentsPreface.- Introduction.- Numbers.- Algebra.- Trigonometry.- Coordinate Systems.- Determinants.- Vectors.- Matrix Algebra.- Complex Numbers.- Geometric Transforms.- Quaternion Algebra.- Quaternions in Space.- Interpolation.- Curves and Patches.- Analytic Geometry.- Barycentric Coordinates.- Geometric Algebra.- Calculus: Derivatives.- Calculus: Integration.- Worked Examples.- Appendix A.- Appendix B.- Index.
£49.49
Springer New York Reflexive Structures An Introduction to Computability Theory
Book Synopsis1 Functions and Predicates.- 1. Definitions.- 2. Numerical Functions.- 3. Finitary Rules.- 4. Closure Properties.- 5. Minimal Closure.- 6. More Elementary Functions and Predicates.- 2 Recursive Functions.- 1. Primitive Recursion.- 2. Functional Transformations.- 3. Recursive Specifications.- 4. Recursive Evaluation.- 5. Church's Thesis.- 3 Enumeration.- 1. Predicate Classes.- 2. Enumeration Properties.- 3. Induction.- 4. Nondeterministic Computability.- 4 Reflexive Structures.- 1. Interpreters.- 2. A Universal Interpreter.- 3. Two Constructions.- 4. The Recursion Theorem.- 5. Relational Structures.- 6. Uniform Structures.- 5 Hyperenumeration.- 1. Function Quantification.- 2. Nonfinitary Induction.- 3. Functional Induction.- 4. Ordinal Notations.- 5. Reflexive Systems.- 6. Hyperhyperenumeration.- References.Table of Contents1 Functions and Predicates.- §1. Definitions.- §2. Numerical Functions.- §3. Finitary Rules.- §4. Closure Properties.- §5. Minimal Closure.- §6. More Elementary Functions and Predicates.- 2 Recursive Functions.- §1. Primitive Recursion.- §2. Functional Transformations.- §3. Recursive Specifications.- §4. Recursive Evaluation.- §5. Church’s Thesis.- 3 Enumeration.- §1. Predicate Classes.- §2. Enumeration Properties.- §3. Induction.- §4. Nondeterministic Computability.- 4 Reflexive Structures.- §1. Interpreters.- §2. A Universal Interpreter.- §3. Two Constructions.- §4. The Recursion Theorem.- §5. Relational Structures.- §6. Uniform Structures.- 5 Hyperenumeration.- §1. Function Quantification.- §2. Nonfinitary Induction.- §3. Functional Induction.- §4. Ordinal Notations.- §5. Reflexive Systems.- §6. Hyperhyperenumeration.- References.
£42.74
Springer Us Symbolic Model Checking
Book Synopsis1 Introduction.- 1.1 Background.- 1.2 Scope of this work.- 2 Model Checking.- 2.1 Temporal logic.- 2.2 The temporal logic CTL.- 2.3 Fixed points.- 2.4 CTL model checking.- 3 Symbolic Model Checking.- 3.1 Boolean representations.- 3.2 Symbolic models.- 3.3 Binary Decision Diagrams.- 3.4 Examples.- 3.5 Graph width and OBDDs.- 4 The SMV System.- 4.1 An informal introduction.- 4.2 The input language.- 4.3 Formal semantics.- 5 A Distributed Cache Protocol.- 5.1 The Protocol.- 5.2 Verifying the protocol.- 5.3 Discussion.- 6 Mu-Calculus Model Checking.- 6.1 The Mu-Calculus.- 6.2 Symbolic models.- 6.3 Symbolic algorithm.- 6.4 Applications of the Mu-Calculus.- 6.5 Related research.- 7 Induction and Model Checking.- 7.1 The general framework.- 7.2 Induction and symbolic model checking.- 7.3 Example: The Gigamax protocol.- 7.4 Induction in other models.- 7.5 Related research.- 8 Equivalence Computations.- 8.1 State equivalence.- 8.2 Methods for functional composition.- 8.3 Experimental results.- 9 A Partial Order Approach.- 9.1 Unfolding.- 9.2 Truncated unfoldings.- 9.3 Application example.- 9.4 Deadlock and occurrence nets.- 9.5 Conclusion.- 10 Conclusion.- References.Table of ContentsForeword. Preface. 1. Introduction. 2. Model Checking. 3. Symbolic Model Checking. 4. The SMV System. 5. A Distributed Cache Protocol. 6. Mu-Calculus Model Checking. 7. Induction and Model Checking. 8. Equivalence Computations. 9. A Partial Order Apporach. 10. Conclusion. References. Index.
£42.74
Springer New York An Introduction to Modern Mathematical Computing
Book Synopsisand the building of the Three “M’s” Maple, Mathematica and Matlab. We intend to persuade that Maple and other like tools are worth knowing assuming only that one wishes to be a mathematician, a mathematics educator, a computer scientist, an engineer or scientist, or anyone else who wishes/needs to use mathematics better.Trade ReviewFrom the reviews:“This book is intended to teach the reader the usage of the computer algebra system Maple. … The book is readable and valuable to mathematics, science, and engineering undergraduates at the sophomore or above level. It could also be valuable to practitioners in those fields who want to learn Maple in situ. … Summing Up: Recommended. Lower-division undergraduates through graduate students; professionals.” (D. Z. Spicer, Choice, Vol. 49 (5), January, 2012)“This is a Maple-application book which illustrates some basic areas of mathematics by symbolic computation examples. … The presentation is clear with all necessary details and comments for ensuring a full understanding of the considered examples. The intended beneficiaries are undergraduate students, teachers giving courses to undergraduate students, as well as programmers interested in using Maple for several classes of mathematical problems.” (Octavian Pastravanu, Zentralblatt MATH, Vol. 1228, 2012)“In An Introduction to Modern Mathematical Computing with Maple, Borwein and Skerritt show that computers are an excellent companion for learning mathematics. … The theme of the book is that Maple can supplement mathematics learning and, what is more, can do much of the mathematics for the students. … The temptation is tremendous for students to skip the real work to have a true understanding of mathematics.” (David S. Mazel, The Mathematical Association of America, June, 2012)Table of Contents-Preface. -Conventions and Notation.-1. Number Theory (Introduction to Maple, Putting it together, Enough code, already. Show me some maths!, Problems and Exercises, Further Explorations). -2. Calculus(Revision and Introduction, Univariate Calculus, Multivariate Calculus, Exercises, Further Explorations). -3. Linear Algebra (Introduction and Review, Vector Spaces, Linear Transformations, Exercises, Further Explorations). -4. Visualisation and Geometry: a postscript (Useful Visualisation Tools, Geometry and Geometric Constructions). –A. Sample Quizzes (Number Theory, Calculus, Linear Algebra). –Index. –References
£56.35
Springer Us The Verilog Hardware Description Language
Table of ContentsVerilog — A Tutorial Introduction.- Logic Synthesis.- Behavioral Modeling.- Concurrent Processes.- Module Hierarchy.- Logic Level Modeling.- Cycle-Accurate Specification.- Advanced Timing.- User-Defined Primitives.- Switch Level Modeling.- Projects.
£56.24
Springer Us RealTime Database Systems Architecture And Techniques 593 The Springer International Series in Engineering and Computer Science
Book SynopsisIn recent years, tremendous research has been devoted to the design of database systems for real-time applications, called real-time database systems (RTDBS), where transactions are associated with deadlines on their completion times, and some of the data objects in the database are associated with temporal constraints on their validity.Table of ContentsList of Figures. List of Tables. Acknowledgments. Preface. Contributing Authors. I: Overview, Misconceptions and Issues. 1. Real-Time Database Systems: An Overview of System Characteristics and Issues; Tei-Wei Kuo, Kam-Yiu Lam. 2. Misconceptions About Real-Time Databases; J.A. Stankovic, et al. 3. Applications and System Characteristics; D. Locke. II: Real-Time Concurrency Control. 4. Conservative and Optimistic Protocols; Tei-Wei Kuo, Kam-Yiu Lam. 5. Semantics-Based Concurrency Control; Tei-Wei Kuo. 6. Real-Time Index Concurrency Control; J.R. Haritsa, S. Seshadri. III: Run-Time System Management. 7. Buffer Management in Real-Time Active Database Systems; A. Datta, S. Mukherjee. 8. Disk Scheduling; Ben Kao, R. Cheng. 9. System Failure and Recovery; R.M. Sivasankaran, et al. 10. Overload Management in RTDBs; J. Hansson, S.H. Son. 11. Secure Real-Time Transaction Processing; J.R. Haritsa, B. George. IV: Active Issues and Triggering. 12. System Framework of ARTDBs; J. Hansson, S.F. Andler. 13. Reactive Mechanisms; J. Mellin, et al. 14. Updates and View Maintenance; Ben Kao, et al. V: Distributed Real-Time Database Systems. 15. Distributed Concurrency Control; Ö. Ulusoy. 16. Data Replication and Availability; Ö. Ulusoy. 17. Real-Time Commit Processing; J.R. Haritsa, et al. 18. Mobile Distributed Real-Time Database Systems; Kam-Yiu Liam, Tei-Wei Kuo.VI: Prototypes and Future Directions. 19. Prototypes: Programmed Stock Trading; B. Adelberg, Ben Kao. 20. Future Directions; Tei-Wei Kuo, Kam-Yiu Lam. Index.
£197.99
APress MATLAB Deep Learning
Book SynopsisGet started with MATLAB for deep learning and AI with this in-depth primer. In this book, you start with machine learning fundamentals, then move on to neural networks, deep learning, and then convolutional neural networks. In a blend of fundamentals and applications, MATLAB Deep Learning employs MATLAB as the underlying programming language and tool for the examples and case studies in this book. With this book, you''ll be able to tackle some of today''s real world big data, smart bots, and other complex data problems. You''ll see how deep learning is a complex and more intelligent aspect of machine learning for modern smart data analysis and usage.What You''ll Learn Use MATLAB for deep learning Discover neural networks and multi-layer neural networks Work with convolution and pooling layers Build a MNIST example with these layers WhoTable of Contents1. Machine Learning2. Neural Network3. Training of Multi-Layer Neural Network4. Neural Network and Classification5. Deep Learning6. Convolutional Neural Network
£49.49
Apress Beginning Julia Programming
Book Synopsis1. Introduction.- 2. Object Oriented Programming.- 3. Basic Mathematics with Julia.- 4. Complex Numbers.- 5. Rational and Irrational numbers.- 6. Mathematical Functions.- 7.Arrays.- 8. Arrays for Matrix Operations.- 9. Strings.- 10. Functions.- 11. Control Flow.- 12. Input Output.- 13. Plotting.Table of Contents1. Introduction.- 2. Object Oriented Programming.- 3. Basic Mathematics with Julia.- 4. Complex Numbers.- 5. Rational and Irrational numbers.- 6. Mathematical Functions.- 7.Arrays.- 8. Arrays for Matrix Operations.- 9. Strings.- 10. Functions.- 11. Control Flow.- 12. Input Output.- 13. Plotting.
£60.18
APress Architecture of Advanced Numerical Analysis
Book SynopsisThis unique open access book applies the functional OCaml programming language to numerical or computational weighted data science, engineering, and scientific applications. This book is based on the authors' first-hand experience building and maintaining Owl, an OCaml-based numerical computing library.You'll first learn the various components in a modern numerical computation library. Then, you will learn how these components are designed and built up and how to optimize their performance. After reading and using this book, you'll have the knowledge required to design and build real-world complex systems that effectively leverage the advantages of the OCaml functional programming language. What You Will LearnOptimize core operations based on N-dimensional arraysDesign and implement an industry-level algorithmic differentiation moduleImplement mathematical optimization, regression, and deep neural network functionalities based on algorithmic differentiationDesign and optimize a compTable of ContentsPrologueA Brief HistoryReductionism vs. HolismKey FeaturesContact MePART 1: NUMERICAL TECHNIQUES1. IntroductionWhat Is Scientific ComputingWhat is Functional ProgrammingWho Is This Book ForStructure of the BookInstallationOption 1: Install from OPAMOption 2: Pull from Docker HubOption 3: Pin the Dev-RepoOption 4: Compile from SourceCBLAS/LAPACKE DependencyInteracting with OwlUsing ToplevelUsing NotebookUsing Owl-JupyterSummary2. ConventionsPure vs. ImpureNdarray vs. ScalarInfix OperatorsOperator ExtensionModule StructuresNumber and PrecisionPolymorphic FunctionsModule ShortcutsType Casting3. VisualisationCreate PlotsSpecificationSubplotsMultiple LinesLegendDrawing PatternsLine PlotScatter PlotStairs PlotBox PlotStem PlotArea PlotHistogram & CDF PlotLog Plot3D PlotAdvanced Statistical PlotSummaryReferences4. Mathematical FunctionsBasic FunctionsBasic Unary Math FunctionsBasic Binary FunctionsExponential and Logarithmic FunctionsTrigonometric FunctionsOther Math FunctionsSpecial FunctionsAiry FunctionsBessel FunctionsElliptic FunctionsGamma FunctionsBeta FunctionsStruve FunctionsZeta FunctionsError FunctionsIntegral FunctionsFactorialsInterpolation and ExtrapolationIntegrationUtility FunctionsSummary5. Statistical FunctionsRandom VariablesDiscrete Random VariablesContinuous Random VariablesDescriptive StatisticsOrder StatisticsSpecial DistributionGamma DistributionBeta DistributionChi-Square DistributionStudent-t DistributionCauchy DistributionMultiple VariablesSamplingHypothesis TestsTheoryGaussian Distribution in Hypothesis TestingTwo-Sample InferencesGoodness-of-fit TestsNon-parametric StatisticsCovariance and CorrelationsAnalysis of VarianceSummary6. N-Dimensional ArraysNdarray TypesCreation FunctionsProperties FunctionsMap FunctionsFold FunctionsScan FunctionsComparison FunctionsVectorised FunctionsIteration FunctionsManipulation FunctionsSerialisationTensorsSummaryReferences7. Slicing and BroadcastingSlicingBasic SlicingFancy SlicingConventions in DefinitionExtended OperatorsAdvanced UsageBroadcastingWhat Is Broadcasting?Shape ConstraintsSupported OperationsSlicing in NumPy and JuliaInternal MechanismSummary8. Linear AlgebraVectors and MatricesCreating MatricesAccessing ElementsIterate, Map, Fold, and FilterMath OperationsGaussian EliminationLU FactorisationInverse and TransposeVector SpacesRank and BasisOrthogonalitySolving Ax = bMatrix SensitivityDeterminantsEigenvalues and EigenvectorsSolving Ax=λ xComplex MatricesSimilarity Transformation and DiagonalisationPositive Definite MatricesPositive DefinitenessSingular Value DecompositionInternal: CBLAS and LAPACKELow-level Interface to CBLAS & LAPACKESparse MatricesSummaryReferences9. Ordinary Differential EquationsWhat Is An ODEExact SolutionsLinear SystemsSolving An ODE NumericallyOwl-ODEExample: Linear Oscillator SystemSolver StructureSymplectic SolversFeatures and LimitsExamples of using Owl-ODEExplicit ODETwo Body ProblemLorenz AttractorDamped OscillationStiffnessSolve Non-Stiff ODEsSolve Stiff ODEsSummaryReferences10. Signal ProcessingDiscrete Fourier TransformFast Fourier TransformExamplesApplications of FFTFind period of sunspotsDecipher the ToneImage ProcessingFilteringExample: SmoothingGaussian FilterSignal ConvolutionFFT and Image ConvolutionSummaryReferences11. Algorithmic DifferentiationChain RuleDifferentiation MethodsHow Algorithmic Differentiation WorksForward ModeReverse ModeForward or Reverse?A Strawman AD EngineSimple Forward ImplementationSimple Reverse ImplementationUnified ImplementationsForward and Reverse Propagation APIExpressing ComputationExample: Forward ModeExample: Reverse ModeHigh-Level APIsDerivative and GradientJacobianHessian and LaplacianOther APIsInternal of Algorithmic DifferentiationGo Beyond Simple ImplementationExtend AD moduleLazy EvaluationSummaryReferences12. OptimisationIntroductionRoot FindingUnivariate Function OptimisationUse DerivativesGolden Section SearchMultivariate Function OptimisationNelder-Mead Simplex MethodGradient Descent MethodsConjugate Gradient MethodNewton and Quasi-Newton MethodsGlobal Optimisation and Constrained OptimisationSummaryReferences13. RegressionLinear RegressionProblem: Where to locate a new McDonald’s restaurant?Cost FunctionSolving Problem with Gradient DescentMultiple RegressionFeature NormalisationAnalytical SolutionNon-linear regressionsRegularisationOls, Ridge, Lasso, and Elastic_netLogistic RegressionSigmoid FunctionCost FunctionExampleMulti-class classificationSupport Vector MachineKernel and Non-linear BoundaryExampleModel error and selectionError MetricsModel SelectionSummaryReferences14. Deep Neural NetworksPerceptronYet Another RegressionModel RepresentationForward PropagationBack propagationFeed Forward NetworkLayersActivation FunctionsInitialisationTrainingTestNeural Network ModuleModule StructureNeuronsNeural GraphTraining ParametersConvolutional Neural NetworkRecurrent Neural NetworkLong Short Term Memory (LSTM)Generative Adversarial NetworkSummaryReferences15. Natural Language ProcessingIntroductionText CorpusStep-by-step OperationUse the Corpus ModuleVector Space ModelsBag of Words (BOW)Term Frequency–Inverse Document Frequency (TF-IDF)Latent Dirichlet Allocation (LDA)ModelsDirichlet DistributionGibbs SamplingTopic Modelling ExampleLatent Semantic Analysis (LSA)Search Relevant DocumentsEuclidean and Cosine SimilarityLinear SearchingSummaryReferences16. Dataframe for Tabular DataBasic ConceptsCreate FramesManipulate FramesQuery FramesIterate, Map, and FilterRead/Write CSV FilesInfer Type and SeparatorSummary17. Symbolic RepresentationIntroductionDesignCore abstractionEnginesONNX EngineExample 1: Basic operationsExample 2: Variable InitialisationExample 3: Neural networkLaTeX EngineOwl EngineSummary18. Probabilistic ProgrammingGenerative Model vs Discriminative ModelBayesian NetworksSampling TechniquesInferencePART 2: SYSTEM ARCHITECTURE19. Architecture OverviewIntroductionArchitecture OverviewCore ImplementationN-dimensional ArrayInterfaced LibrariesAdvanced FunctionalityComputation GraphAlgorithmic DifferentiationRegressionNeural NetworkParallel ComputingActor EngineGPU ComputingOpenMPCommunity-Driven R&DSummary20. Core OptimisationBackgroundNumerical LibrariesOptimisation of Numerical ComputationInterfacing to C CodeNdarray OperationsFrom OCaml to COptimisation TechniquesMap OperationsConvolution OperationsReduction OperationsRepeat OperationsSummaryReferences21. Automatic Empirical TuningWhat is Parameter TuningWhy Parameter Tuning in OwlHow to Tune OpenMP ParametersMake a DifferenceSummary22. Computation GraphIntroductionWhat is a Computation Graph?From Dynamic to StaticSignificance in ComputingExamplesExample 01: Basic CGraphExample 02: CGraph with ADExample 03: CGraph with DNNDesign RationaleOptimisation of CGraphOptimising memory with pebblesAllocation AlgorithmAs Intermediate RepresentationsSummary23. Scripting and Zoo SystemIntroductionShare Script with ZooTypical ScenarioCreate a ScriptShare via GistImport in Another ScriptSelect a Specific VersionCommand Line ToolMore ExamplesSystem DesignServicesType CheckingBackendDomain Specific LanguageService DiscoveryUse CaseSummaryReferences24. Compiler BackendsBase LibraryBackend: JavaScriptUse Native OCamlUse Facebook ReasonBackend: MirageOSMirageOS and UnikernelExample: Gradient DescentExample: Neural NetworkEvaluationSummary25. Distributed ComputingActor SystemDesignActor EnginesMap-Reduce EngineParameter Server EnginePeer-to-Peer EngineClassic Synchronise ParallelBulk Synchronous ParallelAsynchronous ParallelStale Synchronous ParallelProbabilistic Synchronise ParallelBasic idea: samplingCompatibilityBarrier Trade-off DimensionsConvergenceA Distributed Training ExampleStep ProgressAccuracySummaryReferences26. Testing FrameworkUnit TestExampleWhat Could Go WrongCorner CasesTest CoverageUse FunctorSummary27. Constants and Metric SystemWhat Is a Metric SystemFour Metric SystemsSI PrefixExample: Physics and Math constantsInternational System of UnitsTimeLengthAreaVolumeSpeedMassForceEnergyPowerPressureViscosityLuminanceRadioactivity28. Internal Utility ModulesDataset ModuleMNISTCIFAR-10Graph ModuleStack and Heap ModulesCount-Min SketchSummaryPART 3: CASE STUDIES29. Case - Image RecognitionBackgroundLeNetAlexNetVGGResNetSqueezeNetCapsule NetworkBuilding InceptionV3 NetworkInceptionV1 and InceptionV2FactorisationGrid Size ReductionInceptionV3 ArchitecturePreparing WeightsProcessing ImageRunning InferenceApplicationsSummaryReferences30. Case - Instance SegmentationIntroductionMask R-CNN NetworkBuilding Mask R-CNNFeature ExtractorProposal GenerationClassificationRun the CodeSummaryReferences31. Case - Neural Style TransferContent and StyleContent ReconstructionStyle RecreationCombining Content and StyleRunning NSTExtending NSTFast Style TransferBuilding FST NetworkRunning FSTSummaryReferences32. Case - Recommender SystemIntroductionArchitectureBuild Topic ModelsIndex Text CorpusRandom ProjectionOptimising Vector StorageOptimise Data StructureOptimise Index AlgorithmSearch ArticlesCode ImplementationMake It LiveSummaryReferences33. Case - Applications in FinanceIntroductionBond PricingBlack-Scholes ModelMathematical ModelOption PricingPortfolio OptimisationMathematical ModelEfficient FrontierMaximise Sharpe Ratio
£33.74
APress Options and Derivatives Programming in C23
Book SynopsisThis book is a hands-on guide for programmers who want to learn how C++ is used to develop solutions for options and derivatives trading in the financial industry. It explores the main algorithms and programming techniques used in implementing systems and solutions for trading options and derivatives. This updated edition will bring forward new advances in C++ software language and libraries, with a particular focus on the new C++23 standard. The book starts by covering C++ language features that are frequently used to write financial software for options and derivatives. These features include the STL (standard template library), generic templates, functional programming, and support for numerical code. Examples include additional support for lambda functions with simplified syntax, improvements in automatic type detection for templates, custom literals, modules, constant expressions, and improved initialization strategies for C++ objects. This book also provides how-to examples thaTable of Contents
£39.99
APress Basic Math for Game Development with Unity 3D
Book SynopsisThis book will teach you fundamental mathematical concepts using Unity-based custom examples, explaining the implementations and demonstrating how these concepts are applied in building modern video game functionality. You will learn the theoretical foundation of each concept, and then interact, examine, and modify the implementation to inspect the effects. Basic Math for Game Development with Unity 3D begins by explaining points in the 3D Cartesian Coordinate system. From there, you'll gain insight into vectors and details of dot and cross products, quaternions, rotation and decomposition of vectors. These basic mathematical foundations are illustrated through Unity-based example implementations. Associated with these concept presentations are separate examples of how the concepts are applied in creating typical video game functionality, such as collision support, motion simulations, autonomous behaviors, shadow approximations, and reflections off surfaces with arbitrary orientationTable of Contents
£42.49
Springer Us Canadian Semantic Web
Book SynopsisCanadian Semantic Web: Technologies and Applications aims at contributing to the advancement of the Semantic Web by providing the most recent signi?cant - search on Semantic Web theory, techniques and applications in academia, industry and government in Canada and all over the world.Table of ContentsIncremental Query Rewriting with Resolution.- Knowledge Representation and Reasoning in Norm-Parameterized Fuzzy Description Logics.- A Generic Evaluation Model for Semantic Web Services.- A Modular Approach to Scalable Ontology Development.- Corporate Semantic Web: Towards the Deployment of Semantic Technologies in Enterprises.- Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability Constraints.- Developing Knowledge Representation in Emergency Medical Assistance by Using Semantic Web Techniques.- Semantically Enriching the Search System of a Music Digital Library.- Application of an Intelligent System Framework and the Semantic Web for the CO2 Capture Process.- Information Pre-Processing using Domain Meta-Ontology and Rule Learning System.
£116.99
O'Reilly Media Effective DevOps
Book SynopsisSome companies think that adopting devops means bringing in specialists or a host of new tools. With this practical guide, you'll learn why devops is a professional and cultural movement that calls for change from inside your organization.
£29.99
Taylor & Francis Inc ModelBased Machine Learning
Book SynopsisToday, machine learning is being applied to a growing variety of problems in a bewildering variety of domains. A fundamental challenge when using machine learning is connecting the abstract mathematics of a machine learning technique to a concrete, real world problem. This book tackles this challenge through model-based machine learning which focuses on understanding the assumptions encoded in a machine learning system and their corresponding impact on the behaviour of the system.The key ideas of model-based machine learning are introduced through a series of case studies involving real-world applications. Case studies play a central role because it is only in the context of applications that it makes sense to discuss modelling assumptions. Each chapter introduces one case study and works through step-by-step to solve it using a model-based approach. The aim is not just to explain machine learning methods, but also showcase how to create, debug, and evolve them to solvTable of ContentsIntroduction. How Can Machine Learning Solve my Problem? 1. A Murder Mystery 2. Assessing People’s Skills Interlude. The Machine Learning Life Cycle 3. Meeting Your Match 4. Uncluttering Your Inbox 5. Making Recommendations 6. Understanding Asthma 7. Harnessing the Crowd 8. How to Read a Model Afterword
£68.39
Taylor & Francis Inc Big Data Management and Processing
Book SynopsisFrom the Foreword:Big Data Management and Processing is [a] state-of-the-art book that deals with a wide range of topical themes in the field of Big Data. The book, which probes many issues related to this exciting and rapidly growing field, covers processing, management, analytics, and applications... [It] is a very valuable addition to the literature. It will serve as a source of up-to-date research in this continuously developing area. The book also provides an opportunity for researchers to explore the use of advanced computing technologies and their impact on enhancing our capabilities to conduct more sophisticated studies.---Sartaj Sahni, University of Florida, USABig Data Management and Processing covers the latest Big Data research results in processing, analytics, management and applications. Both fundamental insights and representative applications are provided. This book is a timely and valuable resource for students, researchers and seaTable of ContentsBig Data Management. Big Data Design, implementation, evaluation and services. Big Data as integration of technologies. Big Data analytics and visualization. Query processing and indexing. Elasticity for data management systems. Self-adaptive and energy-efficient mechanisms. Performance evaluation. Security, privacy, trust, data ownership and risk simulations. Processing. Techniques, algorithms and innovative methods of processing. Business and economic models. Adoption cases, frameworks and user evaluations. Data-intensive and scalable computing on hybrid infrastructures. MapReduce based computations. Many-Task Computing in the Cloud. Streaming and real-time processing. Big Data systems and applications for multidisciplinary applications.
£117.00
Nova Science Publishers Inc Monte Carlo Simulation: Methods, Assessment &
Book SynopsisChapter One presents a study on application of Monte Carlo simulation in reliability assessment of composite electric power systems. Chapter Two develops a PK/PD model to evaluate, by Monte Carlo simulation as a data maximisation strategy, the antiviral activity of two stavudine formulations: conventional stavudine and stavudine-gold nanoparticles (stavudine-AuNPs). In Chapter Three, the magnetic properties of the kagomé lattice is studied with RudermanKittelKasuyaYosida (RKKY) exchange interactions in a spin-7/2 and alternate mixed spin-5/2 and spin-2 Ising model on the Bethe lattice by using the Monte Carlo simulations.
£78.39
Nova Science Publishers Inc Scientific Computing: Studies & Applications
Book Synopsis
£92.79
Nova Science Publishers Inc Horizons in Computer Science Research: Volume 15
Book Synopsis
£205.59
Rowman & Littlefield Contingent Computation: Abstraction, Experience,
Book SynopsisIn Contingent Computation, M. Beatrice Fazi offers a new theoretical perspective through which we can engage philosophically with computing. The book proves that aesthetics is a viable mode of investigating contemporary computational systems. It does so by advancing an original conception of computational aesthetics that does not just concern art made by or with computers, but rather the modes of being and becoming of computational processes. Contingent Computation mobilises the philosophies of Gilles Deleuze and Alfred North Whitehead in order to address aesthetics as an ontological study of the generative potential of reality. Through a novel philosophical reading of Gödel’s incompleteness theorems and of Turing’s notion of incomputability, Fazi finds this potential at the formal heart of computational systems, and argues that computation is a process of determining indeterminacy. This indeterminacy, which is central to computational systems, does not contradict their functionality. Instead, it drives their very operation, albeit in a manner that might not always fit with the instrumental, representational and cognitivist purposes that we have assigned to computing.Trade ReviewContingent Computation by M. Beatrice Fazi is a brilliantly original work arguing that the contingent does not lie outside computation but at its very heart, in the demonstrations by Gödel and Turing that some problems are incomputable and that formal systems, including computational axiomatics, are incomplete. Her approach opens our understanding of what computers can—and cannot—do to new modes of analysis that introduce contingency into technical systems in an entirely new way, refuting views that see computers as merely mechanical systems incapable of novelty. Highly recommended for humanities scholars and others interested in thinking about the role that computers play in a world that remains unknowable in its full complexity. -- N. Katherine Hayles, James B. Duke Professor of Literature, Duke UniversityThis remarkable book proposes a radically new vision of computation: one that will equally surprise the rationalists and cognitivists, on the one hand, and the vitalists and affectivists, on the other. M. Beatrice Fazi shows how Turing-style computing -- logical, discrete, and pre-programmed as it is -- also necessarily involves indeterminacy, novelty, and invention. -- Steven Shaviro, Wayne State UniversityContingent Computation provides many of the keys to understanding how computing now becomes the reality-forming device par excellence. At the same time, this daring and rigorous book offers new tools for aesthetics. -- Matthew Fuller, Professor of Cultural Studies, Goldsmiths, University of LondonFrom aesthetics to abstraction and onwards to experience, M. Beatrice Fazi argues against the usual clichés about computation. Contingent Computation shows that media theorists and machines should be valued based at least on one thing in common: they don’t do just what you expect them to. Fazi’s take on computational indeterminacy is rigorous, rich and rewarding. -- Jussi Parikka, Professor in Technological Culture and Aesthetics, University of SouthamptonDigital computation originated from formalizing the limits rather than the data processing power of computation. In the true spirit of the Media Philosophy book series, Fazi takes this as a chance to rethink the computer in favor of the unpredictable. While her argumentation, through the lenses of Whiteheadean terms, insists on the author's "me" against the computational "it", it will be emerging non-classical computers themselves which will truly appreciate the message of this book. -- Wolfgang Ernst, Professor of Media Theories, Humboldt University of Berlin, GermanyTable of ContentsIntroduction / Part 1 Aesthetics / 1. Continuity versus Discreteness / 2. Computation / 3. Processes / Part 2 Abstraction / 4. Computational Idealism / 5. Axiomatics / 6. Limits and Potential / Part 3 Experience / 7. Computational Empiricism / 8. Factuality / 9. Actuality / Conclusion
£37.05
Elsevier Science Fundamentals of the Theory of Computation
Book Synopsis
£63.96
