Istituto Dalle Molle di studi sull’intelligenza artificiale (IDSIA USI-SUPSI)
Progetti
In corso (19)
- Crestani F. (2024) Evaluation of Empathic Conversational Search for Depression assessment & support
- 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
- Gambardella L. M., Mastrolilli M. (2023) Computational methods for integrality gaps analysis
- Schmidhuber J. (2023) AiChemist - Explainable AI for Molecules - AiChemist
- Crestani F. (2023) ord47 - Open research data for the 7th art
- 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
- Landoni M. (2022) TADAA - Tools for Assessing and Developing Affecting & Attractive Narratives for Girls in Informatics
- 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
- Schmidhuber J. (2021) NEUSYM - NEUSYM
- Landoni M. (2020) EUGAIN - European Network For Gender Balance in Informatics
- Crestani F. (2020) ReMO - Researcher Mental Health
- Gambardella L. M. (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
- Sharygina N. (2019) Beyond Symbolic Model Checking through Deep Modelling
- Didyk P. K. (2019) PERDY - Perceptually-Driven Optimizations of Graphics Content for Novel Displays
Conclusi (44)
- Hormann K. (2023) Construction and implementation of efficient high-order numerical methods for Volterra integral equations
- Papadopoulou E. (2022) Algorithmic Advances in Voronoi diagrams and Nearest-Neighbor queries
- 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
- Alippi C., Lukovic S. (2021) SWAIN - Sustainable Watershed Management Through IoT-Driven Artificial Intelligence
- Regazzoni F. (2020) EVEREST - dEsign enVironmEnt foR Extreme-Scale big data analytics on heterogeneous platforms
- 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
- 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
- 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. (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
- Albeverio S., Gambardella L. M. (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
