Zobrazeno 1 - 10
of 73
pro vyhledávání: '"C Pinello"'
Autor:
A Ianza, F Giudici, C Pinello, SP Corona, C Strina, O Bernocchi, M Bortul, M Milani, M Sirico, G Allevi, S Aguggini, A Cocconi, C Azzini, M Dester, V Cervoni, A Bottini, M Cappelletti, D Generali
Publikováno v:
Tumor Biology, Vol 42 (2020)
A key tool for monitoring breast cancer patients under neoadjuvant treatment is the identification of reliable predictive markers. Ki67 has been identified as a prognostic and predictive marker in ER-positive breast cancer. Ninety ER-positive, HER2 n
Externí odkaz:
https://doaj.org/article/d4ede271e5ed4467a91a318342a85a54
Autor:
Kahrić Adla, Luís Alves de Sousa, Kulijer Dejan, Šnjegota Dragana, Maria Pia Ferraz, Bernardo Mateiro Gomes, Najla Haddaji, Balogun A. Halimah, Rui Leandro Maia, Mariana Marrana, Bolajoko Muhammad-Bashir, Dedić Neira, João Niza-Ribeiro, Gisela Marta Oliveira, Sandra Oliveira, Chiara Palmieri, Katia C. Pinello, Manuela Pontes, Joana C. Prata, Carlos Branquinho Rebelo, Ana Isabel Ribeiro, Jorge Rocha, Teresa Rocha-Santos, Joelma Ruiz, Cláudia M. Viana, Diogo Guedes Vidal, Maria Lúcia Zaidan Dagli
Publikováno v:
One Health ISBN: 9780128227947
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::474119fd68ec335df6b94d94db4d881e
https://doi.org/10.1016/b978-0-12-822794-7.01002-9
https://doi.org/10.1016/b978-0-12-822794-7.01002-9
Publikováno v:
One Health ISBN: 9780128227947
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d8d33fcf5c57a0a1f7ca818184a9c0d
https://doi.org/10.1016/b978-0-12-822794-7.00012-5
https://doi.org/10.1016/b978-0-12-822794-7.00012-5
Autor:
Anna Ianza, Sergio Aguggini, C. Azzini, Alberto Bottini, Carla Strina, Silvia Paola Corona, Fabiola Giudici, G Allevi, Ottavia Bernocchi, V Cervoni, Marianna Sirico, Manuela Milani, Daniele Generali, Maria Rosa Cappelletti, C Pinello, M Dester, A. Cocconi, Marina Bortul
Publikováno v:
Tumor Biology, Vol 42 (2020)
A key tool for monitoring breast cancer patients under neoadjuvant treatment is the identification of reliable predictive markers. Ki67 has been identified as a prognostic and predictive marker in ER-positive breast cancer. Ninety ER-positive, HER2 n
Autor:
Christos Sofronis, Alberto Ferrari, Cong Liu, Leonardo Mangeruca, Orlando Ferrante, Eelco Scholte, C. Pinello
Publikováno v:
SAE International Journal of Aerospace. 9:140-150
Publikováno v:
ICCAD
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a SPICE-type circuit simulation problem as a satisfiability problem. We
Autor:
C. Pinello, Krishnendu Chatterjee, Daniel Iercan, Thomas A. Henzinger, Alberto Sangiovanni-Vincentelli, Christoph M. Kirsch, Arkadeb Ghosal
Publikováno v:
DATE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that checks if the given short-term (e.g., single-period) reliability of a progr
Autor:
C. Pinello, Stavros Tripakis, Paul Caspi, A. Sangiovanni-Vincent, M. Di Natale, Albert Benveniste
Publikováno v:
IEEE Transactions on Computers
Synchronous systems offer a clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models and then implementing the specifications in a less restrictive platfo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6eeef4d4aa7eb286dfccaad91bdbd0f7
http://hdl.handle.net/11382/102522
http://hdl.handle.net/11382/102522
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Safety-critical feedback-control applications may suffer faults in the controlled plant as well as in the execution platform, i.e., the controller. Control theorists design the control laws to be robust with respect to the former kind of faults while
Publikováno v:
IRI
As design complexities increase exponentially, automotive designers need integrated tool environments enabling system-level analyses of alternative architectural solutions. Hence, a huge amount of heterogeneous design data must be made available easi