Search Results - FRSCM~
Suggested Topics within your search.
Suggested Topics within your search.
- Literary studies: from c 1900 - 401
- Western philosophy, from c 1900 - 236
- Literature: history & criticism 235
- History 194
- Education 188
- European history 167
- Research & information: general 163
- Sociology 156
- Postwar 20th century history, from c 1945 to c 2000 154
- Politics & government 144
- Medicine 143
- Social & cultural history 141
- Technology: general issues 131
- Philosophy 129
- Humanities 126
- Science: general issues 107
- Literary studies: general 105
- Sustainability 99
- History of engineering & technology 92
- Human geography 88
- International relations 86
- Archaeology 84
- Biology, life sciences 84
- Science 83
- Society & social sciences 79
- linguistics 78
- Political science & theory 77
- Psychology 77
- Short stories 76
- Cultural studies 74
-
64121
Digital Kenya An Entrepreneurial Revolution in the Making /
Published 2017Table 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 -
64122
The Interconnected Arctic - UArctic Congress 2016
Published 2017Table 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 -
64123
National Constitutions in European and Global Governance: Democracy, Rights, the Rule of Law National Reports /
Published 2019Table 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 -
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 2019Table 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 -
64125
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 -
64126
Divorce in Europe New Insights in Trends, Causes and Consequences of Relation Break-ups /
Published 2020Table 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 -
64127
Challenging Mobilities in and to the EU during Times of Crises The Case of Greece /
Published 2022Table 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 -
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 2023Table 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 -
64129
Artificial Intelligence in Manufacturing Enabling Intelligent, Flexible and Cost-Effective Production Through AI /
Published 2024Table 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 -
64130
Promoting Social Dialogue in European Organizations Human Resources Management and Constructive Conflict Management /
Published 2015Table 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 -
64131
Agile Processes in Software Engineering and Extreme Programming 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings /
Published 2017Table 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 -
64132
The Pilgrim's Guide to the Workplace
Published 2022Table 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 -
64133
Critical Expressivism Theory and Practice in the Composition Classroom
Published 2014Table 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 -
64134
WAC Partnerships Between Secondary and Postsecondary Institutions
Published 2015Table 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 -
64135
El retraso mental y su relación con la Estomatología
Published 2017Connect to this object online.
Book -
64136
-
64137
The European Blood and Marrow Transplantation Textbook for Nurses Under the Auspices of EBMT /
Published 2018Table of Contents: “…Cell source: where do we get the cells from?. Basics of apheresis. Information and consent. …”
Link to Metadata
Electronic eBook -
64138
Remedies against Immunity? Reconciling International and Domestic Law after the Italian Constitutional Court's Sentenza 238/2014 /
Published 2021Table 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 -
64139
-
64140