Sfoglia per Corso CSSE
Automated Learning of Quantitative Software Models from System Traces
2022
Automatic and Accurate Performance Prediction in Distributed Systems
2023
Bit-precise Verification of Numerical Properties in Fixed-point Programs
2022
Cohesive and Variational Methods for Fracture Mechanics in Statics and Fatigue
2022
Computational fracture mechanics for reliability of composites at the micro and macro scales
2020
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
The effect of compression and expansion on stochastic reaction networks
2021
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 optimal control policies from data: a partially model-based actor-only approach
2022
Learning-based Stochastic Model Predictive Control for Autonomous Driving
2023
Logical completeness for string diagrams
2020
Model Predictive Control for Legged Robots
2023
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