Search Results - Refco~

Design Discourse Composing and Revising Programs in Professional and Technical Writing by Franke, David, Reid, Alex, Di Renzo, Anthony

Table of Contents: “…Composing -- The Great Instauration: Restoring Professional and Technical Writing to the Humanities, Anthony Di Renzo -- Starts, False Starts, and Getting Started: (Mis)understanding the Naming of a Professional Writing Minor, Michael Knieval, Kelly Belanger, Colin Keeney, Julianne Couch, and Christine Stebbins -- Composing a Proposal for a Professional / Technical Writing Program, W. …”
Access online version

Mathematics Teacher Preparation in Central America and the Caribbean The Cases of Colombia, Costa Rica, the Dominican Republic and Venezuela /

Table of Contents: “…Venezuela: Initial and Continuing Preparation of the Mathematics Teacher: Nelly León-Gómez and Walter O. Beyer-Kessler -- References and Bibliography -- Appendix: Meanings of Acronyms -- Acknowledgments. .…”
Link to Metadata

Deep Integration, Global Firms, and Technology Spillovers by Jinji, Naoto, Zhang, Xingyuan, Haruna, Shoji

Table of Contents: “…Depth, Breadth, and Heterogeneity -- Chapter 8 Conclusion and Policy Implications -- References.…”
Link to Metadata

Moving Toward Net-Zero Carbon Society Challenges and Opportunities /

Table of Contents: “…Foreword -- Preface -- Moving Toward Net zero Emission Society in the Asia Pacific: With Special Reference to the Recent Law and Policy Development in Japan, Korea and Taiwan -- Assessing the Impact of Carbon Prices and Timber Fluctuation on the Expansion of Afforestation: A Case of Taiwan -- Turning on the Lights with Green Energy- A more Sustainable Future- The Case of Taiwan ICDF Project: Solar PV Mini Grid System for Lightning in Myanmar -- The Importance of Capability Development for Innovation Intermediaries in Sustainable Agricultural: Cases of Rice and Mango Industry Organizations in the Philippines -- The Kelp Industry an its Effectiveness in Blue Carbon: A Case of Hakodate, Japan -- The Climate Impacts of Black Carbon and Methane Emissions in Arctic and Current Frameworks for Prevention.…”
Link to Metadata

Twisted Isospectrality, Homological Wideness, and Isometry A Sample of Algebraic Methods in Isospectrality / by Cornelissen, Gunther, Peyerimhoff, Norbert

Table of Contents: “…Length spectrum -- References -- Index.…”
Link to Metadata

Stable Isotopes to Trace Migratory Birds and to Identify Harmful Diseases An Introductory Guide / by Viljoen, G.J, Luckins, A.G, Naletoski, I.

Table of Contents: “…Other Stable Isotopes for Migration Research -- 5. REFERENCES.…”
Link to Metadata

Stem Cells in Neuroendocrinology

Table of Contents: “…A brief overview of techniques for modulating neuroendocrine and other neural systems -- Basics of stem cell biology as applied to the brain -- Human pluripotent-derived lineages for repairing hypopituitarism -- Recapitulating hypothalamus and pituitary development using ES/iPS cells -- Regulation of body weight and metabolism by tanycyte-derived neurogenesis in young adult mice -- Genetic dissection of the neuroendocrine and behavioral responses to stressful challenges -- Pituitary stem cells: quest for hidden functions -- Pituitary stem cells during normal physiology and disease -- Epigenetic mechanisms of pituitary cell fate specification -- Advances in stem cells biology: new approaches to understand depression -- Perspective on stem cells in developmental biology, with special reference to neuroendocrine systems. .…”
Link to Metadata

Adaptive Dynamic Programming For Chemotherapy Drug Delivery / by Sun, Jiayue, Xu, Shun, Liu, Yang, Zhang, Huaguang

Table of Contents: “…-Chapter 7 Adaptive Virotherapy Strategy for Organism with Constrained Input Using Medicine Dosage Regulation Mechanism -- References.…”
Link to Metadata

A Theory of Literate Action Literate Action by Bazerman, Charles

Table of Contents: “…The Writer on the Spot and on the Line -- References…”
Access online version

The Complete Subjective Health Assessment by Lapum, Jennifer L., St-Amant, Oona, Hughes, Michelle

Table of Contents: “…Chapter 1: Introduction to the Complete Subjective Health Assessment -- The Complete Subjective Health Assessment -- Reasons for Conducting a Complete Subjective Health Assessment -- Categories and Influencing Factors -- Reflective Questions -- Chapter 2: The Complete Subjective Health Assessment -- Introductory Information: Demographic and Biographic Data -- Main Health Needs (Reasons for Seeking Care) -- The PQRSTU Assessment -- Current and Past Health -- Mental Health and Mental Illnesses -- Functional Health -- Preventative Treatments and Examinations -- Family Health -- Cultural Health -- Reference and Reflective Questions -- Chapter 3: Cultural Safety and Care Partners -- Cultural Safety -- Care Partners -- Reflective Questions -- Chapter 4: Summary -- Health History Summary -- Reflective Questions -- Key Takeaways…”
Access online version

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

Co-creating Digital Public Services for an Ageing Society Evidence for User-centric Design / by Jarke, Juliane

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Ageing societies and technological innovation -- Chapter 3: Co-creating digital public services -- Chapter 4: Mobile Age: Co-creating digital public services with and for older citizens -- Chapter 5: Co-creation in practice I: Co-creating a digital neighbourhood guide (Bremen Osterholz) -- Chapter 6: Co-creation in practice II: Co-creating a digital walking guide (Bremen Hemelingen) -- Chapter 7: Co-creation in practice III: Co-creating age-friendly routes (Zaragoza) -- Chapter 8: Learning from co-creation practice -- Chapter 9: Conclusion: Co-creating inclusive digital futures -- References -- Appendix. .…”
Link to Metadata

