1,721,201 research outputs found
FLOW: Implementazione e analisi formale di un framework per il calcolo parallelo e distribuito
No full textQuesta tesi si articola in due parti. Nella prima viene illustrato il lavoro svolto nell'ambito
del progetto RTSim del Crs4 (parte del progetto Miur Far 630), con la
realizzazione di un framework per il calcolo parallelo e
distribuito chiamato FLOW, applicato alla simulazione d'impianto di
centrali elettriche turbogas. Nella seconda parte viene invece introdotta una
descrizione e un'analisi formale delle applicazioni sviluppate
utilizzando FLOW: vengono definite due implementazioni dotate di
semantica (una basata sul pi-calcolo, ed una sul linguaggio di
coordinamento Linda), e vengono analizzate e verificate alcune
proprietà ed equivalenze legate alla topologia della comunicazione
inter-processo
Diuretic therapy in heart failure - Current approaches
No full textThe use of diuretics is common in patients with heart failure (HF), to relieve the congestive symptoms of HF. Although they are widely used, there are limited data on their ability to modulate HF-related morbidity and mortality. Diuretic efficacy may be limited by adverse neurohormonal activation and by 'congestion-like' symptoms. Diuretics are an extremely useful and varied class of agent for the management of hypervolaemic states. This review summarises the basic features of diuretics, including their mechanism of action, indications and adverse effects in heart failure
Distress and demoralization of hospital nurses as a function of sources of stress and job seniority
No full textAim: To explore job-related factors associated with distress and demoralization among hospital nurses, using a cross-sectional mixed-method design. Background: Sources of job stress for nurses are mainly organizational or emotional care-related and can result in adverse outcomes such as distress or demoralization, but factors associated with demoralization in nurses still need to be thoroughly explored. Methods: A convenience sample of 150 nurses from three public hospitals completed an online survey on job stress, distress, demoralization, and feelings of entrapment in the caring profession. Results: Emotional job stress was linked to higher distress and demoralization, compared to no job stress, and to higher feelings of entrapment, compared to both organizational and no job stress, among senior nurses. Conclusions: This pilot study points to the study of demoralization as a promising line of research in hospital nursing, but further longitudinal studies with larger samples are needed
FLOW: Implementation and Formal Analysis of a Framework for Parallel and Distributed Computing
No full textThis is a (not so short) summary of the MSc thesis defended by Alces
te Scalas and Giovanni Casu on April 2011. The complete work (which is written i
n Italian) can be downloaded as CRS4 Technical Report 11/14. The first part of t
he thesis (from page 3) describes our work during the RTSim project at CRS4, con
sisting in the development of an Erlang-based framework for parallel and distrib
uted computing (called FLOW) to be used for combined cycle power plant (CCPP) si
mulation. A relevant part of the contents appeared in the paper we presented at
the ACM ICFP 2008 Erlang Workshop. The second part (from page 10) presents a for
mal model for FLOW-based applications. The model is analysed and translated into
two different process algebras (one based on Pi-calculus, and another on the Li
nda coordination language); it is finally verified that these translations are `
`correct'', in the sense that they preserve the communication topology of proces
ses
Is a single-item measure of self-rated mental health useful from a clinimetric perspective?
Full text linkN.A
"A heterozygous mutation of the elastin gene ( ELN: p.val154met) fully co-segregates with classic marfan phenotype in a sardinian family: a possible novel disease-gene?"
No full text
Petri nets and dynamic causality for service-oriented computations
No full textWhen dealing with service oriented computations the dependencies among the various distributed activities may be complex and difficult to represent statically. Recently Event Structures where the causality may change dynamically have been introduced and have been related with many other kind of Event Structures (with a particular focus on expressivity). In this paper we relate them to a kind of (labeled) Petri net which turns out to cover these new Event Structures. This relationship empowers the usage of all the available verification tools based on Petri nets, giving practical and usable means for the verification of the complex and distributed system whose behavior is modeled by this kind of event structures
Atrial Fibrillation in Patients Undergoing Transcatheter Mitral Valve Repair: More Than Meets the Eye?
No full text- …
