Search Results - ABSP~

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

Table of Contents: “…Range-Restricted and Horn Interpolation through Clausal Tableaux -- Non-Classical Logics in Satisfiability Modulo Theories -- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics -- Non-distributive description logic -- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized -- Some Analytic Systems of Rules -- A cut-free, sound and complete Russellian theory of definite descriptions -- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators -- Lemmas: Generation, Selection, Application -- Machine-Learned Premise Selection for Lean -- gym-saturation: Gymnasium environments for saturation provers (System description) -- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points -- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic -- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata -- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation -- On intuitionistic diamonds (and lack thereof) -- NP Complexity for Combinations of Non-Normal Modal Logics -- Resolution-based Calculi for Non-Normal Modal Logics -- Canonicity of Proofs in Constructive Modal Logic -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions -- Nested Sequents for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.…”
Link to Metadata

Perspectives on European Earthquake Engineering and Seismology Volume 2 /

Table of Contents: “…Seismic Analyses and Design of  Foundation Soil Structure Interaction.- 7. Performance-based Seismic Design and Assessment of Bridges.- 8. …”
Link to Metadata

The Future of the Law of the Sea Bridging Gaps Between National, Individual and Common Interests /

Table of Contents: “…Martin Perez, The environmental legal framework for the development of blue energy in Europe -- Monserrat Abad Castellos, The Black Sea and Blue Energy: challenges, opportunities and the role of the European Union -- Part II - The national and international response to maritime crimes: Giorgia Bevilacqua, Exploring the Ambiguity of Operation Sophia between Military and Search and Rescue Activities -- Jasenko Marin, Miso Mudric and Robert Mikac, Private Maritime Security Contractors and Use of Lethal Force in Maritime Domain -- Magne Frostad, United Nations authorized Embargoes and Maritime Interdiction: a Special Focus on Somalia -- Pirjo Kleemola-Juntunen, The Right of Innocent Passage: The Challenge of the Proliferation Security Initiative and the Implications for the Territorial Waters of the Åland Islands.…”
Link to Metadata

Knowing the Salween River: Resource Politics of a Contested Transboundary River

Table of Contents: “…-- 3.Hydropower Politics and Conflict on the Salween River -- 4.From Hydropower Construction to National Park Creation: Changing Pathways of the Nu River -- 5.Rites, Rights and Water Justice in Karen State: A Case Study of Community-based Water Governance and the Hatgyi Dam -- 6.Contested Water Governance in Myanmar/Burma: Politics, the Peace Negotiations and the Production of Scale -- 7.A State of Knowledge of the Salween River: An Overview of Civil Society Research -- 8."…”
Link to Metadata

Cultivating Teacher Resilience International Approaches, Applications and Impact /

Table of Contents: “…-- 2 Understanding and examining teacher resilience from multiple perspectives -- 3 A BRiTE journey -- Section 2 Implementation and Applications -- 4 Staying BRiTE: An introduction -- 5 Connecting, embedding and developing BRiTE across multiple levels -- 6 Thinking dispositions for teaching: Enabling and supporting resilience in context -- 7 Implementing BRiTE in Initial Teacher Education Programs: through the eyes of the teacher educators -- 8 Doing it resiliently: Using arts-based approaches to embed resilience in professional experience learning -- 9 Building resilience for Early Years teachers -- 10 BRiTE mind: An online module to support mindful teacher resilience -- Section 3 Interventions and Impact -- 11 Building Resilience: Using BRiTE with beginning teachers in the US -- 12 Positive education: A professional learning programme to foster teacher's resilience and well-being -- 13 The professional assessment and development induction program:Application of the BRiTE project to the Spanish context -- 14 Practical applications for building teacher wellbeing in education -- 15 Understanding teacher wellbeing through job demands-resources theory -- Section 4 Future Directions -- 16 BRiTE-AR ways to prepare preservice teachers: Augmented reality addressing conflict and stress -- 17 Staying BRiTE in the Dutch teacher education context -- 18 Navigating changing times: Exploring teacher educator experiences of resilience -- 19 Looking back and moving forward.…”
Link to Metadata

Wadi Flash Floods Challenges and Advanced Approaches for Disaster Risk Reduction /

