:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Baixeries, Jaume, Napoli, Amedeo
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science 68 H.0; H.1.0
Accesso online:	https://arxiv.org/abs/2404.12229
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Database Dependencies and Formal Concept Analysis
di: Baixeries, Jaume
Pubblicazione: (2024)

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

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

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

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

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

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

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

The Fractal Logic of Phi-adic Recursion
di: Rosko, Milan
Pubblicazione: (2025)

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

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

Adversarial Barrier in Uniform Class Separation
di: Rosko, Milan
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

Leveraging Diversity in Online Interactions
di: Osman, Nardine, et al.
Pubblicazione: (2023)

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

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

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

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

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

Language processing in humans and computers
di: Pavlovic, Dusko
Pubblicazione: (2024)

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

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

The Unicity Execution Layer
di: Buldas, Ahto, et al.
Pubblicazione: (2026)

Unicity: Predicates and Atomic Swaps
di: Buldas, Ahto, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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