Copertina

Smart Health Software to Support Rescue Personnel in Emergency Situations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ahammed, Abu Shad, Obermaisser, Roman
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Enhanced Drift-Aware Computer Vision Architecture for Autonomous Driving
di: Hossain, Md Shahi Amran, et al.
Pubblicazione: (2025)

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

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

Integration of Computer Vision with Adaptive Control for Autonomous Driving Using ADORE
di: Ahammed, Abu Shad, et al.
Pubblicazione: (2025)

Support is Search
di: Gheorghiu, Alexander V.
Pubblicazione: (2026)

Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus
di: Kalala, Kalonji, et al.
Pubblicazione: (2025)

Consistent Update Synthesis via Privatized Beliefs
di: Schlögl, Thomas, et al.
Pubblicazione: (2024)

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
di: Fang, Liangda, et al.
Pubblicazione: (2024)

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

On two consequences of CH established by Sierpinski. II
di: Pol, Roman, et al.
Pubblicazione: (2024)

Six Birds: Foundations of Emergence Calculus
di: Tsiokos, Ioannis
Pubblicazione: (2026)

Increasing the LLM Accuracy for Question Answering: Ontologies to the Rescue!
di: Allemang, Dean, et al.
Pubblicazione: (2024)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
di: Hofmann, Till, et al.
Pubblicazione: (2024)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
di: van der Giessen, Iris, et al.
Pubblicazione: (2023)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
di: Hozzová, Petra, et al.
Pubblicazione: (2024)

Abstracting Situation Calculus Action Theories
di: Banihashemi, Bita, et al.
Pubblicazione: (2024)

Tutorial: Designing Distributed Software in mCRL2
di: Groote, Jan Friso, et al.
Pubblicazione: (2021)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
di: Heuvel, Bas van den
Pubblicazione: (2024)

Monitoring the Future of Smart Contracts
di: Capretto, Margarita, et al.
Pubblicazione: (2024)

Logical foundations of Smart Contracts
di: Kalala, Kalonji
Pubblicazione: (2025)

Model Explanation via Support Graphs
di: Cabalar, Pedro, et al.
Pubblicazione: (2023)

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

Enhancing Vision Language Models with Logic Reasoning for Situational Awareness
di: Pradeep, Pavana, et al.
Pubblicazione: (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$
di: Džamonja, Mirna
Pubblicazione: (2025)

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

Computing Supported Models via Transformation to Stable Models
di: Li, Fang, et al.
Pubblicazione: (2025)

Automated Software Verification of Hyperliveness
di: Beutner, Raven
Pubblicazione: (2024)

Fusions of One-Variable First-Order Modal Logics
di: Kontchakov, Roman, et al.
Pubblicazione: (2026)

Promonads and String Diagrams for Effectful Categories
di: Román, Mario
Pubblicazione: (2022)

Smart Contracts Formal Verification: A Systematic Literature Review
di: Davila, Rene, et al.
Pubblicazione: (2025)

Policies Grow on Trees: Model Checking Families of MDPs
di: Andriushchenko, Roman, et al.
Pubblicazione: (2024)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
di: Artale, Alessandro, et al.
Pubblicazione: (2024)

Small Decision Trees for MDPs with Deductive Synthesis
di: Andriushchenko, Roman, et al.
Pubblicazione: (2025)

Interpolation in Proof Theory
di: van der Giessen, Iris, et al.
Pubblicazione: (2026)

Simulation by Rounds of Letter-to-Letter Transducers
di: Nassar, Antonio Abu, et al.
Pubblicazione: (2021)

Characterizing the Polynomial-Time Minimizable $ω$-Automata
di: Radi, Bader Abu, et al.
Pubblicazione: (2025)

Smart Choices and the Selection Monad
di: Abadi, Martin, et al.
Pubblicazione: (2020)

Gradual Verification for Smart Contracts
di: Sun, Haojia, et al.
Pubblicazione: (2023)

Limit Filters and Dependent Choice in Countable-Support Symmetric Iterations
di: Gilson, Frank
Pubblicazione: (2026)