Search

Your search keyword '"Fiorentini C"' showing total 1,101 results
Start Over Author "Fiorentini C"
1,101 results on '"Fiorentini C"'

151. Importance of the inverted control in measuring holistic face processing with the composite effect and part-whole effect

Author

McKone, Elinor, Davies, A, Darke, H, Crookes, Kate, Wickramariyaratne, T, Zappia, S, Fiorentini, C, Favelle, Simone K, Broughton, M, Fernando, D, McKone, Elinor, Davies, A, Darke, H, Crookes, Kate, Wickramariyaratne, T, Zappia, S, Fiorentini, C, Favelle, Simone K, Broughton, M, and Fernando, D

Abstract

Holistic coding for faces is shown in several illusions that demonstrate integration of the percept across the entire face. The illusions occur upright but, crucially, not inverted. Converting the illusions into experimental tasks that measure their strength - and thus index degree of holistic coding - is often considered straightforward yet in fact relies on a hidden assumption, namely that there is no contribution to the experimental measure from secondary cognitive factors. For the composite effect, a relevant secondary factor is size of the "spotlight" of visuospatial attention.The composite task assumes this spotlight can be easily restricted to the target half (e.g., top-half) of the compound face stimulus. Yet, if this assumption were not true then a large spotlight, in the absence of holistic perception, could produce a false composite effect, present even for inverted faces and contributing partially to the score for upright faces.We reviewevidence that various factors can influence spotlight size: race/culture (Asians often prefer a more global distribution of attention than Caucasians); sex (females can be more global); appearance of the join or gap between face halves; and location of the eyes, which typically attract attention. Results from five experiments then show inverted faces can sometimes produce large false composite effects, and imply that whether this happens or not depends on complex interactions between causal factors. We also report, for both identity and expression, that only top-half face targets (containing eyes) produce valid composite measures. A sixth experiment demonstrates an example of a false inverted part-whole effect, where encoding-specificity is the secondary cognitive factor.We conclude the inverted face control should be tested in all composite and part-whole studies, and an effect for upright faces should be interpreted as a pure measure of holistic processing only when the experimental design produces no effect inverted. T

Published
2013

152. Oral Abstract session * Non invasive evaluation of coronary artery disease: 12/12/2013, 14:00-15:30 * Location: Bursa

Author

Kisko, A., primary, Vereb, M., additional, Barreiro Perez, M., additional, Martin Fernandez, M., additional, Cimadevilla Fernandez, O., additional, Renilla Gonzalez, A., additional, Diaz Pelaez, E., additional, Rozado Castano, J., additional, Dobson, P., additional, Cai, P., additional, Leung, P., additional, Marshall, K., additional, Albarjas, M., additional, Rogers, T., additional, Hill, J., additional, Alfakih, K., additional, Cai, A., additional, Basu, S., additional, Andreini, D., additional, Pontone, G., additional, Mushtaq, S., additional, Bertella, E., additional, Conte, E., additional, Baggiano, A., additional, Annoni, A., additional, Formenti, A., additional, Fiorentini, C., additional, and Pepi, M., additional

Published
2013
Full Text
View/download PDF

154. Simplification Rules for Intuitionistic Propositional Tableaux

Author

Ferrari, M, Fiorentini, C, Fiorino, G, FIORINO, GUIDO GIUSEPPE, Ferrari, M, Fiorentini, C, Fiorino, G, and FIORINO, GUIDO GIUSEPPE

Abstract

The implementation of a logic requires, besides the definition of a calculus and a decision procedure, the development of techniques to reduce the search space. In this article we introduce some simplification rules for Intuitionistic propositional logic that try to replace a formula with an equi-satisfiable "simpler" one with the aim to reduce the search space. Our results are proved via semantical techniques based on Kripke models. We also provide an empirical evaluation of their impact on implementations. © 2012 ACM 1529-3785/2012/04-ART14 $10.00.

Published
2012

155. Concealed cardiomyopathies in competitive athletes with ventricular arrhythmias and an apparently normal heart: role of cardiac electroanatomical mapping and biopsy

Author

Dello Russo, A, Pieroni, M, Santangeli, P, Bartoletti, S, Casella, M, Pelargonio, G, Smaldone, C, Bianco, Massimiliano, Di Biase, L, Bellocci, F, Zeppilli, Paolo, Fiorentini, C, Natale, A, Tondo, C., Bianco, Massimiliano (ORCID:0000-0002-0587-5899), Zeppilli, Paolo (ORCID:0000-0002-5228-3634), Dello Russo, A, Pieroni, M, Santangeli, P, Bartoletti, S, Casella, M, Pelargonio, G, Smaldone, C, Bianco, Massimiliano, Di Biase, L, Bellocci, F, Zeppilli, Paolo, Fiorentini, C, Natale, A, Tondo, C., Bianco, Massimiliano (ORCID:0000-0002-0587-5899), and Zeppilli, Paolo (ORCID:0000-0002-5228-3634)

Abstract

BACKGROUND The diagnosis of subtle structural heart disease in competitive athletes with ventricular arrhythmias (VAs) and an apparently normal heart is challenging. Three-dimensional electroanatomic mapping (EAM) has been demonstrated to reliably identify low-voltage areas that correspond to different cardiomyopathic substrates. OBJECTIVE The purpose of this study was to test whether EAM may help in the diagnosis of concealed cardiomyopathies in athletes with VAs and an apparently normal heart. METHODS We studied 13 consecutive competitive athletes (12 males, age 30 +/- 13 years) who had documentation of VAs within the previous 6 months on 12-lead electrocardiogram (ECG), 24-hour Holter ECG, or ECG exercise testing and who were judged as having a structurally normal heart after a thorough noninvasive evaluation, including signal-averaged ECG, transthoracic echocardiogram, and cardiac magnetic resonance imaging. Depending on the presumed site of VA origin according to 12-lead ECG criteria, patients underwent right or left ventricular EAM and EAM-guided endomyocardial biopsy. RESULTS Presenting arrhythmias included sustained ventricular tachycardia (n = 3), multiple episodes of nonsustained ventricular tachycardia (n = 7), and frequent ventricular ectopic beats (>1,000 during 24 hours; n = 3). Three patients had a history of syncope. Twelve (92%) patients had at least one low-voltage region at EAM, which corresponded at EAM-guided endomyocardial biopsy to the histological diagnosis of active myocarditis in seven patients and of arrhythmogenic right ventricular cardiomyopathy in five. In one patient the histological evidence of contraction band necrosis allowed the unmasking of caffeine and ephedrine abuse. CONCLUSIONS Electroanatomical substrate mapping may help diagnose concealed myocardial diseases in competitive athletes presenting with recent-onset VAs and an apparently normal heart. Further studies are warranted to assess the prognostic implications of such subt

Published
2011

157. fCube: An Efficient Prover for Intuitionistic Propositional Logic

Author

Ferrari, M, Fiorentini, C, Fiorino, G, FIORINO, GUIDO GIUSEPPE, Ferrari, M, Fiorentini, C, Fiorino, G, and FIORINO, GUIDO GIUSEPPE

Abstract

We present fCube, a theorem prover for Intuitionistic propositional logic based on a tableau calculus. The main novelty of fCube is that it implements several optimization techniques that allow to prune the search space acting on different aspects of proof-search. We tested the efficiency of our techniques by comparing fCube with other theorem provers. We found that our prover outperforms the other provers on several interesting families of formulas. © 2010 Springer-Verlag.

Published
2010

158. A Decidable Constructive Description Logic

Author

Bozzato, L, Ferrari, M, Fiorentini, C, Fiorino, G, FIORINO, GUIDO GIUSEPPE, Bozzato, L, Ferrari, M, Fiorentini, C, Fiorino, G, and FIORINO, GUIDO GIUSEPPE

Abstract

Recently, there has been a growing interest in constructive reinterpretations of description logics. This has been motivated by the need to model in the DLs setting problems that have a consolidate tradition in constructive logics. In this paper we introduce a constructive description logic for the language of ALC based on the Kripke semantics for Intuitionistic Logic. Moreover we give a tableau calculus and we show that it is sound, complete and terminating. © 2010 Springer-Verlag.

Published
2010

