Foundational Practices of Online Writing Instruction

Table of Contents: “…Administrative Decisions for OWI, Deborah Minter -- Chapter 7. Contingent Faculty and OWI, Mahli Mechenbier -- Part 3. …”
Access online version

Design for Learning Principles, Processes, and Praxis by McDonald, Jason K., West, Richard E.

Table of Contents: “…Instructional Design Evaluation15. Continuous Improvement of Instructional Materials -- Part II. …”
Access online version

American Literatures Prior to 1865 by Peterson, Scott D.

Table of Contents: “…Literature of the New Nation - Poe (Continued)…”
Access online version

Lebensgeschichten alter Eltern kognitiv beeinträchtigter Menschen Über die biografische Bedeutung des Zusammenlebens mit einem erwachsenen kognitiv beeinträchtigten Kind aus der... by Oermann, Lisa

DOAB: download the publication
DOAB: description of the publication

Lebensgeschichten alter Eltern kognitiv beeinträchtigter Menschen Über die biografische Bedeutung des Zusammenlebens mit einem erwachsenen kognitiv beeinträchtigten Kind aus der Pe... by Oermann, Lisa

OAPEN Library: download the publication
OAPEN Library: description of the publication

ANALISIS MATERI PEMBELAJARANDALAM HTTP://LEXIQUEFLE.FREE.FRSEBAGAI ALTERNATIF MEDIA PEMBELAJARANBAHASA PRANCIS by Nirmala Nisa, -

Link Metadata

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...

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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

Comparative Perspectives on Work-Life Balance and Gender Equality Fathers on Leave Alone /

Table of Contents: “… Chapter 1: Fathers on Leave Alone: Setting the Scene: Margaret O'Brien and Karin Wall -- Chapter 2: The Ethics of Care and the Radical Potential of Fathers 'Home Alone on Leave':  Care as Practice, Relational Ontology, and Social Justice: Andrea Doucet -- Chapter 3: Fathers on Leave Alone in Norway: Changes and Continuities: Elin Kvande and Berit Brandth -- Chapter 4: Fathers on Leave Alone in Portugal: Lived experiences and Impact of Forerunner Fathers: Karin Wall and Mafalda Leitão -- Chapter 5: Fathers on Leave Alone in Québec (Canada): the Case of Innovative, Subversive and Activist Fathers !…”
Link to Metadata

PERAN GURU DALAM MEMBINA ETOS BELAJAR MELALUI MATA PELAJARAN PAI DI SEKOLAH(STUDI KASUS DI SMA NEGERI 1 SUSUKAN CIREBON KELAS X SEMESTER GENAP PERIODE TAHUN AJARAN 2014-2015) by Melawati, nur

Link Metadata

PENGELOLAAN KELAS BAGI SISWA TUNANETRA DI SEKOLAH MENENGAH ATAS BIASA : Studi Kasus tcntang Upaya Guru dalam Mengelola Kelas yang Memiliki Siswa Tunanetra pada Setting Suasana K... by lis Masdiana, -

Link Metadata

Knowledge for Governance

Table of Contents: “…Experimentalist Systems in Manufacturing Multinationals: Recursivity and Continuous Learning Through Destabilization -- Chapterv19. …”
Link to Metadata

Calculus-Based Physics I by Schnick, Jeffrey