Table of Contents: “…The ISFF Project -- Facts and Challenges -- Flood Analysis and Mitigation Strategies in Algeria -- Assessing the Impact of Climate Change on Temperature and Precipitation Over India -- Analysis of The Hydrological Behavior of Watersheds in The Context of Climate Change -- Impact of Infiltration and Small-Scale Topographical Features -- An Early Warning System for Arid and Semi-Arid Regions -- Hydrologic Assessment of The Uncertainty of Six Remote Sensing Precipitation Estimates Driven by A Distributed Hydrologic Model in The Blue Nile Basin -- Innovative Monitoring Techniques for Wadi Flash Flood by Using Image-Based Analysis -- A Temporally Varied Rainfall Simulator for Flash flood studies -- The Role of Urban Planning and Landscape Tools Concerning Flash Flood Risk Reduction within Arid and Semi-Arid Regions -- Measuring Vulnerability to Flash Flood Of Urban Dwellers -- Case studies from Oman and Brazil -- A Case Study of The Jeddah City Neighborhood Abruq Ar Rughamah, Saudi Arabia -- International Collaboration Project -- Sediment Transport in Shallow Waters: As A Multiphysics Approach -- Case Of Hodna Basin In Algeria -- Reservoir Sediment Management Practices in Sudan: A Case Study of Khashm El-Girba Dam -- Determining the Precipitation Intensity Threshold of Debris Flood Occurrence -- Assessment of Groundwater Resources in Water Spring Areas Using Geophysical Methods, Northern UAE -- Evaluation of the Effect of the Wadi Bih Dam on Groundwater Recharge, UAE -- Assess the impacts of groundwater over-drafting on water quality and environment degradation at Fares area, Aswan, Egypt.…”
Link to Metadata

Japan's Peacekeeping at a Crossroads Taking a Robust Stance or Remaining Hesitant? / by Fujishige, Hiromi Nagata, Uesugi, Yuji, Honda, Tomoaki

Table of Contents: “…Recent Developments in Japan's International Peace Cooperation Under the Second Abe Government 2012-2020 -- 5. Cambodia: Japan's First UNPKO Contribution -- 6. …”
Link to Metadata

Language Practices Among Children and Youth in Indonesia

Table of Contents: “…Graphemic Transcription of Javanese in Instant Messaging Apps -- 10. Javanese Personal Names in Traditional and Global Contexts: A Semiotic Study -- 11 Children and the Interpretation of Gugon Tuhon: The Age Factor.…”
Link to Metadata

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

Table of Contents: “…SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach - A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !…”
Link to Metadata

Human and Organisational Factors Practices and Strategies for a Changing World /

Table of Contents: “…HOF: Adjusting the Rule-Based Safety/Managed Safety Balance and Keeping Pace with a Changing Reality, by Caroline Kamaté.…”
Link to Metadata

Migration to and from Welfare States Lived Experiences of the Welfare-Migration Nexus in a Globalised World /

Table of Contents: “…The Mobility of the Elderly and Family-Based Care: A Case Study of Chinese Migrant Grand(Parents) -- Chapter 3. …”
Link to Metadata

Transformation Literacy Pathways to Regenerative Civilizations /

Table of Contents: “…Introduction and conceptual framing - transformation literacy as a future-making skill -- Part 1: Mindsets in service of wellbeing on a healthy planet -- Setting the scene: How to connect with a world as an interconnected whole -- The same tone, but a new sound - understanding the story of the soul as pathway to regenerative civilizations -- Possible futures -- Transformative literacy as the ability to look forward from within -- Chinese cultural treasures as contributions to a mindset of interconnectedness for global transformations -- The systems aliveness approach - from navigating emergency to stewarding wellbeing on a healthy planet -- Part 2: Systems that enable and safeguard wellbeing on a healthy planet -- Setting the scene: Viewing the world as interconnected systems -- Everything is connected - envisioning how a regenerative world looks like -- Managing forestry in a sustainable manner, the importance of system´s analysis -- Sustainable community transformation process.…”
Link to Metadata

Hepatocellular Carcinoma

Table of Contents: “…Associating Liver Partition and Portal Vein Ligation for Staged Hepatectomy (ALPPS) -- Chapter 18. "Re-Do" Surgery for Hepatocellular Carcinoma: Indications and Results -- Chapter 19. …”
Link to Metadata

Rethinking Film Festivals in the Pandemic Era and After

