Publikatsioonid

An Agda formalization of nonassociative Lambek calculus and its metatheory
Väljaanne: Automated Reasoning with Analytic Tableaux and Related Methods : 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings
Autorid: Veltri, Niccolò; Wan, Cheng-Syuan
Aasta: 2026
Loe artiklit
Formalizing a classification theorem for low-dimensional solvable Lie algebras in Lean
Väljaanne: Intelligent Computer Mathematics : 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings
Autorid: del Barco, Viviana; Infanti, Gustavo; Rivas, Exequiel; Schwahn, Paul
Aasta: 2026
Loe artiklit
Counterpart-based quantified temporal logics
Väljaanne: Journal of Logical and Algebraic Methods in Programming
Autorid: Gadducci, Fabio; Laretto, Andrea; Trotta, Davide
Aasta: 2026
Loe artiklit
PointExplainer: towards transparent Parkinson’s disease diagnosis
Väljaanne: Information Fusion
Autorid: Wang, Xuechao; Nõmm, Sven; Huang, Junqing; Medijainen, Kadri; Toomela, Aaro; Ruzhansky, Michael
Aasta: 2026
Comparative evaluation of XAI techniques for CNN interpretation in Parkinson’s drawing test classification
Väljaanne: HCist 2025 - International Conference on Health and Social Care Information Systems and Technologies, Abu Dhabi, United Arab Emirates, 26 - 28 November, 2025, proceedings
Autorid: Alawode, Oluwandabira Ohifeme; Valla, Elli; Toomela, Aaro; Nõmm, Sven
Aasta: 2026
Semi-substructural logics à la Lambek with symmetry
Väljaanne: Bulletin of the Section of Logic
Autorid: Wan, Cheng-Syuan
Aasta: 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
Väljaanne: Proceedings of the ACM on Programming Languages
Autorid: Laretto, Andrea; Loregian, Fosco; Veltri, Niccolò
Aasta: 2026
Loe artiklit
Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems
Väljaanne: MODELSWARD 2025 : 13th International Conference on Model-Based Software and Systems Engineering, Proceedings, Porto, Portugal, 26-28 February, 2025
Autorid: Guin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas
Aasta: 2025
Loe artiklit
Two phase path planning for fuel-efficient safe navigation
Autorid: Ben Lahbib, Hiba; Yaseen, Aqsa; Mughees, Abdullah; Khan, Shehroz; Sudherbaabu, Gaadha; Vain, Jüri; Bennani, Mohamed Taha; Truscan, Dragos
Aasta: 2025
Regex decision procedures in extended RE#
Väljaanne: Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23–25, 2025, Proceedings, Part III
Autorid: Varatalu, Ian Erik; Veanes; Margus; Zhuchko, Ekaterina; Ernits, Juhan-Peep
Aasta: 2025
Loe artiklit
Evaluating explainable AI for deep learning-based network intrusion detection system alert classification
Väljaanne: Proceedings of the 11th International Conference on Information Systems Security and Privacy
Autorid: Kalakoti, Rajesh; Vaarandi, Risto; Bahşi, Hayretdin; Nõmm, Sven
Aasta: 2025
Loe artiklit
Comprehensive feature selection for machine learning-based intrusion detection in healthcare IoMT networks
Väljaanne: Proceedings of the 11th International Conference on Information Systems Security and Privacy, ICISSP 2025
Autorid: Rehman, Muaan ur; Kalakoti, Rajesh; Bahşi, Hayretdin
Aasta: 2025
Loe artiklit
Not just the Garden of Eden: additional takes on cellular automata surjectivity
Väljaanne: Theoretical Computer Science
Autorid: Capobianco, Silvio
Aasta: 2025
Loe artiklit
Filtered (83)
Filters
Uurimisühmad
Show (83)
Cancel