Buchumschlag

Smart Health Software to Support Rescue Personnel in Emergency Situations

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ahammed, Abu Shad, Obermaisser, Roman
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Impact Analysis of Data Drift Towards The Development of Safety-Critical Automotive System
von: Hossain, Md Shahi Amran, et al.
Veröffentlicht: (2024)

Enhanced Drift-Aware Computer Vision Architecture for Autonomous Driving
von: Hossain, Md Shahi Amran, et al.
Veröffentlicht: (2025)

Diagnosing Psychiatric Patients: Can Large Language and Machine Learning Models Perform Effectively in Emergency Cases?
von: Ahammed, Abu Shad, et al.
Veröffentlicht: (2025)

A Computer Vision Approach for Autonomous Cars to Drive Safe at Construction Zone
von: Ahammed, Abu Shad, et al.
Veröffentlicht: (2024)

Integration of Computer Vision with Adaptive Control for Autonomous Driving Using ADORE
von: Ahammed, Abu Shad, et al.
Veröffentlicht: (2025)

Support is Search
von: Gheorghiu, Alexander V.
Veröffentlicht: (2026)

Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus
von: Kalala, Kalonji, et al.
Veröffentlicht: (2025)

Consistent Update Synthesis via Privatized Beliefs
von: Schlögl, Thomas, et al.
Veröffentlicht: (2024)

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
von: Fang, Liangda, et al.
Veröffentlicht: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

On two consequences of CH established by Sierpinski. II
von: Pol, Roman, et al.
Veröffentlicht: (2024)

Six Birds: Foundations of Emergence Calculus
von: Tsiokos, Ioannis
Veröffentlicht: (2026)

Increasing the LLM Accuracy for Question Answering: Ontologies to the Rescue!
von: Allemang, Dean, et al.
Veröffentlicht: (2024)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
von: Hofmann, Till, et al.
Veröffentlicht: (2024)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
von: van der Giessen, Iris, et al.
Veröffentlicht: (2023)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
von: Hozzová, Petra, et al.
Veröffentlicht: (2024)

Abstracting Situation Calculus Action Theories
von: Banihashemi, Bita, et al.
Veröffentlicht: (2024)

Tutorial: Designing Distributed Software in mCRL2
von: Groote, Jan Friso, et al.
Veröffentlicht: (2021)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
von: Heuvel, Bas van den
Veröffentlicht: (2024)

Monitoring the Future of Smart Contracts
von: Capretto, Margarita, et al.
Veröffentlicht: (2024)

Logical foundations of Smart Contracts
von: Kalala, Kalonji
Veröffentlicht: (2025)

Model Explanation via Support Graphs
von: Cabalar, Pedro, et al.
Veröffentlicht: (2023)

KIRETT -- A wearable device to support rescue operations using artificial intelligence to improve first aid
von: Zenkert, Johannes, et al.
Veröffentlicht: (2025)

Enhancing Vision Language Models with Logic Reasoning for Situational Awareness
von: Pradeep, Pavana, et al.
Veröffentlicht: (2026)

Property B: A Baumgartner-style Property that Applies to Preservation of $\aleph_1$ and $\aleph_2$ under Iterations with Supports of Size $\aleph_1$
von: Džamonja, Mirna
Veröffentlicht: (2025)

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
von: Soltani, Reza, et al.
Veröffentlicht: (2025)

Computing Supported Models via Transformation to Stable Models
von: Li, Fang, et al.
Veröffentlicht: (2025)

Automated Software Verification of Hyperliveness
von: Beutner, Raven
Veröffentlicht: (2024)

Fusions of One-Variable First-Order Modal Logics
von: Kontchakov, Roman, et al.
Veröffentlicht: (2026)

Promonads and String Diagrams for Effectful Categories
von: Román, Mario
Veröffentlicht: (2022)

Smart Contracts Formal Verification: A Systematic Literature Review
von: Davila, Rene, et al.
Veröffentlicht: (2025)

Policies Grow on Trees: Model Checking Families of MDPs
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2024)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
von: Artale, Alessandro, et al.
Veröffentlicht: (2024)

Small Decision Trees for MDPs with Deductive Synthesis
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2025)

Interpolation in Proof Theory
von: van der Giessen, Iris, et al.
Veröffentlicht: (2026)

Simulation by Rounds of Letter-to-Letter Transducers
von: Nassar, Antonio Abu, et al.
Veröffentlicht: (2021)

Characterizing the Polynomial-Time Minimizable $ω$-Automata
von: Radi, Bader Abu, et al.
Veröffentlicht: (2025)

Smart Choices and the Selection Monad
von: Abadi, Martin, et al.
Veröffentlicht: (2020)

Gradual Verification for Smart Contracts
von: Sun, Haojia, et al.
Veröffentlicht: (2023)

Limit Filters and Dependent Choice in Countable-Support Symmetric Iterations
von: Gilson, Frank
Veröffentlicht: (2026)