Method Participants were 147 discordant sister pairs (total of 297 participants) for EDs. The semi-structured EATATE interview [designed to assess ED symptomatology and obsessive-compulsive personality traits (OCPD)], the Temperament and Character Inventory (TCI-R) and the Oxford Risk Factor Interview (ORFI) were used. DNA was also collected and three candidate genes (5-HT2A, BDNF and 5-HTTLPR)...

Guidelines for the development of software in safety-critical systems usually restrict programming languages, removing features that are unsafe and/or hard to thoroughly test and certify. There are also recommendations and demands in newer guidelines for the use of formal methods, as a way to achieve high assurance software. SPARK is a strict subset of Ada that was designed to have unambiguous ...

This project developed and analysed the impact of a ward round pro forma across three wards large tertiary hospital containing positive or high-risk COVID-19 patients. Templates checklists have improved patient outcomes in medical, surgical high-care settings.[1,2][1] The daily

The application of genetic algorithms to optimisation problems for which the solution is a set or multiset (bag) is considered. A previous extension of schema analysis, known as forma analysis, is further developed and used to construct principled representations and operators for problems in this class. The extensions to forma analysis include the introduction of genes whose values cannot be a...

Sunto. Si prova che il Γ-limite in Lμ di una successione di funzionali supremali della forma Fk(u) = μ-ess supΩ fk(x, u) é un funzionale supremale. In un controesempio si mostra che la funzione che rappresenta il Γ-limite F (·, B) di una successione di funzionali supremali della forma Fk(u,B) = μ-ess supB fk(x, u) puó dipendere dall’insieme B e si stabilisce una condizione necessaria e sufficie...

FORMA MEnTIS is an interactive software tool able to encourage and support the diffusion and the dissemination of scientific culture through an innovative approach based on the integration of multimedia tools, Web and mathematical software. In this paper we will explore the main design and implementation issues of the FORMA MEnTIS project. In particular we will focus on tools to be used and how...

BACKGROUND Oral glucocorticoids (steroids) are the mainstay of treatment for systemic lupus erythematosus (SLE), but their use is often associated with short- and long-term side effects. Following a literature review and discussions with patients with SLE, clinicians, and payers, a need was identified for a comprehensive SLE-specific tool that can be used to evaluate the side effects and benefi...