Table of Contents: “…-- Part II: Experimenting on the Frontlines: Innovative Responses to the Crisis -- Chapter 8: Vidéo de Femmes Dans le Parc: Feminist Rhythms and Festival Times Under Covid -- Chapter 9: Curating Our Own Space: A Conversation on Online Queer Film Exhibition and Adult Queer Cinema -- Chapter 10: Cinephilia, Publics, Cinegoraphilia: Surveying the ShortTerm Effects of Covid-19 on Community-Based Festivals in Toronto -- Chapter 11: Film Festivals in Taiwan: Lurking on the Periphery -- Chapter 12: Precarity, Innovation, and Survival in the Indian Film Festival Sector -- Chapter 13: Curating as Care: La Semaine de la Critique and the Marrakech International Film Festival in the Age of Covid-19 -- Part III: Never Waste a Good Crisis: (Re)imagining Festivals After the Pandemic -- Chapter 14: Toward Decolonized Film Festival Worlds -- Chapter 15: Festivals, Covid-19, and the Crisis of Archiving -- Chapter 16: Greening Film Festivals.…”
Link to Metadata

European Language Grid A Language Technology Platform for Multilingual Europe /

Table of Contents: “…Basque-speaking Smart Speaker based on Mycroft AI -- 16. CEFR Labelling and Assessment Services.-17. …”
Link to Metadata

Democratizing Risk Governance Bridging Science, Expertise, Deliberation and Public Values /

Table of Contents: “…Chapter 7: Carbon capture, utilization and storage: public confidence in risk decision-making -- Chapter 8: Public Inclusion and Responsiveness in Governance of Genetically Engineered Animals -- Chapter 9: Decision-making about Newborn screening panels in Canada: risk management and public participation -- Chapter 10: Balancing shared decision-making with population-based recommendations: a policy perspective of PSA testing and mammography screening -- Chapter 11: Public Engagement on Childhood Vaccination: Democratizing policy decision-making through public deliberation -- Chapter 12: Narratives and the Water Fluoridation Controversy -- Chapter 13: Exploring the Role of Information Sources in Vaccine Decision-Making among Four Culturally and Linguistically Diverse Communities in the U.S -- Chapter 14: Opportunities and Perils of Public Consultation in the creation of COVID-19 vaccine priority groups.…”
Link to Metadata

Materialising the Future A Learning Path to Understand, Develop and Apply Emerging Materials and Technologies /

Table of Contents: “…Lesson learnt from surveys and participative workshops - Alba Obiols -- A supporting tool to design with and for EM&Ts: the materials toolkit - Gemma Esteban, Geraldine Kann, Veronica Sarbach, Daniela Amandolese -- Transferring Knowledge from Academia to the Companies: a new method -Aitor Cazón -- Part 2 Field Studies: From Ideation to Applications -- Applying DATEMATS Methods and tools to Nanomaterials: A design challenge by the company Antolin - Robert Thompson -- Applying DATEMATS Methods and tools to ICS Materials in wearable domain: mastering the complexity of hybrid materials - Stefano Parisi -- Applying DATEMATS Methods and tools toAdvanced Growing Materials: handling the materials growing and design challenges launched by a company- Anke Pasold -- Applying DATEMATS Methods and tools to Experimental Wood-based Materials: Materiality in ideation process-Pirjo Kääriäinen, Tarja-Kaarina Laamanen -- How can we establish long-lasting collaboration with companies? …”
Link to Metadata

Truth Claims Across Media

Table of Contents: “…The Montage of the National Past: Polish Right-Wing Illustrated Press and the Abuse of History -- Chapter 4. Trustworthiness in the Swedish Strategies for Covid-19 in Recorded Press Conferences from the Public Health Agency of Sweden -- Part II Personal Quests for Empirical Truth: Testimony and Media Hybridity -- Chapter 5. …”
Link to Metadata

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherla...

Table of Contents: “…XP 2022 -- Connecting Agile with Theory of Change -- Enhancing Agile Software Development Sustainability through the Integration of User Experience and Gamification -- Sustainable IT in an agile DevOps setup leads to a shift left in sustainability engineering -- Improving the implementation of microservice-based systems with static code analysis -- Towards an Architecture-centric Methodology for Migrating to Microservices -- Being agile in a data science project -- The Future of Work: Agile in a Hybrid World -- XP 2023 -- Organizational Debt in Large-Scale Hybrid Agile Software Development: A Case Study on Coordination Mechanisms -- The Know-How of Agile Retrospectives in Software Startups -- Analytics Practices in Practice: How Software Startup Companies Are Applying Analytics? …”
Link to Metadata

Positive Tipping Points Towards Sustainability Understanding the Conditions and Strategies for Fast Decarbonization in Regions /

Table of Contents: “…Transformations, Agency and Positive Tipping Points: a Resilience-based Approach -- Chapter 5. Principles for a Case Study Approach to Social Tipping Points -- Chapter 6. …”
Link to Metadata