159. BCDL: Basic Constructive Description Logic

Author

Ferrari, M, Fiorentini, C, Fiorino, G, FIORINO, GUIDO GIUSEPPE, Ferrari, M, Fiorentini, C, Fiorino, G, and FIORINO, GUIDO GIUSEPPE

Abstract

In this paper we present BCDL, a description logic based on information terms semantics, which allows a constructive interpretation of ALC formulas. In the paper we describe the information terms semantics, we define a natural deduction calculus for BCDL and we show it is sound and complete. As a first application of proof-theoretical properties of the calculus, we show how it fulfills the proofs-as-programs paradigm. Finally, we discuss the role of generators, the main element distinguishing our formalisation from the usual ones. © 2009 Springer Science+Business Media B.V.

Published
2010

160. A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications

Author

Ferrari, M, Fiorentini, C, Fiorino, G, FIORINO, GUIDO GIUSEPPE, Ferrari, M, Fiorentini, C, Fiorino, G, and FIORINO, GUIDO GIUSEPPE

Abstract

Since 1993, when Hudelmaier developed an O(n log n)-space decision procedure for propositional Intuitionistic Logic, a lot of work has been done to improve the efficiency of the related proof-search algorithms. In this paper a tableau calculus using the signs T, F and Fc with a new set of rules to treat signed formulas of the kind T((A → B) → C) is provided. The main feature of the calculus is the reduction of both the non-determinism in proof-search and the width of proofs with respect to Hudelmaier's one. These improvements have a significant influence on the performances of the implementation..

Published
2009

161. Hypertensive heart disease: Diagnostic and therapeutic guidelines [Ipertensione arteriosa e patologia cardiaca: Linee guida diagnostico-terapeutiche]

Author

Rosei, E, de Simone, G, Mureddu, G, Trimarco, B, Verdecchia, P, Volpe, M, Muiesan, M, Ambrosioni, E, Bernini, G, Cerasola, G, de Divitiis, O, Di Somma, S, Esposti, E, Fiorentini, C, Ganau, A, Grandi, A, Grassi, G, Leonetti, G, Mancia, G, Manfellotto, D, Mezzetti, A, Palombo, C, Perlini, S, Pessina, A, Rappelli, A, Rossi, G, Salvetti, A, Veglio, F, Rosei, Enrico Agabiti, de Simone, Giovanni, Mureddu, Gian Francesco, Trimarco, Bruno, Verdecchia, Paolo, Volpe, Massimo, Muiesan, Maria Lorenza, Ambrosioni, Ettore, Bernini, Giampaolo, Cerasola, Giovanni, de Divitiis, Oreste, Di Somma, Salvatore, Esposti, Ezio Degli, Fiorentini, Cesare, Ganau, Antonello, Grandi, Anna Maria, Grassi, Guido, Leonetti, Gastone, Mancia, Giuseppe, Manfellotto, Dario, Mezzetti, Andrea, Palombo, Carlo, Perlini, Stefano, Pessina, Achille, Rappelli, Alessandro, Rossi, Gianpaolo, Salvetti, Antonio, Veglio, Franco, Rosei, E, de Simone, G, Mureddu, G, Trimarco, B, Verdecchia, P, Volpe, M, Muiesan, M, Ambrosioni, E, Bernini, G, Cerasola, G, de Divitiis, O, Di Somma, S, Esposti, E, Fiorentini, C, Ganau, A, Grandi, A, Grassi, G, Leonetti, G, Mancia, G, Manfellotto, D, Mezzetti, A, Palombo, C, Perlini, S, Pessina, A, Rappelli, A, Rossi, G, Salvetti, A, Veglio, F, Rosei, Enrico Agabiti, de Simone, Giovanni, Mureddu, Gian Francesco, Trimarco, Bruno, Verdecchia, Paolo, Volpe, Massimo, Muiesan, Maria Lorenza, Ambrosioni, Ettore, Bernini, Giampaolo, Cerasola, Giovanni, de Divitiis, Oreste, Di Somma, Salvatore, Esposti, Ezio Degli, Fiorentini, Cesare, Ganau, Antonello, Grandi, Anna Maria, Grassi, Guido, Leonetti, Gastone, Mancia, Giuseppe, Manfellotto, Dario, Mezzetti, Andrea, Palombo, Carlo, Perlini, Stefano, Pessina, Achille, Rappelli, Alessandro, Rossi, Gianpaolo, Salvetti, Antonio, and Veglio, Franco

Published
2008

167. A constructive semantics for ALC

Author

Bozzato, L, Ferrari, M, Fiorentini, C, Fiorino, G, FIORINO, GUIDO GIUSEPPE, Bozzato, L, Ferrari, M, Fiorentini, C, Fiorino, G, and FIORINO, GUIDO GIUSEPPE

Abstract

One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics for the basic description logic ALC in the spirit of the BHK interpretation. We prove that such a semantics provides an interpretation of ALC formulas consistent with the classical one and we show how, according to such a semantics, proofs of a suitable natural deduction calculus for ALC support a proofs-as-programs paradigm

Published
2007

171. Intra arterial chemotherapy for stage II/IV pancreatic cancer

Author

Cantore, M., Fiorentini, C., Bassi, Claudio, Molani, L., Aitini, E., Morandi, C., Girelli, R., Amadori, M., Tumulo, S., Falconi, Massimo, Pederzoli, Paolo, Smerieri, F., M., Cantore, C., Fiorentini, C., Bassi, L., Molani, E., Aitini, C., Morandi, R., Girelli, M., Amadori, S., Tumulo, Falconi, Massimo, P., Pederzoli, and F., Smerieri

Published
1997

172. Early reduction in left ventricular contractile reserve detected by dobutamine stress echo predicts high-dose chemotherapy-induced cardiac toxicity

Author

Civelli, M, Cardinale, D, Martinoni, A, Lamantia, G, Colombo, N, Colombo, A, Gandini, S, Martinelli, G, Fiorentini, C, Cipolla, C, Cipolla, CM, COLOMBO, NICOLETTA, Civelli, M, Cardinale, D, Martinoni, A, Lamantia, G, Colombo, N, Colombo, A, Gandini, S, Martinelli, G, Fiorentini, C, Cipolla, C, Cipolla, CM, and COLOMBO, NICOLETTA

Abstract

High-dose chemotherapy (HDC) is utilized in high-risk cancer patients. This type of treatment may induce cardiac toxicity which becomes clinically evident weeks or months after HDC. Hence, the possibility of early identification of patients who will develop cardiac impairment is strategic for its clinical implications. The aim of this study was to identify possible early changes of left ventricular contractile reserve (LVCR) in cancer patients undergoing HDC, as well as to evaluate the relevance of such changes as predictors of chemotherapy-induced cardiotoxicity.

Published
2006

173. Prevention of high-dose chemotherapy-induced cardiotoxicity in high-risk patients by angiotensin-converting enzyme inhibition

Author

Cardinale, D, Colombo, A, Sandri, M, Lamantia, G, Colombo, N, Civelli, M, Martinelli, G, Veglia, F, Fiorentini, C, Cipolla, C, Sandri, MT, Cipolla, CM, COLOMBO, NICOLETTA, Cardinale, D, Colombo, A, Sandri, M, Lamantia, G, Colombo, N, Civelli, M, Martinelli, G, Veglia, F, Fiorentini, C, Cipolla, C, Sandri, MT, Cipolla, CM, and COLOMBO, NICOLETTA

Abstract

An increase in troponin I soon after high-dose chemotherapy (HDC) is a strong predictor of poor cardiological outcome in cancer patients. This finding has important clinical implications and provides a rationale for the development of prophylactic strategies for preventing cardiotoxicity. Angiotensin-converting enzyme inhibitors slow the progression of left ventricular dysfunction in different clinical settings, but their role in the prevention of cardiotoxicity has never been investigated.

Published
2006

174. ESBC: an application for computing stabilization bouns

Author

Avellone, A, Ferrari, M, Fiorentini, C, Fiorino, G, Moscato, U, AVELLONE, ALESSANDRO, FIORINO, GUIDO GIUSEPPE, MOSCATO, UGO EMANUELE, Avellone, A, Ferrari, M, Fiorentini, C, Fiorino, G, Moscato, U, AVELLONE, ALESSANDRO, FIORINO, GUIDO GIUSEPPE, and MOSCATO, UGO EMANUELE

