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
Exploring the Usage of Pre-trained Models for Code-Related Tasks
Bachelor Info Day, un'occasione per conoscere l'USI
Porte aperte il 25 maggio 2024
Eventi correnti
Working with multiple representations of documents and information needs across different document types - recent work in integrated search and polyrepresentation
"Sistemi di Comunicazione Open Source" - Seminario tecnico OSLab
Spring Semester Projects Presentations - Faculty of Informatics
Accelerating Next Generation Networking Devices
Abstractions for Secure Distributed Computing
Parameterized verification of fault tolerant protocols
Talk@IDSIA - Ilaria Vacca - The Tactical Berth Allocation Problem: integrated optimization in container terminals
Padua points: theory, computation and applications
Challenges in Advanced Computing - Multi-this and Multi-that
Large Scale Project Courses
On A Study in Direct Policy Search
Using Managed Language Abstraction to Optimize Memory Efficiency
Peer-to-Peer Algorithms for Sampling Generic Topologies
Model Engineering for Model-Driven Engineering
On hierarchical CAD processing and simulation with Isogeometric Analysis
Fighting Gibbs Phenomenon by Quotienting
Architectural Decision Modeling with Reuse - Rationalize your Software Architecture Designs
Parallel Tree Codes for Vortex Particle Methods
Dynamic Code Evolution for Java
Exploration of Web search results by the use of Soft operators