Uniform and Lipschitz continuity of objective functions in metamaterial band gap optimization problems
2020-01-01 Gnecco, G.; Fantoni, F.; Bacigalupo, A.
Tight Error Analysis in Fixed-Point Arithmetic
2020-01-01 Simic, S.; Bemporad, A.; Inverso, O.; Tribastone, M.
Il “Progetto MemO” e lo studio dei falsi tra ricerca, didattica ed educazione alla legalità: note preliminari sulla Collezione Marchetti (Padova)
2020-01-01 Salvadori, Monica; Baggio, Monica; Bernard, Elisa; Zamparo, Luca
The Causal Effect of Immigration Policies on Income Inequality
2020-01-01 Crimaldi, Irene; Forastiere, Laura; Mealli, Fabrizia; Tortù, Costanza
Managing ‘creative’ employees in project-based cultural organizations: Work dynamics of Manifesta – the European Nomadic Biennial
2019-01-01 Tonga, Yesim; Verga, Francesca; Defilippi, Robert; Catoni, MARIA LUISA
Political Discourse and Cultural Identity: The Case of Hagia Sophia
2020-01-01 Tarhan, Hakan; Tonga, Yesim; Catoni, MARIA LUISA
The economic cost of a referendum. The case of Brexit
2020-01-01 Ortiz Gimenez, Victor; Serti, Francesco
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository
2019-01-01 Perez-Verona Isabel, Cristina.; Tribastone, M.; Vandin, A.
Differential Equivalence Yields Network Centrality
2018-01-01 Tognazzi, Stefano; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
Moving horizon estimation of service demands in queuing networks
2018-01-01 Incerto, E.; Napolitano, A.; Tribastone, M.
Speeding up stochastic and deterministic simulation by aggregation: An advanced tutorial
2019-01-01 Tribastone, M.; Vandin, A.
Challenges in quantitative abstractions for collective adaptive systems
2016-01-01 Tribastone, M.
Model-based Performance Self-adaptation: A Tutorial
2019-01-01 Incerto, E.; Tribastone, M.
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks
2019-01-01 Pérez Verona, Isabel Cristina; Tribastone, M.; Tschaikowski, M.
UTOPIC: Under-approximation through optimal control
2019-01-01 Doncel, J.; Gast, N.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Size expansions of mean field approximation: Transient and steady-state analysis
2019-01-01 Gast, N.; Bortolussi, L.; Tribastone, M.
Towards software performance by construction
2018-01-01 Tribastone, M.
Guaranteed error bounds on approximate model abstractions through reachability analysis
2018-01-01 Cardelli, L.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Backward Invariance for Linear Differential Algebraic Equations
2019-01-01 Tognazzi, S.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
PID Control of Biochemical Reaction Networks
2019-01-01 Whitby, M.; Cardelli, L.; Kwiatkowska, M.; Laurenti, L.; Tribastone, M.; Tschaikowski, M.
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 ...1069
Data di pubblicazione
- In corso di stampa2
- 2020 - 2025197
- 2010 - 2019561
- 2000 - 2009266
- 1990 - 199937
- 1988 - 19896
Editore
- IEEE101
- Springer52
- Institute of Electrical and Elect...34
- Elsevier33
- Association for Computing Machinery17
- Springer Verlag17
- IEEE Computer Society14
- EURAM11
- CEUR-WS8
- Elsevier B.V.7
Rivista
- NEUROIMAGE25
- LECTURE NOTES IN COMPUTER SCIENCE17
- ELECTRONIC PROCEEDINGS IN THEORET...9
- 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 SCIENCE41
- IFAC-PAPERSONLINE22
- PROCEEDINGS OF THE IEEE CONFERENC...21
- PROCEEDINGS OF THE ... IEEE CONFE...11
- CEUR WORKSHOP PROCEEDINGS9
- EUROPEAN CONTROL CONFERENCE8
- PROCEEDINGS OF THE AMERICAN CONTR...6
- COMMUNICATIONS IN COMPUTER AND IN...5
- COMPUTER-AIDED CHEMICAL ENGINEERING5
- LECTURE NOTES OF THE INSTITUTE FO...5
Keyword
- Games7
- security7
- Security6
- Uncertainty6
- Model predictive control5
- Nash equilibrium5
- Software5
- Boundary element method4
- Computer Science (all)4
- Electron tubes4
Lingua
- eng765
- ita94
- und80
- por6
- spa4
- fre1
Accesso al fulltext
- no fulltext670
- reserved268
- open103
- partially open28