Results 11 to 20 of about 216,835 (261)
Proofs as Terms, Terms as Graphs
, 2023 Starting from an encoding of untyped λ-terms with sharing, defined using synthetic inference rules based on a focused proof system for Gentzen's LJ, we introduce the positive λ-calculus, a call-by-value calculus with explicit substitutions. This calculus is closely related to Accattoli and Paolini's value substitution calculus but has a different style
openaire +2 more sources
Frontiers in Neurology, 2022 Neuropsychiatric or behavioral and psychological symptoms of dementia (BPSD) represent a heterogeneous group of non-cognitive symptoms that are virtually present in all patients during the course of their disease.
Valentina Laganà +21 more
doaj +1 more source
Lanx, 2012 Le indagini condotte dall’Università degli Studi di Milano sul sito di Gortina, iniziate nel 2002 e concentratesi dal 2003 nell’area a S del cosiddetto Pretorio, hanno contribuito a chiarire alcuni aspetti ancora incerti della planimetria urbana, come l ...
Giorgio Bejor
doaj +1 more source
Le terme in Europa tra letteratura e medicina
Quaderns d'Italià, 2017 A partire dal tardo Medioevo, la frequentazione dei bagni termali, caduti in abbandono alla fine dell’impero romano, riprende e dà origine a una letteratura scientifica sulle acque.
Massimo Danzi
doaj +1 more source
Scavo con la Scuola: Gortina di Creta
Lanx, 2014 Le indagini condotte dall’Università degli Studi di Milano a partire dal 2003 sul sito di Gortina si sono concentrate nell’area a S del cosiddetto Pretorio, portando alla luce un edificio termale, le “Terme Milano”, che sono state edificate sulle rovine ...
Elena Belgiovine
doaj +1 more source
Biomedicines, 2022 The endothelium is composed of a monolayer of endothelial cells (ECs) covering the inner side of arterial, venous and lymphatic vessels [...]
Pasquale Ambrosino +3 more
doaj +1 more source
L’Igea delle Terme Milano: il contesto di rinvenimento
Lanx, 2012 Lʹarticolo prende in esame il contesto di rinvenimento della testa marmorea di Igea recentemente scoperta a Gortina. In particolare intende fornire un quadro generale delle diverse fasi evolutive delle cosiddette Terme Milano e dell’area da esse occupata,
Pietro Mecozzi
doaj +1 more source
Surface high-resolution temperature forecast in southern Italy [PDF]
Advances in Science and Research, 2011 Since June 2008, 1-h temperature forecasts for the Calabria region (Southern Italy) are issued at 2.5 km horizontal resolution at CRATI/ISAC-CNR. Forecasts are available online at http://meteo.crati.it/previsioni.html (every 6-h).
S. Federico +4 more
doaj +1 more source
Endothelial Dysfunction in COVID-19: A Unifying Mechanism and a Potential Therapeutic Target
Biomedicines, 2022 The novel severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) generated a worldwide emergency, until the declaration of the pandemic in March 2020.
Pasquale Ambrosino +12 more
doaj +1 more source