COLLODI, LUISA
COLLODI, LUISA
Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.006 secondi).
A linear-algebraic method to compute polynomial PDE conservation laws
2022 Boreale, M; Collodi, L
An implicit function theorem for the stream calculus
2023 Michele Boreale; Luisa Collodi; Daniele Gorla
Approximate Bayesian Computation for Probabilistic Damage Identification
2023 Cecilia Viscardi; Silvia Monchetti; Luisa Collodi; Gianni Bartoli; Michele Betti; Michele Boreale; Fabio Corradi
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation
2023 Boreale, M; Collodi, L
Formal methods for dynamical systems: invariants, reachability, inference.
2024 Luisa Collodi
Linearization, Model Reduction and Reachability in Nonlinear odes
2022 Boreale, Michele; Collodi, Luisa
Products, Polynomials and Differential Equations in the Stream Calculus
2024 Boreale, Michele; Collodi, Luisa; Gorla, Daniele
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A linear-algebraic method to compute polynomial PDE conservation laws | 2022 | Boreale, M; Collodi, L | |
| An implicit function theorem for the stream calculus | 2023 | Michele Boreale; Luisa Collodi; Daniele Gorla | |
| Approximate Bayesian Computation for Probabilistic Damage Identification | 2023 | Cecilia Viscardi; Silvia Monchetti; Luisa Collodi; Gianni Bartoli; Michele Betti; Michele Boreale; Fabio Corradi | |
| Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation | 2023 | Boreale, M; Collodi, L | |
| Formal methods for dynamical systems: invariants, reachability, inference. | 2024 | Luisa Collodi | |
| Linearization, Model Reduction and Reachability in Nonlinear odes | 2022 | Boreale, Michele; Collodi, Luisa | |
| Products, Polynomials and Differential Equations in the Stream Calculus | 2024 | Boreale, Michele; Collodi, Luisa; Gorla, Daniele |