Can Earables Revolutionise Continuous Vital Sign Monitoring?
International Multigrid Conference 2022 (IMG 2022)
Analysis and Optimization of Java Streams
Language-Agnostic Integrated Queries in a Polyglot Language Runtime System
USI Welcome 2022
SI Seminar by Mohammad Rezaalipour
SI Seminar by Nargiz Humbatova
SI Seminar by Davide Paolo Tua
Current events
Dafny: a program verifier for functional correctness, and for students
Scalable Abstractions for Efficient Security Checks
[OSLab] Seminario, 10/2/2011, "Hardware e Software Open Source per Sistemi Embedded"
Perspectives for Large-scale Evaluation Campaigns and the Cross-Language Evaluation Forum
Reducing Video Memory Consumption
Power Modeling and Simulation for Wireless Sensor Networks
Algebraic Formal Methods for Invariant Generation
Nooku Jam Lugano 2011
Processing Mesh Animations - From Static to Dynamic Geometry and Back
Riconoscimento ated-ICT Ticino award - Prize: 8'000 CHF
Fall Semester Projects Presentations - Faculty of Informatics
Pen and Paper Everywhere
What influences developer to request information about a change?
The Lattice Boltzmann method and its application to biomedical problems
Diffusion bases and their applications
Semantic Document Architecture for Desktop Data Integration and Management
Challenges in Embedded System Design
From Adaptive Goals to Self-adaptive Service Compositions
Cerimonia di consegna dei diplomi della Facoltà di Scienze informatiche - Degree award ceremony of the Faculty of Informatics
Software Architect: Top Best Job in America 2010