Sfoglia per Corso COMPUTER SCIENCE Laurea Magistrale (D.M. 270/2004)
Linear typing for resource-aware programming
2023/2024 DAL SASSO, GIACOMO
Model Checking a Temporal Logic via Program Verification
2022/2023 RIGO, DILETTA
Model checking and synthesis of best-effort strategies for safety and co-safety LTL
2022/2023 FANTINATO, FILIPPO
O-RAN Threats analysis against Near-RT RIC and E2 nodes
2022/2023 ADAMI, NICOLA
Pushing the limits of Visual Grounding: Pre-training on large synthetic datasets
2023/2024 KOSAREVA, MARGARITA
Sampling-based Polytope Calculus for Reachability Analysis of Dynamical Systems
2022/2023 ZANARINI, DAVIDE
Tipologia | Anno | Titolo | Titolo inglese | Autore | File |
---|---|---|---|---|---|
Lauree magistrali | 2023 | Linear typing for resource-aware programming | Linear typing for resource-aware programming | DAL SASSO, GIACOMO | |
Lauree magistrali | 2022 | Model Checking a Temporal Logic via Program Verification | Model Checking a Temporal Logic via Program Verification | RIGO, DILETTA | |
Lauree magistrali | 2022 | Model checking and synthesis of best-effort strategies for safety and co-safety LTL | Model checking and synthesis of best-effort strategies for safety and co-safety LTL | FANTINATO, FILIPPO | |
Lauree magistrali | 2022 | O-RAN Threats analysis against Near-RT RIC and E2 nodes | O-RAN Threats analysis against Near-RT RIC and E2 nodes | ADAMI, NICOLA | |
Lauree magistrali | 2023 | Pushing the limits of Visual Grounding: Pre-training on large synthetic datasets | Pushing the limits of Visual Grounding: Pre-training on large synthetic datasets | KOSAREVA, MARGARITA | |
Lauree magistrali | 2022 | Sampling-based Polytope Calculus for Reachability Analysis of Dynamical Systems | Sampling-based Polytope Calculus for Reachability Analysis of Dynamical Systems | ZANARINI, DAVIDE |
Legenda icone
- file ad accesso aperto
- file ad accesso riservato
- file sotto embargo
- nessun file disponibile