Table of Contents: “…Projectile Motion -- 14 Newton's Laws #1: Using Free Body Diagrams -- 15 Newton's Laws #2: Kinds of Forces, Creating Free Body Diagrams -- 16 Newton's Laws #3: Components, Friction, Ramps, Pulleys, and Strings -- 17 The Universal Law of Gravitation -- 18 Circular Motion: Centripetal Acceleration -- 19 Rotational Motion Variables, Tangential Acceleration, Constant Angular Acceleration -- 20 Torque & Circular Motion -- 21 Vectors: The Cross Product & Torque -- 22 Center of Mass, Moment of Inertia -- 23 Statics -- 24 Work and Energy -- 25 Potential Energy, Conservation of Energy, Power -- 26 Impulse and Momentum -- 27 Oscillations: Introduction, Mass on a Spring -- 28 Oscillations: The Simple Pendulum, Energy in Simple Harmonic Motion -- 29 Waves: Characteristics, Types, Energy -- 30 Wave Function, Interference, Standing Waves -- 31 Strings, Air Columns -- 32 Beats, The Doppler Effect -- 33 Fluids: Pressure, Density, Archimedes' Principle -- 34 Pascal's Principle, the Continuity Equation, and Bernoulli's Principle -- 35 Temperature, Internal Energy, Heat, and Specific Heat Capacity -- 36 Heat: Phase Changes -- 37 The First Law of Thermodynamics…”
Access online version

Advanced High School Statistics by Diez, David, Barr, Christopher, Çetinkaya-Rundel, Mine, Dorazio, Leah

Table of Contents: “…1 Data collection -- 1.1 Case study -- 1.2 Data basics -- 1.3 Overview of data collection principles -- 1.4 Observational studies and sampling strategies -- 1.5 Experiments -- 2 Summarizing data -- 2.1 Examining numerical data -- 2.2 Numerical summaries and box plots -- 2.3 Considering categorical data -- 2.4 Case study: malaria vaccine (special topic) -- 3 Probability -- 3.1 Defining probability -- 3.2 Conditional probability -- 3.3 The binomial formula -- 3.4 Simulations -- 3.5 Random variables -- 3.6 Continuous distributions -- 4 Distributions of random variables -- 4.1 Normal distribution -- 4.2 Sampling distribution of a sample mean -- 4.3 Geometric distribution -- 4.4 Binomial distribution -- 4.5 Sampling distribution of a sample proportion -- 5 Foundation for inference -- 5.1 Estimating unknown parameters -- 5.2 Confidence intervals -- 5.3 Introducing hypothesis testing -- 5.4 Does it make sense? …”
Access online version

Anal Incontinence Clinical Management and Surgical Techniques /

Table of Contents: “…Epidemiology, Anorectal Anatomy, Physiology and Pathophysiology of Continence -- Part 2. Diagnostics -- Chapter 3. Clinical Evaluation, Etiology, and Classification of Anal Incontinence -- Chapter 4. …”
Link to Metadata

Molecular Beams in Physics and Chemistry From Otto Stern's Pioneering Exploits to Present-Day Feats /

Table of Contents: “…On Otto Stern, Max Born and other physicists in the 1920s (Arne Schirrmacher) -- Otto Sackur, Otto Stern, and the Beginning of the Quantum Theory of Gases (Massimiliano Badino) -- From Stern's beam experiments to modern biomolecular NMR spectroscopy (Christian Griesinger) -- Quantum or classical perception: The Imaging Theorem and the Ensemble Picture (John Briggs) -- Reduction of the atomic wave function in the Stern-­Gerlach magnetic field (Michael Devereux) -- Precision experiments for the revised SI -­ and the future of time (Joachim Ullrich) -- Precision Physics in Penning Traps Using the Continuous Stern-­Gerlach-­Effect (Klaus Blaum) -- Frankfurt Physicists (Michael Eckert) -- Our Patrimony from Otto Stern and My Memories of Otto Frisch (Dan Kleppner) -- Ultracold Chemical reactions with molecules in slow motion (Kang-Kuen Ni) -- Choreographing Quantum Spin Dynamics with Light (Monika Schleier-Smith) -- Stern's relation to Gerlach (Horst Schmidt-­Böcking) -- Manipulation and control of molecular beams (Gerard Meijer) -- Quantum effects in cold and controlled molecular dynamics (Christiane Koch) -- Otto Stern and Wave-­Particle Duality (Peter Toennies) -- Macromolecular Matter Wave Interferometry and Talbot-­Lau Deflectometry (Markus Arndt) -- Rotating rotationless: nonadiabatic alignment of the helium dimer and trimer (Maksim Kunitski) -- Grating Diffraction of Molecular Beams: Present Day Implementations of Otto Stern's Concept (Wieland Schöllkopf) -- Interaction effects in ultra cold atom systems (Dörte Blume) -- Laser cooling and magneto-­optical trapping of molecules (Mike Tarbutt) -- Microdroplet Chemistry (Dick Zare) -- TBA (Manfred Faubel) -- From Liquid Rays to Gas Rays: The Non-­Maxwellian Evaporation of Helium from Water Microjets (Gil Nathanson) -- Laser-­induced rotation and alignment of molecules in helium nanodroplets (Henrik Stapelfeldt) -- Far-from-equilibrium dynamics of molecules in helium nanodroplets (Mikhail Lemeshko).…”
Link to Metadata

