CTL* Verification and Synthesis using Existential Horn Clauses
Interaction Substitution for Mobile Games Accessibility and Exergaming
Business Ideas 2024
Workshop of the International Center for Advanced Computing in Medicine (ICAM)
Exploring the Usage of Pre-trained Models for Code-Related Tasks
Bachelor Info Day, get to know USI in half a day
Open Day on 25 May 2024
USI Graduation Ceremony
Current events
"Big" Data Preparation for the Data Science Journey
Bitcoin and the new Crypto Currencies
Fast and scalable implicit low-order finite-element solvers for solid earth science simulations
Security evaluation for automotive systems and lightweight cryptography standardization
Study Week Fascinating Informatics
Summer School on Meshfree and immersed boundary methods for fluid-structure interaction
Executives facing cyber-attacks: what should they do?
Cell mechanics in flow: algorithms and applications
Hack the City 2017 - Inspiring today's digital citizens
Geometric Deep Learning for Shape Analysis
Distributed Systems Performance - A Seminar by Google's App Performance and Storage Leads
Challenges in languages and compilers
Network-wide Consensus in Low-power Wireless Networks
IDSIA USI-SUPSI presents the ISIPTA '17 Symposium and the ECSQARU 2017 Conference
Multiscale uncertainty quantification in solid mechanics using a posteriori error-estimation techniques with applications to additively-manufactured structures / Polyhedral finite elements using harmonic shape functions for nonlinear solid mechanics
An embedded mesh coupling of overlapping Lagrange and ALE meshes
Hardware Architectures for Smart Data Analytics on Low-Power Edge Computing Nodes
Bachelor Project Presentations
Geometry-Aware Finite Element Framework for Multi-Physics Simulations