“…Get a crash course in Python Learn the basics of linear algebra, statistics, and probability--and understand how and when they're used in data science Collect, explore, clean, munge, and manipulate data Dive into the fundamentals of machine learning Implement models such as k-nearest Neighbors, Naive Bayes, linear and logistic regression, decision trees, neural networks, and clustering Explore recommender systems, natural language processing, network analysis, MapReduce, and databases…”

Tabla de Contenidos: “…Memoirs of My Research on Stochastic Analysis -- Itô Calculus and Quantum White Noise Calculus -- Homogenization of Diffusions on the Lattice Zd with Periodic Drift Coefficients, Applying a Logarithmic Sobolev Inequality or a Weak Poincaré Inequality -- Theory and Applications of Infinite Dimensional Oscillatory Integrals -- Ambit Processes; with Applications to Turbulence and Tumour Growth -- A Stochastic Control Approach to a Robust Utility Maximization Problem -- Extending Markov Processes in Weak Duality by Poisson Point Processes of Excursions -- Hedging with Options in Models with Jumps -- Power Variation Analysis of Some Integral Long-Memory Processes -- Kolmogorov Equations for Stochastic PDE's with Multiplicative Noise -- Stochastic Integrals and Adjoint Derivatives -- An Application of Probability to Nonlinear Analysis -- The Space of Stochastic Differential Equations -- Extremes of supOU Processes -- Gaussian Bridges -- Some of the Recent Topics on Stochastic Analysis -- Differential Equations Driven by Hölder Continuous Functions of Order Greater than 1/2 -- On Asymptotics of Banach Space-valued Itô Functionals of Brownian Rough Paths -- Continuous-Time Markowitz's Problems in an Incomplete Market, with No-Shorting Portfolios -- Quantum and Classical Conserved Quantities: Martingales, Conservation Laws and Constants of Motion -- Different Lattice Approximations for Hôegh-Krohn's Quantum Field Model -- Itô Atlas, its Application to Mathematical Finance and to Exponentiation of Infinite Dimensional Lie Algebras -- The Invariant Distribution of a Diffusion: Some New Aspects -- Formation of Singularities in Madelung Fluid: A Nonconventional Application of Itô Calculus to Foundations of Quantum Mechanics -- G-Expectation, G-Brownian Motion and Related Stochastic Calculus of Itô Type -- Perpetual Integral Functionals of Diffusions and their Numerical Computations -- Chaos Expansions and Malliavin Calculus for Lévy Processes -- Study of Simple but Challenging Diffusion Equation -- Itô Calculus and Malliavin Calculus -- The Malliavin Calculus for Processes with Conditionally Independent Increments…”

Tabla de Contenidos: “…TEOREMA DE EXTENSIÓN DE TIETZE -- CAPÍTULO 5 ALGUNAS ESTRUCTURAS TOPOLÓGICAS EN ÁLGEBRA -- 5.1. ESTRUCTURA MINIMAL -- 5.2. TOPOLOGÍA GENERALIZADA -- 5.3. …”

Tabla de Contenidos: “…Structural Properties Underlying High-Quality Randomized Numerical Linear Algebra Algorithms; 10. Something for (Almost) Nothing: New Advances in Sublinear-Time Algorithms; IV. …”

Tabla de Contenidos: “…-- Adapting the UPPAAL Model of a Distributed Lift System -- Zone-Based Universality Analysis for Single-Clock Timed Automata -- Compositional Semantics of System-Level Designs Written in SystemC -- Reusing Requirements: The Need for Extended Variability Models -- Test Selection Criteria for Quantifier-Free First-Order Specifications -- Formal Testing of Systems Presenting Soft and Hard Deadlines -- Automatic Composition of Stateless Components: A Logical Reasoning Approach -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition -- Regulating Data Exchange in Service Oriented Applications -- A Behavioural Congruence for Web Services -- Logic–Based Detection of Conflicts in Appel Policies -- Hoare Logic for ARM Machine Code -- Action Abstraction in Timed Process Algebra -- Type Abstractions of Name-Passing Processes -- Formal Specification of Multi-agent Systems by Using EUSMs -- Strong Safe Realizability of Message Sequence Chart Specifications -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages -- Efficient State Space Reduction for Automata by Fair Simulation -- Model Checking Temporal Metric Specifications with Trio2Promela -- Design and Implementation of a Dynamic-Reconfigurable Architecture for Protocol Stack -- Vulnerability Analysis in VGBPS Using Prolog -- An Alternative Algorithm for Constraint Automata Product -- A Review on Specifying Software Architectures Using Extended Automata-Based Models -- ArchC#: A New Architecture Description Language for Distributed Systems -- Relationships Meet Their Roles in Object Oriented Programming…”

