Neuro-Symbolic AI for Developing, Testing and Consuming Web APIs: An AMBIZIONE Project Proposal
Quo vadis education in the era of automation
Hazard Detection for Robotic Applications as Visual Anomaly Detection
XXVIII Dies academicus
CTL* Verification and Synthesis using Existential Horn Clauses
Business Ideas 2024
Exploring the Usage of Pre-trained Models for Code-Related Tasks
Bachelor Info Day, un'occasione per conoscere l'USI
Eventi correnti
Creating a Software Ecosystem for Data Intensive Science
A Simple and Efficient Interior Point Method for Min-Cost Flow
A hybrid numerical algorithm for fast and efficient spectral wave modeling: the combination of a block wavefront approach with a pipelined parallel approach
Motif matching in DNA sequences using generalized PWM models
Advanced Theoretical Modelling and Fluid-Structure Interaction Analysis of Patient-Specific Cardiovascular Haemodynamics
Exponential variational integrators
A generic static analyzer and its application to TouchDevelop
Premio Swiss Engineering Ticino 2015 / Swiss Engineering Ticino 2015 Awards
Location privacy: tell me where you go and I'll tell you whom you are
High Performance Deferred Update Replication
SLS: Smart Localization Service - Human Mobility Models and Machine Learning Enhancements for Mobile Phone's Localization
Analytics on Graphs with a Trillion Edges
Swiss Engineering Ticino Prize
Compilers for Fast Data
ASPDE: Automated Solver for Partial Differential Equations
Challenges of data analysis in a multiscale context: causality inference and unresolved scales
Checking Cloud Contracts in Azure
International, Interdisciplinary, Innovative - From Vision to Reality
An SMT-based verification framework for software systems handling arrays
Reconfigurable Computing for All: And-Inverter Cones & Domain-Specific Hardware Synthesis Tools