:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Baixeries, Jaume, Napoli, Amedeo
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science 68 H.0; H.1.0
Online Access:	https://arxiv.org/abs/2404.12229
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Database Dependencies and Formal Concept Analysis
by: Baixeries, Jaume
Published: (2024)

Using Deep Learning to Find the Next Unicorn: A Practical Synthesis
by: Cao, Lele, et al.
Published: (2022)

Descriptive complexity for neural networks via Boolean networks
by: Ahvonen, Veeti, et al.
Published: (2023)

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

Data Understanding Survey: Pursuing Improved Dataset Characterization Via Tensor-based Methods
by: Merris, Matthew D., et al.
Published: (2025)

The Complexity of Resilience Problems via Valued Constraint Satisfaction
by: Bodirsky, Manuel, et al.
Published: (2023)

What Should Explanations Contain? A Human-Centered Explanation Content Model for Local, Post-Hoc Explanations
by: Degen, Helmut
Published: (2026)

Output-Sensitive Evaluation of Acyclic Conjunctive Regular Path Queries
by: Khamis, Mahmoud Abo, et al.
Published: (2025)

The Fractal Logic of Phi-adic Recursion
by: Rosko, Milan
Published: (2025)

Non-exchangeable Conformal Prediction for Temporal Graph Neural Networks
by: Wang, Tuo, et al.
Published: (2025)

Modelling and Study of t , Peak and Effective Diameter in Temporal Networks
by: Farahi, Zahra, et al.
Published: (2025)

Adversarial Barrier in Uniform Class Separation
by: Rosko, Milan
Published: (2025)

Billion-scale Similarity Search Using a Hybrid Indexing Approach with Advanced Filtering
by: Emanuilov, Simeon, et al.
Published: (2025)

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

Multiset semantics in SPARQL, Relational Algebra and Datalog
by: Angles, Renzo, et al.
Published: (2026)

Constraint satisfaction problems, compactness and non-measurable sets
by: Tardif, Claude
Published: (2025)

ProofBuddy: How it Started, How it's Going
by: Karsten, Nadine, et al.
Published: (2025)

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
by: Galmiche, Didier, et al.
Published: (2024)

The syntactic side of autonomous categories enriched over generalised metric spaces
by: Dahlqvist, Fredrik, et al.
Published: (2022)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
by: Park, Sewon, et al.
Published: (2016)

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

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

Leveraging Diversity in Online Interactions
by: Osman, Nardine, et al.
Published: (2023)

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

Provability in BI's Sequent Calculus is Decidable
by: Gheorghiu, Alexander, et al.
Published: (2021)

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

The First MPDD Challenge: Multimodal Personality-aware Depression Detection
by: Fu, Changzeng, et al.
Published: (2025)

IG Parser: A Software Package for the Encoding of Institutional Statements using the Institutional Grammar
by: Frantz, Christopher K.
Published: (2025)

Language processing in humans and computers
by: Pavlovic, Dusko
Published: (2024)

A Complete V-Equational System for Graded lambda-Calculus
by: Dahlqvist, Fredrik, et al.
Published: (2023)

Information Fusion in Multimodal IoT Systems for physical activity level monitoring
by: Shirali, Mohsen, et al.
Published: (2024)

The Unicity Execution Layer
by: Buldas, Ahto, et al.
Published: (2026)

Unicity: Predicates and Atomic Swaps
by: Buldas, Ahto, et al.
Published: (2026)

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

LLM-based event abstraction and integration for IoT-sourced logs
by: Shirali, Mohsen, et al.
Published: (2024)

LLT: An R package for Linear Law-based Feature Space Transformation
by: Kurbucz, Marcell T., et al.
Published: (2023)

The Interplay of Attention and Memory in Visual Enumeration
by: Sankar, B., et al.
Published: (2025)

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

Privacy Engineering From Principles to Practice: A Roadmap
by: Pallas, Frank, et al.
Published: (2024)

GACL: Graph Attention Collaborative Learning for Temporal QoS Prediction
by: Hu, Shengxiang, et al.
Published: (2024)