Abstract

We describe the application ESBC to perform the timing analysis of a combinatorial circuit. The circuit is described by formulas of Classical Logic and the delays of propagation of the signals in a gate are represented by a kind of valuation form semantics. ESBC computes the exact stabilization times at which the output signals stabilize. © 2006 Elsevier B.V. All rights reserved.

Published
2006

175. ESBC: an application for computing stabilization bounds

Author

Avellone, A, Ferrari, M, Fiorentini, C, Fiorino, G, Moscato, U, AVELLONE, ALESSANDRO, FIORINO, GUIDO GIUSEPPE, MOSCATO, UGO EMANUELE, Avellone, A, Ferrari, M, Fiorentini, C, Fiorino, G, Moscato, U, AVELLONE, ALESSANDRO, FIORINO, GUIDO GIUSEPPE, and MOSCATO, UGO EMANUELE

Published
2005

176. On the complexity of the disjunction property in intuitionistic and modal logics

Author

Ferrari, M, Fiorentini, C, Fiorino, G, Ferrari, M, Fiorentini, C, and Fiorino, G

Abstract

In this article we study the complexity of disjunction property for intuitionistic logic, the modal logics S4, S4.1, Grzegorczyk logic, Gödel-Löb logic, and the intuitionistic counterpart of the modal logic K. For S4 we even prove the feasible interpolation theorem and we provide a lower bound for the length of proofs. The techniques we use do not require proving structural properties of the calculi in hand, such as the cut-elimination theorem or the normalization theorem. This is a key point of our approach, since it allows us to treat logics for which only Hilbert-style characterizations are known

Published
2005

177. Prognostic value of troponin I in cardiac risk stratification of cancer patients undergoing high-dose chemotherapy

Author

Cardinale, D, Sandri, M, Colombo, A, Colombo, N, Boeri, M, Lamantia, G, Civelli, M, Peccatori, F, Martinelli, G, Fiorentini, C, Cipolla, C, Sandri, MT, Cipolla, CM, COLOMBO, NICOLETTA, Cardinale, D, Sandri, M, Colombo, A, Colombo, N, Boeri, M, Lamantia, G, Civelli, M, Peccatori, F, Martinelli, G, Fiorentini, C, Cipolla, C, Sandri, MT, Cipolla, CM, and COLOMBO, NICOLETTA

Abstract

In patients with aggressive malignancies who are undergoing high-dose chemotherapy, even minimal elevation of troponin I (TnI) is associated with late left ventricular dysfunction. The time course of the subclinical myocardial damage and its impact on the clinical outcome have never been investigated previously.

Published
2004

178. A secondary semantics for second order intuitionistic propositional logic

Author

Ferrari, M, Fiorentini, C, Fiorino, G, FIORINO, GUIDO GIUSEPPE, Ferrari, M, Fiorentini, C, Fiorino, G, and FIORINO, GUIDO GIUSEPPE

Abstract

In this paper we propose a Kripke-style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a semantics. (C) 2004 WILEY-VCH Verlag GmbH & Co. KGaA. Weinheim.

Published
2004

181. Abstracts

Author

