Mobilitäts- und Transportrecht in Europa Bestandsaufnahme und Zukunftsperspektiven /

Table of Contents: “…Lehren aus einer über 30-jährigen Geschichte (Heinz Ehrbar) -- Emissions- und staufreier alpenquerender Güterverkehr: Wachstumspotenziale und -hürden für den Verkehrsträger Schiene am Beispiel "Brenner-Pass" (Hans-Jürgen Weidemann) -- Herausforderungen im internationalen Schienenfernverkehr in Europa (Marco Kampp) -- Die "Neue Dolomitenbahn". …”
Link to Metadata

NL ARMS Netherlands Annual Review of Military Studies 2020 Deterrence in the 21st Century-Insights from Theory and Practice /

Table of Contents: “…Cyber Deterrence: The Past, Present, and Future -- Chapter 22. New Technologies and Deterrence: Artificial Intelligence and Adversarial Behaviour -- Part V Rationality, Psychology and Emotions -- Chapter 23. …”
Link to Metadata

Social and Economic Vulnerability of Roma People Key Factors for the Success and Continuity of Schooling Levels /

Table of Contents: “…Roma at School: A Look at the Past and the Present. The Case of Portugal (Lurdes Nicolau) -- Part III: EDUCATION STRATEGIES: SUCCESS AND SOCIAL MOBILITY VS. …”
Link to Metadata

The New Common How the COVID-19 Pandemic is Transforming Society /

Table of Contents: “…The Dawn of a New Common -- Covidspiracy: Old Wine in New Barrels? -- Do Not Pass Up the Opportunity! -- Internet Access as an Essential Social Good -- In-Work Poverty in Times of COVID-19 -- Being a Collective Jeremiah -- COVID-19 and the Secular Theodicy -- Online Proctoring Put to the Test -- Experiences of People With an Intellectual Disability, Their Relatives and Support Staff With COVID-19: The Value of Vital Supportive Relationships -- Labor Supply and Well-Being During the Early Stages of the COVID-19 Crisis in the Netherlands: Lessons from Microdata -- The Economy, Nature, and the Meaning of Life After the Coronavirus Crisis -- Litigating the Crisis: Towards a Rebalancing of the Rights of Investors versus Public Interest? …”
Link to Metadata

Rethinking Nordic Courts

Table of Contents: “…Online Dispute Resolution and the Role of Courts -- Part VI: Nordic Courts and Cooperation -- Chapter 21. Nordic Cooperation - Past, Present and Future -- Chapter 22. Is there a Nordic Court Culture? …”
Link to Metadata

Using Social Theory in Higher Education

Table of Contents: “…Low -- Chapter 10 The Foggy Window: Passive empathy and the fight for testimonial reading in neoliberal higher education -- Chapter 11 Performing empathy with neoliberalism, or Kendall Jenner on the streets, Thomas Gradgrind in the sheets: a response to Lauren Weber -- Chapter 12 Understanding higher education enrolment through Michel Foucault's biopolitics -- Chapter 13 Students, biopolitics, and state racism: a response to Ren-Hao Xu -- Chapter 14 Wrestling with monsters: critique, climate change, and comets -- Chapter 15 Still wrestling with monsters: a response to Pat Norman -- Chapter 16 Dialogues between activist knowledge and Southern Theory -- Chapter 17 Approximate Geographies: a response to José Fernando Serrano Amaya -- Chapter 18 The historian as pedagogue: on Hayden White's practical past -- Chapter 19 What stories to tell: a response to Remy Low -- Chapter 20 The good university? …”
Link to Metadata

Riverine Ecosystem Management Science for Governing Towards a Sustainable Future /

Table of Contents: “…Danube Floodplain Lobau -- Chapter 26. Danube Sturgeons: Past and Future -- Chapter 27. Healthy Fisheries Sustain Society and Ecology in Burkina Faso -- Chapter 28. …”
Link to Metadata

Sequence Analysis and Related Approaches Innovative Methods and Applications /

