Search Results - ABSP~

Alltägliche Lebenssituation sprachbeeinträchtigter Kinder Ein Analyseverfahren für die pädagogische Sprachdiagnostik / by Schlüter, Saskia

Table of Contents: “…Einleitung -- Theoretische Diskurse, Forschungsstand und Desiderate zu den Konzepten von Lebenswelt, Lebensbedingungen, Alltäglicher Lebensführung und alltäglicher Lebenssituation -- Sprachliches Handeln und sprachliche Handlungsfähigkeit als konzeptionelle Grundlage der Arbeit -- Das Konstrukt der alltäglichen Lebenssituation -- Handlungstheoretisch fundierter Begriff der alltäglichen Lebenssituation: Zusammenfassung und Schlussfolgerungen -- Alltägliche Lebenssituation von Kindern mit sprachlichen Beeinträchtigungen als handlungstheoretisch fundierter diagnostischer Gegenstand: Entwicklung, Erprobung und Evaluation eines Analyseverfahrens für die pädagogische Sprachdiagnostik -- Zusammenfassung, Diskussion und Reflexion des gesamten theoretischen und empirischen Prozesses -- Implikationen für die pädagogische Sprachdiagnostik und pädagogische Sprachförderung sowie für zukünftige Forschungsfelder auf Basis der Befunde der vorliegenden Arbeit -- Schlusswort -- Quellen.…”
Link to Metadata

Mutation Breeding and Efficiency Enhancing Technologies for Resistance to Striga in Cereals

Table of Contents: “…Striga as a constraint to cereal production in sub-Saharan Africa and the role of host plant resistance -- Physical mutagenesis in cereal crops -- Screening for resistance to Striga hermonthica in mutagenized sorghum and upland rice in Burkina Faso -- Mutation breeding for resistance to Striga hermonthica in sorghum and rice for sustainable food production in Sudan -- Phenotyping for resistance to Striga asiatica in rice and maize mutant populations in Madagascar -- An agar-based method for determining mechanisms of Striga resistance in sorghum -- Histological analysis of Striga infected plants -- Striga germination stimulant analysis -- Identification of closely related polymorphisms with Striga resistance using next generation sequencing -- Rapid cycling and generation advancement for accelerated mutation breeding in sorghum -- Anther culture of rice for accelerated development of doubled haploid Striga resistant germplasm.…”
Link to Metadata

Women Worldwide Transnational Feminist Perspectives

Table of Contents: “…Preface and Acknowledgments -- Women Worldwide -- Transnational Feminism: Reshmi Dutt-Ballerstadt and Kiana Anderson -- World Media: Janell Hobson -- Global Politics of the Body: Tracy Butts -- Sexualities Worldwide: Sharadha Kalyanam -- Politics of Women's Health: Mehra Shirazi -- Reproductive Freedoms: Jayamala Mayilsamy and Kamalaveni Veni -- Families in Global Context: Rebecca J. Lambert -- Gender-Based Violence Worldwide: Patti Duncan -- Women's Work in a Global Economy: Paula Sheridan -- Women and Environmental Politics: Luhui Whitebear -- Women and Political Systems Worldwide: Carrie N. …”
Access online version

Mental Health is a Verb A Pocket Guide to Mental Health for Nursing Students by Bush, Jake, Van Der Like, Jill

Table of Contents: “…Introduction -- Title Page -- Module 1: Mental Health Versus Mental Illness -- Module 2: Theoretical Models Used In Mental Health Nursing -- Module 3: Clinical Assessment, Problems, and Treatment -- Module 4: Psychopharmacology -- Module 5: Mental Health Promotion -- Module 6: Legal and Ethical Issues -- Module 7: Therapeutic Communication -- Module 8: Depression -- Module 9: Anxiety -- Module 10: Bipolar -- Module 11: Somatic Symptom and Related Disorders -- Module 12: Eating Disorders -- Module 13: Substance Abuse and Addiction -- Module 14: Schizophrenia -- Module 15: Personanality Disorders -- Module 16: Neurocognitive Disorders -- Module 17: Childhood Disorders -- Module 18: Psychiatric Emergencies -- Module 19: Grief and Loss -- Appendix -- References…”
Access online version

Insurance Distribution Directive A Legal Analysis /