Dunet, V., primary, Dabiri, A., additional, Allenbach, G., additional, Goyeneche Achigar, A., additional, Waeber, B., additional, Feihl, F., additional, Heinzer, R., additional, Prior, J. O., additional, Van Velzen, J. E., additional, Schuijf, J. D., additional, De Graaf, F. R., additional, De Graaf, M. A., additional, Schalij, M. J., additional, Kroft, L. J., additional, De Roos, A., additional, Jukema, J. W., additional, Van Der Wall, E. E., additional, Bax, J. J., additional, Lankinen, E., additional, Saraste, A., additional, Noponen, T., additional, Klen, R., additional, Teras, M., additional, Kokki, T., additional, Kajander, S., additional, Pietila, M., additional, Ukkonen, H., additional, Knuuti, J., additional, Pazhenkottil, A. P., additional, Nkoulou, R. N., additional, Ghadri, J. R., additional, Herzog, B. A., additional, Buechel, R. R., additional, Kuest, S. M., additional, Wolfrum, M., additional, Gaemperli, O., additional, Husmann, L., additional, Kaufmann, P. A., additional, Andreini, D., additional, Pontone, G., additional, Mushtaq, S., additional, Antonioli, L., additional, Bertella, E., additional, Formenti, A., additional, Cortinovis, S., additional, Ballerini, G., additional, Fiorentini, C., additional, Pepi, M., additional, Koh, A. S., additional, Flores, J. S., additional, Keng, F. Y. J., additional, Tan, R. S., additional, Chua, T. S. J., additional, Annoni, A. D., additional, Tamborini, G., additional, Fusari, M., additional, Bartorelli, A. L., additional, Ewe, S. H., additional, Ng, A. C. T., additional, Delgado, V., additional, Schuijf, J., additional, Van Der Kley, F., additional, Colli, A., additional, De Weger, A., additional, Marsan, N. A., additional, Yiu, K. H., additional, Ng, A. C., additional, Timmer, S. A. J., additional, Knaapen, P., additional, Germans, T., additional, Dijkmans, P. A., additional, Lubberink, M., additional, Ten Berg, J. M., additional, Ten Cate, F. J., additional, Russel, I. K., additional, Lammertsma, A. A., additional, Van Rossum, A. C., additional, Wong, Y. Y., additional, Ruiter, G., additional, Raijmakers, P., additional, Van Der Laarse, W. J., additional, Westerhof, N., additional, Vonk-Noordegraaf, A., additional, Youssef, G., additional, Leung, E., additional, Wisenberg, G., additional, Marriot, C., additional, Williams, K., additional, Etele, J., additional, Dekemp, R. A., additional, Dasilva, J., additional, Birnie, D., additional, Beanlands, R. S. B., additional, Thompson, R. C., additional, Allam, A. H., additional, Wann, L. S., additional, Nureldin, A. H., additional, Adelmaksoub, G., additional, Badr, I., additional, Sutherland, M. L., additional, Sutherland, J. D., additional, Miyamoto, M. I., additional, Thomas, G. S., additional, Harms, H. J., additional, De Haan, S., additional, Huisman, M. C., additional, Schuit, R. C., additional, Windhorst, A. D., additional, Allaart, C., additional, Einstein, A. J., additional, Khawaja, T., additional, Greer, C., additional, Chokshi, A., additional, Jones, M., additional, Schaefle, K., additional, Bhatia, K., additional, Shimbo, D., additional, Schulze, P. C., additional, Srivastava, A., additional, Chettiar, R., additional, Moody, J., additional, Weyman, C., additional, Natale, D., additional, Bruni, W., additional, Liu, Y., additional, Ficaro, E., additional, Sinusas, A. J., additional, Peix, A., additional, Batista, E., additional, Cabrera, L. O., additional, Padron, K., additional, Rodriguez, L., additional, Sainz, B., additional, Mendoza, V., additional, Carrillo, R., additional, Fernandez, Y., additional, Mena, E., additional, Naum, A., additional, Bach-Gansmo, T., additional, Kleven-Madsen, N., additional, Biermann, M., additional, Johnsen, B., additional, Aase Husby, J., additional, Rotevatn, S., additional, Nordrehaug, J. E., additional, Schaap, J., additional, Kauling, R. M., additional, Post, M. C., additional, Rensing, B. J. W. M., additional, Verzijlbergen, J. F., additional, Sanchez, J., additional, Giamouzis, G., additional, Tziolas, N., additional, Georgoulias, P., additional, Karayannis, G., additional, Chamaidi, A., additional, Zavos, N., additional, Koutrakis, K., additional, Sitafidis, G., additional, Skoularigis, J., additional, Triposkiadis, F., additional, Radovanovic, S., additional, Djokovic, A., additional, Simic, D. V., additional, Krotin, M., additional, Savic-Radojevic, A., additional, Pljesa-Ercegovac, M., additional, Zdravkovic, M., additional, Saponjski, J., additional, Jelic, S., additional, Simic, T., additional, Eckardt, R., additional, Kjeldsen, B. J., additional, Andersen, L. I., additional, Haghfelt, T., additional, Grupe, P., additional, Johansen, A., additional, Hesse, B., additional, Pena, H., additional, Cantinho, G., additional, Wilk, M., additional, Srour, Y., additional, Godinho, F., additional, Zafrir, N., additional, Gutstein, A., additional, Mats, I., additional, Battler, A., additional, Solodky, A., additional, Sari, E., additional, Singh, N., additional, Vara, A., additional, Peters, A. M., additional, De Belder, A., additional, Nair, S., additional, Ryan, N., additional, James, R., additional, Dizdarevic, S., additional, Depuey, G., additional, Friedman, M., additional, Wray, R., additional, Old, R., additional, Babla, H., additional, Chuanyong, B., additional, Maddahi, J., additional, Tragardh Johansson, E., additional, Sjostrand, K., additional, Edenbrandt, L., additional, Aguade-Bruix, S., additional, Cuberas-Borros, G., additional, Pizzi, M. N., additional, Sabate-Fernandez, M., additional, De Leon, G., additional, Garcia-Dorado, D., additional, Castell-Conesa, J., additional, Candell-Riera, J., additional, Casset-Senon, D., additional, Edjlali-Goujon, M., additional, Alison, D., additional, Delhommais, A., additional, Cosnay, P., additional, Low, C. S., additional, Notghi, A., additional, O'brien, J., additional, Tweddel, A. C., additional, Bingham, N., additional, O Neil, P., additional, Harbinson, M., additional, Lindner, O., additional, Burchert, W., additional, Schaefers, M., additional, Marcassa, C., additional, Campini, R., additional, Calza, P., additional, Zoccarato, O., additional, Kisko, A., additional, Kmec, J., additional, Babcak, M., additional, Vereb, M., additional, Vytykacova, M., additional, Cencarik, J., additional, Gazdic, P., additional, Stasko, J., additional, Abreu, A., additional, Pereira, E., additional, Oliveira, L., additional, Colarinha, P., additional, Veloso, V., additional, Enriksson, I., additional, Proenca, G., additional, Delgado, P., additional, Rosario, L., additional, Sequeira, J., additional, Kosa, I., additional, Vassanyi, I., additional, Egyed, C. S., additional, Kozmann, G. Y., additional, Morita, S., additional, Nanasato, M., additional, Nanbu, I., additional, Yoshida, Y., additional, Hirayama, H., additional, Allam, A., additional, Sharef, A., additional, Shawky, I., additional, Farid, M., additional, Mouden, M., additional, Ottervanger, J. P., additional, Timmer, J. R., additional, De Boer, M. J., additional, Reiffers, S., additional, Jager, P. L., additional, Knollema, S., additional, Nasr, G. M., additional, Mohy Eldin, M., additional, Ragheb, M., additional, Casans-Tormo, I., additional, Diaz-Exposito, R., additional, Hurtado-Mauricio, F. J., additional, Ruano, R., additional, Diego, M., additional, Gomez-Caminero, F., additional, Albarran, C., additional, Martin De Arriba, A., additional, Rosero, A., additional, Lopez, R., additional, Martin Luengo, C., additional, Garcia-Talavera, J. R., additional, Laitinen, I. E. K., additional, Rudelius, M., additional, Weidl, E., additional, Henriksen, G., additional, Wester, H. J., additional, Schwaiger, M., additional, Pan, X. B., additional, Schindler, T., additional, Quercioli, A., additional, Zaidi, H., additional, Ratib, O., additional, Declerck, J. M., additional, Alexanderson Rosas, E., additional, Jacome, R., additional, Jimenez-Santos, M., additional, Romero, E., additional, Pena-Cabral, M. A., additional, Meave, A., additional, Gonzalez, J., additional, Rouzet, F., additional, Bachelet, L., additional, Alsac, J. M., additional, Suzuki, M., additional, Louedec, L., additional, Petiet, A., additional, Chaubet, F., additional, Letourneur, D., additional, Michel, J. B., additional, Le Guludec, D., additional, Aktas, A., additional, Cinar, A., additional, Yaman, G., additional, Bahceci, T., additional, Kavak, K., additional, Gencoglu, A., additional, Jimenez-Heffernan, A., additional, Sanchez De Mora, E., additional, Lopez-Martin, J., additional, Lopez-Aguilar, R., additional, Ramos, C., additional, Salgado, C., additional, Ortega, A., additional, Sanchez-Gonzalez, C., additional, Roa, J., additional, Tobaruela, A., additional, Nesterov, S. V., additional, Turta, O., additional, Maki, M., additional, Han, C., additional, Daou, D., additional, Tawileh, M., additional, Chamouine, S. O., additional, Coaguila, C., additional, Mariscal-Labrador, E., additional, Kisiel-Gonzalez, N., additional, De Araujo Goncalves, P., additional, Sousa, P. J., additional, Marques, H., additional, O'neill, J., additional, Pisco, J., additional, Cale, R., additional, Brito, J., additional, Gaspar, A., additional, Machado, F. P., additional, Roquette, J., additional, Martinez, M., additional, Melendez, G., additional, Kimura, E., additional, Ochoa, J. M., additional, Alessio, A. M., additional, Patel, A., additional, Lautamaki, R., additional, Bengel, F. M., additional, Bassingthwaighte, J. B., additional, Caldwell, J. H., additional, Rahbar, K., additional, Seifarth, H., additional, Schafers, M., additional, Stegger, L., additional, Spieker, T., additional, Hoffmeier, A., additional, Maintz, D., additional, Scheld, H., additional, Schober, O., additional, Weckesser, M., additional, Aoki, H., additional, Matsunari, I., additional, Kajinami, K., additional, Martin Fernandez, M., additional, Barreiro Perez, M., additional, Fernandez Cimadevilla, O. V., additional, Leon Duran, D., additional, Velasco Alonso, E., additional, Florez Munoz, J. P., additional, Luyando, L. H., additional, Templin, C., additional, Veltman, C. E., additional, Reiber, J. H. C., additional, Venuraju, S., additional, Yerramasu, A., additional, Atwal, S., additional, Lahiri, A., additional, Kunimasa, T., additional, Shiba, M., additional, Ishii, K., additional, Aikawa, J., additional, Kroner, E. S. J., additional, Ho, K. T., additional, Yong, Q. W., additional, Chua, K. C., additional, Panknin, C., additional, Roos, C. J., additional, Van Werkhoven, J. M., additional, Witkowska-Grzeslo, A. J., additional, Boogers, M. J., additional, Anand, D. V., additional, Dey, D., additional, Berman, D., additional, Mut, F., additional, Giubbini, R., additional, Lusa, L., additional, Massardo, T., additional, Iskandrian, A., additional, Dondi, M., additional, Sato, A., additional, Kakefuda, Y., additional, Ojima, E., additional, Adachi, T., additional, Atsumi, A., additional, Ishizu, T., additional, Seo, Y., additional, Hiroe, M., additional, Aonuma, K., additional, Kruk, M., additional, Pracon, R., additional, Kepka, C., additional, Pregowski, J., additional, Kowalewska, A., additional, Pilka, M., additional, Opolski, M., additional, Michalowska, I., additional, Dzielinska, Z., additional, Demkow, M., additional, Stoll, V., additional, Sabharwal, N., additional, Chakera, A., additional, Ormerod, O., additional, Fernandes, H., additional, Bernardes, M., additional, Martins, E., additional, Oliveira, P., additional, Vieira, T., additional, Terroso, G., additional, Oliveira, A., additional, Faria, T., additional, Ventura, F., additional, Pereira, J., additional, Fukuzawa, S., additional, Inagaki, M., additional, Sugioka, J., additional, Ikeda, A., additional, Okino, S., additional, Maekawa, J., additional, Uchiyama, T., additional, Kamioka, N., additional, Ichikawa, S., additional, Afshar, M., additional, Alvi, R., additional, Aguilar, N., additional, Ippili, R., additional, Shaqra, H., additional, Bella, J., additional, Bhalodkar, N., additional, Dos Santos, A., additional, Daicz, M., additional, Cendoya, L. O., additional, Marrero, H. G., additional, Casuscelli, J., additional, Embon, M., additional, Vera Janavel, G., additional, Duronto, E., additional, Gurfinkel, E. P., additional, Cortes, C. M., additional, Takeishi, Y., additional, Nakajima, K., additional, Yamasaki, Y., additional, Nishimura, T., additional, Hayes Brown, K., additional, Collado, F., additional, Alhaji, M., additional, Green, J., additional, Alexander, S., additional, Vashistha, R., additional, Jain, S., additional, Aldaas, F., additional, Shanes, J., additional, Doukky, R., additional, Ashikaga, K., additional, Akashi, Y. J., additional, Uemarsu, M., additional, Kamijima, R., additional, Yoneyama, K., additional, Omiya, K., additional, Miyake, Y., additional, Brodov, Y., additional, Raval, U., additional, Berezin, A., additional, Seden, V., additional, Koretskaya, E., additional, Panasenko, T. A., additional, Matsuo, S., additional, Kinuya, S., additional, Chen, J., additional, Van Bommel, R. J., additional, Van Der Hiel, B., additional, Dibbets-Schneider, P., additional, Garcia, E. V., additional, Rutten-Vermeltfoort, I., additional, Gevers, M. M. J., additional, Verhoeven, B., additional, Dijk Van, A. B., additional, Raaijmakers, E., additional, Raijmakers, P. G. H. M., additional, Engvall, J. E., additional, Gjerde, M., additional, De Geer, J., additional, Olsson, E., additional, Quick, P., additional, Persson, A., additional, Mazzanti, M., additional, Marini, M., additional, Pimpini, L., additional, Perna, G. P., additional, Marciano, C., additional, Gargiulo, P., additional, Galderisi, M., additional, D'amore, C., additional, Savarese, G., additional, Casaretti, L., additional, Paolillo, S., additional, Cuocolo, A., additional, Perrone Filardi, P., additional, Al-Amoodi, M., additional, Thompson, E. C., additional, Kennedy, K., additional, Bybee, K. A., additional, Mcghie, A. I., additional, O'keefe, J. H., additional, Bateman, T. M., additional, Van Der Palen, R. L. F., additional, Mavinkurve-Groothuis, A. M., additional, Bulten, B., additional, Bellersen, L., additional, Van Laarhoven, H. W. M., additional, Kapusta, L., additional, De Geus-Oei, L. F., additional, Pollice, P. P., additional, Bonifazi, M. B., additional, Pollice, F. P., additional, Clements, I. P., additional, Hodge, D. O., additional, Scott, C. G., additional, De Ville De Goyet, M., additional, Brichard, B., additional, Pirotte, T., additional, Moniotte, S., additional, Tio, R. A., additional, Elvan, A., additional, Dierckx, R. A. I. O., additional, Slart, R. H. J. A., additional, Furuhashi, T., additional, Moroi, M., additional, Hase, H., additional, Joki, N., additional, Masai, H., additional, Nakazato, R., additional, Fukuda, H., additional, Sugi, K., additional, Kryczka, K., additional, Kaczmarska, E., additional, Petryka, J., additional, Mazurkiewicz, L., additional, Ruzyllo, W., additional, Smanio, P., additional, Vieira Segundo, E., additional, Siqueira, M., additional, Kelendjian, J., additional, Ribeiro, J., additional, Alaca, J., additional, Oliveira, M., additional, Alves, F., additional, Peovska, I., additional, Maksimovic, J., additional, Vavlukis, M., additional, Kostova, N., additional, Pop Gorceva, D., additional, Majstorov, V., additional, Zdraveska, M., additional, Hussain, S., additional, Djearaman, M., additional, Hoey, E., additional, Morus, L., additional, Erinfolami, O., additional, Macnamara, A., additional, Opolski, M. P., additional, Witkowski, A., additional, Berti, V., additional, Ricci, F., additional, Gallicchio, R., additional, Acampa, W., additional, Cerisano, G., additional, Vigorito, C., additional, Sciagra', R., additional, Pupi, A., additional, Sliem, H., additional, Collado, F. M., additional, Schmidt, S., additional, Maheshwari, A., additional, Kiriakos, R., additional, Mwansa, V., additional, Ljubojevic, S., additional, Sedej, S., additional, Holzer, M., additional, Marsche, G., additional, Marijanski, V., additional, Kockskaemper, J., additional, Pieske, B., additional, Ricalde, A., additional, Alexanderson, G., additional, Mohani, A., additional, Khanna, P., additional, Sinusas, A., additional, Lee, F., additional, Pinas, V. A., additional, Van Eck-Smit, B. L. F., additional, Verberne, H. J., additional, De Bruin, C. M., additional, Guilhermina, G., additional, Jimenez-Angeles, L., additional, Ruiz De Jesus, O., additional, Yanez-Suarez, O., additional, Vallejo, E., additional, Reyes, E., additional, Chan, M., additional, Hossen, M. L., additional, Underwood, S. R., additional, Karu, A., additional, Bokhari, S., additional, Pineda, V., additional, Gracia-Sanchez, L. M., additional, Garcia-Burillo, A., additional, Zavadovskiy, K., additional, Lishmanov, Y. U., additional, Saushkin, W., additional, Kovalev, I., additional, Chernishov, A., additional, Annoni, A., additional, Tarkia, M., additional, Saanijoki, T., additional, Oikonen, V., additional, Savunen, T., additional, Green, M. A., additional, Strandberg, M., additional, Roivainen, A., additional, Gaeta, M. C., additional, Artigas, C., additional, Deportos, J., additional, Geraldo, L., additional, Flotats, A., additional, La Delfa, V., additional, Carrio, I., additional, Laarse, W. J., additional, Izquierdo Gomez, M. M., additional, Lacalzada Almeida, J., additional, Barragan Acea, A., additional, De La Rosa Hernandez, A., additional, Juarez Prera, R., additional, Blanco Palacios, G., additional, Bonilla Arjona, J. A., additional, Jimenez Rivera, J. J., additional, Iribarren Sarrias, J. L., additional, Laynez Cerdena, I., additional, Dedic, A., additional, Rossi, A., additional, Ten Kate, G. J. R., additional, Dharampal, A., additional, Moelker, A., additional, Galema, T. W., additional, Mollet, N., additional, De Feyter, P. J., additional, Nieman, K., additional, Trabattoni, D., additional, Broersen, A., additional, Frenay, M., additional, Boogers, M. M., additional, Kitslaar, P. H., additional, Dijkstra, J., additional, Annoni, D. A., additional, Muratori, M., additional, Johki, N., additional, Tokue, M., additional, Dharampal, A. S., additional, Weustink, A. C., additional, Neefjes, L. A. E., additional, Papadopoulou, S. L., additional, Chen, C., additional, Mollet, N. R. A., additional, Boersma, E. H., additional, Krestin, G. P., additional, Purvis, J. A., additional, Sharma, D., additional, Hughes, S. M., additional, Berman, D. S., additional, Taillefer, R., additional, Udelson, J., additional, Devine, M., additional, Lazewatsky, J., additional, Bhat, G., additional, Washburn, D., additional, Patel, D., additional, Mazurek, T., additional, Tandon, S., additional, Bansal, S., additional, Inzucchi, S., additional, Staib, L., additional, Davey, J., additional, Chyun, D., additional, Young, L., additional, Wackers, F., additional, Harbinson, M. T., additional, Wells, G., additional, Dougan, J., additional, Borges-Neto, S., additional, Phillips, H., additional, Farzaneh-Far, A., additional, Starr, Z., additional, Shaw, L. K., additional, Fiuzat, M., additional, O'connor, C., additional, Henzlova, M., additional, Duvall, W. L., additional, Levine, A., additional, Baber, U., additional, Croft, L., additional, Sahni, S., additional, Sethi, S., additional, Hermann, L., additional, Nureldin, A., additional, Gomaa, A., additional, Soliman, M. A. T., additional, Hany, H. A. R., additional, De Graaf, F., additional, Pazhenkottil, A., additional, Siebelink, H. M. J., additional, Reiber, J. H., additional, Ayub, M., additional, Naveed, T., additional, Azhar, M., additional, Van Tosh, A., additional, Faber, T. L., additional, Votaw, J. R., additional, Reichek, N., additional, Pulipati, B., additional, Palestro, C., additional, Nichols, K. J., additional, Okuda, K., additional, Kirihara, Y., additional, Ishikawa, T., additional, Taki, J., additional, Yoshita, M., additional, Yamada, M., additional, Salacata, A., additional, Keavey, S., additional, Chavarri, V., additional, Mills, J., additional, Nagaraj, H., additional, Bhambhani, P., additional, Kliner, D. E., additional, Soman, P., additional, Heo, J., additional, Iskandrian, A. E., additional, Jain, M., additional, Lin, B., additional, Walker, A., additional, Nkonde, C., additional, Bond, S., additional, Baskin, A., additional, Declerck, J., additional, Soto, M. E., additional, Mendoza, G., additional, Aguilar, M., additional, Williams, S. P., additional, Colice, G., additional, Mcardle, J. R., additional, Lankford, A., additional, Kajdasz, D. K., additional, Reed, C. R., additional, Angelini, L., additional, Angelozzi, F., additional, Ascoli, G., additional, Jacobson, A., additional, Lessig, H. J., additional, Gerson, M. C., additional, Cerqueira, M. D., additional, Narula, J., additional, Uematsu, M., additional, Kida, K., additional, Suzuki, K., additional, Bravo, P. E., additional, Fukushima, K., additional, Chaudhry, M., additional, Merrill, J., additional, Alonso Tello, A., additional, Rodriguez Palomares, J. F., additional, Marti Aguasca, G., additional, Aguade Bruix, S., additional, Aliaga, V., additional, Mahia, P., additional, Gonzalez-Alujas, T., additional, Candell, J., additional, Evangelista, A., additional, Mlynarski, R., additional, Mlynarska, A., additional, Sosnowski, M., additional, Zerahn, B., additional, Hasbak, P., additional, Mortensen, C. E., additional, Mathiesen, H. F., additional, Andersson, M., additional, Nielsen, D., additional, Ferreira Santos, L., additional, Ferreira, M. J., additional, Ramos, D., additional, Moreira, D., additional, Cunha, M. J., additional, Albuquerque, A., additional, Moreira, A., additional, Oliveira Santos, J., additional, Costa, G., additional, Providencia, L. A., additional, Arita, Y., additional, Kihara, S., additional, Mitsusada, N., additional, Miyawaki, M., additional, Ueda, H., additional, Hiraoka, H., additional, Matsuzawa, Y., additional, Askew, J., additional, O'connor, M., additional, Jordan, L., additional, Ruter, R., additional, Gibbons, R., additional, Miller, T., additional, Emmett, L., additional, Ng, A., additional, Sorensen, N., additional, Mansberg, R., additional, Kritharides, L., additional, Gonzalez, T., additional, Majmundar, H., additional, Coats, N. P., additional, Vernotico, S., additional, Doan, J. H., additional, Hernandez, T. M., additional, Evini, M., additional, Hepner, A. D., additional, Ip, T. K., additional, Chalela, W. A., additional, Falcao, A. M., additional, Azouri, L. O., additional, Ramires, J. A. F., additional, Meneghetti, J. C., additional, Manganelli, F., additional, Spadafora, M., additional, Varrella, P., additional, Peluso, G., additional, Sauro, R., additional, Di Lorenzo, E., additional, Rotondi, F., additional, Daniele, S., additional, Miletto, P., additional, Rijnders, A. J. M., additional, Hendrickx, B. W., additional, Van Der Bruggen, W., additional, America, Y. G. C. J., additional, Thorley, P. J., additional, Chowdhury, F. U., additional, Dickinson, C. J., additional, Sazonova, S. I., additional, Proskokova, I. Y. U., additional, Gusakova, A. M., additional, Minin, S. M., additional, Lishmanov, Y. U. B., additional, Saushkin, V. V., additional, Rodriguez, G., additional, Roffe, F., additional, Ilarraza, H., additional, Bialostozky, D., additional, Kitsiou, A. N., additional, Arsenos, P., additional, Tsiantis, I., additional, Charizopoulos, S., additional, Karas, S., additional, Vidal Perez, R. C., additional, Garrido, M., additional, Pubul, V., additional, Argibay, S., additional, Pena, C., additional, Pombo, M., additional, Ciobotaru, A. B., additional, Sanchez-Salmon, A., additional, Ruibal Morell, A., additional, Gonzalez-Juanatey, J. R., additional, Rodriguez-Gomez, E., additional, Martinez, B., additional, Pontillo, D., additional, Benvissuto, F., additional, Fiore Melacrinis, F., additional, Maccafeo, S., additional, Scabbia, E. V., additional, Schiavo, R., additional, Golzar, Y., additional, Gidea, C., additional, Golzar, J., additional, Pop-Gorceva, D., additional, Zdravkovska, M., additional, Stojanovski, S., additional, Georgievska-Ismail, L. J., additional, Katsikis, T., additional, Theodorakos, A., additional, Kouzoumi, A., additional, Koutelou, M., additional, Yoshimura, Y., additional, Toyama, T., additional, Hoshizaki, H., additional, Ohshima, S., additional, Inoue, M., additional, Suzuki, T., additional, Uitterdijk, A., additional, Dijkshoorn, M., additional, Van Straten, M., additional, Van Der Giessen, W. J., additional, Duncker, D. J., additional, Merkus, D., additional, Platsch, G., additional, Sunderland, J., additional, Tonge, C., additional, Arumugam, P., additional, Dey, T., additional, Wieczorek, H., additional, Bippus, R., additional, Romijn, R. L., additional, Backus, B. E., additional, Aach, T., additional, Lomsky, M., additional, Johansson, L., additional, Marving, J., additional, Svensson, S., additional, Pou, J. L., additional, Esteves, F. P., additional, Raggi, P., additional, Folks, R., additional, Keidar, Z., additional, Askew, J. W., additional, Verdes, L., additional, Campos, L., additional, Gulyaev, V., additional, Pankova, A., additional, Santos, J., additional, Carmona, S., additional, Henriksson, I., additional, Prata, A., additional, Carrageta, M., additional, Santos, A. I., additional, Yoshinaga, K., additional, Naya, M., additional, Katoh, C., additional, Manabe, O., additional, Yamada, S., additional, Iwano, H., additional, Chiba, S., additional, Tsutsui, H., additional, Tamaki, N., additional, Vassiliadis, I., additional, Despotopoulos, E., additional, Kaitozis, O., additional, Hatzistamatiou, E., additional, Thompson, R., additional, Hatch, J., additional, Zink, M., additional, Gu, B. S., additional, Bae, G. D., additional, Dae, C. M., additional, Min, G. H., additional, Chun, E. J., additional, Choi, S. I., additional, Al-Mallah, M., additional, Kassem, K., additional, Khawaja, O., additional, Goodman, D., additional, Lipkin, D., additional, Christiaens, L., additional, Bonnet, B., additional, Mergy, J., additional, Coisne, D., additional, Allal, J., additional, Dias Ferreira, N., additional, Leite, D., additional, Rocha, J., additional, Carvalho, M., additional, Caeiro, D., additional, Bettencourt, N., additional, Braga, P., additional, Gama Ribeiro, V., additional, Kristoffersen, U. S., additional, Lebech, A. M., additional, Gutte, H., additional, Ripa, R. S., additional, Wiinberg, N., additional, Petersen, C. L., additional, Jensen, G., additional, Kjaer, A., additional, Bai, C., additional, Conwell, R., additional, Folks, R. D., additional, Verdes-Moreiras, L., additional, Manatunga, D., additional, Jacobson, A. F., additional, Belzer, D., additional, Hasid, Y., additional, Rehling, M., additional, Poulsen, R. H., additional, Falborg, L., additional, Rasmussen, J. T., additional, Waehrens, L. N., additional, Heegaard, C. W., additional, Silvola, J. M. U., additional, Forsback, S., additional, Laine, J. O., additional, Heinonen, S., additional, Ylaherttuala, S., additional, Broisat, A., additional, Ruiz, M., additional, Goodman, N. C., additional, Dimastromatteo, J., additional, Glover, D. K., additional, Hyafil, F., additional, Blackwell, F., additional, Pavon-Djavid, G., additional, Sarda-Mantel, L., additional, Feldman, L. J., additional, Meddahi-Pelle, A., additional, Tsatkin, V., additional, Liu, Y.- H., additional, De Kemp, R., additional, Slomka, P. J., additional, Klein, R., additional, Germano, G., additional, Beanlands, R. S., additional, Rohani, A., additional, Akbari, V., additional, Groothuis, J. G. J., additional, Fransen, M., additional, Beek, A. M., additional, Brinckman, S. L., additional, Meijerink, M. R., additional, Hofman, M. B. M., additional, Van Kuijk, C., additional, Kogure, S., additional, Yamashita, E., additional, Murakami, J., additional, Kawaguchi, R., additional, Adachi, H., additional, Oshima, S., additional, Minin, S., additional, Popov, S., additional, Saushkina, Y. U., additional, Savenkova, G., additional, Lebedev, D., additional, Alexandridis, E., additional, Rovithis, D., additional, Parisis, C., additional, Sazonova, I., additional, Saushkin, V., additional, Chernov, V., additional, Zaabar, L., additional, Bahri, H., additional, Hadj Ali, S., additional, Sellem, A., additional, Slim, I., additional, El Kadri, N., additional, Slimen, H., additional, Hammami, H., additional, Lucic, S., additional, Peter, A., additional, Tadic, S., additional, Nikoletic, K., additional, Jung, R., additional, Lucic, M., additional, Tagil, K., additional, Jakobsson, D., additional, Svensson, S.- E., additional, Wollmer, P., additional, Leccisotti, L., additional, Indovina, L., additional, Paraggio, L., additional, Calcagni, M. L., additional, Giordano, A., additional, Kapitan, M., additional, Paolino, A., additional, Nunez, M., additional, Sweeny, J., additional, Kulkarni, N., additional, Guma, K., additional, Akashi, Y., additional, Takano, M., additional, Takai, M., additional, Koh, S., additional, Miyake, F., additional, Torun, N., additional, Durmus Altun, G., additional, Altun, A., additional, Kaya, E., additional, Saglam, H., additional, Matsuoka, D. T., additional, Sanchez, A., additional, Bartolozzi, C., additional, Padua, D., additional, Ponta, G., additional, Ponte, A., additional, Carneiro, A., additional, Thom, A., additional, Ashrafi, R., additional, Garg, P., additional, Davis, G., additional, Falcao, A., additional, Costa, M., additional, Bussolini, F., additional, Meneghetti, J. A. C., additional, Tobisaka, M., additional, Correia, E., additional, Jansen, J. W., additional, Van Der Vleuten, P. A., additional, Willems, T. P., additional, Zijlstra, F., additional, Sato, M., additional, Taniguchi, K., additional, Kurabayashi, M., additional, Pop Gjorcheva, D., additional, Zdraveska-Kochovska, M., additional, Moriwaki, K., additional, Kawamura, A., additional, Watanabe, K., additional, Omura, T., additional, Sakabe, S., additional, Seko, T., additional, Kasai, A., additional, Ito, M., additional, Obana, M., additional, Akasaka, T., additional, Hruska, C., additional, Truong, D., additional, Pletta, C., additional, Collins, D., additional, Tortorelli, C., additional, Rhodes, D., additional, El-Prince, M., additional, Martinez-Moeller, A., additional, Marinelli, M., additional, Weismueller, S., additional, Hillerer, C., additional, Jensen, B., additional, Nekolla, S. G., additional, Wakabayashi, H., additional, Tsukamoto, K., additional, Baker, S. M. E. A., additional, Sirajul Haque, K. M. H. S., additional, Siddique, A., additional, Krishna Banarjee, S., additional, Ahsan, A., additional, Rahman, F., additional, Mukhlesur Rahman, M., additional, Parveen, T., additional, Lutfinnessa, M., additional, Nasreen, F., additional, Sano, H., additional, Naito, S., additional, De Rimini, M. L., additional, Borrelli, G., additional, Baldascino, F., additional, Calabro, P., additional, Maiello, C., additional, Russo, A., additional, Amarelli, C., additional, Muto, P., additional, Danad, I., additional, Raijmakers, P. G., additional, Appelman, Y. E., additional, Hoekstra, O. S., additional, Marcus, J. T., additional, Boonstra, A., additional, Ryzhkova, D. V., additional, Kuzmina, T. V., additional, Borodina, O. S., additional, Trukshina, M. A., additional, Kostina, I. S., additional, Hommel, H., additional, Feuchtner, G., additional, Pachinger, O., additional, Friedrich, G., additional, Stel, A. M., additional, Deckers, J. W., additional, Gama, V., additional, Ciarka, A., additional, Neefjes, L. A., additional, Mollet, N. R., additional, Sijbrands, E. J., additional, Wilczek, J., additional, Llibre Pallares, C., additional, Abdul-Jawad Altisent, O., additional, Cuellar Calabria, H., additional, Mahia Casado, P., additional, Gonzalez-Alujas, M. T., additional, Evangelista Masip, A., additional, Garcia-Dorado Garcia, D., additional, Tekabe, Y., additional, Shen, X., additional, Li, Q., additional, Luma, J., additional, Weisenberger, D., additional, Schmidt, A. M., additional, Haubner, R., additional, Johnson, L., additional, Sleiman, L., additional, Thorn, S., additional, Hasu, M., additional, Thabet, M., additional, Dasilva, J. N., additional, Whitman, S. C., additional, Genovesi, D., additional, Giorgetti, A., additional, Gimelli, A., additional, Cannizzaro, G., additional, Bertagna, F., additional, Fagioli, G., additional, Rossi, M., additional, Bonini, R., additional, Marzullo, P., additional, Paterson, C. A., additional, Smith, S. A., additional, Small, A. D., additional, Goodfield, N. E. R., additional, Martin, W., additional, Nekolla, S., additional, Sherif, H., additional, Reder, S., additional, Yu, M., additional, Kusch, A., additional, Li, D., additional, Zou, J., additional, Lloyd, M. S., additional, Cao, K., additional, Motherwell, D. W., additional, Rice, A., additional, Mccurrach, G. M., additional, Cobbe, S. M., additional, Petrie, M. C., additional, Al Younis, I., additional, Van Der Wall, E., additional, Mirza, T., additional, Raza, M., additional, Hashemizadeh, H., additional, Santos, L., additional, Krishna, B. A., additional, Perna, F., additional, Lago, M., additional, Leo, M., additional, Pelargonio, G., additional, Bencardino, G., additional, Narducci, M. L., additional, Casella, M., additional, Bellocci, F., additional, Kirac, S., additional, Yaylali, O., additional, Serteser, M., additional, Yaylali, T., additional, Okizaki, A., additional, Urano, Y., additional, Nakayama, M., additional, Ishitoya, S., additional, Sato, J., additional, Ishikawa, Y., additional, Sakaguchi, M., additional, Nakagami, N., additional, Aburano, T., additional, Solav, S. V., additional, Bhandari, R., additional, Burrell, S., additional, Dorbala, S., additional, Bruno, I., additional, Caldarella, C., additional, Collarino, A., additional, Mattoli, M. V., additional, Stefanelli, A., additional, Cannarile, A., additional, Maggi, F., additional, Soukhov, V., additional, Bondarev, S., additional, Yalfimov, A., additional, Khan, M., additional, Priyadharshan, P. P., additional, Chandok, G., additional, Aziz, T., additional, Avison, M., additional, Smith, R. A., additional, Bulugahapitya, D. S., additional, Vakhtangadze, T., additional, Todua, F., additional, Baramia, M., additional, Antelava, G., additional, Roche, N.- C., additional, Paule, P., additional, Kerebel, S., additional, Gil, J.- M., additional, Fourcade, L., additional, Tzonevska, A., additional, Tzvetkov, K., additional, Atanasova, M., additional, Parvanova, V., additional, Chakarova, A., additional, Piperkova, E., additional, Kocabas, B., additional, Muderrisoglu, H., additional, Allaart, C. P., additional, Entok, E., additional, Simsek, S., additional, Akcay, B., additional, Ak, I., additional, Vardareli, E., additional, Stachura, M., additional, Kwasiborski, P. J., additional, Horszczaruk, G. J., additional, Komar, E., additional, Cwetsch, A., additional, Zraik, B., additional, Morales Demori, R., additional, Almeida, A. D. J., additional, Siqueira, M. E., additional, Vieira, E., additional, Balogh, I., additional, Kerecsen, G., additional, Marosi, E., additional, Szelid, Z. S., additional, Sattar, A., additional, Swadia, T., additional, Chattahi, J., additional, Qureshi, W., additional, Khalid, F., additional, Gonzalez, A., additional, Hechavarria, S., additional, Takamura, K., additional, Fujimoto, S., additional, Nakanishi, R., additional, Yamashina, S., additional, Namiki, A., additional, Yamazaki, J., additional, Koshino, K., additional, Hashikawa, Y., additional, Teramoto, N., additional, Hikake, M., additional, Ishikane, S., additional, Ikeda, T., additional, Iida, H., additional, Takahashi, Y., additional, Oriuchi, N., additional, Higashino, H., additional, Endo, K., additional, Mochizuki, T., additional, Murase, K., additional, Baali, A., additional, Moreno, R., additional, Chau, M., additional, Rousseau, H., additional, Nicoud, F., additional, Dolliner, P., additional, Brammen, L., additional, Steurer, G., additional, Traub-Weidinger, T., additional, Ubl, P., additional, Schaffarich, P., additional, Dobrozemsky, G., additional, Staudenherz, A., additional, Ozgen Kiratli, M., additional, Temelli, B., additional, Kanat, N. B., additional, Aksoy, T., additional, Slavich, G. A., additional, Piccoli, G., additional, Puppato, M., additional, Grillone, S., additional, Gasparini, D., additional, Dunet, V., additional, Perruchoud, S., additional, Poitry-Yamate, C., additional, Lepore, M., additional, Gruetter, R., additional, Pedrazzini, T., additional, Anselm, D., additional, Anselm, A., additional, Atkins, H., additional, Renaud, J., additional, Dekemp, R., additional, Burwash, I., additional, Guo, A., additional, Beanlands, R., additional, Glover, C., additional, Vilardi, I., additional, Zangheri, B., additional, Calabrese, L., additional, Romano, P., additional, Bruno, A., additional, Fernandez Cimadevilla, O. C., additional, Uusitalo, V. A., additional, Luotolahti, M., additional, Wendelin-Saarenhovi, M., additional, Sundell, J., additional, Raitakari, O., additional, Huidu, S., additional, Gadiraju, R., additional, Ghesani, M., additional, Uddin, Q., additional, Wosnitzer, B., additional, Takahashi, N., additional, Alhaj, E., additional, Legasto, A., additional, Abiri, B., additional, Elsaban, K., additional, El Khouly, T., additional, El Kammash, T., additional, Al Ghamdi, A., additional, Kyung Deok, B., additional, Bon Seung, K., additional, Sang Geun, Y., additional, Chang Min, D., additional, and Gwan Hong, M., additional

