Search Results - FRSCM~

Refine Results
  1. 63941

    Equity, Equality and Diversity in the Nordic Model of Education

    Published 2020
    Table of Contents: “…Evidence on the Interplay Between Disciplinary Climate, Socioeconomic Status, and Science Achievement from PISA 2015. Ronny Scherer -- Improving equity through national-level assessment initiatives. …”
    Link to Metadata
    Electronic eBook
  2. 63942

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

    Published 2021
    Table of Contents: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! …”
    Link to Metadata
    Electronic eBook
  3. 63943

    Haptics: Science, Technology, Applications 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22...

    Published 2022
    Table of Contents: “…ationary Hands -- Perception of friction in tactile exploration of micro-structured rubber samples -- Influence of Prior Visual Information on Exploratory Movement Direction in Texture Perception -- Guidance for the Design of Vibrotactile Patterns for Use on the Human Back -- Speed Discrimination In The Apparent Haptic Motion Illusion -- Neutral point in haptic perception of softness -- Pilot Study on Presenting Pulling Sensation by Electro-Tactile Stimulation -- A Preliminary Study on the Perceptual Independence Between Vibrotactile and Thermal Senses -- Spatial compatibility of visual and tactile stimulation in shared haptic perception -- Increasing Perceived Weight and Resistance by Applying Vibration to Tendons during Active Arm Movements -- A comparison of haptic and auditory feedback as a warning signal for slip in tele-operation scenarios -- Experiencing touch by technology -- Effect of Focus Direction and Agency on Tactile Perceptibility -- Haptic Guidance for Teleoperation: Optimizing Performance and User Experience -- A Multi-Modal Haptic Armband for Finger-Level Sensory Feedback from a Prosthetic Hand -- Sound Pressure Field Reconstruction for Ultrasound Phased Array by Linear Synthesis Scheme Optimization -- A Rotary Induction Actuator for Kinesthetic and Tactile Rendering -- Haptic Feedback for Wrist Angle Adjustment -- Larger skin-surface contact through a fingertip wearable improves roughness perception -- Expanding Dynamic Range of Electrical Stimulation Using Anesthetic Cream -- Haptic Rattle: Multi-Modal Rendering of Virtual Objects Inside a Hollow Container -- Design of a 2-DoF Haptic Device for Motion Guidance -- Preliminary Design of a Flexible Haptic Surface -- Human Self-Touch vs Other-Touch Resolved by Machine Learning -- Investigating Movement-Related Tactile Suppression Using Commercial VR Controllers -- Estimation of Frictional Force Using the Thermal Images of Target Surface during Stroking -- Spatial Resolution of Mesoscopic Shapes Presented by Airborne Ultrasound -- Vibrotactile Similarity Perception in Crowdsourced and Lab Studies -- Perception of spatialized vibrotactile impacts in a hand-held tangible for virtual reality -- Wearable Haptics in a Modern VRRehabilitation System: Design Comparison forUsability and Engagement -- Perceiving Sequences and Layouts through Touch -- Whole-Hand Haptics for Mid-Air Buttons -- Proximity-based Haptic Feedback for Collaborative Robotic Needle Insertion -- Furekit: Wearable Tactile Music Toolkit for Children with ASD -- A database of vibratory signals from free haptic exploration of natural material textures and perceptual judgments (ViPer): analysis of spectral statistics.…”
    Link to Metadata
    Electronic eBook
  4. 63944

    Cloud-Based Remote Sensing with Google Earth Engine Fundamentals and Applications /

    Published 2024
    Table of Contents: “…Advanced Vector Operations -- 26. GEEDiT - Digitizing From Satellite Imagery -- Part 6: Advanced Topics -- 27. …”
    Link to Metadata
    Electronic eBook
  5. 63945

    Frontiers of Real Estate Science in Japan

    Published 2021
    Table of Contents: “…Guiding urban facilities and functions in compact mixed-use development from the perspective of residents -- Chapter 19. …”
    Link to Metadata
    Electronic eBook
  6. 63946

    How to Think Like a Computer Scientist C Version by Downey, Allen B.

    Published 1999
    Table of Contents: “…-- 1.4 Formal and natural language -- 1.5 The first program -- 1.6 Glossary -- 1.7 Exercises -- Chapter 2: Variables and types -- 2.1 More output -- 2.2 Values -- 2.3 Variables -- 2.4 Assignment -- 2.5 Outputting variables -- 2.6 Keywords -- 2.7 Operators -- 2.8 Order of operations -- 2.9 Operators for characters -- 2.10 Composition -- 2.11 Glossary -- 2.12 Exercises -- Chapter 3: Function -- 3.1 Floating-point -- 3.2 Constants -- 3.3 Converting from double to int -- 3.4 Math functions -- 3.5 Composition -- 3.6 Adding new functions -- 3.7 Definitions and uses -- 3.8 Programs with multiple functions -- 3.9 Parameters and arguments -- 3.10 Parameters and variables are local -- 3.11 Functions with multiple parameters -- 3.12 Functions with results -- 3.13 Glossary -- 3.14 Exercises -- Chapter 4: Conditionals and recursion -- 4.1 Conditional execution -- 4.2 The modulus operator -- 4.3 Alternative execution -- 4.4 Chained conditionals -- 4.5 Nested conditionals -- 4.6 The return statement -- 4.7 Recursion -- 4.8 Infinite recursion -- 4.9 Stack diagrams for recursive functions -- 4.10 Glossary -- 4.11 Exercises -- Chapter 5: Fruitful functions -- 5.1 Return values -- 5.2 Program development -- 5.3 Composition -- 5.4 Boolean values -- 5.5 Boolean varaiables -- 5.6 Logical operators -- 5.7 Bool functions -- 5.8 Returning from main() -- 5.9 Glossary -- 5.10 Exercises -- Chapter 6: Iteration -- 6.1 Multiple assignment -- 6.2 Iteration -- 6.3 The while statement -- 6.4 Tables -- 6.5 Two-dimensional tables -- 6.6 Encapsulation and generalization -- 6.7 Functions -- 6.8 More encapsulation -- 6.9 Local varaiables -- 6.10 More generalization -- 6.11 Glossary -- 6.12 Exercises -- Chapter 7: Arrays -- 7.1 Increment and decrement operators -- 7.2 Accessing elements -- 7.3 Copying arrays -- 7.4 for loops -- 7.5 Array length -- 7.6 Random numbers -- 7.7 Statistics -- 7.8 Array of random numbers -- 7.9 Passing an array to a function -- 7.10 Counting -- 7.11 Checking the other values -- 7.12 A histogram -- 7.13 A single-pass solution -- 7.14 Random seeds -- 7.15 Glossary -- 7.16 Exercises -- Chapter 8: Strings and things -- 8.1 Containers for strings -- 8.2 String variables -- 8.3 Extracting characters from a string -- 8.4 Length -- 8.5 Traversal -- 8.6 Finding a character in a string -- 8.7 Pointers and Addresses -- 8.8 String concatenation -- 8.9 Assigning new values to string variables -- 8.10 strings are not comparable -- 8.11 Character classification -- 8.12 Getting user input -- 8.13 Glossary -- 8.14 Exercises -- Chapter 9: Structures -- 9.1 Compound values -- 9.2 Point objects -- 9.3 Accessing member variables -- 9.4 Operations on structures -- 9.5 Structures as parameters -- 9.6 Call by value -- 9.7 Call by reference -- 9.8 Rectangles -- 9.9 Structures as return types -- 9.10 Passing other types by reference -- 9.11 Glossary -- 9.12 Exercises…”
    Access online version
    Electronic eBook
  7. 63947

    Interdisciplinary Mathematics Education The State of the Art and Beyond /

    Published 2019
    Table of Contents: “…-SECTION 1: CONCEPTUAL FRAMEWORKS -- Introduction -- Theoretical Perspectives on Interdisciplinary Mathematics -- Interdisciplinary Collaboration Between Musicians and Mathematicians: An Experience with Stochastic Music -- Challenges and Opportunities STEM Interdisciplinary Agenda -- SECTION 2: FOCUS ON CROSS-CUTTING SKILLS -- Introduction -- Using Scientific Hypothesis in Interdisciplinary Maths Activities -- Quantitative Reasoning and its Role in Interdisciplinarity from a Mathematical Perspective -- Modelling and Programming of Digital Video: A Source for the Integration of Mathematics, Engineering, and Technology -- SECTION 3: CASE STUDIES OF INTERDISCIPLINARITY IN PRACTICE -- Introduction -- Mathematics in an Interdisciplinary STEM Course (NLT) -- "Maths add up": Interdisciplinary Maths Activities -- The Successful Students STEM project: A Medium Scale Case of Teacher Development -- "Draw What You See": Transcending The Mathematics Classroom -- Interdisciplinarity: Old wine in new bottles? …”
    Link to Metadata
    Electronic eBook
  8. 63948

    The Governing-Evaluation-Knowledge Nexus Swedish Higher Education as a Case /

    Published 2019
    Table of Contents: “…Hayek and the red tape: The politics of evaluation and quality assurance reform, from shortcut governing to policy rerouting; Joakim Lindgren and Linda Rönnberg -- 6. …”
    Link to Metadata
    Electronic eBook
  9. 63949

    Advances in Crowdfunding Research and Practice /

    Published 2020
    Table of Contents: “…1. Introduction: From Fundamentals to Advances in Crowdfunding Research and Practice -- 2. …”
    Link to Metadata
    Electronic eBook
  10. 63950

    The Heterogeneity of Cancer Metabolism

    Published 2021
    Table of Contents: “…Heterogeneity of Cancer Metabolism -- The Multifaceted Glioblastoma: from Genomic Alterations to Metabolic Adaptions -- The Intricate Metabolism of Pancreatic Cancers -- The heterogeneity of breast cancer metabolism for therapy -- Non-Hodgkin Lymphoma Metabolism -- The Heterogeneity Metabolism of Renal Cell Carcinomas -- The Heterogeneity Metabolism of Liver Cancer -- Different Tumor Microenvironments Lead to Different Metabolic Phenotypes -- The Intratumoral Heterogeneity of Cancer Metabolism -- Cancer Stem Cells Metabolism -- Metabolism of Immune cells in the Tumor Microenvironment -- Part III. …”
    Link to Metadata
    Electronic eBook
  11. 63951

    Abrahamic Reflections on Randomness and Providence

    Published 2022
    Table of Contents: “…Causality, Indeterminacy, and Providence: Contemporary Islamic Perspectives from Said Nursi and Basil Altaie -- 14. Divine Action and the Emergence of Four Kinds of Randomness -- 15. …”
    Link to Metadata
    Electronic eBook
  12. 63952

    Feminist Methodologies Experiments, Collaborations and Reflections /

    Published 2022
    Table of Contents: “…Working the field together: A feminist mother-son journey in Yogyakarta, Indonesia -- Chapter 7: Methodologies for collaborative, respectful and caring research: Conversations with professional Indigenous women from Mexico -- Chapter 8: Immersion, diversion, subversion: Living a feminist methodology -- Chapter 9: Embodied urban cartographies: Women's daily trajectories on public transportation in Guadalajara, Mexico -- Chapter 10: Interconnected experiences: Embodying feminist research with social movements -- Chapter 11: Feminist storytellers imagining new stories to tell -- Chapter 12: A fieldwork story told through knitting -- Chapter 13: Scarheart: Research as healing -- Epilogue: Learning, unlearning, relearning.…”
    Link to Metadata
    Electronic eBook
  13. 63953

    Higher Education in Romania: Overcoming Challenges and Embracing Opportunities

    Published 2022
    Table of Contents: “…A Story of Asymmetry and Polarization -- Access to Higher Education: Losing Precious Human Resources Before the Start Line -- The Impact of Social Scholarships and of Reserved Places for Graduates From Rural High Schools in Improving Access to Higher Education and Academic Performance -- The Socio-Economic Challenges in Access to Romanian Higher Education. …”
    Link to Metadata
    Electronic eBook
  14. 63954

    Consumption, Sustainability and Everyday Life

    Published 2023
    Table of Contents: “…Towards sustainable transport practices in a coastal community in Norway. Insights from human needs and social practice approaches -- 11. …”
    Link to Metadata
    Electronic eBook
  15. 63955

    Urban Living Lab for Local Regeneration Beyond Participation in Large-scale Social Housing Estates /

    Published 2023
    Table of Contents: “…Introduction: Framing living labs in large-scale social housing estates in Europe -- Part 1: A critical overview on urban living labs in large-scale social housing estates -- Beyond a buzzword: Situated participation through socially oriented urban living labs -- Governing with urban labs -- Urban living labs: Insights for institutionally promoted urban policies -- Part 2: Positioning research(ers) in large-scale social estates -- Beyond the presence: Dwelling with people and with their places -- 1,460 days of love and hate: An ethnographic account of a layered job -- The inside and outside of high-rise social housing: The broken institution -- From a community of practice to a community of planning: The case of the Sansheroes network in the San Siro neighbourhood in Milan -- Part 3: Approaching space in large-scale social housing estates -- Marginalization through mobility and porosity - How social housing dwellers see and live the city -- Peterbos: Living in the park, inhabiting the city -- Participation and the architect: Creative partnership or communication breakdown?…”
    Link to Metadata
    Electronic eBook
  16. 63956

    Civil Society Responses to Changing Civic Spaces

    Published 2023
    Table of Contents: “…Constrained humanitarian space in Rohingya response: Views from Bangladeshi NGOs -- Part III: Global connections and local civic space -- 10. …”
    Link to Metadata
    Electronic eBook
  17. 63957

    Postdigital Participation in Education How Contemporary Media Constellations Shape Participation /

    Published 2023
    Table of Contents: “…Chapter 1: Postdigital Participation in Education: An Introduction -- Part 1: Mapping the Postdigital Condition in Education -- Chapter 2: Participation as a Key Principle of Education for Sustainable Development in the Postdigital Era -- Chapter 3: Social Participation in a Postdigital-Biodigital Age -- Chapter 4: Postdigital Bildung as a Guiding Principle to Foster Inclusion in Educational Media -- Chapter 5: Distance Learning and the Question of Educational Justice: A Dialogic Approach to Digital Diversity in Schools -- Part 2 : Performing and Reflecting on the Postdigital Condition with Learners -- Chapter 6: Learning Academic Practices: Enabling Students to Participate in a Postdigital Society -- Chapter 7: Expanding the Pedagogical Space: Co-design and Participation in an Online Postgraduate Course -- Chapter 8: Let's Figure it Out: Participatory Methods for Reflecting on Educational Media in a Postdigital World -- Chapter9: From Official Document Utopias to a Collective Utopian Imagination -- Chapter 10: Asynchronous Narrative Audio-Messages: An Internet-based Qualitative Method for Data Collection in International Research -- Chapter 11: Postdigital Participation in Education-a Postscript.…”
    Link to Metadata
    Electronic eBook
  18. 63958

    Religious Entanglements Between Germans and Indians, 1800-1945

    Published 2023
    Table of Contents: “…Neglected Aspects of the So-Called Revival of a Classical Indian Dance Form -- 8 'The Priestess of Hindu Dance': Leila Sokhey's Repertoire and Its Reception in the Netherlands and Germany (1927-38) -- 9 Roaming Between East and West: In Search of Religious Ecstasy in the Interwar Period -- 10 Negotiating Germanness with Indian Religious History: Transfers of Academic Knowledge and Notions of völkisch Belief -- 11 Hakenkreuz, Swastika and Crescent: The Religious Factor in Nazi Cultural Politics Regarding India -- 12 Curating the Fragments of Local Modernities: The Menaka Digital Archive from the Perspective of Ongoing Research.…”
    Link to Metadata
    Electronic eBook
  19. 63959

    Migration, Education and Employment Pathways to Successful Integration /

    Published 2024
    Table of Contents: “…Successful Integration of Refugees in Vocational Education and Training: Experiences from a New Pre-Vocational Programme -- 10. 'Open Sesame': Skilled Immigrants' Experiences with Bridging Programmes in the Validation Process in Norway -- 11. …”
    Link to Metadata
    Electronic eBook
  20. 63960

    New Mechanism Explanation, Emergence and Reduction /

    Published 2024
    Table of Contents: “…Causing and composing evolution: lessons from evo-devo mechanisms (Cristina Villegas) -- Chapter 5. …”
    Link to Metadata
    Electronic eBook