Tabla de Contenidos: “…Chapter 20 Spatial Processing Image CompressionChapter 21 Video Compression; Appendix 1 Vector-space Algebra Concepts; Appendix 2 Image Error Measures; Appendix 3 Image And Video Compression Standards Development; Appendix 4 Huffman Coding Example; Annex 1 Pixelsoft Web Site Down Loadable Files; Annex 2 Piks Api Image Processing Example; Annex 3 Pikstool Gui Image Processing Example; Annex 4 Pikstool Chain Image Processing Example; Annex 5 MATLAB Image Processing Example; Bibliography; Back Cover…”

Tabla de Contenidos: “…IV Theory -- 20.The Transfer Function -- Differential Equations -- Laplace Transforms -- Properties of the Laplace Transform -- Using the Laplace Transform to Solve Differential Equations -- A Worked Example -- The Transfer Function -- Worked Example: Step Response -- Worked Example: Ramp Input -- The Harmonic Oscillator -- What If the Differential Equation Is Not Known? -- 21.Block-Diagram Algebra and the Feedback Equation -- Composite Systems -- The Feedback Equation -- An Alternative Derivation of the Feedback Equation -- Block-Diagram Algebra -- Limitations and Importance of Transfer Function Methods -- 22.PID Controllers -- The Transfer Function of the PID Controller -- The Canonical Form of the PID Controller -- The General Controller -- Proportional Droop Revisited -- A Worked Example -- 23.Poles and Zeros -- Structure of a Transfer Function -- Effect of Poles and Zeros -- Special Cases and Additional Details -- Pole Positions and Response Patterns -- Dominant Poles -- Pole Placement -- What to Do About Delays -- 24.Root Locus Techniques -- Construction of Root Locus Diagrams -- Root Locus or "Evans" Rules -- Angle and Magnitude Criteria -- Practical Issues -- Examples -- Simple Lag with a P Controller -- Simple Lag with a PI Controller -- 25.Frequency Response and the Bode Plot -- Frequency Response -- Frequency Response in the Physical World -- Frequency Response for Transfer Functions -- A Worked Example -- The Bode Plot -- A Criterion for Marginal Stability -- Other Graphical Techniques -- 26.Topics Beyond This Book -- Discrete-Time Modeling and the z-Transform -- State-Space Methods -- Robust Control -- Optimal Control -- Mathematical Control Theory -- pt. …”

Tabla de Contenidos: “…Fundamentos de las técnicas multivariantes; Página legal; Índice; Introducción; Capítulo 1. Nociones básicas de Álgebra de Matrices; 1. Conceptos previos; 2. Operaciones con matrices; 2.1. …”

Tabla de Contenidos: “…2.4.1 Model Justification2.4.2 Numerical Simulation of the Yildirim-Mackey Models and Bistability; 2.5 Boolean Modeling of Biochemical Interactions; 2.6 Boolean Approximations of the Yildirim-Mackey Models; 2.6.1 Boolean Variants of the 3-Variable Model; 2.6.2 Boolean Variants of the 5-Variable Model; 2.7 Conclusions and Discussion; 2.8 Supplementary Materials; References; Inferring the Topology of Gene Regulatory Networks: An Algebraic Approach to Reverse Engineering; 3.1 Introduction; 3.1.1 Gene Regulatory Networks in Molecular Biology; 3.1.2 Reverse Engineering of Gene Regulatory Networks…”

Tabla de Contenidos: “…Front Cover; MATLAB® for Neuroscientists; Copyright Page; Contents; Preface to the First Edition; Preface to the Second Edition; About the Authors; How to Use this Book; Structural and Conceptual Considerations; Layout and Style; Companion Web Site; I: Fundamentals; 1 Introduction; 2 MATLAB Tutorial; 2.1 Goal of this Chapter; 2.2 Purpose and Philosophy of MATLAB; 2.2.1 Getting Started; 2.2.2 MATLAB as a Calculator; 2.2.3 Defining Matrices; 2.2.4 Basic Matrix Algebra; 2.2.5 Indexing; 2.3 Graphics and Visualization; 2.3.1 Basic Visualization; 2.4 Function and Scripts; 2.4.1 Scripts…”

Tabla de Contenidos: “…Fundamental Tools for Mathematical Computing; 2.1 C++ for High-Performance Computing; 2.2 Dynamic Memory Allocation; 2.3 Matrix Reduction Problems; 2.4 Matrix Algebra; 2.5 Algebra of Complex Numbers; 2.6 Number Sorting; 2.7 Summary; Programming Challenges; 3. …”

Tabla de Contenidos: “…Exkurs -- 5.1 Aussagenlogischer Exkurs -- 5.2 Aussagenlogik als ein Modell Boolescher Algebra -- 6. Zweiwertig zu Künstlicher Intelligenz (KI) -- 6.1 Das Problem linearer Klassifizierer -- 6.2 Ein neues Prinzip des Lernens -- 7. …”

