RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
A Distributed and Probabilistic Concurrent Constraint Programming Language
2005-01-01 Bortolussi, Luca; Wiklicky, H.
A robust genetic algorithm for learning temporal specifications from data
2018-01-01 Nenzi, Laura; Silvetti, Simone; Bartocci, Ezio; Bortolussi, Luca
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical SystemsQuantitative Evaluation of Systems
2014-01-01 Bortolussi, Luca; Guido, Sanguinetti
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits
2013-01-01 Ezio, Bartocci; Bortolussi, Luca; Nenzi, Laura
Abstraction of Markov Population Dynamics via Generative Adversarial Nets
2021-01-01 Cairoli, F.; Carbone, G.; Bortolussi, L.
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models
2021-01-01 Backenkohler, M.; Bortolussi, L.; Grossmann, G.; Wolf, V.
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
2021-01-01 Bortolussi, Luca; Cairoli, Francesca; Carbone, Ginevra; Franchina, Francesco; Regolin, Enrico
An active learning approach to the falsification of black box cyber-physical systems
2017-01-01 Silvetti, Simone; Policriti, Alberto; Bortolussi, Luca
Analysis of Markov Jump Processes under Terminal Constraints
2021-01-01 Backenköhler, Michael; Bortolussi, Luca; Großmann, Gerrit; Wolf, Verena
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
2016-01-01 Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti Convegno 109
- 4 Contributo in Atti Convegno::4.... 109
Data di pubblicazione
- 2020 - 2023 19
- 2010 - 2019 59
- 2004 - 2009 31
Editore
- Springer Verlag 18
- Springer 17
- Open Publishing Association 7
- Springer Science and Business Med... 6
- ACM 5
- IEEE computer society 4
- Academic Press, Elsevier 3
- Elsevier 3
- Heidelberg: Springer-Verlag. 3
- Springer, Cham 3
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 14
- ELECTRONIC PROCEEDINGS IN THEORET... 8
- ELECTRONIC NOTES IN THEORETICAL C... 7
- LECTURE NOTES IN COMPUTER SCIENCE 7
- IFAC PROCEEDINGS VOLUMES 1
- PERFORMANCE EVALUATION REVIEW 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 13
- LECTURE NOTES IN ARTIFICIAL INTEL... 9
- LECTURE NOTES IN COMPUTER SCIENCE 2
- EAI ENDORSED TRANSACTIONS ON CLOU... 1
- LECTURE NOTES IN BIOINFORMATICS 1
- PROCEEDINGS - WINTER SIMULATION C... 1
- SIMULATION SERIES 1
- STUDIES IN COMPUTATIONAL INTELLIG... 1
Keyword
- Machine Learning 8
- Gaussian Processes 7
- Computer Science (all) 5
- Stochastic Concurrent Constraint ... 5
- Theoretical Computer Science 5
- Computational Systems Biology 4
- Fluid approximation 4
- Lumping 4
- Monitoring 4
- Predictive Monitoring 4
Lingua
- eng 109
Accesso al fulltext
- no fulltext 56
- partially open 20
- reserved 20
- open 11
- mixed 2