Istituto Dalle Molle di studi sull’intelligenza artificiale (IDSIA USI-SUPSI)
Progetti finanziati
Approvati (1)
In corso (17)
- Regazzoni F. (2026) OPENPHASE - OPEN dataset of Physical side-channels for Ai SEcurity research
- Landoni M. (2026) COHRI: CO-designing a Human-Robot Interface with and for teachers to bring social robots into the classroom
- Butera L. (2026) USI Doctoral Mobility - Luca Butera
- Hormann K. (2025) Coordinate-based representations of time-varying meshes
- Sharygina N. (2025) Cross theory rigorous program verification using Constrained Horn clauses
- Alippi C., Ferrante A. (2025) Graph-based Investigation of Insect Spread Dynamics
- Landoni M. (2024) SOL - Scaffolding to foster independence when children search Online for Learning
- Regazzoni F. (2024) MYRTUS - Multi-layer 360° dYnamic orchestrion and interopeRable design environmenT for compute-continUum Systems
- Crestani F. (2023) PACINO - Personality And Conversational INformatiOn Access
- Baroli D., Multerer M. (2023) Cyber-Physical systems and digital twins for the decarbonisation of energy-intensive industries
- Gambardella L. M., Mastrolilli M. (2023) Computational methods for integrality gaps analysis
- Didyk P. K. (2023) AiChemist - Explainable AI for Molecules - AiChemist
- Multerer M. (2023) Multiresolution methods for unstructured data
- Sharygina N., Hyvärinen A. (2023) Formal Reasoning on Neural Networks
- Crestani F. (2022) OPINION - What are Opinions? Integrating Theory and Methods for Automatically Analyzing Opinionated Communication
- Didyk P. K. (2022) Perception-aware Optimizations for Appearance and Tactile Fabrication
- Alippi C. (2022) HORD GNN - Higher-Order Relations and Dynamics in Graph Neural Networks
Conclusi (58)
- Alippi C. (2024) Calibrated uncertainty estimation for spatiotemporal data
- Crestani F. (2024) PACAM - Personality Aware Conversational Agent for mental health support
- Landoni M. (2024) BBC - Breaking Boundaries in K-12 Classrooms: Fostering Gender Inclusion in STEM Teaching
- Crestani F. (2024) Evaluation of Empathic Conversational Search for Depression assessment & support
- Hormann K. (2023) Construction and implementation of efficient high-order numerical methods for Volterra integral equations
- Crestani F. (2023) ord47 - Open research data for the 7th art
- Papadopoulou E. (2022) Algorithmic Advances in Voronoi diagrams and Nearest-Neighbor queries
- Papadopoulou E. (2022) Dimension++
- Landoni M. (2022) TADAA - Tools for Assessing and Developing Affecting & Attractive Narratives for Girls in Informatics
- Hormann K. (2022) CSF Workshop on Generalized Barycentric Coordinates in Computer Graphics and Computational Mechanics
- Crestani F. (2022) EvalPCIR - Evaluation of Personalised Conversational Information Retrieval
- Schmidhuber J. (2021) NEUSYM - NEUSYM
- Alippi C., Lukovic S. (2021) SWAIN - Sustainable Watershed Management Through IoT-Driven Artificial Intelligence
- Landoni M. (2020) EUGAIN - European Network For Gender Balance in Informatics
- Crestani F. (2020) ReMO - Researcher Mental Health
- Regazzoni F. (2020) EVEREST - dEsign enVironmEnt foR Extreme-Scale big data analytics on heterogeneous platforms
- Gambardella L. M., Piatti A. (2020) Assessing the development of computational thinking skills through an intelligent tutoring system: an exploratory study in the cantons of St Gallen, Vaud and Ticino.
- Hormann K. (2020) Barycentric Interpolation
- Alippi C., Lukovic S. (2020) GraPV - Graph-based predictors for photovoltaic power forecasting
- Alippi C., Ferrante A. (2020) ARPI - Automated Recognition of Pest Insect Images
- Regazzoni F. (2020) CPSoSaware - Cross-layer cognitive optimization tools & methods for the lifecycle support of dependable CPSoS
- Hormann K., Bronstein M. (2019) GRAPES - learninG, pRocessing, And oPtimising shapES
- D'Ambros M., Ferrante A. (2019) E-WASTE - Cheap and Smart Boxes for Medical Waste Management
- Sharygina N. (2019) Beyond Symbolic Model Checking through Deep Modelling
- Ferrante A. (2019) GNSS Data Acquisition and Replay System - Next Generation
- Landoni M. (2019) BEST - Beyond Screen readers and Alt Text - Designing Multisensory Alternative to Text for Different Reading Abilities
- Alippi C., Lukovic S. (2019) SONDER - Service Optimization of Novel Distributed Energy Regions
- Crestani F. (2019) CLEF 2019, the 10th Conference and Labs of the Evaluation Forum
- Didyk P. K. (2019) PERDY - Perceptually-Driven Optimizations of Graphics Content for Novel Displays
- Crestani F. (2019) Time-aware Techniques for Online Mental State Assessment
- Gambardella L. M. (2018) Introdurre le persone alla ricerca in robotica attraverso una estesa comunità peer nel sud della Svizzera
- Sharygina N. (2018) Towards secure and trustful cryptographic currencies and consensus ledgers
- Schmidhuber J. (2017) AlgoRNN - Recurrent Neural Networks and Related Machines That Learn Algorithms
- Sharygina N. (2017) From Parallel SMT to Parallel Software Verification
- Lomi A., Crestani F., Robins G. L. (2017) The Global Structure of Knowledge Networks: Data, Models and Empirical Results
- Alippi C. (2017) ALPSFORT - A Learning graPh-baSed framework FOr cybeR-physical sysTems
- Gambardella L. M., Mastrolilli M. (2017) Lift and Project Methods for Machine Scheduling Through Theory and Experiments
- Papadopoulou E. (2016) VORONOI++ - VORONOI++
- Sharygina N. (2016) Guiding SMT-Based Interpolation for Program Verification
- Papadopoulou E. (2016) 32nd European Workshop on Computational Geometry (EuroCG) 2016
- Schmidhuber J. (2016) INPUT - Intuitive Natural Prosthesis UTilization
- Sharygina N. (2014) ARVI - Runtime Verification beyond Monitoring
- Hormann K., Krause R. (2014) Geometry-Aware FEM in Computational Mechanics
- Gambardella L. M., Montemanni R. (2014) Hybrid Sampling-based metaheuristics for Stochastic Optimization Problems with Deadlines
- Sharygina N. (2014) Harnessing Parallel Computing for Model Checking
- Hormann K. (2014) Generalized Barycentric Interpolation
- Malek M. (2014) FURIESMA - Future Swiss Electrical Infrastructure
- Papadopoulou E. (2013) Higher-order Voronoi Diagrams of Polygonal Objects
- Hormann K. (2013) Dynamic Mesh Compression
- Gambardella L. M., Mastrolilli M. (2012) Metodi euristici di ottimizzazione: analisi teorica e sperimentale IV
- Hormann K., Krause R. (2012) Geometry-Aware FEM in Computational Mechanics
- Papadopoulou E. (2011) Hausdorff and Higher-Order Voronoi Diagrams
- Gomez F. (2011) Advanced Cooperative NeuroEvolution for Autonomous Control
- Hormann K. (2011) Interactive Modelling of Dynamics 3D Surfaces
- Papadopoulou E. (2010) Generalized Voronoi Diagrams of Polygonal Objects: Algorithms and Applications
- Gambardella L. M., Giordano P., Vancheri A. (2009) Mathematical modelling of online communities
- Schmidhuber J., Gambardella L. M. (2009) IFF - Intelligent Fill in Form
- Hutter F. (2003) ORAUE - Optimal Rational Agents in Unknown Environments
