×

Found 959 Documents (Results 1–100)

Secure and privacy-compliant data sharing: an essential framework for healthcare organizations. (English) Zbl 07980052

Giri, Debasis (ed.) et al., Proceedings of the tenth international conference on mathematics and computing. ICMC 2024, Krishnankoil, Tamil Nadu, India, January 4–7, 2024. Volume 1. Singapore: Springer. Lect. Notes Netw. Syst. 964, 15-26 (2024).
MSC:  65-XX 68-XX 94-XX
Full Text: DOI

An enhanced Internet of things enabled type-2 fuzzy logic for Healthcare system applications. (English) Zbl 1534.93269

Castillo, Oscar (ed.) et al., Recent trends on type-2 fuzzy logic systems: theory, methodology and applications. Cham: Springer. Stud. Fuzziness Soft Comput. 425, 133-151 (2023).
MSC:  93C42 92C50
Full Text: DOI

Scrutable robot actions using a hierarchical ontological model. (English) Zbl 1522.68604

Braun, Tanya (ed.) et al., Graph-based representation and reasoning. 27th international conference on conceptual structures, ICCS 2022, Münster, Germany, September 12–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13403, 11-24 (2022).
MSC:  68T40 68T20 68T30

Deciding FO-rewritability of ontology-mediated queries in linear temporal logic. (English) Zbl 07744953

Combi, Carlo (ed.) et al., 28th international symposium on temporal representation and reasoning, TIME 2021, Klagenfurt, Austria, virtual conference, September 27–29, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 206, Article 10, 15 p. (2021).
MSC:  68Q42 03B44 68T30
Full Text: DOI

Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes. (English) Zbl 1540.68240

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 309-326 (2021).
MSC:  68T30 68T27

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software