Tabla de Contenidos: “…12.4.2 Function Types -- 12.5 Algebraic Properties -- 12.5.1 Symmetry -- 12.5.2 Zero and Unit -- 12.5.3 Idempotence -- 12.5.4 Associativity -- 12.5.5 Distributivity/Factorisation -- 12.5.6 Algebras -- 12.6 Boolean Operators -- 12.7 Binary Relations -- 12.7.1 Reflexivity -- 12.7.2 Symmetry -- 12.7.3 Converse -- 12.7.4 Transitivity -- 12.7.5 Anti-symmetry -- 12.7.6 Orderings -- 12.7.7 Equality -- 12.7.8 Equivalence Relations -- 12.8 Calculations -- 12.8.1 Steps in a Calculation -- 12.8.2 Relations between Steps -- 12.8.3 "If" and "Only If -- 12.9 Exercises -- CHAPTER 13 - Boolean Algebra -- 13.1 Boolean Equality -- 13.2 Negation -- 13.3 Disjunction -- 13.4 Conjunction -- 13.5 Implication -- 13.5.1 Definitions and Basic Properties -- 13.5.2 Replacement Rules -- 13.6 Set Calculus -- 13.7 Exercises -- CHAPTER 14 - Quantifiers -- 14.1 DotDotDot and Sigmas -- 14.2 Introducing Quantifier Notation -- 14.2.1 Summation -- 14.2.2 Free and Bound Variables -- 14.2.3 Properties of Summation -- 14.2.4 Warning -- 14.3 Universal and Existential Quantification -- 14.3.1 Universal Quantification -- 14.3.2 Existential Quantification -- 14.4 Quantifier Rules -- 14.4.1 The Notation -- 14.4.2 Free and Bound Variables -- 14.4.3 Dummies -- 14.4.4 Range Part -- 14.4.5 Trading -- 14.4.6 Term Part -- 14.4.7 Distributivity Properties -- 14.5 Exercises -- CHAPTER 15 - Elements of Number Theory -- 15.1 Inequalities -- 15.2 Minimum and Maximum -- 15.3 The Divides Relation -- 15.4 Modular Arithmetic -- 15.4.1 Integer Division -- 15.4.2 Remainders and Modulo Arithmetic -- 15.5 Exercises -- CHAPTER 16 - Relations, Graphs and Path Algebras -- 16.1 Paths in a Directed Graph -- 16.2 Graphs and Relations -- 16.2.1 Relation Composition -- 16.2.2 Union of Relations -- 16.2.3 Transitive Closure -- 16.2.4 Reflexive Transitive Closure -- 16.3 Functional and Total Relations…”

Tabla de Contenidos: “…Converting text into tidy data using unnest_tokens() -- Working with a document-term matrix -- Summary -- Chapter 4: Data Visualization with ggplot2 -- Technical requirements -- Introducing ggplot2 -- Building a scatter plot -- Understanding the grammar of graphics -- Geometries in graphics -- Understanding geometry in scatter plots -- Introducing bar charts -- Introducing line plots -- Controlling themes in graphics -- Adjusting themes -- Exploring ggthemes -- Summary -- Chapter 5: Exploratory Data Analysis -- Technical requirements -- EDA fundamentals -- Analyzing categorical data -- Summarizing categorical variables using counts -- Converting counts into proportions -- Marginal distribution and faceted bar charts -- Analyzing numerical data -- Visualization in higher dimensions -- Measuring the central concentration -- Measuring variability -- Working with skewed distributions -- EDA in practice -- Obtaining the stock price data -- Univariate analysis of individual stock prices -- Correlation analysis -- Summary -- Chapter 6: Effective Reporting with R Markdown -- Technical requirements -- Fundamentals of R Markdown -- Getting started with R Markdown -- Getting to know the YAML header -- Formatting textual information -- Writing R code -- Generating a financial analysis report -- Getting and displaying the data -- Performing data analysis -- Adding plots to the report -- Adding tables to the report -- Configuring code chunks -- Customizing R Markdown reports -- Adding a table of contents -- Creating a report with parameters -- Customizing the report style -- Summary -- Part 2: Fundamentals of Linear Algebra and Calculus in R -- Chapter 7: Linear Algebra in R -- Technical requirements -- Introducing linear algebra -- Working with vectors -- Working with matrices -- Matrix vector multiplication -- Matrix multiplication -- The identity matrix…”

