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, get to know USI in half a day
Current events
Multiple scales analyses and numerics for atmospheric flows
Cubic regularization algorithm and complexity issues for nonconvex optimization
Large-Scale PDE-Constrained Optimization on Highy Parallel Multicore Architectures
Solvers for Software Reliability and Security
Interfaces for government metasearch
The 8th European Conference on Web Services (ECOWS 2010)
Measuring Document Access - A New Dimension in IR System Evaluation
Information Extraction from Unstructured, Ungrammatical Data Sources on the Web
Space Deformation with Harmonic Maps
Visualizing Dynamic Metrics with Profiling Blueprints
Workshop on Advances in Computational Science - Models, Methods and Applications
Swiss Grid School 2010 (SGS 2010) 22-24.6.2010
Logic and Knowledge: From Theory to Applications
Programming languages for high-performance parallel computing
Adaptive numerical integration of dynamical contact problem
How to do cryptography if your hardware is not trusted
The Price for Perfect Secrecy
Distributed Reasoning about Context: Theory and Applications
Domain-based change impact analysis in software maintenance
New short advanced course on BioBusiness