Search Results - "polynomial"

  1. 141
  2. 142
  3. 143
  4. 144

    Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2019
    Table of Contents: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
    Link to Metadata
    Electronic eBook
  5. 145
  6. 146
  7. 147
  8. 148
  9. 149
  10. 150
  11. 151

    Fast Fourier Transforms by Burrus, C. Sidney

    Published 2012
    Table of Contents: “…1 Preface: Fast Fourier Transforms -- 2 Introduction: Fast Fourier Transforms -- 3 Multidimensional Index Mapping -- 4 Polynomial Description of Signals -- 5 The DFT as Convolution or Filtering -- 6 Factoring the Signal Processing Operators -- 7 Winograd's Short DFT Algorithms -- 8 DFT and FFT: An Algebraic View -- 9 The Cooley-Tukey Fast Fourier Transform Algorithm -- 10 The Prime Factor and Winograd Fourier Transform Algorithms -- 11 Implementing FFTs in Practice -- 12 Algorithms for Data with Restrictions -- 13 Convolution Algorithms -- 14 Comments: Fast Fourier Transforms -- 15 Conclusions: Fast Fourier Transforms -- 16 Appendix 1: FFT Flowgraphs -- 17 Appendix 2: Operation Counts for General Length FFT -- 18 Appendix 3: FFT Computer Programs -- 19 Appendix 4: Programs for Short FFTs…”
    Access online version
    Electronic eBook
  12. 152
  13. 153
  14. 154
  15. 155

    Algebra and Trigonometry 2e by Abramson, Jay

    Published 2021
    Table of Contents: “…Radicals and Rational Exponents -- 1.4. Polynomials -- 1.5. Factoring Polynomials -- 1.6. Rational Expressions -- Chapter Review -- Exercises -- Chapter 2. …”
    Access online version
    Electronic eBook
  16. 156
  17. 157
  18. 158
  19. 159

    Precalculus An Investigation of Functions by Lippman, David, Rasmussen, Melonie

    Published 2017
    Table of Contents: “…Chapter 1: Functions -- Chapter 2: Linear Functions -- Chapter 3: Polynomial and Rational Functions -- Chapter 4: Exponential and Logarithmic Functions -- Chapter 5: Trigonometric Functions of Angles -- Chapter 6: Periodic Functions -- Chapter 7: Trigonometric Equations and Identities -- Chapter 8: Further Applications of Trigonometry…”
    Access online version
    Electronic eBook
  20. 160