Overview of RF-mod results (2009)
Martin, P., Apolloni, L., Puiatti, M. E., Adamek, J., Agostini, M., Alfier, A., ...
1 RFX: new tools for real-time MHD control FT/P7-9 (2008)
F. Gnesotto, A. Luchetta, G. Marchiori, R. Piovan, P. Sonato, A. Alfier, ...
Abstract. RFX has been recently modified to improve its capability of controlling different MHD phenomena by means of fast, feedback controlled amplifiers and distributed radial field inductors. The...
High current regimes in RFX-mod (2008)
Valisa, M., Bolzonella, T., Buratti, P., Carraro, L., Cavazzana, R., Dal Bello, S., ...
Proof nets, Garbage, and Computations (2007)
Guerrini Martini, S. Guerrini, S. Martini, A. Masini
: We study the problem of local and asynchronous computation in the context of multiplicative exponential linear logic (MELL) proof nets. The main novelty is in a complete set of rewriting rules for...
Azetidinone structures: Antibacterial activity (2004)
Saturnino, C, Buonerba, M, Martini, S, Rinaldi, ER, Gorga, F, De, MG, ...
The surface segregation of indium atoms during the growth of InGaAs/GaAs heterostructures has been investigated in situ by reflection high-energy electron diffraction (RHEED). We pointed out that...
Martini, S. (Sandro), Quivy, A. A. (Alain André) Orient.
Neste trabalho, estudamos o crescimento epitaxial por feixe molecular assim como as propriedades ópticas e estruturais de camadas de InGaAs depositadas sobre substratos de GaAs(001) com diferentes...
E. Loli Piccolomini, F. Zama, E. Loli, E. Loli, Piccolomini F. Zama, Piccolomini F. Zama, ...
MRITool is a Matlab package for functional Magnetic Resonance Imaging (fMRI) reconstruction. It implements dierent reconstruction methods and provides a quite exible graphical interface. The work was...
Numerical methods and software for functional Magnetic Resonance Images reconstruction (2000)
Formiconi Loli Piccolomini, A. R. Formiconi, S. Martini, F. Zama
In this paper we present the research performed on functional Magnetic Resonance Imaging reconstruction (fMRI). In this kind of application in the medical area, undersampled sets of data are acquired...
Numerical methods and software for functional Magnetic Resonance Images reconstruction (2000)
A. R. Formiconi, E. Loli Piccolomini, S. Martini, F. Zama, G. ZANGHIRATI
In this paper we present the research performed on functional Magnetic Resonance Imaging reconstruction (fMRI). In this kind of application in the medical area, undersampled sets of data are acquired...
“Numerical Analysis: Methods and Mathematical Software” (2000)
E. Loli, Piccolomini F. Zama, G. Zanghirati, A. R. Formiconi, S. Martini, E. Loli, ...
Supported by the 1998–2000 MURST Project
Bertolini, Stefano, Cantafora, Alfredo, Averna, Maurizio, Cortese, Claudio, Motti, Corradino, Martini, S., ...
Seventy-one mutations of the low density lipoprotein (LDL) receptor gene were identified in 282 unrelated Italian familial hypercholesterolemia (FH) heterozygotes. By extending genotype analysis to...
An analysis of (linear) exponentials based on extended sequents (1998)
Guerrini, S, Martini, S, Masini, A
We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Light Linear Logic. In...
Proof nets, Garbage, and Computations (1997)
Guerrini Martini, Stefano Guerrini, Simone Martini, Andrea Masini, S. Guerrini, S. Martini, ...
: We study the problem of local and asynchronous computation in the context of multiplicative exponential linear logic (MELL) proof nets. The main novelty is in a complete set of rewriting rules for...
Baggio, G, Manzato, E, Gabelli, C, Fellin, R, Martini, S, Enzi, G B, ...
Two patients (brother and sister, 41 and 39 yr of age, respectively) have been shown to have marked elevation of plasma triglycerides and chylomicrons, decreased low density lipoproteins (LDL) and...
Baggio, G, Manzato, E, Gabelli, C, Fellin, R, Martini, S, Enzi, G B, ...
Two patients (brother and sister, 41 and 39 yr of age, respectively) have been shown to have marked elevation of plasma triglycerides and chylomicrons, decreased low density lipoproteins (LDL) and...