Tabla de Contenidos: “…Miscellanea. Appendix. Computer Algebra. References…”

“…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

“…También, se cubre la parte dinámica del modelo relacional, comenzando con el estudio del álgebra relacional como herramienta para manejar esquemas relacionales y como base para el lenguaje de consulta por excelencia en el modelo relacional: el lenguaje SQL. …”
Enlace del recurso

“…This revised and greatly expanded second edition of the Russian text Tales of Physicists and Mathematicians contains a wealth of new information about the lives and accomplishments of more than a dozen scientists throughout five centuries of history: from the first steps in algebra up to new achievements in geometry in connection with physics. …”

“…This journal presents research articles and short papers covering Algebra; Applied Mathematics; Computational Sciences; Geometry and Topology; Mathematical Analysis; Statistics and Operations Research…”

“…Obtenha um curso intensivo em Python; Aprenda o básico de álgebra linear, estatística e probabilidade — e entenda como e quando eles são usados em data science; Colete, explore, limpe, mude e manipule dados…”

“…Adopting both structural and behavioral approaches in characterizing and designing nonlinear digital filters, this book: Begins with an expedient introduction to programming in the free, open-source computing environment of Python Uses results from algebra and the theory of functional equations to construct and characterize behaviorally defined nonlinear filter classes Analyzes the impact of a range of useful interconnection strategies on filter behavior, providing Python implementations of the presented filters and interconnection strategies Proposes practical, bottom-up strategies for designing more complex and capable filters from simpler components in a way that preserves the key properties of these components Illustrates the behavioral consequences of allowing recursive (i.e., feedback) interconnections in nonlinear digital filters while highlighting a challenging but promising research frontier Nonlinear Digital Filtering with Python: An Introduction supplies essential knowledge useful for developing and implementing data cleaning filters for dynamic data analysis and time-series modeling…”

“…Requiring no previous knowledge of physics and no math beyond basic algebra and sines and cosines, this book focuses on concepts to make the excitement of atomic physics more accessible for learners than ever before. …”

“…If you have some background in basic linear algebra and calculus, this practical book introduces machine-learning fundamentals by showing you how to design systems capable of detecting objects in images, understanding text, analyzing video, and predicting the properties of potential medicines. …”

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: “…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…”