Table of Contents: “…-- Daniel Courgeau -- Case Studies of Combining Sequence Analysis and Modelling: Mervi Eerola -- Part II Sequence Analysis and Event History Analysis: Glass Ceilings, Glass Escalators and Revolving Doors: Lydia Malin and Ramsey Wise -- Modelling Mortality Using Life Trajectories of Disabled andNon-Disabled Individuals in 19th-Century Sweden: Erling Ha¨ggstro¨m Lundevaller, Lotta Vikstro¨m, and Helena Haage -- Sequence History Analysis (SHA): Estimating the Effect of Past Trajectories on an Upcoming Event: Florence Rossignon, Matthias Studer, Jacques-Antoine Gauthier and Jean-Marie Le Goff -- Part III The Sequence Network Approach: Network Analysis of Sequence Structures: Benjamin Cornwell -- Relational Sequence Networks as a Tool for Studying Gendered Mobility Patterns: Klaus Hamberger -- Part IV Unfolding the Process: Multiphase Sequence Analysis: Thomas Collas -- Unpacking Configurational Dynamics: Sequence Analysis and Qualitative Comparative Analysis as a Mixed-Method Design: Camilla Borgna and Emanuela Struffolino -- Combining Sequence Analysis and Hidden Markov Models in the Analysis of Complex Life Sequence Data: Satu Helske, Jouni Helske, and Mervi Eerola -- Part V Advances in Sequence Clustering: Markovian-based Clustering of Internet Addiction Trajectories: Zhivko Taushanov and Andre´ Berchtold -- Divisive Property-Based and Fuzzy Clustering for Sequence Analysis: Matthias Studer -- From 07.00 to 22.00: A Dual-Earner Couple's Typical Day in Italy: Ivano Bison and Alessandro Scalcon -- Part VI Appraising Sequence Quality: Measuring Sequence Quality: Anna Manzoni and Irma Mooi-Reci -- An Index of Precarity for Measuring Early Employment Insecurity: Gilbert Ritschard, Margherita Bussi, and JacquelineO'Reilly -- Subject Index.…”
Link to Metadata

Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6-9, 2020, Proceedings /

Table of Contents: “…Haptic Science -- The EmojiGrid as a Rating Tool for the Affective Appraisal of Touch -- A 2-DoF Skin Stretch Display on Palm: Effect of Stimulation Shape, Speed and Intensity -- User-Defined Mid-Air Haptic Sensations for Interacting with an AR Menu Environment -- Surface Roughness Judgment during Finger Exploration is Changeable by Visual Oscillations -- Identifying tactors locations on the proximal phalanx of the finger for navigation -- Tactile Perception of Objects by the User's Palm for the Development of Multi-contact Wearable Tactile Displays -- From Hate to Love: How Learning Can Change Affective Responses to Touched Materials -- Switching between objects improves precision in haptic perception of softness -- Discriminating between Intensities and Velocities of Mid-Air Haptic Patterns -- Density estimation is influenced more by mass when objects are denser -- Haptic feedback in a teleoperated Box & Blocks task -- Systematic Adaptation of Exploration Force to Exploration Duration in Softness Discrimination -- Perception of vibratory direction on the back -- Comparing Lateral Modulation and Amplitude Modulation in Phantom Sensation -- Context Matters: The Effect of Textual Tone on the Evaluation of Mediated Social Touch -- Influence of roughness on contact force estimation during active touch -- Green Fingers: Plant Thigmo Responses as an Unexplored Area for Haptics Research -- The impact of control-display gain in kinesthetic search -- The arm's blind line: anisotropic distortion in perceived orientation of stimuli on the arm -- Evaluation of Changes in Perceived Intensity and Threshold of Moisture Sensation of Clothes Associated with Skin Moisture -- The Effects of Simultaneous Multi-Point Vibratory Stimulation on Kinesthetic Illusion -- Isometric force matching asymmetries depend on the position of the left hand regardless of handedness -- Computational Model of a Pacinian Corpuscle for an Electrical Stimulus: Spike-Rate and Threshold Characteristics -- Haptic Technology -- SwitchPaD: Active Lateral Force Feedback over a Large Area Based on Switching Resonant Modes -- Visuo-Haptic Display by Embedding Imperceptible Spatial Haptic Information into Projected Images -- Manipulating the Perceived Directions of Wind by Visuo-audio-haptic Cross-modal Effects -- A 6-DoF Zero-order Dynamic Deformable Tool for Haptic Interactions of Deformable and Dynamic Objects -- Evaluating Ultrasonic Tactile Feedback Stimuli -- WeATaViX: WEarable Actuated TAngibles for VIrtual reality eXperiences -- Noncontact Thermal and Vibrotactile Display Using Focused Airborne Ultrasound -- KATIB: Haptic-visual Guidance for Handwriting -- ThermalTex: A two-modal tactile display for delivering surface texture and thermal information -- Can Stiffness Sensations be Rendered in Virtual Reality Using Mid-air Ultrasound Haptic Technologies? …”
Link to Metadata

Migration and Social Protection in Europe and Beyond (Volume 1) Comparing Access to Welfare Entitlements /

Table of Contents: “…Migrants' Access to Social Protection in Sweden: Anton Ahlén, Joakim Palme.…”
Link to Metadata

Perspectives on Public Policy in Societal-Environmental Crises What the Future Needs from History /

Table of Contents: “…Introduction: what sort of past does our future need? -- Part I: History and public policy in the era of planetary crisis -- 2. …”
Link to Metadata

Biodiversity of the Gulf of Guinea Oceanic Islands Science and Conservation /

