Sfoglia per Titolo
Timed context-free temporal logics
2018-01-01 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Timed HLPSL for specification and verification of time sensitive protocols
2006-01-01 Benerecetti, M.; Cuomo, N.; Peron, A.
Timed HLPSL for specification and verification of time sensitive protocols
2006-01-01 M, Benerecetti; Cuomo, N.; Peron, A.
Timed protocol insecurity problem is NP-complete
2013-01-01 Benerecetti, Massimo; Peron, Adriano
Timed protocols insecurity problem is NP-complete
2010-01-01 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Timed protocols insecurity problem is NP-complete
2010-01-01 Benerecetti, Massimo; Nicola, Cuomo; Peron, Adriano
Timed recursive state machines: Expressiveness and complexity
2016-01-01 Benerecetti, Massimo; Peron, Adriano
Timeline of diagnosed pain causes in children with severe neurological impairment
2024-01-01 Peri, Francesca; Magni, Elena; Pigani, Filippo; Romoli, Raffaella; Vetrella, Simona; De Zen, Lucia; Sagredini, Raffaella; Barbi, Egidio; Cozzi, Giorgio
Timeline-based planning over dense temporal domains
2020-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Woeginger, G.
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete
2018-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Woeginger, Gerhard
Il Timeo nell'interpretazione gnostica
2007-01-01 Magris, Aldo
Times, environments and channels of bulge formation in a Lambda cold dark matter cosmology
2011-01-01 Gabriella De, Lucia; Fabio, Fontanot; David, Wilman; Monaco, Pierluigi
Timescales and Mechanisms of Crystal-mush Rejuvenation and Melt Extraction Recorded in Permian Plutonic and Volcanic Rocks of the Sesia Magmatic System (Southern Alps, Italy)
2020-01-01 Tavazzani, L.; Peres, S.; Sinigoi, Silvano; Demarchi, Gabriella; Economos, R. C.; Quick, J. E.
Timescales of N–H bond dissociation in pyrrole: a nonadiabatic dynamics study
2015-01-01 Sapunar, Marin; Ponzi, Aurora; Chaiwongwattana, Sermsiri; Mališ, Momir; Prlj, Antonio; Decleva, Pietro; Došlić, Nađa
Time–Frequency Modulation of ERD and EEG Coherence in Robot-Assisted Hand Performance
2015-01-01 Formaggio, E.; Storti, S. F.; Boscolo Galazzo, I.; Gandolfi, M.; Geroin, C.; Smania, N.; Fiaschi, A.; Manganotti, P.
Timing and duration of the Central Atlantic magmatic province in the Newark and Culpeper basin, eastern U.S.A.
2011-01-01 Marzoli, A.; Jourdan, F.; Puffer, J. H.; Cuppone, T.; Tanner, L. H.; Weems, R. E.; Bertrand, H.; Cirilli, S.; Bellini, G.; DE MIN, Angelo
Timing e indicazioni all'innesto cutaneo
2009-01-01 Papa, G
Timing of Cholecystectomy After Moderate and Severe Acute Biliary Pancreatitis
2023-01-01 Di Martino, Marcello; Ielpo, Benedetto; Pata, Francesco; Pellino, Gianluca; Di Saverio, Salomone; Catena, Fausto; De Simone, Belinda; Coccolini, Federico; Sartelli, Massimo; Damaskos, Dimitrios; Mole, Damian; Murzi, Valentina; Leppaniemi, Ari; Pisanu, Adolfo; Podda, Mauro; Palmisano, Silvia; de Manzini, Nicolo'
Timing of onset affects arthritis presentation pattern in antisyntethase syndrome
2018-01-01 González-Gay, Miguel A; Montecucco, Carlomaurizio; Selva-O'Callaghan, Albert; Trallero-Araguas, Ernesto; Molberg, Ovynd; Andersson, Helena; Rojas-Serrano, Jorge; Perez-Roman, Diana Isabel; Bauhammer, Jutta; Fiehn, Christoph; Neri, Rossella; Barsotti, Simone; Lorenz, Hannes M; Doria, Andrea; Ghirardello, Anna; Iannone, Florenzo; Giannini, Margherita; Franceschini, Franco; Cavazzana, Ilaria; Triantafyllias, Konstantinos; Benucci, Maurizio; Infantino, Maria; Manfredi, Mariangela; Conti, Fabrizio; Schwarting, Andreas; Sebastiani, Giandomenico; Iuliano, Annamaria; Emmi, Giacomo; Silvestri, Elena; Govoni, Marcello; Scirè, Carlo Alberto; Furini, Federica; Lopez-Longo, Francisco Javier; Martínez-Barrio, Julia; Sebastiani, Marco; Manfredi, Andreina; Bachiller-Corral, Javier; Sifuentes Giraldo, Walter Alberto; Cimmino, Marco A; Cosso, Claudio; Belotti Masserini, Alessandro; Cagnotto, Giovanni; Codullo, Veronica; Romano, Mariaeva; Paolazzi, Giuseppe; Pellerito, Raffaele; Saketkoo, Lesley Ann; Ortego-Centeno, Norberto; Quartuccio, Luca; Batticciotto, Alberto; Bartoloni Bocci, Elena; Gerli, Roberto; Specker, Christof; Bravi, Elena; Selmi, Carlo; Parisi, Simone; Salaffi, Fausto; Meloni, Federica; Marchioni, Enrico; Pesci, Alberto; Dei, Giulia; Confalonieri, Marco; Tomietto, Paola; Nuno, Laura; Bonella, Francesco; Pipitone, Nicolò; Mera-Valera, Antonio; Perez-Gomez, Nair; Gerzeli, Simone; Lopez-Mejias, Raquel; Matos-Costa, Carlo Jorge; Pereira da Silva, Jose Antonio; Cifrian, José; Alpini, Claudia; Olivieri, Ignazio; Blázquez Cañamero, María Ángeles; Rodriguez Cambrón, Ana Belén; Castañeda, Santos; Cavagna, Lorenzo
Timing of surgery following SARS-CoV-2 infection: an international prospective cohort study
2021-01-01 Collaborative, Covidsurg; Collaborative, Globalsurg; Palmisano, Silvia; de Manzini, Nicolo'
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