Search Results - "canonized"

  1. 361
  2. 362
  3. 363
  4. 364
  5. 365

    Contemporary Nordic Literature and Spatiality

    Published 2020
    Link to Metadata
    Electronic eBook
  6. 366

    Data-Driven Fault Detection and Reasoning for Industrial Monitoring by Wang, Jing, Zhou, Jinglin, Chen, Xiaolu

    Published 2022
    Table of Contents: “…Introduction -- Basic Statistical Fault Detection Problems -- Principal Component Analysis -- Canonical Variate Analysis -- Partial Least Squares Regression -- Fisher Discriminant Analysis -- Canonical Variate Analysis -- Fault Classification based on Local Linear Embedding -- Fault Classification based on Fisher Discriminant Analysis -- Quality-Related Global-Local Partial Least Square Projection Monitoring -- Locality-Preserving Partial Least-Squares Statistical Quality Monitoring -- Locally Linear Embedding Orthogonal Projection to Latent Structure (LLEPLS) -- Bayesian Causal Network for Discrete Systems -- Probability Causal Network for Continuous Systems -- Dual Robustness Projection to Latent Structure Method based on the L_1 Norm.…”
    Link to Metadata
    Electronic eBook
  7. 367

    Linear Algebra, Theory And Applications by Kuttler, Kenneth

    Published 2012
    Table of Contents: “…Preliminaries -- Linear Transformations -- Determinants -- Row Operations -- Some Factorizations -- Spectral Theory -- Vector Spaces And Fields -- Linear Transformations -- Canonical Forms -- Markov Processes -- Inner Product Spaces -- Self Adjoint Operators -- Norms -- Numerical Methods, Eigenvalues…”
    Access online version
    Electronic eBook
  8. 368

    Boundary Value Problems, Weyl Functions, and Differential Operators by Behrndt, Jussi, Hassi, Seppo, de Snoo, Henk

    Published 2020
    Table of Contents: “…Linear relations -- Boundary triplets and Weyl functions -- Spectra and Weyl functions -- Operator models -- Nonnegative selfadjoint extensions -- Sturm-Liouville operators -- Canonical systems -- Schrodinger operators -- Sums of closed subspaces in a Hilbert space -- Factorization of bounded linear operators -- Integral representations of Carathéodory functions -- The integral representation of Nevanlinna functions.…”
    Link to Metadata
    Electronic eBook
  9. 369

    Linear Algebra with Applications by Nicholson, W. Keith

    Published 2021
    Table of Contents: “…1 Systems of Linear Equations -- 2 Matrix Algebra -- 3 Determinants and Diagonalization -- 4 Vector Geometry -- 5 Vector Space R -- 6 Vector Spaces -- 7 Linear Transformations -- 8 Orthogonality -- 9 Change of Basis -- 10 Inner Product Spaces -- 11 Canonical Forms -- A Complex NumbersB ProofsC Mathematical InductionD PolynomialsSelected Exercise Answers…”
    Access online version
    Electronic eBook
  10. 370

    Multivariate Statistical Analysis in the Real and Complex Domains by Mathai, Arak M., Provost, Serge B., Haubold, Hans J.

    Published 2022
    Table of Contents: “…Principal Component Analysis -- 10. Canonical Correlation Analysis -- 11. Factor Analysis -- 12. …”
    Link to Metadata
    Electronic eBook
  11. 371

    Original Études for the Developing Conductor

    Published 2023
    Table of Contents: “…Featured Composers 1) Arias, Spencer: The Jester 2) Biedenbender, David: Swirl 3) Botti, Susan: Vespers (Walking in Beauty) 4) Bozone, Judy: Lyrah 5) Browne, Matthew: Saunter 6) Browne, Matthew: Tarantella 7) Bumgarner, Trevor: Choppy Frontier 8) Chen, Yi: Ban (Beat) 9) Davids, Brent Michael: Native American Étude 10) Flagello, Gala: Bulletproof 11) Grafe, Max: Fanfare With Afterimages 12) Herryman Rodriguez, Ivette: Tumbao Pesante 13) Jolley, Jennifer: Legend of the Moonlight Above 14) Joyce, Molly: Offbeat 15) Lamb, Alexis: Addolcimento (Sweetly, Softening) 16) Lambrecht, Lynnsey: Festive Fugue 17) Li, Shuying: Étude for Conductors 18) Lorenz, Ricardo: Estudio a Cuatro Voces 19) McCune, Sally Lamb: Pony Hollow Trail 20) Purrington, Hilary: Keepsake 21) Rowe, Will: Loose Canon 22) Sherwood-Gabrielson, Christopher: Last Waltz in Paris 23) Specht, Elena: Fortress 24) Tann, Hilary: Moonrise 25) Zare, Roger: Reverie…”
    Access online version
    Electronic eBook
  12. 372

    Ribosome Biogenesis Methods and Protocols /

    Published 2022
    Table of Contents: “…A Comparative Perspective on Ribosome Biogenesis: Unity and Diversity across the Tree of Life -- Establishment and Maintenance of Open Ribosomal RNA Gene Chromatin States in Eukaryotes -- Analysis of Yeast RNAP I Transcription of Nucleosomal Templates In Vitro -- Specialization of RNA Polymerase I in Comparison to Other Nuclear RNA Polymerases of Saccharomyces cerevisiae -- Structural Studies of Eukaryotic RNA Polymerase I using Cryo-Electron Microscopy -- Preparation of RNA Polymerase Complexes for their Analysis by Single Particle Cryo-Electron Microscopy -- Eukaryotic Ribosome Assembly and Nucleo-Cytoplasmic Transport -- Tethered MNase Structure Probing as Versatile Technique for Analyzing RNPs using Tagging Cassettes for Homologous Recombination in Saccharomyces cerevisiae -- Chemical Modifications of Ribosomal RNA -- In Vitro Selection of Deoxyribozymes for the Detection of RNA Modifications -- Mapping of the Chemical Modificationsof rRNAs -- Non-Radioactive In Vivo Labelling of RNA with 4-thio-uracil -- Translation Phases in Eukaryotes -- Differential Translation Activity using Bio-Orthogonal Non-Canonical Amino Acids Tagging (BONCAT) in Archaea -- Thermofluor-Based Analysis of Protein Integrity and Ligand Interactions -- In Vitro Assembly of a Fully Reconstituted Yeast Translation System for Studies of Initiation and Elongation Phases of Protein Synthesis.…”
    Link to Metadata
    Electronic eBook
  13. 373

    Forms of List-Making: Epistemic, Literary, and Visual Enumeration

    Published 2022
    Table of Contents: “…Don't Trust the List: The Politics of Enumeration and Capitalist Discourse in the Novel; Eva von Contzen -- 7. More than a Canon: Lists of Contents in British Poetry Anthologies; Stefanie Lethbridge -- 8. …”
    Link to Metadata
    Electronic eBook
  14. 374

    Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

    Published 2023
    Table of Contents: “…Range-Restricted and Horn Interpolation through Clausal Tableaux -- Non-Classical Logics in Satisfiability Modulo Theories -- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics -- Non-distributive description logic -- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized -- Some Analytic Systems of Rules -- A cut-free, sound and complete Russellian theory of definite descriptions -- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators -- Lemmas: Generation, Selection, Application -- Machine-Learned Premise Selection for Lean -- gym-saturation: Gymnasium environments for saturation provers (System description) -- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points -- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic -- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata -- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation -- On intuitionistic diamonds (and lack thereof) -- NP Complexity for Combinations of Non-Normal Modal Logics -- Resolution-based Calculi for Non-Normal Modal Logics -- Canonicity of Proofs in Constructive Modal Logic -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions -- Nested Sequents for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.…”
    Link to Metadata
    Electronic eBook
  15. 375

    Kantianism for Animals A Radical Kantian Animal Ethic / by Müller, Nico Dario

    Published 2022
    Table of Contents: “…-- 6.2 Adopting Another's Ends as Our Own -- 6.3 Kant's Denial of End-Directed Animal Agency -- 6.4 Animal 'Ends': Conceptual, Non-conceptual, 'Obscure' -- References -- 7 Kantianism for Animals: The Framework in Five Claims -- 7.1 Duties from Autonomy -- 7.2 The Primacy of Duties over Rights and Claims -- 7.3 Duties to Self and Others -- 7.4 Practical Love and Non-exaltation -- 7.5 Motives Matter -- References -- Part III Using the Framework -- 8 A Kantian Argument Against Using Animals -- 8.1 'External' Arguments Against Using Animals -- 8.2 A Kantian-for-Animals 'Internal' Argument Against Animal Use -- References -- 9 A Kantian Argument Against Eating Animals -- 9.1 The Philosophical Stalemate Regarding Vegetarianism -- 9.2 A Kantian-for-Animals Argument Against Eating Animals -- References -- 10 A Kantian Argument Against Environmental Destruction -- 10.1 Kant and the Environment: Previous Approaches -- 10.2 A Kantian-for-Animals Perspective on the Environment -- References -- 11 Animal Ethics and the Philosophical Canon: A Proposal -- References -- Index.…”
    Link to Metadata
    Electronic eBook
  16. 376
  17. 377
  18. 378
  19. 379
  20. 380