Table of Contents: “…The Bryophyte Flora of São Tomé and Príncipe (Gulf of Guinea): Past, Present and Future -- Chapter 10. Diversity of the Vascular Plants of the Gulf of Guinea Oceanic Islands -- Chapter 11. …”
Link to Metadata

Migration, Displacement, and Higher Education Now What? /

Table of Contents: “…Searching for Safety and Researching for Justice: Documenting Migrant Experiences in the Paso del Norte Border Region -- 11. What Can Architectural Education Do? …”
Link to Metadata

Corporate Finance for Long-Term Value by Schoenmaker, Dirk, Schramade, Willem

Table of Contents: “…Capital Structure -- Chapter 16. Issues and Pay-outs -- Chapter 17. Reporting and Investor Relations -- Chapter 18. …”
Link to Metadata

Critical Perspectives on Technology and the Family by Walker, Susan K.

Table of Contents: “…Video welcome and book content overview -- About the Book -- About Teaching for Critical Perspectives on Technology and the Family -- With Gratittude -- About the Author (or, the payoff for paying attention) -- Chapter 1: Ten Truths about Technology -- Chapter 2: Ways of Understanding Families and Technology -- Chapter 3: Differences Within and Across Familes' Technology Use -- Chapter 4: Technology Use and Couple Relationships -- Chapter 5: Technology Use and Impacts in Children, Youth and Young Adults -- Chapter 6: Technology Use by Parents -- Chapter 7: Technology’s Influence on Parent-Child Relationships -- Chapter 8: Technology Use for Family Communication and Connectivity -- Chapter 9: What Boundaries? …”
Access online version

Public Administration in Germany

Table of Contents: “…Human Resource Management, Performance-Related Pay and Public Service Motivation -- 23. New Steering Model, Performance management, Benchmarking.…”
Link to Metadata

The New Politics of Numbers Utopia, Evidence and Democracy /

Table of Contents: “…Numbers, Ratings and Rankings in the Prison Service of England and Wales -- 11.The Shifting Legitimacies of Price Measurements: Official Statistics and the Quantification of Pwofitasyon in the 2009 Social Struggle in Guadeloupe -- 12."La donnée n'est pas un donné": Statistics, Quantification and Democratic Choice -- 13.Free from Numbers? …”
Link to Metadata

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

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Children and Peace From Research to Action /

Table of Contents: “…When do Intergenerational Narratives of Ingroup Responsibility for Past Violence Result in Peace and Violence? -- 12. …”
Link to Metadata

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

Table of Contents: “…Part I: ICL Landslide Lesson -- Sliding-surface liquefaction and undrained steady-state shear strength -- Identification and Mitigation of Reservoir Landslides Cases Studied in the Three Gorges Reservoir Area of China -- Part II: Original articles -- Impact of input data on the quality of the landslide susceptibility large-scale maps: A case study from NW Croatia -- Landslide warning systems in high-income countries: past accomplishments and expected endeavours -- Modelling of Landslide-Structure Interaction (LSI) through Material Point Method (MPM) -- Landslide Research and Technology in International Standards -- Mathematical and numerical modeling of slope stability for the Mong Sen landslide event in the Trung Chai commune, Sapa, Vietnam -- Landslide early warning system based on the empirical approach - Case study in Ha Long City (Vietnam) -- The modern activity of the Buzulgan landslide and its influence on the debris flow hazard for the Tyrnyauz town (Northern Caucasus, Russia) -- A risk evaluation method of unstable slopes using multipoint tilting sensors -- Part III: IPL/WCOE/KLC2020 -- Community Level Slope Disaster Risk Reduction Program through Multi-Scale Mapping by Mountain Ethnic Group in Northern Vietnam - Project Study by JICA / Lao Cai DARD / ITST -- Landslide Risk Assessment in the tropical zone of Vietnam as a contribution to the mitigation of natural disaster vulnerability -- Protection and conservation of Georgian rupestrian cultural heritage sites: a review -- Spatial and temporal characterization of landslide deformation pattern with Sentinel-1 -- Lessons from 2019-2020 landslide risk assessment in an urban area of volcanic soils in Pereira-Colombia -- Part IV: ICL Landslide Teaching Tools -- Zonation of landslide susceptibility in the Gipuzkoa province (Spain): an application of LAND-SUITE -- Landslide and soil erosion inventory mapping based on high-resolution remote sensing data: A case study from Istria (Croatia) -- Part V: Technical Notes and Case Studies -- Landslide monitoring with RADARSAT Constellation Mission InSAR, RPAS-derived point-clouds and RTK GNSS time-series in the Thompson River Valley, British Columbia, Canada -- Digital terrain models derived from unmanned aerial vehicles and landslide susceptibility -- Use of GIS to assess susceptibility per landform unit to gravitational processes and their volume.…”
Link to Metadata