Sfoglia per Autore
Proportional Lumpability
2019-01-01 Marin, A.; Piazza, C.; Rossi, S.
Delimited persistent stochastic non-interference
2019-01-01 Hillston, Jane; Piazza, Carla; Marin, Andrea; Rossi, Sabina
Reasoning About Proportional Lumpability
2021-01-01 Piazza, C.; Rossi, S.
Proportional lumpability and proportional bisimilarity
2021-01-01 Marin, A.; Piazza, C.; Rossi, S.
D_PSNI: Delimited persistent stochastic non-interference
2021-01-01 Marin, A.; Piazza, C.; Rossi, S.
Persistent Stochastic Non-Interference
2021-01-01 Hillston, J.; Marin, A.; Piazza, C.; Rossi, S.
1781P Feasibility of an automated data solution for Binary Alignment Map (BAM) files generated through next generation sequencing (NGS) of circulating tumor DNA (ctDNA)
2021-01-01 Pellizzari, L.; Rossi, N.; Verardo, M.; Spizzo, R.; Belletti, B.; Piazza, C.; Puglisi, F.; Gerratana, L.
A Conservative Approach for Describing Cancer Progression
2022-01-01 Rossi, Nicolò; Gigante, Nicola; Vitacolonna, Nicola; Piazza, Carla
Hybrid automata in systems biology
2022-01-01 Casagrande, A.; Gentilini, R.; Piazza, C.; Policriti, A.
Mirrors and Memory in Quantum Automata
2022-01-01 Piazza, C.; Romanello, R.
Directed Graph Encoding in Quantum Computing Supporting Edge-Failures
2022-01-01 Della Giustina, D.; Piazza, C.; Riccardi, B.; Romanello, R.
Parameter synthesis of polynomial dynamical systems
2022-01-01 Casagrande, Alberto; Dang, Thao; Dorigo, Luca; Dreossi, Tommaso; Piazza, Carla; Pippia, Eleonora
WGA-LP: A pipeline for whole genome assembly of contaminated reads
2022-01-01 Rossi, N.; Colautti, A.; Iacumin, L.; Piazza, C.
Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto
2023-01-01 Schiava, A. D.; Piazza, C.; Romanello, R.
Adaptive Directions for Bernstein-Based Polynomial Set Evolution
2023-01-01 Casagrande, Alberto; Piazza, Carla
Set-Based Invariants over Polynomial Systems
2023-01-01 Casagrande, A.; Cimatti, A.; Dorigo, L.; Piazza, C.; Tonetta, S.
An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits
2023-01-01 Piazza, C.; Romanello, R.; Wille, R.
LINC01605 Is a Novel Target of Mutant p53 in Breast and Ovarian Cancer Cell Lines
2023-01-01 Coan, M.; Toso, M.; Cesaratto, L.; Rigo, I.; Borgna, S.; Dalla Pieta, A.; Zandona, L.; Iuri, L.; Zucchetto, A.; Piazza, C.; Baldassarre, G.; Spizzo, R.; Nicoloso, M. S.
Draft genome sequences of 14 Lacticaseibacillus spp. strains, representatives of a collection of 200 strains
2023-01-01 Colautti, A.; Rossi, N.; Piazza, C.; Comi, G.; Iacumin, L.
Neural Networks Reduction via Lumping
2023-01-01 Ressi, D.; Romanello, R.; Piazza, C.; Rossi, S.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Proportional Lumpability | 1-gen-2019 | Marin, A.; Piazza, C.; Rossi, S. | |
| Delimited persistent stochastic non-interference | 1-gen-2019 | Hillston, Jane; Piazza, Carla; Marin, Andrea; Rossi, Sabina | |
| Reasoning About Proportional Lumpability | 1-gen-2021 | Piazza, C.; Rossi, S. | |
| Proportional lumpability and proportional bisimilarity | 1-gen-2021 | Marin, A.; Piazza, C.; Rossi, S. | |
| D_PSNI: Delimited persistent stochastic non-interference | 1-gen-2021 | Marin, A.; Piazza, C.; Rossi, S. | |
| Persistent Stochastic Non-Interference | 1-gen-2021 | Hillston, J.; Marin, A.; Piazza, C.; Rossi, S. | |
| 1781P Feasibility of an automated data solution for Binary Alignment Map (BAM) files generated through next generation sequencing (NGS) of circulating tumor DNA (ctDNA) | 1-gen-2021 | Pellizzari, L.; Rossi, N.; Verardo, M.; Spizzo, R.; Belletti, B.; Piazza, C.; Puglisi, F.; Gerratana, L. | |
| A Conservative Approach for Describing Cancer Progression | 1-gen-2022 | Rossi, Nicolò; Gigante, Nicola; Vitacolonna, Nicola; Piazza, Carla | |
| Hybrid automata in systems biology | 1-gen-2022 | Casagrande, A.; Gentilini, R.; Piazza, C.; Policriti, A. | |
| Mirrors and Memory in Quantum Automata | 1-gen-2022 | Piazza, C.; Romanello, R. | |
| Directed Graph Encoding in Quantum Computing Supporting Edge-Failures | 1-gen-2022 | Della Giustina, D.; Piazza, C.; Riccardi, B.; Romanello, R. | |
| Parameter synthesis of polynomial dynamical systems | 1-gen-2022 | Casagrande, Alberto; Dang, Thao; Dorigo, Luca; Dreossi, Tommaso; Piazza, Carla; Pippia, Eleonora | |
| WGA-LP: A pipeline for whole genome assembly of contaminated reads | 1-gen-2022 | Rossi, N.; Colautti, A.; Iacumin, L.; Piazza, C. | |
| Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto | 1-gen-2023 | Schiava, A. D.; Piazza, C.; Romanello, R. | |
| Adaptive Directions for Bernstein-Based Polynomial Set Evolution | 1-gen-2023 | Casagrande, Alberto; Piazza, Carla | |
| Set-Based Invariants over Polynomial Systems | 1-gen-2023 | Casagrande, A.; Cimatti, A.; Dorigo, L.; Piazza, C.; Tonetta, S. | |
| An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits | 1-gen-2023 | Piazza, C.; Romanello, R.; Wille, R. | |
| LINC01605 Is a Novel Target of Mutant p53 in Breast and Ovarian Cancer Cell Lines | 1-gen-2023 | Coan, M.; Toso, M.; Cesaratto, L.; Rigo, I.; Borgna, S.; Dalla Pieta, A.; Zandona, L.; Iuri, L.; Zucchetto, A.; Piazza, C.; Baldassarre, G.; Spizzo, R.; Nicoloso, M. S. | |
| Draft genome sequences of 14 Lacticaseibacillus spp. strains, representatives of a collection of 200 strains | 1-gen-2023 | Colautti, A.; Rossi, N.; Piazza, C.; Comi, G.; Iacumin, L. | |
| Neural Networks Reduction via Lumping | 1-gen-2023 | Ressi, D.; Romanello, R.; Piazza, C.; Rossi, S. |
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