Zobrazeno 1 - 10
of 7 078
pro vyhledávání: '"A, Naso"'
The concurrent refinement algebra has been developed to support rely/guarantee reasoning about concurrent programs. The algebra supports atomic commands and defines parallel composition as a synchronous operation, as in Milner's SCCS. In order to all
Externí odkaz:
http://arxiv.org/abs/2405.05690
We consider antisymmetric Metric-Affine Theories of Gravity with a Lagrangian containing the most general terms up to dimension four and search for theories that are ghost- and tachyon-free when expanded around flat space. We find new examples that p
Externí odkaz:
http://arxiv.org/abs/2312.10249
Publikováno v:
Formal Methods and Software Engineering. ICFEM 2023. Lecture Notes in Computer Science, vol 14308. Springer, Singapore
This paper introduces Concurrent Valuation Algebras (CVAs), a novel extension of ordered valuation algebras (OVAs). CVAs include two combine operators representing parallel and sequential products, adhering to a weak exchange law. This development of
Externí odkaz:
http://arxiv.org/abs/2305.18017
Publikováno v:
Solar, Vol 4, Iss 3, Pp 401-421 (2024)
The Italian industrial sector contains 22% of the final energy demand due to the poor energy performance of manufacturing buildings. This proposed study aimed to evaluate retrofit interventions for existing industrial buildings integrating photovolta
Externí odkaz:
https://doaj.org/article/9681f19c077c4ce19dca51525daff656
Autor:
Julia R. Naso, Stephen Yip, Curtis Hughesman, Barb Melosky, Tanner Dowhy, Melissa K. McConechy, John C. English, Penelope M. A. Brasher, James Choi, Kyle Grant, John Yee, Stephen Lam, Anna McGuire
Publikováno v:
Current Oncology, Vol 31, Iss 7, Pp 4052-4062 (2024)
Appropriate management requires timely and accurate confirmation of non-small cell lung cancer (NSCLC) recurrence in patients who have had curative-intent surgical resection. We assessed the association between circulating tumor DNA (ctDNA) identifie
Externí odkaz:
https://doaj.org/article/b18337e3aa12439f9926c642c63041ac
Autor:
Maria Daglia, Lorenzo Drago, Hammad Ullah, Alessandro Di Minno, Giulia Brindisi, Francesco Paolo Brunese, Giulio Dinardo, Alessandra Gori, Cristiana Indolfi, Matteo Naso, Enrico Tondina, Chiara Trincianti, Attilio Varricchio, Anna Maria Zicari, Giorgio Ciprandi
Publikováno v:
Journal of Functional Foods, Vol 123, Iss , Pp 106599- (2024)
Gut microbiota plays an important role in maintaining respiratory health while providing protection against respiratory illnesses. However, the clinical role of probiotic strains in prevention and treatment of early-onset asthma is still debated. The
Externí odkaz:
https://doaj.org/article/398f4e5bb0714651b962c004f1b58d49
Publikováno v:
Autophagy Reports, Vol 3, Iss 1 (2024)
Autophagy has been associated with responses to chemotherapies in several types of cancer, highlighting its contribution to the development of resistance to treatments. Breast cancer (BC) is one of the most common tumors and is known for its ability
Externí odkaz:
https://doaj.org/article/f7986a58ff814fdc80d006f4975a6bc8
Autor:
Giulio Dinardo, Michele Miraglia del Giudice, Lorenzo Drago, Maria Daglia, Alessandra Gori, Attilio Varricchio, Chiara Trincianti, Enrico Tondina, Francesco Paolo Brunese, Giulia Brindisi, Matteo Naso, Anna Maria Zicari, Giorgio Ciprandi, Cristiana Indolfi
Publikováno v:
NFS Journal, Vol 37, Iss , Pp 100194- (2024)
Respiratory infections are a relevant issue during infancy and childhood, constituting a major source of morbidity and imposing a substantial burden on healthcare systems. Conditions such as bronchiolitis, pneumonia, and influenza exemplify the gravi
Externí odkaz:
https://doaj.org/article/1e447a1067594aa3963dc381436ea219
Autor:
Naso, Paolo1 paolo.naso@uniroma1.it
Publikováno v:
Credere Oggi. 2024, Vol. 44 Issue 6, p27-39. 13p.
Publikováno v:
Journal of Fluid Mechanics 840, 215-237 (2018)
We investigate the dispersion of a passive scalar such as the concentration of a chemical species, or temperature, in homogeneous bubbly suspensions, by determining an effective diffusivity tensor. Defining the longitudinal and transverse components
Externí odkaz:
http://arxiv.org/abs/2301.00028