Comparing Traditional and eXtended Reality-based Learning: Effects on Performance, Emotions, and Cognitive Aspects
An Agda formalization of nonassociative Lambek calculus and its metatheory
Comparative evaluation of XAI techniques for CNN interpretation in Parkinson’s drawing test classification
Semi-substructural logics à la Lambek with symmetry
Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings
Di- is for directed: first-order directed type theory via dinaturality
Enhancing Human-Robot Interaction Through Nonverbal Communication and User Self-efficacy
Strategies for compatibilisation of extracted lignin properties with commercial applications: general discussion
Metal–phenolic network-coated nanoparticles mitigate CuO nanotoxicity
Biodegradability and Ecotoxicity Profiles of Choline Acetate, Betaine, and L-Proline NADESs: A Hidden Threat for Eutrophication?
Mechanochemistry: A Transformative Technique for the Synthesis of Polar Organometallics from Zero-Valent Metals
Maternal antibodies shape infant immune response development in an epitope-specific manner
From Virtual to Reality: A Structured Framework to Training Humanoid Robots for Elderly Care Using Learning from Demonstration
Procontainers for idioms, arrows and monads