Sfoglia per Titolo
Proof-Oriented Categorical Semantics
2016-01-01 Benini, Marco
Proof-search in Hilbert calculi
2017-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
2015-01-01 Ferrari, Mauro; Fiorentini, Camillo
A proof-theoretical semantics for homotopy type theory
2020-01-01 Benini, Marco; Bonacina, Roberta
Propafenone-induced characteristic electrocardiographic changes consistent with Brugada syndrome in unselected patients with paroxysmal atrial fibrillation. Pharmacological treatment, percutaneous catheter ablation and genetic testing
2007-01-01 Lanzotti, M; SALERNO URIARTE, JORGE ANTONIO; DE PONTI, Roberto; Marazzi, R; Diangelo, S; Citta, N; Lanzotti, R; Locatelli, H; Piskorz, D; Marino, M.
Propagation dynamics and X-pulse formation in phase-mismatched second-harmonic generation
2011-01-01 G., Valiulis; V., Jukna; Jedrkiewicz, Ottavia; M., Clerici; E., Rubino; DI TRAPANI, Paolo
Propagation effects on lasing without population inversion
2000-01-01 J., Mompart; V., Ahufinger; R., Corbalan; Prati, Franco
Propagators and Gaussian effective actions in various patches of de Sitter space
2019-01-01 Akhmedov, E. T.; Bazarov, K. V.; Diakonov, D. V.; Moschella, U.; Popov, F. K.; Schubert, C.
Propensity score and desirability of outcome ranking analysis of ertapenem for treatment of nonsevere bacteremic urinary tract infections due to extended-spectrum-beta-lactamase-producing enterobacterales in kidney transplant recipients
2021-01-01 Gutierrez-Gutierrez, B.; Perez-Nadales, E.; Perez-Galera, S.; Fernandez-Ruiz, M.; Carratala, J.; Oriol, I.; Cordero, E.; Lepe, J. A.; Tan, B. H.; Corbella, L.; Paul, M.; Natera, A. M.; David, M. D.; Montejo, M.; Iyer, R. N.; Pierrotti, L. C.; Merino, E.; Steinke, S. M.; Rana, M. M.; Munoz, P.; Mularoni, A.; van Delden, C.; Grossi, P. A.; Seminari, E. M.; Gunseren, F.; Lease, E. D.; Roilides, E.; Fortun, J.; Arslan, H.; Coussement, J.; Tufan, Z. K.; Pilmis, B.; Rizzi, M.; Loeches, B.; Eriksson, B. M.; Abdala, E.; Soldani, F.; Lowman, W.; Clemente, W. T.; Bodro, M.; Farinas, M. C.; Kazak, E.; Martinez-Martinez, L.; Aguado, J. M.; Torre-Cisneros, J.; Pascual, A.; Rodriguez-Bano, J.; Sabe, N.; Camoez, M.; Martin-Gandul, C.; Bernal, G.; Kee, T. Y. S.; Lopez-Medrano, F.; Juan, R. S.; Koppel, F.; Bar-Sinai, N.; Caston, J. J.; Cano, A.; Gracia-Ahufinger, I.; Rodriguez, R.; Lopez-Soria, L.; Azurmendi, M.; Pinheiro, M.; Freire, M.; Banks, I.; Lopes, F.; David-Neto, E.; Balibrea, N.; Franco, A.; Avery, R.; Ostrander, D.; Minero, M. V.; Carrillo, C. S.; Rodriguez-Ferrero, M. L.; Monaco, F.; Campanella, M.; Mueller, N. J.; Manuel, O.; Khanna, N.; Rovelli, C.; Balsamo, M. L.; Colombo, A.; Leoni, C.; Pyrpasopoulou, A.; Mouloudi, E.; Iosifidis, E.; Martin-Davila, P.; Gioia, F.; Escudero, R.; Demirkaya, M. H.; Dewispelaere, L.; Kalem, A. K.; Hasanoglu, I.; Guner, R.; Lortholary, O.; Scemla, A.; Calvi, E. G.; Gervasi, E.; Binda, F.; Oliva, M. L.; Dimopoulos, N.; Magalhaes, M. R.; Song, A. T. W.; D'Albuquerque, L. A. C.; Chiesi, S.; Salerno, N. D.; Mourao, P. H. O.; Moreno, A.; Linares, L.; Almela, M.; Rico, C. G.; Rodrigo, E.; Martinez, M. F.; Falcone, M.; Tumbarello, M.; Strabelli, T. M. V.
Propensity Score-Based Analysis of Percutaneous Closure Versus Medical Therapy in Patients With Cryptogenic Stroke and Patent Foramen Ovale: The IPSYS Registry (Italian Project on Stroke in Young Adults)
2016-01-01 Pezzini, A; Grassi, M; Lodigiani, C; Patella, R; Gandolfo, C; Zini, A; Delodovici, Ml; Paciaroni, M; Del Sette, M; Toriello, A; Musolino, R; Calabro, Rs; Bovi, P; Adami, A; Silvestrelli, G; Sessa, M; Cavallini, A; Marcheselli, S; Marco Bonifati, D; Checcarelli, N; Tancredi, L; Chiti, A; Del Zotto, E; Tomelleri, G; Spalloni, A; Giorli, E; Costa, P; Giacalone, G; Ferrazzi, P; Poli, L; Morotti, A; Piras, V; Rasura, M; Simone, Am; Gamba, M; Cerrato, P; Zedde, Ml; Micieli, G; Melis, M; Massucco, D; Guido, D; De Giuli, V; Bonaiti, S; D'Amore, C; La Starza, S; Iacoviello, Licia; Padovani, A.
Proper efficiency and generalized convexity in nonsmooth vector optimization problems
2001-01-01 Giorgi, G.; Guerraggio, Angelo
A proper motion catalogue for the Milky Way's nuclear stellar disc
2022-01-01 Shahzamanian, B; Schödel, R; Nogueras-Lara, F; Martínez-Arranz, A; Sormani, M; Gallego-Calvente, At; Gallego-Cano, E; Alburai, A
Proper Selection of In Vitro Cell Model Affects the Characterization of the Neutralizing Antibody Response against SARS-CoV-2
2022-01-01 Criscuolo, Elena; Giuliani, Benedetta; Ferrari, Davide; Ferrarese, Roberto; Diotti, Roberta A; Clementi, Massimo; Mancini, Nicasio; Clementi, Nicola
Properly maximal points in product spaces
2006-01-01 Guerraggio, Angelo; Luc, D. T.
Properties and applications of microbial D-amino acid oxidases: Current state and perspectives
2008-01-01 Pollegioni, Loredano; Molla, Gianluca; Sacchi, Silvia; Rosini, Elena; Verga, R.; Pilone, Mirella
Properties of a very large volume LaBr3:Ce detector
2012-01-01 Giaz, Agnese; Pellegri, L.; Riboldi, S.; Camera, F.; Blasi, N.; Boiano, C.; Brambilla, S.; Ceruti, S.; Crespi, F. C. L.; Csatlos, M.; Gulyas, J.; Krasznahorkay, A.; Lodetti, S.; Million, B.; Stuhl, L.; Wieland, O.
Properties of Asset Prices under Alternative Learning Schemes
2007-01-01 Guidolin, Massimo; A., Timmermann
Properties of defect centres on nanothick silica layers: an ab initio investigation
2007-01-01 Fois, ETTORE SILVESTRO; Gamba, Aldo; Tabacchi, Gloria; S., Coluccia; G., Martra
Properties of L-amino acid deaminase: En route to optimize bioconversion reactions
2019-01-01 Motta, Paolo; Pollegioni, Loredano; Molla, Gianluca
Properties of multidrug-resistant, ESBL-producing Proteus mirabilis isolates and possible role of beta-lactam/beta-lactamase inhibitor combinations
2001-01-01 Luzzaro, F; Perilli, M; Amicosante, G; Lombardi, G; Belloni, R; Zollo, A; Bianchi, C; Toniolo, Antonio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Proof-Oriented Categorical Semantics | 1-gen-2016 | Benini, Marco | |
| Proof-search in Hilbert calculi | 1-gen-2017 | Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido | |
| Proof-Search in Natural Deduction Calculus for Classical Propositional Logic | 1-gen-2015 | Ferrari, Mauro; Fiorentini, Camillo | |
| A proof-theoretical semantics for homotopy type theory | 1-gen-2020 | Benini, Marco; Bonacina, Roberta | |
| Propafenone-induced characteristic electrocardiographic changes consistent with Brugada syndrome in unselected patients with paroxysmal atrial fibrillation. Pharmacological treatment, percutaneous catheter ablation and genetic testing | 1-gen-2007 | Lanzotti, M; SALERNO URIARTE, JORGE ANTONIO; DE PONTI, Roberto; Marazzi, R; Diangelo, S; Citta, N; Lanzotti, R; Locatelli, H; Piskorz, D; Marino, M. | |
| Propagation dynamics and X-pulse formation in phase-mismatched second-harmonic generation | 1-gen-2011 | G., Valiulis; V., Jukna; Jedrkiewicz, Ottavia; M., Clerici; E., Rubino; DI TRAPANI, Paolo | |
| Propagation effects on lasing without population inversion | 1-gen-2000 | J., Mompart; V., Ahufinger; R., Corbalan; Prati, Franco | |
| Propagators and Gaussian effective actions in various patches of de Sitter space | 1-gen-2019 | Akhmedov, E. T.; Bazarov, K. V.; Diakonov, D. V.; Moschella, U.; Popov, F. K.; Schubert, C. | |
| Propensity score and desirability of outcome ranking analysis of ertapenem for treatment of nonsevere bacteremic urinary tract infections due to extended-spectrum-beta-lactamase-producing enterobacterales in kidney transplant recipients | 1-gen-2021 | Gutierrez-Gutierrez, B.; Perez-Nadales, E.; Perez-Galera, S.; Fernandez-Ruiz, M.; Carratala, J.; Oriol, I.; Cordero, E.; Lepe, J. A.; Tan, B. H.; Corbella, L.; Paul, M.; Natera, A. M.; David, M. D.; Montejo, M.; Iyer, R. N.; Pierrotti, L. C.; Merino, E.; Steinke, S. M.; Rana, M. M.; Munoz, P.; Mularoni, A.; van Delden, C.; Grossi, P. A.; Seminari, E. M.; Gunseren, F.; Lease, E. D.; Roilides, E.; Fortun, J.; Arslan, H.; Coussement, J.; Tufan, Z. K.; Pilmis, B.; Rizzi, M.; Loeches, B.; Eriksson, B. M.; Abdala, E.; Soldani, F.; Lowman, W.; Clemente, W. T.; Bodro, M.; Farinas, M. C.; Kazak, E.; Martinez-Martinez, L.; Aguado, J. M.; Torre-Cisneros, J.; Pascual, A.; Rodriguez-Bano, J.; Sabe, N.; Camoez, M.; Martin-Gandul, C.; Bernal, G.; Kee, T. Y. S.; Lopez-Medrano, F.; Juan, R. S.; Koppel, F.; Bar-Sinai, N.; Caston, J. J.; Cano, A.; Gracia-Ahufinger, I.; Rodriguez, R.; Lopez-Soria, L.; Azurmendi, M.; Pinheiro, M.; Freire, M.; Banks, I.; Lopes, F.; David-Neto, E.; Balibrea, N.; Franco, A.; Avery, R.; Ostrander, D.; Minero, M. V.; Carrillo, C. S.; Rodriguez-Ferrero, M. L.; Monaco, F.; Campanella, M.; Mueller, N. J.; Manuel, O.; Khanna, N.; Rovelli, C.; Balsamo, M. L.; Colombo, A.; Leoni, C.; Pyrpasopoulou, A.; Mouloudi, E.; Iosifidis, E.; Martin-Davila, P.; Gioia, F.; Escudero, R.; Demirkaya, M. H.; Dewispelaere, L.; Kalem, A. K.; Hasanoglu, I.; Guner, R.; Lortholary, O.; Scemla, A.; Calvi, E. G.; Gervasi, E.; Binda, F.; Oliva, M. L.; Dimopoulos, N.; Magalhaes, M. R.; Song, A. T. W.; D'Albuquerque, L. A. C.; Chiesi, S.; Salerno, N. D.; Mourao, P. H. O.; Moreno, A.; Linares, L.; Almela, M.; Rico, C. G.; Rodrigo, E.; Martinez, M. F.; Falcone, M.; Tumbarello, M.; Strabelli, T. M. V. | |
| Propensity Score-Based Analysis of Percutaneous Closure Versus Medical Therapy in Patients With Cryptogenic Stroke and Patent Foramen Ovale: The IPSYS Registry (Italian Project on Stroke in Young Adults) | 1-gen-2016 | Pezzini, A; Grassi, M; Lodigiani, C; Patella, R; Gandolfo, C; Zini, A; Delodovici, Ml; Paciaroni, M; Del Sette, M; Toriello, A; Musolino, R; Calabro, Rs; Bovi, P; Adami, A; Silvestrelli, G; Sessa, M; Cavallini, A; Marcheselli, S; Marco Bonifati, D; Checcarelli, N; Tancredi, L; Chiti, A; Del Zotto, E; Tomelleri, G; Spalloni, A; Giorli, E; Costa, P; Giacalone, G; Ferrazzi, P; Poli, L; Morotti, A; Piras, V; Rasura, M; Simone, Am; Gamba, M; Cerrato, P; Zedde, Ml; Micieli, G; Melis, M; Massucco, D; Guido, D; De Giuli, V; Bonaiti, S; D'Amore, C; La Starza, S; Iacoviello, Licia; Padovani, A. | |
| Proper efficiency and generalized convexity in nonsmooth vector optimization problems | 1-gen-2001 | Giorgi, G.; Guerraggio, Angelo | |
| A proper motion catalogue for the Milky Way's nuclear stellar disc | 1-gen-2022 | Shahzamanian, B; Schödel, R; Nogueras-Lara, F; Martínez-Arranz, A; Sormani, M; Gallego-Calvente, At; Gallego-Cano, E; Alburai, A | |
| Proper Selection of In Vitro Cell Model Affects the Characterization of the Neutralizing Antibody Response against SARS-CoV-2 | 1-gen-2022 | Criscuolo, Elena; Giuliani, Benedetta; Ferrari, Davide; Ferrarese, Roberto; Diotti, Roberta A; Clementi, Massimo; Mancini, Nicasio; Clementi, Nicola | |
| Properly maximal points in product spaces | 1-gen-2006 | Guerraggio, Angelo; Luc, D. T. | |
| Properties and applications of microbial D-amino acid oxidases: Current state and perspectives | 1-gen-2008 | Pollegioni, Loredano; Molla, Gianluca; Sacchi, Silvia; Rosini, Elena; Verga, R.; Pilone, Mirella | |
| Properties of a very large volume LaBr3:Ce detector | 1-gen-2012 | Giaz, Agnese; Pellegri, L.; Riboldi, S.; Camera, F.; Blasi, N.; Boiano, C.; Brambilla, S.; Ceruti, S.; Crespi, F. C. L.; Csatlos, M.; Gulyas, J.; Krasznahorkay, A.; Lodetti, S.; Million, B.; Stuhl, L.; Wieland, O. | |
| Properties of Asset Prices under Alternative Learning Schemes | 1-gen-2007 | Guidolin, Massimo; A., Timmermann | |
| Properties of defect centres on nanothick silica layers: an ab initio investigation | 1-gen-2007 | Fois, ETTORE SILVESTRO; Gamba, Aldo; Tabacchi, Gloria; S., Coluccia; G., Martra | |
| Properties of L-amino acid deaminase: En route to optimize bioconversion reactions | 1-gen-2019 | Motta, Paolo; Pollegioni, Loredano; Molla, Gianluca | |
| Properties of multidrug-resistant, ESBL-producing Proteus mirabilis isolates and possible role of beta-lactam/beta-lactamase inhibitor combinations | 1-gen-2001 | Luzzaro, F; Perilli, M; Amicosante, G; Lombardi, G; Belloni, R; Zollo, A; Bianchi, C; Toniolo, Antonio |
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