Bioeconomy and Global Inequalities Socio-Ecological Perspectives on Biomass Sourcing and Production /

Table of Contents: “…Sugar-Cane Bioelectricity in Brazil: Reinforcing the Meta-Discourses of Bioeconomy and Energy Transition; Selena Herrera, John Wilkinson -- Part 3 Reconfigurations and Continuities of Social-ecological Inequalities in Rural Areas -- 9. …”
Link to Metadata

Migration in Southern Africa IMISCOE Regional Reader /

Table of Contents: “…Migrating Beyond Borders and States: Instrumental and Contingent Solidarities Among -- Chapter 4. Neoliberal Capitalism and Migration in the Global South: a Case of Post-ESAP Zimbabwe to South Africa migration -- Part II: Legislation and Policy Frameworks Governing Migration -- Chapter 5. …”
Link to Metadata

Process Mining Workshops ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 - November 4, 2021, Revised Selected Papers /

Table of Contents: “…An assessment framework and analysis -- Remaining Time Prediction for Processes with Inter-Case Dynamics -- Event Log Sampling for Predictive Monitoring -- Active Anomaly Detection for Key Item Selection in Process Auditing -- Prescriptive Process Monitoring Under Resource Constraints: A Causal Inference Approach -- Quantifying Explainability in Outcome-Oriented Predictive Process Monitoring -- Online Prediction of Aggregated Retailer Consumer Behaviour -- PErrCas: Process Error Cascade Mining in Trace Streams -- Continuous performance evaluation for business process outcome monitoring -- An Event Data Extraction Approach from SAP ERP for Process Mining -- Towards a Natural Language Conversational Interface for Process Mining -- On the Performance Analysis of the Adversarial System Variant Approximation Method to Quantify Process Model Generalization -- Verifying guideline compliance in clinical treatment using multi-perspective conformance checking: a case study -- Patient Discharge Classification based on the Hospital Treatment Process -- Combining the Clinical and Operational Perspectives in Heterogeneous Treatment E ect Inference in Healthcare Processes -- Interactive Process Mining Applied in a Cardiology Outpatient Department -- Discovering care pathways for multi-morbid patients using event graphs -- Process Mining in Trusted Execution Environments: Towards Hardware Guarantees for Trust-aware Inter-organizational Process Analysis -- Quantifying the Re-identification Risk in Published Process Models -- Trustworthy Artificial Intelligence and Process Mining: Challenges and Opportunities.…”
Link to Metadata

Knowledge and Networks

Table of Contents: “…Gioia, and Stephen Borgatti -- III: Network Geographies of Learning: How Social Networks in Space Lead to Innovation: How Atypical Combinations of Scientific Ideas Are Related to Impact: The General Case and the Case of the Field of Geography: Satyam Mukherjee, Brian Uzzi, Ben Jones, and Michael Stringer -- Connectivity in Contiguity: Conventions and Taboos of Imitation in Colocated Networks: Johannes Glückler and Ingmar Hammer -- Are Gatekeepers Important for the Renewal of the Local Knowledge Base? …”
Link to Metadata