Sfoglia per Corso CSSE
Automatic and Accurate Performance Prediction in Distributed Systems
2023
Bit-precise Verification of Numerical Properties in Fixed-point Programs
2022
Computational Mechanics Framework for Simulations andb Prediction of Wear in Frictional Contacts
2024
Coordinate-Descent Augmented Lagrangian Methods for Interpretative and Adaptive Model Predictive Control
2023
Delamination of thin layers promoted by local buckling
2022
Dynamical systems reduction through approximate lumping techniques
2024
Efficient and Accurate Analysis of Two Classes of Transparent Generative Models
2024
Efficient Resource Management for Cloud-Native Systems: A Model-Based Optimization Approach
2026
Exploiting Process Algebras and BPM Techniques for Guaranteeing Success of Distributed Activities
2023
Formal Modeling and Liquidity Improvement in DeFi
2026
Global and preference-based optimization using surrogate-based methods
2024
Invariant Set-based Methods for the Computation of Input and Disturbance Sets
2017
Learning-based Stochastic Model Predictive Control for Autonomous Driving
2023
Model Predictive Control for Legged Robots
2023
Models and applications for the bitcoin ecosystem
2022
Multi-field and multi-scale modeling of fracture for renewable energy applications
2024
A multidisciplinary approach to combat disinformation in online discourse
2026
Network analysis of a complex disease: the gut microbiota in the inflammatory bowel disease case
2022
Optimized Monitoring and Detection of Internet of Things resources-constraints Cyber Attacks
2023
Phase field methods for fracture mechanics in coupled problems
2024
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile