Search Results - Teany~

Technological and Institutional Innovations for Marginalized Smallholders in Agricultural Development

Table of Contents: “…Adoption of Stress-tolerant Rice Varieties in Bangladesh -- 16. More than cereal based cropping innovations for improving food and livelihood security of poor small holders in marginal areas of Bangladesh -- 17. …”
Link to Metadata

WAC Partnerships Between Secondary and Postsecondary Institutions

Table of Contents: “…, Mary McMullen-Light -- Chapter 7: Negotiating Expectations: Overcoming Obstacles Introducing WAC through Collaboration between a German University Writing Center and German High Schools, Luise Beaumont, Mandy Pydde, and Simone Tschirpke -- Chapter 8: "So Much More Than Just an 'A'": A Transformative High School and University Writing Center Partnership, Marie Hansen, Debra Hartley, Kirsten Jamsen, Katie Levin, and Kristen Nichols-Besel -- Chapter 9: "Oh, I Get By with a Little Help from My Friends": Short-Term Writing Center/Community Collaborations, Trixie G. …”
Access online version

History in the Making A History of the People of the United States of America to 1877 by Locks, Catherine, Mergel, Sarah K., Roseman, Pamela Thomas, Spike, Tamara

Table of Contents: “…Chapter One: United States History Before Columbus -- Chapter Two: The Global Context: Asia, Europe, and Africa in the Early Modern Era -- Chapter Three: Initial Contact and Conquest -- Chapter Four: The Establishment of English Colonies Before 1642 and Their Development Through the Late Seventeenth Century -- Chapter Five: English Colonization After 1660 -- Chapter Six: Growing Pains in the Colonies -- Chapter Seven: The Road to Revolution, 1754-1775 -- Chapter Eight: the American Revolution -- Chapter Nine: Articles of Confederation and the Constitution -- Chapter Ten: The Federalist Era -- Chapter Eleven: The Early Republic -- Chapter Twelve: Jacksonian America (1815-1840) -- Chapter Thirteen: Antebellum Revival and Reform -- Chapter Fourteen: Westward Expansion -- Chapter Fifteen: The Impending Crisis -- Chapter Sixteen: The Civil War -- Chapter Seventeen: Reconstruction…”
Access online version

Equity, Equality and Diversity in the Nordic Model of Education

Table of Contents: “…Björnsson -- Section 2 -- Teaching culturally diverse student groups in the Nordic countries: What can the TALIS 2018 data tell us? …”
Link to Metadata

Remedies against Immunity? Reconciling International and Domestic Law after the Italian Constitutional Court's Sentenza 238/2014 /

Table of Contents: “…by Andreas Zimmermann -- Part V - Courts: 13 A Dangerous Last Line of Defence: Or, a Roman Court Goes Lutheran by Christian J. Tams -- 14 Teaching the World Court Makes a Bad Case: Revisiting the Relationship between by Domestic Courts and the ICJ by Raffaela Kunz -- 15 Between Cynicism and Idealism: Is the Italian Constitutional Court Passing the Buck to the Italian Judiciary? …”
Link to Metadata

Health Dimensions of COVID-19 in India and Beyond

Table of Contents: “…Commentary-"I Just Want To Go Home": What The Lockdown Meant for India's Inter-state Migrants Workers (Ms. …”
Link to Metadata

Law of Wills by Lewis, Browne C.

Table of Contents: “…Part I – The Intestacy System -- Chapter One: Ethically Representing the Elderly Client -- Chapter Two: Intestacy System (Basic Overview) -- Chapter Three: Intestacy System (Surviving Spouse) -- Chapter Four: The Intestacy System (Marital and Adopted Children) -- Chapter Five: Intestacy (Non-Marital Children, Stepchildren and Foster Children) -- Chapter Six: Intestacy (Children of Assisted Reproductive Technology) -- Part II —The Testacy System -- Chapter Seven: Testamentary Freedom -- Chapter Eight: Disinheritance -- Chapter Nine: Testamentary Capacity (Mental Competency and Insane Delusion) -- Chapter Ten: Testamentary Capacity (Undue Influence, Duress and Fraud) -- Chapter Eleven: Attested Wills -- Chapter Twelve: Non-Attested Wills -- Chapter Thirteen: Additional Doctrines Impacting Wills -- Chapter Fourteen: Mistakes and Curative Doctrines -- Chapter Fifteen: The Stale Will Problem -- Part III — Nonprobate Transfers -- Chapter Sixteen: Will Substitutes…”
Access online version