Published
2011
Full Text
View/download PDF

186. Oral session I: Real time 3D for the evaluation of intracardiac interventions * Thursday 9 December 2010, 08:30-10:00

Author

Fusini, L., primary, Caiani, E. G., additional, Tamborini, G., additional, Veronesi, F., additional, Corsi, C., additional, Gripari, P., additional, Maffessanti, F., additional, Alamanni, F., additional, Zanobini, M., additional, Pepi, M., additional, Muratori, M., additional, Fusini, L., additional, Fiorentini, C., additional, Grapsa, J., additional, Karfopoulos, K., additional, Dawson, D., additional, Howard, L. S. G. E., additional, Gibbs, J. S. R., additional, Nihoyannopoulos, P., additional, Plicht, B., additional, Kahlert, P., additional, Konorza, T. F. M., additional, Buck, T., additional, Erbel, R., additional, Margulescu, A. D., additional, Sisu, R. C., additional, Dulgheru, R., additional, Siliste, C., additional, and Vinereanu, D., additional

Published
2010
Full Text
View/download PDF

188. Pre-operative transthoracic real-time three-dimensional echocardiography in patients undergoing mitral valve repair: accuracy in cases with simple vs. complex prolapse lesions

Author

Tamborini, G., primary, Muratori, M., additional, Maltagliati, A., additional, Galli, C. A., additional, Naliato, M., additional, Zanobini, M., additional, Alamanni, F., additional, Salvi, L., additional, Sisillo, E., additional, Fiorentini, C., additional, and Pepi, M., additional