Table of Contents: “…The Insurance Distribution Directive as a "Benchmark" for National Legislators: The Notion of "Employee" in the IDD: A Harmonized Interpretation Based on the EU Law by Anna Tarasiuk and Bartosz Wojno -- Ensuring the Customer's Best Interest in the Polish Insurance Market by Wojciech Paś -- Insurance Distribution Carried Out by Insurers in Spain by Javier Vercher-Moll -- Enaction of Chapter VII of the Insurance Distribution Directive - What Can Member States Learn from the Enforcement Failures of the United States? …”
Link to Metadata

Sex Work, Health, and Human Rights Global Inequities, Challenges, and Opportunities for Action /

Table of Contents: “…Overview and Evidence-Based Recommendations to Address Health and Human Rights Inequities Faced by Sex Workers -- Part I. …”
Link to Metadata

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

Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Mastering Strategic Management by Edwards, Janice, Ketchen, Dave, Short, Jeremy

Table of Contents: “…Chapter 1 -- Mastering Strategy: Art and Science -- Defining Strategic Management and Strategy -- Intended, Emergent, and Realized Strategies -- The History of Strategic Management -- Understanding the Strategic Management Process -- Conclusion -- Chapter 2 -- Leading Strategically -- Vision, Mission, and Goals -- Assessing Organizational Performance -- The CEO as Celebrity -- Entrepreneurial Orientation -- Conclusion -- Chapter 3 -- Evaluating the External Environment -- The Relationship between an Organization and Its Environment -- Evaluating the General Environment -- Evaluating the Industry -- Mapping Strategic Groups -- Conclusion -- Chapter 4 -- Managing Firm Resources -- Resource-Based Theory -- Intellectual Property -- Value Chain -- Beyond Resource-Based Theory: Other Views on Firm Performance -- SWOT Analysis -- Conclusion -- Chapter 5 -- Selecting Business-Level Strategies -- Understanding Business-Level Strategy through “Generic Strategies” -- Cost Leadership -- Differentiation -- Focused Cost Leadership and Focused Differentiation -- Best-Cost Strategy -- Stuck in the Middle -- Conclusion -- Chapter 6 -- Supporting the Business-Level Strategy: Competitive and Cooperative Moves -- Making Competitive Moves -- Responding to Competitors' Moves -- Making Cooperative Moves -- Conclusion -- Chapter 7 -- Competing in International Markets -- Advantages and Disadvantages of Competing in International Markets -- Drivers of Success and Failure When -- Competing in International Markets -- Types of International Strategies -- Options for Competing in International Markets -- Conclusion -- Chapter 8 -- Selecting Corporate-Level Strategies -- Concentration Strategies -- Vertical Integration Strategies -- Diversification Strategies -- Strategies for Getting Smaller -- Portfolio Planning and Corporate-Level Strategy -- Conclusion -- Chapter 9 -- Executing Strategy through Organizational Design -- The Basic Building Blocks of Organizational Structure -- Creating an Organizational Structure -- Creating Organizational Control Systems -- Legal Forms of Business -- Conclusion -- Chapter 10 -- Leading an Ethical Organization: Corporate Governance, Corporate Ethics, and Social Responsibility -- Boards of Directors -- Corporate Ethics and Social Responsibility -- Understanding Thought Patterns: A Key to Corporate Leadership? …”
Access online version

Migration, Displacement, and Higher Education Now What? /

Table of Contents: “…Teaching Undergraduate Forced Migration Studies through a Community-based Law and Policy Clinic during COVID: What are the crises and opportunities? …”
Link to Metadata

Reimagining Science Education in the Anthropocene, Volume 2

Table of Contents: “…-- Chapter 8 The Social Focus Framework: Antiracist and Anticolonial Conscientization, Consequence, and Presencing in Science Education -- Chapter 9 Breaking the Paradigm: Storying Climate Change -- Part III Politics and Political Reverberations -- Chapter 10 From False Generosity to True Generosity: Theorizing a Critical Imaginary for Science Education -- Chapter 11 Anti-racist Praxis in (Science and) Education -- Chapter 12 Science Education: From an Ideology of Greed to an Ideology of Thriving -- Chapter 13 Practices of Care with the Anthropocene: Scenes from the 2019 Nebraska Flood -- Part IV Science Education for a World Yet to Come -- Chapter 14 Science Fiction, Speculative Pedagogy, and Critical Hope: Counternarratives for/of the Future -- Chapter 15 Curriculum Beyond Apocalypse -- Chapter 16 Let's Root for Each Other and Grow: Interconnectedness (with)in Science Education -- Chapter 17 Perturbing Current Boundary Conditions in Discipline-Based and Science Education Research in the Anthropocene: Implications for Research and Teaching Communities -- Part V Complicated Conversations -- Chapter 18 In Conversation with SharonTodd: Rethinking the Future in a Time of Sorrow -- Chapter 19 In Conversation with Max Liboiron: Towards an Everyday, Anticolonial Feminist Science (Education) Practice -- Chapter 20 In Conversation with Isabelle Stengers: Ontological Politics in Catastrophic Times -- Chapter 21 In Conversation with Steven Khan: Sensible and Sense-able Qualitative Literacies for Multi-species Flourishing -- Conclusion Amplifying Science Education Research with(in) a Minor Key. .…”
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

