Search Results - "Paolini, Luca"

Nonstationarity in the NAO–Gulf Stream SST Front Interaction.

Authors: Famooss Paolini, Luca Omrani, Nour-Eddine Bellucci, Alessio et al.

Source: Journal of Climate. Mar2024, Vol. 37 Issue 5, p1629-1650. 22p.

The Atmospheric Response to Meridional Shifts of the Gulf Stream SST Front and Its Dependence on Model Resolution.

Authors: Paolini, Luca Famooss Athanasiadis, Panos J. Ruggieri, Paolo et al.

Source: Journal of Climate. Sep2022, Vol. 35 Issue 18, p6007-6030. 24p. 1 Diagram, 1 Chart, 13 Graphs.

On logical and extensional characterizations of attributed feature models.

Authors: Damiani, Ferruccio Lienhardt, Michael Paolini, Luca

Source: Theoretical Computer Science; Apr2022, Vol. 912, p56-80, 25p

Efficient static analysis and verification of featured transition systems.

Authors: ter Beek, Maurice H. Damiani, Ferruccio Lienhardt, Michael et al.

Source: Empirical Software Engineering; Jan2022, Vol. 27 Issue 1, p1-30, 30p

A class of Recursive Permutations which is Primitive Recursive complete.

Authors: Paolini, Luca Piccolo, Mauro Roversi, Luca

Source: Theoretical Computer Science; Apr2020, Vol. 813, p218-233, 16p

The fixed point problem of a simple reversible language.

Authors: Matos, Armando B. Paolini, Luca Roversi, Luca

Source: Theoretical Computer Science; Apr2020, Vol. 813, p143-154, 12p

STANDARDIZATION AND CONSERVATIVITY OF A REFINED CALL-BY-VALUE LAMBDA-CALCULUS.

Authors: GUERRIERI, GIULIO PAOLINI, LUCA ROCCA, SIMONA RONCHI DELLA

Source: Logical Methods in Computer Science (LMCS); 2017, Vol. 13 Issue 4, p1-27, 27p

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form.

Authors: Damiani, Ferruccio Lienhardt, Michael Paolini, Luca

Source: International Journal on Software Tools for Technology Transfer; Dec2019, Vol. 21 Issue 6, p691-707, 17p

Essential and relational models.

Authors: PAOLINI, LUCA PICCOLO, MAURO RONCHI DELLA ROCCA, SIMONA

Source: Mathematical Structures in Computer Science. Jun2017, Vol. 27 Issue 5, p626-650. 25p.

On the reification of semantic linearity.

Authors: GABOARDI, MARCO PAOLINI, LUCA PICCOLO, MAURO

Source: Mathematical Structures in Computer Science. Jun2016, Vol. 26 Issue 5, p829-867. 39p.

Improved Extratropical North Atlantic Atmosphere–Ocean Variability with Increasing Ocean Model Resolution.

Authors: Patrizio, Casey R. Athanasiadis, Panos J. Frankignoul, Claude et al.

Source: Journal of Climate. Dec2023, Vol. 36 Issue 24, p8403-8424. 22p.

Variability modules.

Authors: Damiani, Ferruccio Hähnle, Reiner Kamburjan, Eduard et al.

Source: Journal of Systems & Software; Jan2023, Vol. 195, pN.PAG-N.PAG, 1p

Correction of myopathic blepharoptosis by check ligament suspension: Clinical evaluation of 89 eyelids.

Authors: Santanelli, Fabio Paolini, Guido Renzi, Luca Francesco et al.

Source: Journal of Plastic Surgery & Hand Surgery (Taylor & Francis Ltd). Sep2011, Vol. 45 Issue 4/5, p194-199. 6p. 3 Color Photographs, 6 Charts.

FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC.

Authors: ter Beek, Maurice H. Damiani, Ferruccio Lienhardt, Michael et al.

Source: Science of Computer Programming; Dec2022, Vol. 224, pN.PAG-N.PAG, 1p

Quantum Software Components and Platforms: Overview andQuality Assessment.

Authors: SERRANO, MANUEL A. CRUZ-LEMUS, JOSÉ A. PEREZ-CASTILLO, RICARDO et al.

Source: ACM Computing Surveys. Aug2023, Vol. 55 Issue 8, p1-30. 30p.

Decomposition and stabilisation of Norway spruce needle-derived material in Alpine soils using a C-labelling approach in the field.

Authors: Egli, Markus Hafner, Simon Derungs, Curdin et al.

Source: Biogeochemistry. Dec2016, Vol. 131 Issue 3, p321-338. 18p.

δ¹⁵N from soil to wine in bulk samples and proline.

Authors: Paolini, Mauro Ziller, Luca Bertoldi, Daniela et al.

Source: Journal of Mass Spectrometry. Sep2016, Vol. 51 Issue 9, p668-674. 7p.

Preliminary experience in breast reconstruction with the free vertical deep inferior epigastric perforator flap.

Authors: Santanelli, Fabio Paolini, Guido Renzi, Luca

Source: Scandinavian Journal of Plastic & Reconstructive Surgery & Hand Surgery. Feb2008, Vol. 42 Issue 1, p23-27. 5p. 5 Black and White Photographs, 1 Diagram.

PUBLICATIONS OF THE WEEK.

Source: Bookseller; 3/26/2004, Issue 5121, p39-61, 23p

Nutritional assessment and medical dietary therapy for management of obesity in patients with non-dialysis chronic kidney disease: a practical guide for endocrinologist, nutritionists and nephrologists. A consensus statement from the Italian society of endocrinology (SIE), working group of the club nutrition-hormones and metabolism; the Italian society of nutraceuticals (SINut), club ketodiets and nutraceuticals "KetoNut-SINut"; and the Italian society of nephrology (SIN).

Authors: Annunziata G Caprio M Verde L et al.

Source: Journal of endocrinological investigation [J Endocrinol Invest] 2024 Dec; Vol. 47 (12), pp. 2889-2913. Date of Electronic Publication: 2024 Sep 18.

Publication Type: Journal Article; Review; Consensus Statement

Journal Info: Publisher: Springer Country of Publication: Italy NLM ID: 7806594 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1720-8386 (Electronic) Linking ISSN: 03914097 NLM ISO Abbreviation: J Endocrinol Invest Subsets: MEDLINE