Published
2010
Full Text
View/download PDF

189. On the complexity of disjunction and explicit definability properties in some intermediate logics

Author

Ferrari, M, Fiorentini, C, Fiorino, G, Ferrari, M, Fiorentini, C, and Fiorino, G

Abstract

In this paper we provide a uniform framework, based on extraction calculi, where to study the complexity of the problem to decide the disjunction and the explicit definability properties for Intuitionistic Logic and some Superintuitionistic Logics. Unlike the previous approaches, our framework is independent of structural properties of the proof systems and it can be applied to Natural Deduction systems, Hilbert style systems and Gentzen sequent systems.

Published
2002

190. Tableau calculi for the logics of finite k-ary trees

Author

Ferrari, M, Fiorentini, C, Fiorino, G, FIORINO, GUIDO GIUSEPPE, Ferrari, M, Fiorentini, C, Fiorino, G, and FIORINO, GUIDO GIUSEPPE

Abstract

We present tableau calculi for the logics $\gdj_k$ ($k\geq 2$) semantically characterized by the classes of Kripke models built on finite $k$-ary trees. Our tableau calculi use the signs $\T$ and $\F$, some tableau rules for Intuitionistic Logic and two rules formulated in a hypertableau fashion. We prove the Soundness and Completeness Theorems for our calculi. Finally, we use them to prove the main properties of the logics $\gdj_k$, in particular their constructivity and their decidability.

