Set-membership Estimation using Ellipsoidal Ensembles
2021 Valiauga, Petra; Feng, Xuhui; Villanueva, Mario E.; Paulen, Radoslav; Houska, Boris
Real-Time Tube MPC Applied to a 10-State Quadrotor Model
2018 Hu, Haimin; Feng, Xuhui; Quirynen, Rien; Villanueva, Mario Eduardo; Houska, Boris
Parallelizable Real-Time Algorithm for Integrated Experiment Design MPC
2018 Feng, Xuhui; Jiang, Yuning; Villanueva, Mario Eduardo; Houska, Boris
Enclosing the Reachable Set of Parametric ODEs using Taylor Models and Ellipsoidal Calculus
2013 Villanueva, Mario; Paulen, Radoslav; Houska, Boris; Chachuat, Benoît
Bounding the Solutions of Parametric ODEs
2012 Chachuat, Benoît; Villanueva, Mario
Robust Multi-Parametric Control of Continuous-Time Linear Dynamic Systems
2017 Sun, Muxin; Villanueva, Mario E.; Pistikopoulos, Efstratios N.; Chachuat, Benoît
Continuous-Time Enclosures for Uncertain Implicit Differential Equations
2015 Rayjaguru, Jai; Villanueva, Mario E.; Houska, Boris; Chachuat, Benoit
On the Stability of Set-Valued Integration for Parametric Nonlinear ODEs
2014 Villanueva, Mario E.; Houska, Boris; Chachuat, Benoît
Set-valued integration of uncertain dynamic systems with sensitivity analysis capability
2016 Perić, Nikola D.; Villanueva, Mario E.; Chachuat, Benoît
Numerical solutions for some axisymmetric elastic micropolar orthotropic bodies
2008 Taliercio, A.; Veber, D.; Mola, A.
Fregi come linguaggio del potere. Percorsi di lettura nell’Heroon di Trysa tra architettura e decorazione
2021 Poggio, Alessandro
Towards effective preservation of robust safety properties
2022 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
Developing a new cultural policy agenda for Pistoia: The current projected role of artists and creative workers in the territory
2021 Samuk, Sahizer; Tonga, Yesim; Pellegrini, Emanuele; Catoni, MARIA LUISA
Statistical Learning of Markov Chains of Programs
2020 Incerto, E.; Napolitano, A.; Tribastone, M.
Lumpability for Uncertain Continuous-Time Markov Chains
2021 Cardelli, L.; Grosu, R.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Reducing Boolean Networks with Backward Boolean Equivalence
2021 Argyris, G.; Lluch Lafuente, A.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic
2021 Simic, S.; Inverso, O.; Tribastone, M.
Learning Queuing Networks via Linear Optimization
2021 Incerto, E.; Napolitano, A.; Tribastone, M.
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
2021 Bacci, G.; Bacci, G.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Le due facciate dipinte del Sacro Speco di Subiaco: un episodio di discontinuità d'uso nei processi di trasformazione della topografia sacra
2020 Caramico, Virginia
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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1222
Data di pubblicazione
- In corso di stampa5
- 2020 - 2026339
- 2010 - 2019569
- 2000 - 2009266
- 1990 - 199937
- 1988 - 19896
Editore
- IEEE110
- Springer58
- Institute of Electrical and Elect...38
- Elsevier33
- Association for Computing Machinery23
- CEUR-WS17
- IEEE Computer Society17
- Springer Verlag17
- Association for Computing Machine...12
- EURAM11
Rivista
- NEUROIMAGE25
- LECTURE NOTES IN COMPUTER SCIENCE17
- ELECTRONIC PROCEEDINGS IN THEORET...10
- LECTURE NOTES IN COMPUTER SCIENCE6
- SLEEP6
- ENERGY PROCEDIA5
- PROCEEDINGS OF THE IEEE CONFERENC...5
- CEUR WORKSHOP PROCEEDINGS4
- JOURNAL OF SLEEP RESEARCH4
- LECTURE NOTES IN APPLIED AND COMP...3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE60
- CEUR WORKSHOP PROCEEDINGS34
- IFAC-PAPERSONLINE23
- PROCEEDINGS OF THE IEEE CONFERENC...22
- PROCEEDINGS OF THE ... IEEE CONFE...11
- COMMUNICATIONS IN COMPUTER AND IN...9
- EUROPEAN CONTROL CONFERENCE8
- LECTURE NOTES IN COMPUTER SCIENCE7
- LECTURE NOTES OF THE INSTITUTE FO...7
- PROCEEDINGS OF THE AMERICAN CONTR...6
Keyword
- Cybersecurity12
- Machine learning12
- Security12
- Deep Learning8
- Artificial intelligence7
- Games7
- Machine Learning7
- Malware7
- security7
- Blockchain6
Lingua
- eng906
- ita103
- und80
- por6
- spa4
- fre1
Accesso al fulltext
- no fulltext679
- reserved319
- open179
- partially open41
- mixed3
- embargoed1