A Guide to Good Reasoning Cultivating Intellectual Virtues by Wilson, David C.

Table of Contents: “…-- Part Two: Clarifying Arguments -- Chapter Three: A Framework for Clarifying -- Chapter Four: Streamlining -- Chapter Five: Specifying -- Chapter Six: Structuring -- Part Three: Evaluating Arguments -- Chapter Seven: A Framework for Evaluating -- Chapter Eight: Fallacies -- Part Four: Evaluating the Truth of the Premises -- Chapter Nine: How to Think About Truth -- Part Five: Evaluating Deductive Logic -- Chapter Ten: How to Think About Deductive Logic -- Chapter Eleven: If–Then Arguments -- Chapter Twelve: Either–Or Arguments and More -- Part Six: Evaluating Inductive Logic -- Chapter Thirteen: How to Think About Inductive Logic -- Chapter Fourteen: Inductive Generalization -- Chapter Fifteen: Arguments from Analogy -- Chapter Sixteen: Explanatory Arguments -- --…”
Access online version

Sex Work, Health, and Human Rights Global Inequities, Challenges, and Opportunities for Action /

Table of Contents: “…Stigma, Denial of Health Services, and Other Human Rights Violations Faced by Sex Workers in Africa: 'My eyes were full of tears throughout walking towards the clinic that I was referred to' -- Chapter 9. …”
Link to Metadata

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers /

Table of Contents: “…Preventing Ecosystem Death through Lessons in Ecosystem Health -- Genesis of a Wood Harvesting B2B Software Platform -- Towards aTaxonomy of Impact Factors for Digital Platform Pricing -- Assessing the Health of the Dark Web: An Analysis of Dark Web Open Source Software Projects -- Using Guilds to Foster Internal Startups in Large Organizations: A case study -- Employee-Driven Innovation to Fuel Internal Software Startups: Preliminary Findings -- Towards a framework to guide the development of practices for software startups -- 2nd Workshop on Agility with Microservice Programming -- Towards Integrating Blockchains with Microservice Architecture Using Model-Driven Engineering -- A service mesh for collaboration between geo-distributed services: the replication case -- Implementation of a microservice-based certification platform -- Poster presentations -- Multiple Roles of Middle Managers in Agile Project Governance: An Activity Theory Perspective -- Cherry Picking - Agile Software Development Teams Applying Design Thinking Tools -- From Project to Product -- Panels -- The Stories We Tell: Experience, Research, or Patterns? …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Computation and the Humanities Towards an Oral History of Digital Humanities / by Nyhan, Julianne, Flinn, Andrew

Table of Contents: “…--  'Individuation is There in all the Different Strata:' an Oral History Conversation between John Burrows, Hugh Craig and Willard McCarty -- 'It was a Time When the University was Still Taking Account of the Meaning of universitas scientiarum': an Oral History Conversation between Wilhelm Ott and Julianne Nyhan -- 'hic Rhodus, hic salta': An Oral History Interview Between Tito Orlandi and Julianne Nyhan -- 'They Took a Chance': An Oral History Conversation between Susan Hockey and Julianne Nyhan --  'And Here We go Back Again to the Influence of Algorithmic Thinking': An Oral History conversation between Judy Malloy and Julianne Nyhan -- 'I Would Think of Myself as Sitting Inside the Computer, Moving Things Around in Order to Accomplish the Goal of my Programming': An Oral History Conversation Between Mary Dee Harris and Julianne Nyhan -- 'I Was Absolutely Convinced That There Had to be a Better Way': An Oral History Conversation Between John Nitti and Julianne Nyhan -- 'It's a Little Mind-Boggling Actually': An Oral History Conversation between Helen Agüera and Julianne Nyhan --  'I Heard About the Arrival of the Computer': An Oral History Conversation Between Hans Rutimann and Julianne Nyhan --  'Langezeit habe ich der Universitaet nachgetrauert': An Oral History Conversation between Michael Sperberg-McQueen and Julianne Nyhan.…”
Link to Metadata

Evaluating Climate Change Action for Sustainable Development

