Search Results - FRSCM~

Refine Results
  1. 64121

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

    The Interconnected Arctic - UArctic Congress 2016

    Published 2017
    Table of Contents: “…Designing a longitudinal study on student relationships and perceived quality of life -- Chapter 20 Researching Links between Teacher Wellbeing and Educational Change: Case Studies from Kazakhstan and Sakha Republic -- chapter 21 Student contribution: Well-being at the Polish polar station, Svalbard: Adaptation to extreme environments -- Part IV Arcitc tourism. …”
    Link to Metadata
    Electronic eBook
  3. 64123

    National Constitutions in European and Global Governance: Democracy, Rights, the Rule of Law National Reports /

    Published 2019
    Table of Contents: “…The Role of the Polish Constitution (Pre-2016): Development of a Liberal Democracy in the European and International Context -- Chapter 17. The Czech Republic: From a Euro-Friendly Approach of the Constitutional Court to Proclaiming a Court of Justice Judgment Ultra Vires -- Chapter 18. …”
    Link to Metadata
    Electronic eBook
  4. 64124

    Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Published 2019
    Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
    Link to Metadata
    Electronic eBook
  5. 64125

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

    Published 2019
    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
    Electronic eBook
  6. 64126

    Divorce in Europe New Insights in Trends, Causes and Consequences of Relation Break-ups /

    Published 2020
    Table of Contents: “…Do Divorced Elderly in Russia get Help From Their Children ? Chapter 9. Coping Strategies of Migrant Women After Divorce. …”
    Link to Metadata
    Electronic eBook
  7. 64127

    Challenging Mobilities in and to the EU during Times of Crises The Case of Greece /

    Published 2022
    Table of Contents: “…A 'Wicked Problem' for the Municipality of Athens. The 'Refugee Crisis' from an Insider's Perspective -- Chapter 15. The COVID-19 Pandemic and Refugees in Greece: A New Challenge for Healthcare Service Provision, Public Health Programmes and Policymaking.…”
    Link to Metadata
    Electronic eBook
  8. 64128

    5th Symposium on Terrestrial Gravimetry: Static and Mobile Measurements (TG-SMM 2019) Proceedings of the Symposium in Saint Petersburg, Russia, October 1 - 4, 2019 /

    Published 2023
    Table of Contents: “…Part I: Terrestrial, Shipboard and Airborne Gravimetry -- Measurement of Absolute Gravity and Deflection of the Vertical at Sea -- Multi-scenario Evaluation of the Direct Method in Strapdown Airborne and Shipborne Gravimetry -- Improving Gravity Estimation Accuracy for the GT-2A Airborne Gravimeter Using Spline-Based Gravity Models -- Gravimetric Studies in the Sea of Japan -- About Identification of Instrument Error Parameters for a Gravity Gradiometer -- Numerical Model of Moving-Base Rotating Accelerometer Gravity Gradiometer -- New Algorithm for Gravity Vector Estimation from Airborne Data Using Spherical Scaling Functions -- Results of Astro-measurements of the Deflection of Vertical Using the New Observation Technique -- Observations with gPhone Gravimeter in Moscow -- Part II: Absolute Gravimetry -- On Uncertainties of Laser Interferometric Absolute Ballistic Gravimeters due to Magnetic Effects in the Free-Fall Gravity Measurements -- Evaluation of Systematic Errors in the Compact Absolute Gravimeter TAG-1 for Network Monitoring of Volcanic Activities -- Design of New Launch and Interferometer Systems for the IMGC-02 Absolute Gravimeter -- Twelve Years of High Frequency Absolute Gravity Measurements at the UK's Space Geodesy Facility: Systematic Signals and Comparison with SLR Heights -- Part III: Relative Gravimetry and Applications -- Studying the Evolution of Resolution Capabilities and Approximation Accuracy of Global Models by Spectral Characteristics -- The Role of Non-tidal Atmospheric Loading in the Task of Gravity Field Estimation by Inter-satellite Measurements -- Formation of Self-consistent Navigational Gravity Maps of Local Areas and Joint Assessment of Their Navigation Quality -- Methods of Bistatic GNSS-radio Altimetry for Determining Height Profile of the Ocean and Their Experimental Verification -- Absolute and Relative Gravity Measurements at Volcanoes: Current State and New Developments Under the NEWTON-g Project -- The Effect of Measurement Preprocessing in the Gravity-Aided Navigation -- Sensitivity of Algorithms for Estimating the Gravity Disturbance Vector to Its Model Uncertainty.…”
    Link to Metadata
    Electronic eBook
  9. 64129

    Artificial Intelligence in Manufacturing Enabling Intelligent, Flexible and Cost-Effective Production Through AI /

    Published 2024
    Table of Contents: “…Introduction -- Part I Architectures and Knowledge Modelling for AI in Manufacturing -- Reference Architecture for AI-based Industry 5.0 Applications -- Designing a Marketplace to Exchange AI Models for Industry 4.0 -- Domain Ontology Enrichment through Human-AI Interaction -- Survey of Knowledge Graphs in Industrial Settings -- From Knowledge to Wisdom: Leveraging Semantic Representations via Knowledge Graph Embeddings -- Advancing high value-added networked production through Decentralized Technical Intelligence -- Part II AI-based Digital Twins for Manufacturing Applications -- Digital-Twin enabled framework for training and deploying AI agents for production scheduling -- Digital Twin for Human Machine Interaction -- Learning-based Collaborative Digital Twins -- A Manufacturing Digital Twin Framework -- Part III Agent based Approaches for AI in Manufacturing -- Reinforcement Learning based approaches in manufacturing environments -- A participatory modelling approach to Agents in Industry using AAS -- 4.0 Holonic Multi-Agent Testbed Enabling Shared Production -- Application of a Multi agent system on production and scheduling optimization -- Integrating Knowledge to Conversational Agents for Worker Upskilling -- Part IV Trusted AI for Industry 5.0 Applications -- Wearable sensor-based human activity recognition for worker safety in manufacturing line -- Object detection for human-robot interaction and worker assistance systems -- Application of autoML, XAI and differential privacy method into manufacturing -- Anomaly Detection in Manufacturing -- Towards Industry 5.0 by incorporation of Trustworthy and Human-Centric approaches -- How AI changes human roles in Industry 5.0-enabled environments: Human in the AI loop via xAI and Active Learning for Manufacturing Quality Control -- Multi-Stakeholder Perspective on Human-AI Collaboration in Industry 5.0 -- Conclusion.…”
    Link to Metadata
    Electronic eBook
  10. 64130

    Promoting Social Dialogue in European Organizations Human Resources Management and Constructive Conflict Management /

    Published 2015
    Table of Contents: “…Mare Teichmann and Merle Lõhmus -- Chapter 5: France: Employee Representatives in France: Employers' Perceptions and Expectations Towards Improved Industrial Relations; Aurélien Colson, Patricia Elgoibar and Francesco Marchi -- Chapter 6: Germany: Management's Perceptions of Social Dialogue at the Company Level in Germany; Michael Whittall -- Chapter 7: Italy: Management's Perceptions of Social Dialogue at the Company Level in Italy; Giovanni Passarelli -- Chapter 8: The Netherlands: Industrial Relations and Works Councils in The Netherlands. Results from Interviews and a Survey Among HR Managers; Aukje Nauta -- Chapter 9: Poland: Employee Representatives in Poland. …”
    Link to Metadata
    Electronic eBook
  11. 64131

    Agile Processes in Software Engineering and Extreme Programming 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings /

    Published 2017
    Table of Contents: “…the State of the Practice from a Large Survey -- Adopting Test Automation on Agile Development Projects: A Grounded TheoryStudy of Indian Software Organizations -- Safety Critical Software -- How is security testing done in agile teams? …”
    Link to Metadata
    Electronic eBook
  12. 64132

    The Pilgrim's Guide to the Workplace by Chevez, Agustin

    Published 2022
    Table of Contents: “…-- Chapter 19 Winds -- Chapter 20 The perfect day -- Chapter 21 The very last step -- Chapter 22 Mind lag -- Part 4 Real steps, virtual pilgrimage -- Chapter 23 Virtual pilgrimage, real pain -- Chapter 24 Dconstructing pilgrimages -- Chapter 25 El Camino Sisyphus style -- Chapter 26 Postcard from Pamplona -- Chapter 27 66 loops -- Part 5 Laying paths -- Chapter 28 Following signposts -- Chapter 29 Fork on the road -- Chapter 30 The wisdom of the locals -- Chapter 31 Let's go! …”
    Link to Metadata
    Electronic eBook
  13. 64133

    Critical Expressivism Theory and Practice in the Composition Classroom by Roeder, Tara, Gatto, Roseanne

    Published 2014
    Table of Contents: “…Front Matter -- Preface: Yes, I Know That Expressivism Is out of Vogue, But ..., Lizbeth Bryant -- Re-Imagining Expressivism: An Introduction, Tara Roeder and Roseanne Gatto -- Section One: Critical Self-Construction -- "Personal Writing" and "Expressivism" as Problematic Terms, Peter Elbow -- Selfhood and the Personal Essay: A Pragmatic Defense, Thomas Newkirk -- Critical Memoir and Identity Formation: Being, Belonging, Becoming, Nancy Mack -- Critical Expressivism's Alchemical Challenge, Derek Owens -- Past-Writing: Negotiating the Complexity of Experience and Memory, Jean Bessette -- Essai—A Metaphor: Writing to Show Thinking, Lea Povozhaev -- Section Two: Personal Writing and Social Change -- Communication as Social Action: Critical Expressivist Pedagogies in the Writing Classroom, Patricia Webb Boyd -- From the Personal to the Social, Daniel F. Collins -- "Is it Possible to Teach Writing So That People Stop Killing Each Other?" …”
    Access online version
    Electronic eBook
  14. 64134

    WAC Partnerships Between Secondary and Postsecondary Institutions

    Published 2015
    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
    Electronic eBook
  15. 64135
  16. 64136
  17. 64137

    The European Blood and Marrow Transplantation Textbook for Nurses Under the Auspices of EBMT /

    Published 2018
    Table of Contents: “…Cell source: where do we get the cells from?. Basics of apheresis. Information and consent. …”
    Link to Metadata
    Electronic eBook
  18. 64138

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

    Published 2021
    Table of Contents: “…by Giovanni Boggero and Karin Oellers-Frahm -- Part VI - Negotiations: 16 Deadlocked in Dualism: Negotiating for a Final Settlement by Andreas von Arnauld -- 17 Moving beyond Judicial Conflict in the Name of the Pre-Eminence of Fundamental Human Rights by Valerio Onida -- 18 Between a Rock and a Hard Place: Italian Concerns between Constitutional Rights and International Law by Andreas L. …”
    Link to Metadata
    Electronic eBook
  19. 64139
  20. 64140