Publications

Comparing Traditional and eXtended Reality-based Learning: Effects on Performance, Emotions, and Cognitive Aspects
Journal / Periodical: Extended Reality: International Conference, XR Salento 2025, Otranto, Italy, June 17–20, 2025, Proceedings, Part VI
Authors: Mondellini, Marta; Arlati, Sara; Urgo, Marcello; Pizzagalli, Simone Luca; Kashif, Mahmood; Terkaj, Walter
Year: 2026
An Agda formalization of nonassociative Lambek calculus and its metatheory
Journal / Periodical: Automated Reasoning with Analytic Tableaux and Related Methods : 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings
Authors: Veltri, Niccolò; Wan, Cheng-Syuan
Year: 2026
Comparative evaluation of XAI techniques for CNN interpretation in Parkinson’s drawing test classification
Journal / Periodical: HCist 2025 - International Conference on Health and Social Care Information Systems and Technologies, Abu Dhabi, United Arab Emirates, 26 - 28 November, 2025, proceedings
Authors: Alawode, Oluwandabira Ohifeme; Valla, Elli; Toomela, Aaro; Nõmm, Sven
Year: 2026
Semi-substructural logics à la Lambek with symmetry
Journal / Periodical: Bulletin of the Section of Logic
Authors: Wan, Cheng-Syuan
Year: 2026
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
Journal / Periodical: Proceedings of the ACM on Programming Languages
Authors: Laretto, Andrea; Loregian, Fosco; Veltri, Niccolò
Year: 2026
Enhancing Human-Robot Interaction Through Nonverbal Communication and User Self-efficacy
Journal / Periodical: Social Robotics + AI
Authors: Marmor, Kristel; Leoste, Janika; Rodríguez-Piñero, Piedad Tolmos
Year: 2026
Strategies for compatibilisation of extracted lignin properties with commercial applications: general discussion
Journal / Periodical: Faraday Discussions
Authors: Brandt-Talbot, Agnieszka; Calado, Veronica; Castellan, Isaac; Crestini, Claudia; Galluccio, Luigi; Gigli, Matteo; Guizani, Chamseddine; Karpichev, Yevgen; Lange, Heiko; Lindner, Jean-Pierre; Nejad, Mojgan; Nicolau, Veronica; Ponnudurai, Arulselvan; Rajagopalan, Narayanan; Rinaldi, Roberto; Samec, Joseph S. M.; Schroeter, Michael; Westwood, Nicholas J.; Wohlert, Malin; Zheng, Yulun
Year: 2026
Metal–phenolic network-coated nanoparticles mitigate CuO nanotoxicity
Journal / Periodical: Environmental Science Nano
Authors: Välimets, Anett; Merzhyievskyi, Danylo; Juvonen, Ilona; Valmsen, Karin; Worms, Isabelle; Slaveykova, Vera I.; Drenkova-Tuhtan, Asya; Andrikopoulos, Nicholas; Ke, Pu Chun; Kahru, Anne; Mortimer, Monika
Year: 2026
Biodegradability and Ecotoxicity Profiles of Choline Acetate, Betaine, and L-Proline NADESs: A Hidden Threat for Eutrophication?
Journal / Periodical: Molecules
Authors: Nagappa,Nandish M.; Mero, Angelica; Husanu, Elena; Usmani, Zeba; Oliva, Matteo; Vieira Sanches, Matilde; Fumagalli, Giorgia; Mele,Andrea Mezzetta, Andrea; Gathergood, Nicholas; Guazzelli, Lorenzo; Pretti, Carlo; Karpichev, Carlo
Year: 2026
Mechanochemistry: A Transformative Technique for the Synthesis of Polar Organometallics from Zero-Valent Metals
Journal / Periodical: ChemPlusChem
Authors: Nallaparaju, Jagadeesh Varma; Aav, Riina; Kananovich, Dzmitry
Year: 2026
Maternal antibodies shape infant immune response development in an epitope-specific manner
Journal / Periodical: EBioMedicine
Authors: Sadam, Helle; Maruste, Regina; Rähni, Annika; Toots, Maarja; Piirsalu, Maria; Pihlas, Loviisa; Ausman, Helen; Pihlak, Arno; Laasfeld, Tõnis; Rull, Kristiina; Salumets, Andres; Antson, Anne; Tillmann, Vallo; Aleksejeva, Aira; Rööp, Tiiu; Štšepetova, Jelena; Sepp, Epp; Mändar, Reet; Palm, Kaia
Year: 2026
From Virtual to Reality: A Structured Framework to Training Humanoid Robots for Elderly Care Using Learning from Demonstration
Journal / Periodical: Extended Reality International Conference, XR Salento 2025, Otranto, Italy, June 17–20, 2025, Proceedings, Part IV
Authors: Remenyi A, L. Kuts V. Tepljakov A. Pizzagalli S, L.
Year: 2026
Procontainers for idioms, arrows and monads
Journal / Periodical: Proceedings of 10th Workshop on Mathematically Structured Functional Programming, MSFP 2024, Tallinn, July 2024
Authors: Rivas, Exequiel
Year: 2026
Filters