Showing 4,841 - 4,860 results of 5,791 for search 'Agulo~', query time: 1.67s Refine Results
  1. 4841
  2. 4842
  3. 4843
  4. 4844
  5. 4845
  6. 4846

    Progress in Landslide Research and Technology, Volume 2 Issue 2, 2023

    Published 2023
    Table of Contents: “…A case study in Croatia -- An Integrated approach to landslides risk management for local and national authorities -- Assessing landslide hazard in the High City of Antananarivo, Madagascar (UNESCO Tentative site) -- Part V: ICL Landslide Teaching Tools -- Teaching Tools for LS-Tsnnamis -- Part VI: Technical Notes and Case Studies -- CliRtheRoads - An integrated approach to landslide risk management on roads in Serbia -- Part VII: World Landslide Reports -- Rock slope instabilities affecting the AlUla archaeological sites (KSA) -- Refugees' perception of landslide disasters: Insights from the Rohingya camps in Cox's Bazar, Bangladesh.…”
    Link to Metadata
    Electronic eBook
  7. 4847

    British Literature I Anthology From the Middle Ages to Neoclassicism and the Eighteenth Century

    Published 2018
    Table 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
  8. 4848

    Migration in Southern Africa IMISCOE Regional Reader /

    Published 2022
    Table of Contents: “…Refugee Policy as Infrastructure: the Gulf between Policy Intent and Implementation for Refugees and Asylum Seekers in South Africa -- Chapter 7. …”
    Link to Metadata
    Electronic eBook
  9. 4849

    From Assessing to Conserving Biodiversity Conceptual and Practical Challenges /

    Published 2019
    Table of Contents: “…The Importance of Scaling in Biodiversity (Luís Borda de Agua) -- Part II. Estimating Biodiversity: Limitation and Challenges -- Chapter 6. …”
    Link to Metadata
    Electronic eBook
  10. 4850

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

    Published 2023
    Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
    Link to Metadata
    Electronic eBook
  11. 4851

    Improving Interagency Collaboration, Innovation and Learning in Criminal Justice Systems Supporting Offender Rehabilitation /

    Published 2021
    Table of Contents: “…Tracing The Historical Development Of A Service Model For Interagency Collaboration: Contradictions As Barriers And Potential Drivers For Change, Paulo Rocha And Sarah Hean -- 7. Mentoring In Practice. …”
    Link to Metadata
    Electronic eBook
  12. 4852

    Contemporary Perspectives on Ageism

    Published 2018
    Table of Contents: “…Wyman, Sharon Shiovitz-Ezra, and Jürgen Bengel -- Ageism in Medication Use in Older Patients: Daniela Fialová, Ingrid Kummer, Margita Držaić, & Marcel Leppee -- Ageism in Mental Health Assessment and Treatment of Older Adults: Mary F. Wyman, Sharon Shiovitz-Ezra, & Jürgen Bengel -- Ageism and Dementia: Simon Evans -- Ageism and Neuropsychological Tests: Boaz M. …”
    Link to Metadata
    Electronic eBook
  13. 4853

    To Be a Minority Teacher in a Foreign Culture Empirical Evidence from an International Perspective /

    Published 2023
    Table of Contents: “…Israel: Palestinian-Israeli teachers' identity as a culture mediator and their motives to teach in Jewish schools -- 23. A critical auto-ethnography of a Latina teacher in USA: Ethnic, cultural and academic teacher identity negotiations and the intersections between them. .…”
    Link to Metadata
    Electronic eBook
  14. 4854

    The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceeding...

    Published 2020
    Table of Contents: “…IoT and AI Solutions for E-health -- Alzheimer's Disease Early Detection Using a Low Cost Three-dimensional Densenet-121 Architecture -- Self-adaptative Early Warning Scoring System for Smart Hospital -- Machine Learning Based Rank Attack Detection for Smart Hospital Infrastructure -- Remote Health Monitoring Systems Based on Bluetooth Low Energy (BLE) Communication Systems -- Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications -- Biomedical and Health Informatics -- EEG-based Hypo-vigilance Detection Using Convolutional Neural Network -- Respiratory Activity Classification Based on Ballistocardiogram Analysis -- A Convolutional Neural Network for Lentigo Diagnosis -- Deep Learning-based Approach for Atrial Fibrillation Detection -- Unsupervised Method Based on Superpixel Segmentation for Corpus Callosum Parcellation in MRI Scans -- Behavior and Activity Monitoring -- Using Learning Techniques to Observe Elderly's Behavior Changes Over Time -- Personalized and Contextualized Persuasion System for Older Adults' Physical Activity Promoting -- Baseline Modelling and Composite Representation of Unobtrusively (IoT) Sensed Behaviour Changes Related to Urban Physical Well-being -- Wellbeing Technology -- Automatic Daily Activity Schedule Planning for Simulating Smart House with Elderly People Living Alone -- A Novel On-wrist Fall Detection System Using Supervised Dictionary Learning Technique -- Combined Machine Learning and Semantic Modelling for Situation Awareness and Healthcare Decision Support -- Improving Access and Mental Health for Youth Through Virtual Models of Care -- Short Contributions: IoT and AI Solutions for E-health -- Study of Middleware for Internet of Healthcare Things and Their Applications -- Uncertainty in IoT for Smart Healthcare: Challenges, and Opportunities -- Secure E-health Platform -- Hybrid and Secure E-health Data Sharing Architecture in Multi-Clouds Environment -- Blockchain for Internet of Medical Things: A technical Review -- Application of Blockchain Technology in Healthcare: A Comprehensive Study -- Trust Execution Environment and Multi-party Computation for Blockchain E-health Systems -- A Fuzzy-ontology Based Diabetes Monitoring System Using Internet of Things -- Short Contributions: Biomedical and Health Informatics -- A Hybrid Approach for Heart Disease Diagnosis and Prediction Using Machine Learning Techniques -- Context-aware Healthcare Adaptation Model for COPD Diseases -- Study of Healthcare Professionals' Interaction in the Patient Records with Annotations -- Multirate ECG Processing and Machine Learning Based Efficient Arrhythmia Diagnosis -- Comparative Study of Relevant Methods for MRI/X Brain Image Registration -- Machine Learning Classification Models with SPD/ED Dataset: Comparative Study of Abstract Versus Full Article Approach -- Evaluation of Stationary Wavelet Transforms in Reconstruction of Pure High Frequency Oscillations (HFOs) -- Ensuring theCorrectness and Well Modeling of Intelligent Healthcare Management Systems -- Short Contributions: Wellbeing Technology -- An Embedded ANN Raspberry PI for Inertial Sensor Based Human Activity Recognition -- Human Activities Recognition in Android Smartphone using WSVM-HMM Classifier -- Mobile Assistive Application for Blind People in Indoor Navigation -- Older People's Needs and Opportunities for Assistive Technologies -- Towards a Formal Context-Aware Workflow Model for Ambient Environment -- The PULSE Project: A Case of Use of Big Data Uses Toward a Cohomprensive Health Vision of City Well Being -- ForeSight - An AI-driven Smart Living Platform, Approach to Add Access Control to openHAB.…”
    Link to Metadata
    Electronic eBook
  15. 4855

    Proceedings of the 13th International Congress on Mathematical Education ICME-13 /

    Published 2017
    Table of Contents: “…Nemenzo, Masami Isoda, Maitree Inprasitha, Sampan Thinwiangthong, Narumon Changsri, Nisakorn Boonsena, Chan Roth, Monkolsery Lin, Souksomphone Anothay, Phoutsakhone Channgakham, Nguyen Chi Thanh, VŨ NHƯ Thư Hương, Phương Thảo Nguyễn -- Teaching and learning mathematics in Turkey, Huriye Arikan -- Part 6: Reports from the Topical Study Groups -- Topic study group no. 01 Early childhood mathematics education (up to age 7), Iliada Elia, Joanne Mulligan -- Topic study group no. 02 Mathematics education at tertiary level, Victor Giraldo, Chris Rasmussen -- Topic study group no. 03 Mathematics education in and for work, Diana Coben, Geoff Wake -- Topic study group no. 04 Activities for, and research on, mathematically gifted students, Florence Mihaela Singer, Linda Jensen Sheffield -- Topic study group no. 05 Classroom practice and research for students with mathematical learning difficulties, Lourdes Figueiras, Rose Griffiths -- Topic study group no. 06 Adult learning, Pradeep Kumar Misra, Jürgen Maaß -- Topic study group no. 07 Populariztion of Mathematics, Christian Mercat, Patrick Vennebush -- Topic study group no. 08 Teaching and learning of arithmetic and number systems (focus on primary education), Pi-Jen Lin, Terezinha Nunes -- Topic study group no. 09 Teaching and learning of measurement (focus on primaryeducation), Christine Chambris, Barbara Dougherty -- Topic study group no. 10 Teaching and learning of early algebra, Carolyn Kieran, JeongSuk Pang -- Topic study group no. 11 Teachig and Learning of Algebra, Rakhi Banerjee, Amy Ellis -- Topic study group no. 12 Teaching and learning of geometry (primary level), Sinan Olkun, Ewa Swoboda -- Topic study group no. 13 Teaching and learning of geometry - secondary level, Ui Hock Cheah, Patricio G. …”
    Link to Metadata
    Electronic eBook
  16. 4856

    Digital Kenya An Entrepreneurial Revolution in the Making /

    Published 2017
    Table of Contents: “…INTRODUCING DIGITAL KENYA -- Chapter 1 The Paradigm Shift: Disruption, Creativity and Innovation in Kenya (Bitange Ndemo) -- Conversation 1 with Jimmy Gitonga: The Past, Present & Future of Digital Nyika: How to Fix an Aircraft in Mid-Air -- PART I: LOOKING BACK AND LOOKING AHEAD -- Chapter 2 The Internet Journey for Kenya: The Interplay of Disruptive Innovation and Entrepreneurship in Fueling Rapid Growth Kenya (Muriuki Mureithi) -- Conversation 2 with Eric Hersman of BRCK: Exploring the Ideal Role of Government, NGOs, Angel Investors, and Universities for Technology Entrepreneurs NGOs -- Chapter 3 The KINGS of Africa's Digital Economy (Eric Osiakwan) -- Conversation 3 with Anne Githuku- Shongwe of Afroes: Changing the Game: Building Mindsets of Hope and Possibilities in Africa's future leaders- One Game at a Time -- PART II UNCOVERING UNIQUE MARKET OPPORTUNITIES -- Chapter 4 Addressing the Voids: How Digital Start-ups in Kenya Create Market Infrastructure (Marissa Drouillard) -- Conversation 4 with Timbo Drayson of OkHi: Finding the Right Problem to Solve -- Chapter 5 Reimagine What You already Know: Towards New Solutions to Longstanding Problems (Jay Larson & Michael Munger) -- Conversation 5  with Elizabeth Rossiello of BitPesa: To Keep Disrupting, You Have to Listen Closely to What the Client Wants -- Chapter 6 iEntrepreneurship: Changing Lives through Technology (Amolo Ng'weno and Carmen Wamukoya) -- Conversation 6 with Su Kahumbu of Green Dreams Tech: How Technology Makes Farming Sexy Again -- Chapter 7 From Cyber to Smartphone: Kenya's Social Media's Lens Zooms In on the Country and Out to the World (Mark Kaigwa) -- Conversation 7 with Munyutu Waigi of Umati Capital: Toward Digitizing Information for the Benefit of the Many Rather Than the Few -- PART III THE INNER LIFE OF TECHNOLOGY ENTREPRENEURSHIP IN KENYA -- Chapter 8 Building ICT Entrepreneurship Ecosystems in Resource-Scarce Contexts: Learnings from Kenya's "Silicon Savannah" (Johannes U. …”
    Link to Metadata
    Electronic eBook
  17. 4857

    Sustainability of Southern African Ecosystems under Global Change Science for Management and Policy Interventions /

    Published 2024
    Table of Contents: “…Projections of Future Climate Change in Southern Africa and the Potential for Regional Tipping Points -- Chapter 8. The Agulhas Current System as an Important Driver for Oceanic and Terrestrial Climate -- Chapter 9. …”
    Link to Metadata
    Electronic eBook
  18. 4858

    Health Case Studies by Rees, Glynda, Kruger, Rob, Morrison, Janet

    Published 2017
    Table of Contents: “…Prologue -- Introduction -- Case Study #1: Chronic Obstructive Pulmonary Disease (COPD) -- Learning Objectives -- Patient: Erin Johns -- At Home -- Emergency Room -- Case Study #2: Pneumonia -- Learning Objectives -- Patient: Erin Johns -- At Home -- Day 0: Emergency Room -- Day 1: Emergency Room -- Day 1: Medical Ward -- Day 2: Medical Ward -- Day 3: Medical Ward -- Day 4: Medical Ward -- Discharge -- Case Study #3: Unstable Angina (UA) -- Learning Objectives -- Patient: Harj Singh -- At Home -- Emergency Room -- Case Study #4: Heart Failure (HF) -- Learning Objectives -- Patient: Meryl Smith -- In the Supermarket -- Emergency Room -- Day 0: Medical Ward -- Day 1: Medical Ward -- Day 2: Medical Ward -- Day 3: Medical Ward -- Case Study #5: Motor Vehicle Collision (MVC) -- Learning Objectives -- Patient: Aaron Knoll -- Crash Scene -- Emergency Room -- Operating Room -- Post Anaesthesia Care Unit (PACU) -- Surgical Ward -- Case Study #6: Sepsis -- Learning Objectives -- Patient: George Thomas -- Sleepy Hollow Care Facility -- Emergency Room -- Day 1: Medical Ward -- Day 2: Medical Ward -- Case Study #7: Colon Cancer -- Learning Objectives -- Patient: Fred Johnson -- Two Months Ago -- Pre-Surgery Admission -- Operating Room -- Surgical Ward -- Case Study #8: Deep Vein Thrombosis (DVT) -- Learning Objectives -- Patient: Jamie Douglas -- Surgical Ward -- Appendix: OverviewAbout the Authors…”
    Access online version
    Electronic eBook
  19. 4859

    Reading Prehistoric Human Tracks Methods & Material /

    Published 2021
    Table of Contents: “…Frozen in the Ashes: The 3.66-million-year-old Hominin Footprints from Laetoli, Tanzania (Marco Cherin, Angelo Barili, Giovanni Boschian, Elgidius B. Ichumbaki, Dawid A. …”
    Link to Metadata
    Electronic eBook
  20. 4860

    Arbeit in der digitalisierten Welt Praxisbeispiele und Gestaltungslösungen aus dem BMBF-Förderschwerpunkt /

    Published 2021
    Table of Contents: “…TransWork - Transformation der Arbeit durch Digitalisierung -- Teil I Assistenzsysteme und Kompetenzentwicklung: Arbeits- und prozessorientierte Digitalisierung - Vorgehensweisen, Praxiserfahrungen und Erkenntnisse -- Gesundes mobiles Arbeiten mit digitalen Assistenzsystemen im technischen Service (ArdiAS) -- Entwicklung eines digitalen Lehr- und Lernarrangements für das deutsche Handwerk -- Auswirkungen der Digitalisierung auf die Arbeit im Dienstleistungssektor am Beispiel der Steuerberatung - Ergebnisse des Verbundprojekts KODIMA -- Gestaltung und Integration erfahrungsbasierter Assistenzsysteme in der Stahlindustrie - Eine Reflexion aus dem Forschungsprojekt StahlAssist -- Digitalisierung und Arbeitsorganisation - Wie Assistenzsysteme Gruppenarbeit stärken können (TeamWork 4.0) -- Teil II Projekt- und Teamarbeit in der digitalisierten Arbeitswelt: Gestaltung der Arbeit mit Kollaborationsplattformen - Ergebnisse aus dem Verbundvorhaben CollaboTeam -- Alles agil, alles gut? Warum Gute Arbeit auch in der agilen Welt kein Automatismus ist -- GADIAM - Gesundes Arbeiten mit vernetzten digitalen Arbeitsmitteln: Lösungen zur Prävention von Fremd- und Selbstüberforderung bei entgrenzter Wissens- und Innovationsarbeit -- KAMiiSo - Digitale Hilfsmittel für Kommunikation und Methodeneinsatz in der standortübergreifenden Produktentwicklung -- Selbstständiges Arbeiten in der digitalen Fabrik -- Modelle ressourcenorientierter und effektiver Führung digitaler Projekt- und Teamarbeit - vLead -- Teil III Produktivitätsmanagement: Mit dem InAsPro-Transformationskonzept die Digitalisierung planen -- Integration digitaler Assistenzsysteme für die industrielle Montage -- Arbeit 4.0 in der Produktentstehung mit IviPep - Identifizierung und ganzheitliche Umsetzung von Szenarien digitalisierter Arbeit -- Informatorische Assistenzsysteme - Steigerung der Produktivität durch Minderungder mentalen Beanspruchung -- Einfach mal anders gucken?! …”
    Link to Metadata
    Electronic eBook