:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Baixeries, Jaume, Napoli, Amedeo
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science 68 H.0; H.1.0
Online-Zugang:	https://arxiv.org/abs/2404.12229
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Database Dependencies and Formal Concept Analysis
von: Baixeries, Jaume
Veröffentlicht: (2024)

Using Deep Learning to Find the Next Unicorn: A Practical Synthesis
von: Cao, Lele, et al.
Veröffentlicht: (2022)

Descriptive complexity for neural networks via Boolean networks
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2023)

Redundancy-as-Masking: Formalizing the Artificial Age Score (AAS) to Model Memory Aging in Generative AI
von: Kayadibi, Seyma Yaman
Veröffentlicht: (2025)

Data Understanding Survey: Pursuing Improved Dataset Characterization Via Tensor-based Methods
von: Merris, Matthew D., et al.
Veröffentlicht: (2025)

The Complexity of Resilience Problems via Valued Constraint Satisfaction
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2023)

What Should Explanations Contain? A Human-Centered Explanation Content Model for Local, Post-Hoc Explanations
von: Degen, Helmut
Veröffentlicht: (2026)

Output-Sensitive Evaluation of Acyclic Conjunctive Regular Path Queries
von: Khamis, Mahmoud Abo, et al.
Veröffentlicht: (2025)

The Fractal Logic of Phi-adic Recursion
von: Rosko, Milan
Veröffentlicht: (2025)

Non-exchangeable Conformal Prediction for Temporal Graph Neural Networks
von: Wang, Tuo, et al.
Veröffentlicht: (2025)

Modelling and Study of t , Peak and Effective Diameter in Temporal Networks
von: Farahi, Zahra, et al.
Veröffentlicht: (2025)

Adversarial Barrier in Uniform Class Separation
von: Rosko, Milan
Veröffentlicht: (2025)

Billion-scale Similarity Search Using a Hybrid Indexing Approach with Advanced Filtering
von: Emanuilov, Simeon, et al.
Veröffentlicht: (2025)

Honest Computing: Achieving demonstrable data lineage and provenance for driving data and process-sensitive policies
von: Guitton, Florian, et al.
Veröffentlicht: (2024)

Multiset semantics in SPARQL, Relational Algebra and Datalog
von: Angles, Renzo, et al.
Veröffentlicht: (2026)

Constraint satisfaction problems, compactness and non-measurable sets
von: Tardif, Claude
Veröffentlicht: (2025)

ProofBuddy: How it Started, How it's Going
von: Karsten, Nadine, et al.
Veröffentlicht: (2025)

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
von: Galmiche, Didier, et al.
Veröffentlicht: (2024)

The syntactic side of autonomous categories enriched over generalised metric spaces
von: Dahlqvist, Fredrik, et al.
Veröffentlicht: (2022)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
von: Park, Sewon, et al.
Veröffentlicht: (2016)

A Mixed User-Centered Approach to Enable Augmented Intelligence in Intelligent Tutoring Systems: The Case of MathAIde app
von: Guerino, Guilherme, et al.
Veröffentlicht: (2025)

Designing Gamified Social Interaction for Gen Z in the Metaverse: A Framework-Oriented Systematic Literature Review
von: Xie, Baitong, et al.
Veröffentlicht: (2025)

Leveraging Diversity in Online Interactions
von: Osman, Nardine, et al.
Veröffentlicht: (2023)

Cam-2-Cam: Exploring the Design Space of Dual-Camera Interactions for Smartphone-based Augmented Reality
von: Woodard, Brandon, et al.
Veröffentlicht: (2025)

Provability in BI's Sequent Calculus is Decidable
von: Gheorghiu, Alexander, et al.
Veröffentlicht: (2021)

Leibniz's Monadology as Foundation for the Artificial Age Score: A Formal Architecture for Al Memory Evaluation
von: Kayadibi, Seyma Yaman
Veröffentlicht: (2025)

The First MPDD Challenge: Multimodal Personality-aware Depression Detection
von: Fu, Changzeng, et al.
Veröffentlicht: (2025)

IG Parser: A Software Package for the Encoding of Institutional Statements using the Institutional Grammar
von: Frantz, Christopher K.
Veröffentlicht: (2025)

Language processing in humans and computers
von: Pavlovic, Dusko
Veröffentlicht: (2024)

A Complete V-Equational System for Graded lambda-Calculus
von: Dahlqvist, Fredrik, et al.
Veröffentlicht: (2023)

Information Fusion in Multimodal IoT Systems for physical activity level monitoring
von: Shirali, Mohsen, et al.
Veröffentlicht: (2024)

The Unicity Execution Layer
von: Buldas, Ahto, et al.
Veröffentlicht: (2026)

Unicity: Predicates and Atomic Swaps
von: Buldas, Ahto, et al.
Veröffentlicht: (2026)

Parameterizations of the Hubble Constant: Logarithmic vs Power-Law Expansion from the Binned Master Sample of SNe Ia
von: Dainotti, Maria Giovanna, et al.
Veröffentlicht: (2026)

LLM-based event abstraction and integration for IoT-sourced logs
von: Shirali, Mohsen, et al.
Veröffentlicht: (2024)

LLT: An R package for Linear Law-based Feature Space Transformation
von: Kurbucz, Marcell T., et al.
Veröffentlicht: (2023)

The Interplay of Attention and Memory in Visual Enumeration
von: Sankar, B., et al.
Veröffentlicht: (2025)

The Landscape of Generative AI in Information Systems: A Synthesis of Secondary Reviews and Research Agendas
von: Jarzębowicz, Aleksander, et al.
Veröffentlicht: (2026)

Privacy Engineering From Principles to Practice: A Roadmap
von: Pallas, Frank, et al.
Veröffentlicht: (2024)

GACL: Graph Attention Collaborative Learning for Temporal QoS Prediction
von: Hu, Shengxiang, et al.
Veröffentlicht: (2024)