Geodesy for a Sustainable Earth Proceedings of the 2021 Scientific Assembly of the International Association of Geodesy, Beijing, China, June 28 - July 2, 2021 /

Table of Contents: “…-- Assessing Molodensky's Heights: A Rebuttal -- On the Accuracy of Geoid Heights Derived from Discrete GNSS/Levelling Data Using Kriging Interpolation -- Gravimetric Geoid Modeling by Stokes and Second Helmert's Condensation Method in Yogyakarta, Indonesia -- A Geodetic Determination of the Gravitational Potential Difference Toward a 100-km-scale Clock Frequency Comparison in a Plate Subduction Zone -- Validation of the Hellenic Gravity Network in the Frame of the ModernGravNet Project -- Global Gravity Field Modeling -- Combined Gravity Solution from SLR and GRACE/GRACE-FO -- Contribution of LARES SLR Data to Co-estimated Earth Geopotential Coefficients -- Determination and Combination of Monthly Gravity Field Time Series from Kinematic Orbits of GRACE, GRACE-FO and Swarm -- Topographic Gravity Field Modelling for Improving High-Resolution Global Gravity Field Models -- The Benefit of Accelerometers Based on Cold Atom Interferometry for Future Satellite Gravity Missions -- Kalman-Filter Based Hybridization of Classic and Cold Atom Interferometry Accelerometers for Future Satellite Gravity Missions -- Gravimetry by Nanoscale Parametric Amplifiers Driven by Radiation-Induced Dispersion Force Modulation -- Earth Rotation -- On the Improvement of Combined EOP Series by Adding 24-hour VLBI Sessions to VLBI Intensives and GNSS Data -- Investigating the Relationship Between Length of Day and El-Niño Using Wavelet Coherence Method -- Estimation of Earth Rotation Parameter UT1 from Lunar Laser Ranging Observations -- Surface Deformation Monitoring -- Determination of a GNSS-Based Velocity Field of the African Continent -- Vertical Land Motion at Tide Gauges Observed by GNSS: A New GFZ-TIGA Solution -- CyCLOPS: A National Integrated GNSS/InSAR Strategic Research Infrastructure for Monitoring Geohazards and Forming the Next Generation Datum of the Republic of Cyprus -- GNSS Positioning -- Dilution of Precision (DOP) Factors for Evaluating Observations to Galileo Satellites with VLBI -- On the Limits of State-of-the-Art GNSS Receivers in Frequency Transfer -- On the Effect of Antenna Calibration Errors on Geodetic Estimates: Investigation on Zero and Double Difference Approaches -- Estimation and Calibration of Codephase Center Correction Using the Empirical Mode Decomposition -- On the Potential of Image Similarity Metrics for Comparing Phase Center Corrections -- Multipath Characterization Using Ray-Tracing in Urban Trenches -- Bounding the Residual Tropospheric Error by Interval Analysis -- Precise Orbit Determination of CubeSats Using Proposed Observations Weighting Model -- Geodetic Atmospheric and Remote Sensing -- Optimal TEC Forecast Models Based on Machine Learning and Time Series Analysis Techniques - A Preliminary Study on the Ring of Fire -- Sensitivity of Shipborne GNSS Troposphere Retrieval to Processing Parameters -- Application of the Total Variation Method in Near Real-Time GNSS Tropospheric Tomography -- Comparison of the Effective Isotropic Radiated Power Parameter in CYGNSS v2.1 and v3.0 Level 1 Data and Its Impact on Soil Moisture Estimation -- Cross-Polarization Correction for Soil Moisture Retrieval Using GNSS SNR Data.…”
Link to Metadata