Simplicial and Dendroidal Homotopy Theory by Heuts, Gijs, Moerdijk, Ieke

Table of Contents: “…Part I The Elementary Theory of Simplicial and Dendroidal Sets -- 1 Operads -- 2 Simplicial Sets -- 3 Dendroidal Sets -- 4 Tensor Products of Dendroidal Sets -- 5 Kan Conditions for Simplicial Sets -- 6 Kan Conditions for Dendroidal Sets -- Part II The Homotopy Theory of Simplicial and Dendroidal Sets -- 7 Model Categories -- 8 Model Structures on the Category of Simplicial Sets -- 9 Three Model Structures on the Category of Dendroidal Sets -- Part III The Homotopy Theory of Simplicial and Dendroidal Spaces -- 10 Reedy Categories and Diagrams of Spaces -- 11 Mapping Spaces and Bousfield Localizations -- 12 Dendroidal Spaces and ∞-Operads -- 13 Left Fibrations and the Covariant Model Structure -- 14 Simplicial Operads and ∞-Operads -- Epilogue -- References -- Index.…”
Link to Metadata

Strategic Opportunism: What Works in Africa Twelve Fundamentals for Conservation Success / by Huntley, Brian John

Table of Contents: “…Angolan Giant Sable: Rediscovery, Rescue and Recovery -- Chapter 4. Marion Island: Birds, Cats, Mice and Men -- Chapter 5. …”
Link to Metadata

Education for Children with Disabilities in Addis Ababa, Ethiopia Developing a Sense of Belonging / by Schiemer, Margarita

Table of Contents: “…Appendix: All about Working with the Data -- References.…”
Link to Metadata

Scientific Inquiry in Social Work by DeCarlo, Matthew

Table of Contents: “…Chapter 1: Introduction to research -- Chapter 2: Beginning a research project -- Chapter 3: Reading and evaluating literature -- Chapter 4: Conducting a literature review -- Chapter 5: Ethics in social work research -- Chapter 6: Linking methods with theory -- Chapter 7: Design and causality -- Chapter 8: Creating and refining a research question -- Chapter 9: Defining and measuring concepts -- Chapter 10: Sampling -- Chapter 11: Survey research -- Chapter 12: Experimental design -- Chapter 13: Interviews and focus groups -- Chapter 14: Unobtrusive research: Qualitative and quantitative approaches -- Chapter 15: Real-world research: Evaluation, single-subjects, and action research -- Chapter 16: Reporting and reading research…”
Access online version

Anti-fragile ICT Systems by Hole, Kjell Jørgen

Table of Contents: “…Preface -- Part I: The Concept of Anti-Fragility: 1 Introduction -- 2 Achieving Anti-Fragility -- 3 The Need to Build Trust -- 4 Principles Ensuring Anti-Fragility -- Part II: Anti-Fragility to Downtime: 5 Anti-Fragile Cloud Solutions -- 6 An Anti-Fragile e-Government System -- 7 Anti-Fragile Cloud-Based Telecom Systems -- Part III: Anti-Fragility to Malware: 8 Robustness to Malware Spreading -- 9 Robustness to Malware Reinfections -- 10 Anti-Fragility to Malware Spreading -- Part IV: Anomaly Detection: 11 The Cortical Learning Algorithm -- 12 Detecting Anomalies with the CLA -- Part V: Future Anti-Fragile Systems: 13 Summary and Future Work -- About the Author -- References -- Index.…”
Link to Metadata

Foundations of Quantum Theory From Classical Concepts to Operator Algebras / by Landsman, Klaas

Table of Contents: “…Introduction -- Part I Co(X) and B(H): Classical physics on a finite phase space -- Quantum mechanics on a finite-dimensional Hilbert space -- Classical physics on a general phase space -- Quantum physics on a general Hilbert space -- Symmetry in quantum mechanics -- Part II Between Co(X) and B(H): Classical models of quantum mechanics -- Limits: Small hbar -- Limits: large N -- Symmetry in algebraic quantum theory -- Spontaneous Symmetry Breaking -- The Measurement Problem -- Topos theory and quantum logic -- Appendix A: Finite-dimensional Hilbert spaces -- Appendix B: Basic functional analysis -- Appendix C: Operator algebras -- Appendix D: Lattices and logic -- Appendix E: Category theory and topos theory -- References.…”
Link to Metadata

Business English for Success by McLean, Scott

Table of Contents: “…-- Chapter 4: Help for English Language Learners -- Chapter 5: Writing Paragraphs: Separating Ideas and Shaping Content -- Chapter 6: Refining Your Writing: How Do I Improve My Writing Technique? …”
Access online version

Personality Theory in a Cultural Context by Kelland, Mark

Table of Contents: “…1 Introduction to Personality -- 2 Culture and Personality -- 3 Sigmund Freud -- 4 Alfred Adler and Harry Stack Sullivan -- 5 Neo-Freudian Perspectives on Personality -- 6 Karen Horney and Erich Fromm -- 7 Psychology of Women -- 8 Carl Rogers and Abraham Maslow -- 9 Viktor Frankl, Rollo May, and Existential Psychology -- 10 Trait Theories of Personality -- 11 Biology and Personality -- 12 Erik Erikson -- 13 Carl Jung -- 14 Yoga and Buddhism as Personality Development Paths -- 15 Religious Perspectives on Personality -- 16 African Perspective on Personality -- 17 Learning Theory and Personality Development -- 18 Social Learning Theory and Personality Development -- 19 Cognitive Perspectives on Personality Development -- 20 Personality Disorders -- 21 References for Personality -- Index -- Attributions…”
Access online version