Tabla de Contenidos: “…Intro -- ETAPS Foreword -- Preface -- Organization -- Formal Methods for Evolving Database Applications (Abstract of Keynote Talk) -- Contents -- Trace-Relating Compiler Correctness and Secure Compilation -- Introduction -- Trace-Relating Compiler Correctness -- Property Mappings -- Trace Relations and Property Mappings -- Preservation of Subset-Closed Hyperproperties -- Instances of Trace-Relating Compiler Correctness -- Undefined Behavior -- Resource Exhaustion -- Different Source and Target Values -- Abstraction Mismatches -- Trace-Relating Compilation and Noninterference Preservation -- Trace-Relating Secure Compilation -- Trace-Relating Secure Compilation: A Spectrum of Trinities -- Instance of Trace-Relating Robust Preservation of Trace Properties -- Instances of Trace-Relating Robust Preservation of Safety and Hypersafety -- Related Work -- Conclusion and Future Work -- Acknowledgements -- Bibliography -- Runners in action -- 1 Introduction -- 2 Algebraic effects, handlers, and runners -- 2.1 Algebraic effects and handlers -- 2.2 Runners -- 3 Programming with runners -- 3.1 The user and kernel monads -- 3.2 Runners as a programming construct -- 4 A calculus for programming with runners -- 4.1 Types -- 4.2 Values and computations -- 4.3 Type system -- 4.4 Equational theory -- 5 Denotational semantics -- 5.1 Semantics of types -- 5.2 Semantics of values and computations -- 5.3 Coherence, soundness, and finalisation theorems -- 6 Runners in action -- 7 Implementation -- 8 Related work -- 9 Conclusion and future work -- References -- On the Versatility of Open Logical Relations -- 1 Introduction -- 2 The Playground -- 3 A Fundamental Gap -- 4 Warming Up: A Containment Theorem -- 5 Automatic Differentiation -- 6 On Refinement Types and Local Continuity -- 6.1 A Refinement Type System Ensuring Local Continuity -- 6.2 Basic Typing Rules…”

Tabla de Contenidos: “…. -- 18.2.1 Line Graph of Unit Graph -- Chapter 19: The Pendant Number of Some Graph Products -- 19.1 Pendant Number of Cartesian Product of Graphs -- 19.2 Pendant Number of Direct Product of Graphs -- 19.3 Conclusion -- Chapter 20: Wiener Index of Tensor Product of Cycle Graph and Some Other Graphs -- 20.1 Introduction -- 20.2 Wiener Index of Tensor Product of Cycle Graph and Bipartite Graph -- 20.3 Wiener Index of Tensor Product of Cycle Graph with Some Non-bipartite Graphs -- Chapter 21: Wiener Index of Some Zero-Divisor Graphs -- 21.1 Introduction -- 21.2 Wiener Index of the Zero-divisor Graph G(Zn) -- 21.3 Wiener Index of Zero-Divisor Graphs from Direct Product of Rings -- 21.4 Concluding Remark -- Chapter 22: Algebraic Signed Graphs: A Review -- 22.1 Algebraic Graph -- 22.1.1 Existing Algebraic Graphs -- 22.2 Signed Graph and its Parameters -- 22.2.1 Criteria for Balance -- 22.2.2 Criteria for Consistency -- 22.2.3 Criteria for Sign-Compatibility -- 22.3 Algebraic Signed Graph -- 22.3.1 Existing Algebraic Signed Graphs -- 22.4 Signed Total Graphs -- 22.4.1 Balanced Signed Total Graphs -- 22.5 Signed Unit Graphs -- Chapter 23: Nullity and Energy of Complete Tripartite Graphs…”

“…Al primer capítol, després d'una introducció breu a la informàtica, s'expliquen els conceptes de llenguatge de programació, sistemes de numeració i àlgebra de Boole. Als cinc capítols següents es presenten els conceptes fonamentals per realitzar programes: operadors i tipus de dades, seqüències, accions i funcions, taules i estructures" -- Iniciativa Digital Politècnica…”
Accés restringit als usuaris de la UPC, UB, UAB, UdG, UdL, URV, UOC, BC, UVic-UCC, URL i UIC

“…Para ello se presentan multitud de ejemplos y modelos de innovación como el suyo propio, «Verne»; los conocidos «Design Thinking» o la visión «Agile», y otros más novedosos como «Álgebra de Doblin» o los «Elementos de Valor de Bain». …”

Tabla de Contenidos: “…CONDICIONES EXISTENTES -- ENERGÍA SONORA -- NIVEL SONORO -- ALGEBRA CON DECIBELES -- ESPECTROS SONOROS -- DECIBELES EN LA ESCALA DE PONDERACIÓN A -- NIVEL SONORO CONTINUO EQUIVALENTE -- DOSIS DE RUIDO -- MAPAS SONOROS -- MEDIDORES DE NIVEL SONÓMETRO Y DOSÍMETROS -- CAPITULO 2. …”

“…Los capítulos centrales abordan los bloques de contenido: numeración y cálculo, álgebra temprana, geometría, medida, estadística y probabilidad. …”
Accés restringit als usuaris de la UB, UAB, UdG, URV, URL, UVic-UCC