Sfoglia per Titolo
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems
2011-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Proving the Existence of Fair Paths in Infinite-State Systems
2021-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Proving Theorems by Using Abstraction Interactively
1995-01-01 Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; Giunchiglia, Fausto
I provvedimenti di clemenza nei confronti dei «collaborazionisti» nell’Italia del secondo dopoguerra. Un esempio di giustizia di transizione
2013-01-01 Nubola, Cecilia
Proximity: a measure to quantify the need for developers' coordination
2012-01-01 K., Blincoe; Valetto, Giuseppe; S., Goggins
Proxiscientia: Toward real-time visualization of task and developer dependencies in collaborating software development teams
2012-01-01 A., Borici; K., Blincoe; A., Schroter; Valetto, Giuseppe; D., Damian
Pruning Extreme Wavelets Learning Machine by Automatic Relevance Determination
2019-01-01 de Campos Souza, Paulo V.; Silva Araujo, Vinicius J.; Araujo, Vanessa S.; Batista, Lucas O.; Guimaraes, Augusto J.
Pruning Federated Learning Models for Anomaly Detection in Resource-Constrained Environments
2023-01-01 Magnani, Simone; Braghin, Stefano; Rawat, Ambrish; Doriguzzi-Corin, Roberto; Purcell, Mark; Siracusa, Domenico
Pruning Fuzzy Neural Network Applied to the Construction of Expert Systems to Aid in the Diagnosis of the Treatment of Cryotherapy and Immunotherapy
2019-01-01 Augusto, Guimaraes; de Campos Souza, Paulo Vitor; Vinicius, Araujo; Thiago Silva, Rezende; Souza Araujo, Vanessa
Pruning fuzzy neural networks based on unineuron for problems of classification of patterns
2018-01-01 de Campos Souza, Paulo Vitor
Pruning method in the architecture of extreme learning machines based on partial least squares regression
2018-01-01 De Campos Souza, P. V.
Pseudo-Supervised Clustering for Text Documents
2004-01-01 Maggini, Marco; Rigutini, Leonardi; Turchi, Marco
Psicologia per le tecnologie intelligenti
2018-01-01 Zancanaro, Massimo; Job, Remo
Psicologie all’Indice. Uno studio esplorativo (XIX secolo)
2019-01-01 Alfieri, Fernanda
PSP-based compact FinFET model describing dc and RF measurements
2006-01-01 G. D. J., Smit; A. J., Scholten; Serra, Nicola; R. M. T., Pijper; R., van Langevelde; A., Mercha; G., Gildenblat; D. B. M., Klaassen
Psychological distress and breast cancer: Anxiety, depression and worry in postdiagnostic phase,Distress psicologico e cancro al seno: Ansia, depressione e worry in fase post-diagnostica
2019-01-01 Shams, M.; Torrisi, C.; Buzzaccarini, A.; Fanton, G.; Bianco, P. D.; Rigato, L.; Bozza, F.; Pardini, S.
Psychological processes underlying Wikipedia representations of natural and manmade disasters
2012-01-01 Ferron, Michela; Massa, Paolo
PT symmetry and spontaneous symmetry breaking in a microwave billiard
2012-01-01 S., Bittner; B., Dietz; M., Miski Oglu; Richter, Achim; F., Schäfer
Pubblications of Tony Molho
2009-01-01 Rospocher, Massimo
Public data and value creation in Italy.The findings from the Open Data 200 study
2018-01-01 De Chiara, Francesca
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