Search Results - Totley~
Suggested Topics within your search.
Suggested Topics within your search.
- English wit and humor -- Periodicals 146
- Research & information: general 96
- Biology, life sciences 94
- Netherlands -- History -- Eighty Years' War, 1568-1648 85
- Medicine 57
- History of engineering & technology 52
- Technology: general issues 43
- Technology, engineering, agriculture 22
- Botany & plant sciences 19
- Politics & government 15
- Oldenbarnevelt, Johan van, 1547-1619 14
- History 13
- Education 11
- Agriculture 9
- Environmental economics 9
- Anthropology 8
- Indigenous peoples 8
- Religion & beliefs 8
- Social & political philosophy 8
- Archaeology 7
- Fiction 7
- Humanities 7
- Law 7
- Literary studies: general 7
- Philosophy 7
- Science: general issues 7
- Applied ecology 6
- Australia 6
- Comparative politics 6
- Forestry & related industries 6
-
3481
Building a Resilient and Sustainable Agriculture in Sub-Saharan Africa
Published 2018Table of Contents: “…Chapter 1: Understanding the Challenges of the Agriculture Sector in Sub-Saharan Africa -- Part I - Improving Agricultural Productivity -- Chapter 2: Improved Seeds and Agricultural Productivity of Family Farms in Cameroon -- Chapter 3: Breaking the Traditional Trap: Assessing Drivers of Modern Technology Adoption by Smallholder Farmers in Hurungwe District, Zimbabwe -- Chapter 4: Input Utilization and Agricultural Labour Productivity: A Gender Analysis -- Chapter 5: Evaluation of Women's On-Farm Trial of Drought Tolerant Maize in Southern Guinea Savannah Agro-Ecological Zone of Nigeria -- Chapter 6: Impact of Bioenergy Crop Adoption on Total Crop Incomes of Farmers in Northern Ghana: The Case of Jatropha Curcas -- Part II - Addressing Climate Change Challenges -- Chapter 7: Profitability in a Sustainable Agricultural Production System: An Approach by the Soil and Water Conservation -- Chapter 8: Land Tenure and Communities' Vulnerability to Climate Shocks: Insights from the Niger Basin of Benin -- Chapter 9: Impact of Drought Index Insurance on Supplemental Irrigation: A Randomized Controlled Trial Experimental Evidence in Northern Ghana -- Part III - Promoting Agro-Industrialization -- Chapter 10: Does the Development of the Agricultural Sector Affect the Manufacturing Sector? …”
Link to Metadata
Electronic eBook -
3482
-
3483
Protest Movements in Asylum and Deportation
Published 2018Table of Contents: “…An Introduction: Sieglinde Rosenberger -- Part I: Contextualizing Protest: 2: Asylum Policies and Protests in Austria: Nina Merhaut, Verena Stern -- 3: Between Illegalization, Toleration, and Recognition: Contested Asylum and Deportation Policies in Germany: Maren Kirchhoff, David Lorenz -- 4: Who Ought to Stay? …”
Link to Metadata
Electronic eBook -
3484
Design Discourse Composing and Revising Programs in Professional and Technical Writing
Published 2010Table of Contents: “…Gary Griswold -- Disciplinary Identities: Professional Writing, Rhetorical Studies, and Rethinking "English", Brent Henze, Wendy Sharer, and Janice Tovey -- Revising -- Smart Growth of Professional Writing Programs: Controlling Sprawl in Departmental Landscapes, Diana Ashe and Colleen A. …”
Access online version
Electronic eBook -
3485
Invasive Species in Forests and Rangelands of the United States A Comprehensive Science Synthesis for the United States Forest Sector /
Published 2021Table of Contents: “…Poland, Jennifer Juzwik, Allen Rowley, Cynthia D. Huebner, John C. Kilgo, Vanessa M. …”
Link to Metadata
Electronic eBook -
3486
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Published 2019Table 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
Electronic eBook -
3487
Technological and Institutional Innovations for Marginalized Smallholders in Agricultural Development
Published 2016Table of Contents: “…A Novel Perspective for Emergng Bioeconomies in Sub-Saharan Africa -- Part 3 Sustainable Intensification of Agriculture -- 15. 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
Electronic eBook -
3488
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...
Published 2022Table 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
Electronic eBook -
3489
Computation and the Humanities Towards an Oral History of Digital Humanities /
Published 2016Table of Contents: “…-'It's Probably the Only Modestly Widely used System with a Command Language in Latin': An Oral History Conversation Between Manfred Thaller and Julianne Nyhan -- 'I was Keen on Getting Computers into Humanists' Thinking': An Oral History Conversation Between John Bradley and Julianne Nyhan -- 'Moderate Expectations, Tolerable Disappointments': An Oral History Conversation between Claus Huitfeldt and Julianne Nyhan -- 'So, Into the Chopper it Went': An Oral History Conversation between Gabriel Egan and Julianne Nyhan -- Revolutionaries and Underdogs -- By Way of a Conclusion.…”
Link to Metadata
Electronic eBook -
3490
-
3491
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Table of Contents: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
Link to Metadata
Electronic eBook -
3492
Managing Protected Areas in Central and Eastern Europe Under Climate Change
Published 2014Table of Contents: “…Preface -- Acknowledgements -- Chapter 1 - Natural Heritage at Risk by Climate Change -- Chapter 2 - Climate Change in Central and Eastern Europe -- Chapter 3 - Effects of Climate Change on the Hydrological Cycle in Central and Eastern Europe -- Chapter 4 - Potential impacts of climate change on protected habitats -- Chapter 5 - Climate Change impact modelling cascade - Benefits and limitations for -- Chapter 6 - Indicators for Monitoring Climate Change-Induced Effects on Habitats - a -- Chapter 7 - Remote Sensing-based Monitoring of Potential Climate-induced Impacts on Habitats -- Chapter 8 - Assessment of Climate-induced Impacts on Habitats -- Chapter 9 - Legal Aspects of Climate Change Adaptation -- Chapter 10 - A Methodical Framework for Climate Change-Adapted Management in Protected Areas -- Chapter 11 - Monitoring concept of climate-induced impacts on peat bog vegetation in Pokljuka plateau in Triglav National Park, Slovenia -- Chapter 12 - Concept for the monitoring of climate induced impacts on rock ptarmigan (Lagopus muta) in Triglav National Park, Slovenia -- Chapter 13 - Suggested management measures for Natura 2000 Habitats in Körös-Maros National Park, Hungary -- Chapter 14 - Climate-induced challenges for wetlands: revealing the background for the adaptive ecosystem management in the Biebrza Valley, Poland -- Chapter 15 - Habitat changes caused by sea level rise, driven by climate change in the Northern Adriatic coastal wetlands, Slovenia -- Chapter 16 - Potential impacts of climate change on forest habitats in the Biosphere Reserve Vessertal-Thuringian Forest in Germany -- Chapter 17 - Potential Impact of Climate Change on Alpine Habitats from Bucegi Natural Park, Romania -- Chapter 18 - Potential Impacts of Climate Change on Habitats and their Effects on Invasive Plant Species in Danube Delta Biosphere Reserve, Romania -- Chapter 19 - Reproduction biology of an alien invasive plant: a case of drought-tolerant Aster squamatus on the Northern Adriatic seacoast, Slovenia -- Chapter 20 - Conclusions and Recommendations for Adapting Conservation Management in the Face of Climate Change -- Index.…”
Link to Metadata
Electronic eBook -
3493
Agricultural Development in Asia and Africa Essays in Honor of Keijiro Otsuka /
Published 2023Table of Contents: “…-The Central Luzon Loop Survey: Rice Farming in the Philippines from 1966 to 2021 -- Diffusion of Submergence-tolerant Rice in South Asia -- Toward a Green Revolution in Sub-Saharan Africa: Farm Mechanization in the Mwea Irrigation Scheme -- How Can We Achieve Green Revolution in Sub-Saharan Africa? …”
Link to Metadata
Electronic eBook -
3494
Advances in Wheat Genetics: From Genome to Field Proceedings of the 12th International Wheat Genetics Symposium /
Published 2015Table of Contents: “….: morphology, hybrid sterility and gametocidal genes -- Part III Cytogenetics and Allopolyploid Evolution -- 7 Wheat chromosome analysis -- 8 New aneuploids of common wheat -- 9 Chromosomal changes over the course of polyploid wheat evolution and domestication -- Part IV Toward Whole Genome Sequencing -- 10 Comprehensive functional analysesof expressed sequence tags in common wheat -- 11 Development of the BAC physical maps of wheat chromosome 6B for its genomic sequencing -- Part V Structural and Functional Genomics -- 12 Sequencing of wheat chromosome 6B: toward functional genomics -- 13 Genetic mechanisms of vernalization requirement duration in winter wheat cultivars -- 14 Building ultra-dense genetic maps in the presence of genotyping errors and missing data -- Part VI Functional Gene Analysis and Molecular Tools -- 15 Exploiting comparative biology and genomics to understand a trait in wheat, Ph1 -- 16 The specific features of anthocyanin biosynthesis regulation in wheat -- 17 Association of wheat miRNAs with hybrid incompatibility in interspecific crosses of Triticum and Aegilops -- 18 High efficiency wheat transformation mediated by Agrobacterium tumefaciens -- 19 extra early-flowering (exe) mutants in einkorn wheat generated by heavy-ion beam irradiation -- Part VII Biotic Stress Response -- 20 Stem rust resistance - two approaches -- 21 Germplasm enhancement for resistance to Pyrenophora tritici-repentis in wheat -- 22 Next Generation Sequencing enabled genetics in hexaploid wheat -- Part VIII Abiotic Stress Response -- 23 Genomics approaches to dissect the genetic basis of drought resistance in durum wheat -- 24 Hybrid breeding in wheat -- 25 Broadening the genetic diversity of common and durum wheat for abiotic stress tolerance breeding -- 26 Early maturity in wheat for adaptation to high temperature stress -- 27 Gene expression profiles involved in development of freezing tolerance in common wheat -- Part IX Improvement of Grain Quality -- 28 Coping with wheat quality in a changing environment - Proteomics evidence for stress caused by environmental changes -- 29 Starch modification: a model for wheat MAS breeding -- 30 Quality characteristics of soft kernel durum - a new cereal crop -- 31 Proposal of international gluten research group -- 32 Enlargement of the genetic diversity for grain quality in bread wheat through alien introgression -- 33 Complex G x E interactions and QTL clusters govern end-use quality traits in hexaploid wheat -- 34 A consistent QTL for flour yield on chromosome 3B in the soft winter wheat variety, Kitahonami -- Part X Marker-Assisted Breeding -- 35 Recent improvements in Japanese wheat varieties -- 36 Determining the order of resistance genes Qsng-3BS, Fhb1 and Sr2 and combining them in coupling on wheat chromosome 3BS -- 37 Meta-analysis of resistance to Fusarium head blight in tetraploid wheat - implications for durum wheat breeding -- 38 Interest of a multiparental and outcrossing wheat population for fine mapping -- 39 The effect of Earliness per se (Eps) genes on flowering time in bread wheat -- Part XI Toward Sustainable Wheat Production -- 40 Recapitulating the OECD-CRP session (sponsored by the OECD's Co-operative Research Program on Biological Resource Management for Sustainable Agricultural Systems -- 41 Exploring genetic resources to increase adaptation of wheat to climate change -- 42 Genomic approaches towards durable fungal disease resistance in wheat -- 43 Review and new progress in wheat wide hybridization for improving the resistance to biotic and abiotic stresses -- 44 Global crop improvement networks to bridge technology gaps -- 45 Genomic selection in plants: empirical results and implications for wheat breeding -- 46 Dietary fibre: wheat genes for enhanced human health -- BM Appendix I: Program -- Appendix II: Poster Presentation List -- Appendix III: Committees.…”
Link to Metadata
Electronic eBook -
3495
When Children Draw Gods A Multicultural and Interdisciplinary Approach to Children's Representations of Supernatural Agents /
Published 2023Table of Contents: “…Emotional expression in children's drawings of God according to age, gender and religiosity (Richard P. Jolley, Grégory Dessart) -- Chapter 8. Different attachment styles in relation to children's drawings of God: a qualitative and quantitative exploration, (Hanneke Muthert, Hanneke Schaap-Jonker) -- Chapter 9. …”
Link to Metadata
Electronic eBook -
3496
British Literature I Anthology From the Middle Ages to Neoclassicism and the Eighteenth Century
Published 2018Table of Contents: “…Part 1: The Middle Ages -- 1.1 Learning Outcomes -- 1.2 Introduction -- 1.3 Recommended Reading -- 1.4 The Dream of the Rood -- 1.5 Beowulf -- 1.6 Judith -- 1.7 The Wanderer -- 1.8 The Wife's Lament -- 1.9 The Venerable Bede -- 1.10 Anglo-Saxon Riddles -- 1.11 Marie de France -- 1.12 Middle English Lyrics -- 1.13 Geoffrey Chaucer -- 1.14 Sir Gawain and the Green Knight -- 1.15 Julian of Norwich -- 1.16 The Second Shepherds' Play -- 1.17 Sir Thomas Malory -- 1.18 Everyman -- 1.19 Key Terms -- Part Two: The Tudor Age (1485-1603) -- 2.1 Learning Outcomes -- 2.2 Introduction -- 2.3 Recommended Reading -- 2.4 Thomas More -- 2.5 Thomas Wyatt -- 2.6 Henry Howard, Earl of Surrey -- 2.7 Queen Elizabeth -- 2.8 Edmund Spenser -- 2.9 Sir Walter Raleigh -- 2.10 Sir Philip Sidney -- 2.11 Mary (Sidney) Herbert, Countess of Pembroke -- 2.12 Christopher Marlowe -- 2.13 William Shakespeare -- 2.14 Key Terms -- Part 3: The Seventeenth Century: The Age of Revolution (1603-1688) -- 3.1 Learning Outcomes -- 3.2 Introduction -- 3.3 Recommended Reading -- 3.4 John Donne -- 3.5 Aemilia Lanyer -- 3.6 Ben Jonson -- 3.7 Robert Herrick -- 3.8 Andrew Marvell -- 3.9 Margaret Cavendish, the Duchess of Newcastle -- 3.10 John Milton -- 3.11 John Dryden -- 3.12 Samuel Pepys -- 3.13 Key Terms -- Part 4: Neoclassicism and the Eighteenth Century (1603-1688) -- 4.1 Learning Outcomes -- 4.2 Introduction -- 4.3 Recommended Reading -- 4.4 Aphra Behn -- 4.5 William Congreve -- 4.6 Daniel Defoe -- 4.7 Anne Finch, Countess of Winchilsea -- 4.8 Jonathan Swift -- 4.9 Alexander Pope -- 4.10 Henry Fielding -- 4.11 Lady Mary Wortley Montagu -- 4.12 Samuel Johnson -- 4.13 James Boswell -- 4.14 Olaudah Equiano -- 4.15 Key Terms…”
Access online version
Electronic eBook -
3497
Smart Technologies for Precision Assembly 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14-15, 2020, Revised Selected Papers /
Published 2021Table of Contents: “…Keynote Paper -- Augmented Reality in Assembly Systems: State of the Art and Future Perspectives -- Assembly Design and Planning -- Application of a Standardized Design Procedure in the Development of Automated Micro-Assembly Processes -- Towards the Automated Coverlay Assembly in FPCB Manufacturing: Concept and Preliminary Tests -- Resource Interface Matchmaking as a Part of Automatic Capacity Matchmaking -- Investigation on the Convergence of the Genetic Algorithm of an Aerodynamic Feeding System due to the Enlargement of the Solution Space -- Assembly Operations -- Indirect System Condition Monitoring using Online Bayesian Changepoint Direction -- Strategies for Dealing with Problems in Robotised Unscrewing Operations -- Improving Automated Insertion Task in Robotics by Reducing Registration Error -- Assembly Cells and Systems -- Development of a Sensitive Winding Application Based on a Serial Robot and Integrated Torque Sensors -- High-Load Titanium Drilling using anAccurate Robotic Machining System -- Application of Advanced Simulation Methods for the Tolerance Analysis of Mechanical Assemblies -- Development of a Low-Cost, High Accuracy, Flexible Panel Indexing Cell with Modular, Elastic Architecture -- Context-Aware Plug and Produce for Robotic Aerospace Assembly -- Data Capture and Visualisation on a Shoestring: Demonstrating the Digital Manufacturing on a Shoestring Project -- Digital Innovation Hubs for Enhancing the Technology Transfer and Digital Transformation of the European Manufacturing Industry -- Plenoptic Inspection System for Automatic Quality Control of MEMS and Microsystems -- Human Centred Assembly -- Automated Information Supply of Worker Guidance Systems in Smart Assembly Environment -- Towards Human and Robot Collaborative Ergonomic Handling of Long Parts with a Loose Grip -- Human and Workcell Event Recognition and its Application Areas in Industrial Assembly -- Cognitive Acceptance to Support Maintenance and Assembly Tasks: Results on Technology Acceptance of a Head-Mounted Device -- Usability Study of Learning-Based Pose Estimation of Industrial Objects from Synthetic Depth Data -- Assistance Methods in Assembly -- Assistance Needs in Production Environments: A Contextual Exploration of Workers' Experiences and Work Practices -- Attention Analysis for Assistance in Assembly Processes -- Live Video Assistance Systems for Assembly Processes -- Orchestration and Situation Awareness in an Assistance System for Assembly Task -- Safety as Bad Cop of Physical Assistance Systems? …”
Link to Metadata
Electronic eBook -
3498
Children and Peace From Research to Action /
Published 2020Table of Contents: “…Civic Participation and Other Interventions that Promote Children's Tolerance of Migrants -- 7. Does Participating in Volunteer Organizations Promote Migrant Integration? …”
Link to Metadata
Electronic eBook -
3499
Neues von der Insel Englische Literatur und Kultur der Frühen Neuzeit in deutscher Übersetzung /
Published 2024Table of Contents: “…Was die Vernünftigen Tadlerinnen mit The Tatler anstellen -- Sektion 2: Gattungen, Medien und Künste -- 9. …”
Link to Metadata
Electronic eBook -
3500