Search Results - Metroid~

Refine Results
  1. 183681
  2. 183682
  3. 183683

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

    Published 2021
    Table of Contents: “…Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz and Meredith: Investigations into Proof Structures -- Efficient Local Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory and Principles -- The ksmt calculus is a delta-complete decision procedure for non-linear constraints -- Universal Invariant Checking of Parametric Systems with Quantifier-Free SMT Reasoning -- Politeness and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic with Application to Type Theory -- Efficient SAT-based Proof Search in Intuitionistic Propositional Logic -- Proof Search and Certificates for Evidential Transactions -- Non-Clausal Redundancy Properties -- Multi-Dimensional Interpretation Methods for Termination of Term Rewriting -- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures -- Computing Optimal Repairs of Quantified ABoxes w.r.t. …”
    Link to Metadata
    Electronic eBook
  4. 183684

    Migration and Identity through Creative Writing StOries: Strangers to Ourselves /

    Published 2024
    Table of Contents: “…Experiments and Interventions: Re-envisioning Qualitative Research Methods in Migration (Alka Kumar) -- Part 2. Identity Negotiations, Othering the Self -- 3. …”
    Link to Metadata
    Electronic eBook
  5. 183685

    The Word on College Reading and Writing by Babin, Monique, Burnell, Carol, Pesznecker, Susan, Rosevear, Nicole, Wood, Jaime

    Published 2017
    Table of Contents: “…-- Self-Exploration and Self-Enrichment -- Creativity -- Comprehension and Academic Performance -- Professional Opportunities -- Effective Communication and Persuasion -- Determining Your Audience and Purpose -- Audience -- Purpose -- Appealing to Your Audience -- Exercises -- Tone, Voice, and Point of View -- Prewriting—Generating Ideas -- Selecting and Narrowing a Topic -- Strategies for Getting Started -- Imagining Your Audience's Needs -- Drafting -- Organizing Your Ideas and Looking for Connections -- Finding the Thesis -- Writing a First Draft -- Writing Paragraphs -- The Paragraph Body: Supporting Your Ideas -- Developing Relationships between Ideas -- Patterns of Organization and Methods of Development -- Writing Introductions -- Writing Conclusions -- Writing Summaries -- Paraphrasing -- Quoting -- Using Sources Correctly -- Crediting and Citing Your Sources -- Citing: Identifying In-Text Sources -- Citing or Identifying Images in Your Writing -- Handling Titles -- Proofreading Your Work with Sources -- Using Citation Generators -- Dealing with Obstacles and Developing Good Habits -- Overcoming Writing Anxiety and Writer's Block -- Good Writing Habits -- Procrastination -- Revising -- Higher vs. …”
    Access online version
    Electronic eBook
  6. 183686

    DC Circuits by Davis, Chad

    Published 2016
    Table of Contents: “…PrefaceModule 1 – The Basics of DC Circuits with Resistors -- Section 1.1 – Introduction and Basic Definitions -- Section 1.1.1 - Charge vs Current -- Section 1.1.2 - Resistance Calculations – (Resistance explained in more detail in section 1.1.3) -- Section 1.1.3 - Ohm's Law: Voltage, Current, Resistance, and Conductance -- Section 1.1.4 – Power and Energy -- Section 1.2 – Combining Resistors in Parallel or Series -- Section 1.3 – Kirchhoff's Voltage Law (KVL) and Voltage Divider Rule (VDR) -- Section 1.4 – Kirchhoff's Current Law (KCL) and Current Divider Rule (CDR) -- Module 1 – Equation List -- Module 2 – Advanced Topics for DC Circuits with Resistors -- Section 2.1 – Source Transformations: Thevenin and Norton Form -- Section 2.2 – Approximate Source Transformations: Adding a virtual resistor -- Section 2.2.1 - Voltage Source Approximate Transformation -- Section 2.2.2 - Current Source Approximate Transformation -- Section 2.3 – Mesh Matrix Analysis and traditional loop analysis methods -- Section 2.4 – Nodal Matrix Analysis and traditional Nodal Analysis -- Section 2.5 – Superposition: Solving a circuit by including only one source at a time -- Section 2.6 – Thevenin and Norton Equivalent Circuits -- Module 3 – DC Circuits with Resistors, Capacitors, and Inductors -- Section 3.1 – Background for Capacitors -- Section 3.2 – Background for Inductors -- Section 3.3 – Combining Inductors in Parallel and/or Series -- Section 3.4 – Combining Capacitors in Parallel and/or Series -- Section 3.5 – DC Transient Analysis with RC and RL Circuits -- Section 3.5.1 – Single Loop RL and RC Charging (Store) Circuits -- Section 3.5.2 – Single Loop RL and RC Discharging (Release) Circuits -- Section 3.6 – DC Steady State Analysis with RC, RL, and RLC Circuits -- Section 3.7 – Introduction to Passive Filters -- Module 3 – Equation List -- References and LinksAppendix – Dependent Sources and Laplace Transform Examples…”
    Access online version
    Electronic eBook
  7. 183687
  8. 183688
  9. 183689
  10. 183690
  11. 183691
  12. 183692
  13. 183693
  14. 183694
  15. 183695
  16. 183696
  17. 183697
  18. 183698
  19. 183699
  20. 183700