The European Higher Education Area Between Critical Reflections and Future Policies /

Table of Contents: “…Jason Sparks, Adil Ashirbekov, Aisi Li, Lynne Parmenter, Zakir Jumakulov, Aida Sagintayeva -- 9. …”
Link to Metadata

Understanding Risks and Uncertainties in Energy and Climate Policy Multidisciplinary Methods and Tools for a Low Carbon Society /

Table of Contents: “…A detailed overview and consistent classification of climate-economy models -- 'Consensus Building in Engagement Processes' for reducing risks in developing sustainable pathways: Indigenous interests as core elements of engagement -- An application of calibration and uncertainty quantification techniques for agent-based models -- Investments in the EU power system: A stress-test analysis on the effectiveness of decarbonisation policies -- Impact Assessment of Climate and Energy Policy Scenarios: A Multi Criteria Approach -- Water Stress Implications of Energy Scenarios for the Middle East: an Assessment of Risks and Uncertainties -- Evaluation of national environmental efficiency under uncertainty using Data Envelopment Analysis -- Hypothesis for a Risk Cost of Carbon: Revising the Externalities and Ethics of Climate Change -- Assessment of Renewable Energy Projects using a Decision Support System: a process to endorse the Social License to Operate -- A unilateral climate and supply market model. .…”
Link to Metadata

Handbook of Vascular Biometrics

Table of Contents: “…Improved CNN-Segmentation based Finger-Vein Recognition Using Automatically Generated and Fused Training Labels -- 9. …”
Link to Metadata

Pandemics: Insurance and Social Protection

Table of Contents: “…-David Wilkie: On a dynamic epidemiological actuarial model -- Andrew Cairns: Changes in mortality during a pandemic -- Gary Venter: Mortality models with contagion -- Diagnostic tests and procedures during a pandemic -- Matthew Aldridge: Group tests -- Gustavo Demarco and Fiona Stewart: On World Bank's pandemic emergency financial facilities -- Hirbod Assa & Tim Boonen: Mathematical modelling of catastrophe bonds -- Nuria Badenes Pla: Behaviouristic aspects, obedience to the introduced measures in different countries.…”
Link to Metadata

Energy-Efficient and Semi-automated Truck Platooning Research and Evaluation /

Table of Contents: “…Part I: Introduction & Research Approach -- Research Need: An Overview on Project "Connecting Austria" -- Platooning Around the World -- Research Design & Evaluation Strategies -- Truck Platooning Requirements Analysis -- Part II: Methodology -- Computation Fluid Dynamics Assessment of Truck Platoons -- Simulation of Platoon Dynamics, Optimization & Traffic Effects -- Platoon Control Concepts -- Part III: Simulations, Tests and Demonstrations -- ZalaZone -- Scenario-Based Simulation Studies on Platooning Effects in Traffic -- Fuel Efficiency -- Traffic Measurement for the Intersection Case in Hallein, Austria -- Part IV: Analysis of Results -- Requirements for Truck Platooning from a Road Safety Perspective -- Energy, Fuel & Traffic Efficiency of Platooning -- Business Models, Economy & Innovation -- Truck Drives -- How Platooning Research Enhances the European Innovation System - Even Without Electronically-Coupled Trucks on the Road -- Discussion.…”
Link to Metadata

Narratives of Motherhood and Mothering in Fiction and Life Writing

Table of Contents: “…Orality/Aurality and Voice of the Voiceless Mother in Abla Farhoud's Happiness Has a Slippery Tail -- 6. …”
Link to Metadata

Ethics and Responsible Research and Innovation in Practice The ETHNA System Project /

Table of Contents: “…FOUNDATIONS -- Institutional Governance of Responsible Research and Innovation -- The ETHNA System and Support Tools -- Importance and Necessity of Stakeholder Engagement -- EXPERIENCES AND LESSONS LEARNED -- Evaluation of RRI Institutionalisation Endeavours: Specificities, Drivers, Barriers, and Good Practices based on a Multi-Stakeholder Consultation and Living Lab Experiences. …”
Link to Metadata

Global Business Strategy Multinational Corporations Venturing into Emerging Markets / by Motohashi, Kazuyuki

Table of Contents: “…Fundamentals Of Strategic Planning -- 7. Alliance-based Global Strategy -- 8. Hitachi Construction Machinery: Becoming a Wholly Owned Chinese Entity -- 9. …”
Link to Metadata