Published
2002

191. Induction of phagocytic behaviour in human epithelial cells by Escherichia coli cytotoxic necroziting factor type 1

Author

Falzano, L., Fiorentini, C., Donelli, G., Michel, E., Kocks, C., Cossart, Pascale, Cabanié, L., Oswald, E., Boquet, P., Microbiologie, Institut National de la Recherche Agronomique (INRA)-Université de Bourgogne (UB), and ProdInra, Migration

Subjects
POUVOIR PATHOGENE, [SDV.MP]Life Sciences [q-bio]/Microbiology and Parasitology, [SDV.MP] Life Sciences [q-bio]/Microbiology and Parasitology
Published
1993

192. Markers of inflammation, thrombosis and endothelial activation correlate with carotid IMT regression in stable coronary disease after atorvastatin treatment

Author

Baldassarre, D., primary, Porta, B., additional, Camera, M., additional, Amato, M., additional, Arquati, M., additional, Brusoni, B., additional, Fiorentini, C., additional, Montorsi, P., additional, Romano, S., additional, Veglia, F., additional, Tremoli, E., additional, and Cortellaro, M., additional

Published
2009
Full Text
View/download PDF

198. Chikungunya in north-eastern Italy: a summing up of the outbreak

Author

Angelini, R, primary, Finarelli, A C, additional, Angelini, P, additional, Po, C, additional, Petropulacos, K, additional, Silvi, G, additional, Macini, P, additional, Fortuna, C, additional, Venturi, G, additional, Magurano, F, additional, Fiorentini, C, additional, Marchi, A, additional, Benedetti, E, additional, Bucci, P, additional, Boros, S, additional, Romi, R, additional, Majori, G, additional, Ciufolini, M G, additional, Nicoletti, L, additional, Rezza, G, additional, and Cassone, A, additional

Published
2007
Full Text
View/download PDF

199. An outbreak of chikungunya fever in the province of Ravenna, Italy

Author

Angelini, R, primary, Finarelli, A C, additional, Angelini, P, additional, Po, C, additional, Petropulacos, K, additional, Macini, P, additional, Fiorentini, C, additional, Fortuna, C, additional, Venturi, G, additional, Romi, R, additional, Majori, G, additional, Nicoletti, L, additional, Rezza, G, additional, and Cassone, A, additional

Published
2007
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results