Table of Contents: “…Action on Climate Change: What Does it Mean and Where Does it Lead To? -- Part 1. Policy -- 3. …”
Link to Metadata

Qualitative Research in European Migration Studies

Table of Contents: “…: Annalisa Frisina -- Chapter 12: Participant Observation in Migration Studies: An Overview and Some Emerging Issues: Paolo Boccagni, Mieke Schrooten -- Chapter 13: Discourse and Migration: Teun A. van Dijk -- Chapter 14: Doing Digital Migration Studies: Methodological Considerations for an Emerging Research Focus: Koen Leurs,Madhuri Prabhakar -- Part IV: Significant Requirements before Embarking: Chapter 15: Methodological and Ethical Dilemmas in Research among Smuggled Migrants: Ilse van Liempt, Veronika Bilger -- Chapter 16: Research-policy Relations and Migration Studies: Peter Scholten -- About the authors. .…”
Link to Metadata

NL ARMS Netherlands Annual Review of Military Studies 2020 Deterrence in the 21st Century-Insights from Theory and Practice /

Table of Contents: “…Deterrence: A Continuation of Emotional Life with the Admixture of Violent Means -- Chapter 26. The Missing Component in Deterrence Theory: The Legal Framework -- Conclusion: Insights fromTheory and Practice.…”
Link to Metadata

Writing as Material Practice Substance, surface and medium

Table of Contents: “…Re-writing the Script: Decoding the textual experience in the Bronze Age Levant (c.2000–1150 bc) (Rachael Thyrza Sparks) -- Chapter 6. The Function and Meaning of Writing in the Prehistoric Aegean: Some reflections on the social and symbolic significance of writing from a material perspective (Helène Whittaker) -- Chapter 7. …”
Access online version

The EBMT Handbook Hematopoietic Stem Cell Transplantation and Cellular Therapies /

Table of Contents: “…Secondary neoplasia (other than PTLPS) -- Part 6. Specific organ complications -- 48. …”
Link to Metadata

The Archaeology of Europe's Drowned Landscapes

Table of Contents: “…France: Submerged Prehistory on Atlantic and Mediterranean Coasts (Cyrille Billard, Marie-Yvane Daire and Chloé Martin, with contributions by Yves Billaud, Catherine Bizien-Jaglin, Antoine Chancerel, Dominique Cliquet, Nathalie Fourment, Henri Gandois, Briagell Huet, Marine Laforge, Loïc Langouët, Luc Laporte, Jean-Marc Large, Frédéric Leroy, Elias López-Romero, Léopold Maurel, Jean-Laurent Monnier, Pierre Régaldo, Anne Ropars, Pierre Stéphan and Luc Vallin) -- Chapter 13. …”
Link to Metadata

International Advances in Writing Research Cultures, Places, Measures by Bazerman, Charles, Dean, Chris, Early, Jessica Singer, Lunsford, Karen, Null, Suzie, Rogers, Paul, Stansell, Amanda

Table of Contents: “…Rethinking K-12 Writing Assessment to Support Best Instructional Practices, Paul Deane, John Sabatini, and Mary Fowles -- Chapter 6. …”
Access online version

Equilibrium Displacement Models Theory, Applications, & Policy Analysis by Brester, Gary W, Atwood, Joseph A, Boland, Michael A

Table of Contents: “…Preface -- Chapter One: Equilibrium Displacement Models -- Chapter Two: Equilibrium Displacement Model Applications -- Chapter Three: Mathematical Tools for Evaluating Market Perturbations -- Chapter Three, Appendix A: Review of Linear Algebra and Differential Calculus -- Chapter Four: Economic Modeling in Primal and Dual Environments -- Chapter Four, Appendix A: Homogeneity of Degree 1 Production Functions and the Development of a Dual EDM System -- Chapter Four, Appendix B: Multiplicative Technology Shocks -- Chapter Five: EDM Policy Applications: One Output, Two Inputs -- Chapter Six: Relaxing the Assumption of Perfect Competition -- Chapter Seven: EDM Policy Applications: Multiple Markets -- Chapter Eight: Consumer Surplus, Producer Surplus, and Deadweight Losses -- Chapter Nine: Sensitivity Analyses of Equilibrium Displacement Models -- Chapter Nine, Appendix A: Constructing and Estimating EDM Confidence Intervals using Simulation Procedures -- Chapter Ten: Summary -- References…”
Access online version