|
A Holistic Model-Based Approach to Design, Verification and Diagnosis of Cyber Physical Systems |
2017 |
Annalisa Massini |
We propose novel methods and tools to support System Level Formal Verification (SLFV) of Cyber Physical Systems (CPSs).
Our approach has the following features.
|
|
name |
DIPARTIMENTO DI INFORMATICA |
|
PRESERVAZIONE DELLA FERTILITA': ANALISI QUALITATIVA, MORFOMETRICA E COMPARATIVA DEI MARKERS ULTRASTRUTTURALI DI QUALITA' NEI GAMETI E NEL TESSUTO GONADICO. |
2017 |
Stefania Annarita Nottola |
Il progetto di ricerca è articolato in 5 diverse linee, in ciascuna delle quali la microscopia elettronica avrà un ruolo chiave nel rivelare la morfodinamica dei gameti e del tessuto gonadico in di |
|
name |
DIPARTIMENTO DI SCIENZE ANATOMICHE, ISTOLOGICHE, MEDICO LEGALI E DELL'APPARATO LOCOMOTORE |
|
Company welfare ("welfare aziendale"), labour productivity and the ageing of the workforce. A theoretical and empirical analysis with particular reference to the effects of the last major pension reform in Italy. |
2017 |
Giuseppe Croce |
Most governments are now dealing with ageing by increasing the age requirements for retirement. |
|
name |
DIPARTIMENTO DI ECONOMIA E DIRITTO |
|
STUDIO DI UN SISTEMA DI ACCUMULO DI ENERGIA ELETTRICA E TERMICA TRAMITE COMPRESSIONE DI UN GAS: APPARATO SPERIMENTALE IN MINIATURA. |
2017 |
Andrea Vallati |
L'idea proposta per questo finanziamento è quella di creare un apparato sperimentale per la valutazione di un nuovo sistema di storage per immagazzinare l'energia elettrica e termica. |
|
name |
DIPARTIMENTO DI INGEGNERIA ASTRONAUTICA, ELETTRICA ED ENERGETICA |
|
Culture partecipative e Capitale Sociale. Potenzialità e criticità del crowdfunding per progetti culturali |
2017 |
Francesco D'Amato |
Una parte della ricerca sul crowdfunding, interessata all'individuazione dei fattori che influiscono sui risultati delle campagne, ha focalizzato l'attenzione sul concetto di capitale sociale, dist |
|
name |
DIPARTIMENTO DI COMUNICAZIONE E RICERCA SOCIALE |
|
Expression and prognostic significance of Leucine-Rich Repeats and ImmunoGlobulin-like domains (LRIG), LRIG1, LRIG2, LRIG3, in SEROUS PAPILLARY UTERINE CANCER and ENDOMETRIOD CANCER |
2017 |
|
Most of the carcinomas arising from the uterus, defined as type I, are estrogen dependent and thank to their early diagnosis after postmenopausal bleeding, they have a good prognosis. |
|
name |
|
|
The role of AGO2 in telomere maintenance in human cells |
2017 |
Valerio Fulci |
Telomere maintenance is a key molecular process required to prevent cell senescence. |
|
name |
DIPARTIMENTO DI MEDICINA MOLECOLARE |
|
Il tempo nel diritto: prospettive di sistema. |
2017 |
Enrico Elio Del Prato |
Il tempo, come lo spazio, non è categoria giuridica, ma fenomeno neutro entro cui opera la giuridicità.
|
|
name |
DIPARTIMENTO DI SCIENZE GIURIDICHE |
|
Hepatic and biliary stem/progenitor cell niches: morphofunctional characterization and their potential role during liver and biliary diseases |
2017 |
Paolo Onori |
In the liver, Hepatic stem/progenitor cells (HPCs or HpSCs) represent a resident stem/progenitor cell compartment located within the smaller branches of intrahepatic biliary tree. |
|
name |
DIPARTIMENTO DI SCIENZE ANATOMICHE, ISTOLOGICHE, MEDICO LEGALI E DELL'APPARATO LOCOMOTORE |
|
Valutazione del Calcium Score Coronarico a metà dose di radiazioni: impatto delle ricostruzioni iterative sulla valutazione del rischio di malattia coronarica. |
2017 |
|
Scopo: Valutare l'efficacia delle ricostruzioni iterative (IR) nella quantificazione del Calcium Score coronarico (CaSc) utilizzando un protocollo di acquisizione TC con dose di radiazioni dimezzat |
|
name |
|
