A Long-Term Vision for Rural Areas: The Two Italies

European policies are increasingly focused on long-term rural development. The effectiveness of these policies is dependent on the involvement of local actors. The present paper investigates the involvement of said actors in the Italian context by asking Local Action Groups to assign a score to each of the eight dimensions of rural development in relation to: i) implemented actions; ii) future expectations; iii) involvement of local communities; iv) involvement of public actors. Synthetic indicators are then used to measure the long-term vision of development. The results indicate that there is less involvement of public actors in the South of Ital

FPGA Implementation of Gaussian Mixture Model Algorithm for 47 fps Segmentation of 1080p Video

Circuits and systems able to process high quality video in real time are fundamental in nowadays imaging systems. The circuit proposed in the paper, aimed at the robust identification of the background in video streams, implements the improved formulation of the Gaussian Mixture Model (GMM) algorithm that is included in the OpenCV library. An innovative, hardware oriented, formulation of the GMM equations, the use of truncated binary multipliers, and ROM compression techniques allow reduced hardware complexity and increased processing capability. The proposed circuit has been designed having commercial FPGA devices as target and provides speed and logic resources occupation that overcome previously proposed implementations. The circuit, when implemented on Virtex6 or StratixIV, processes more than 45 frame per second in 1080p format and uses few percent of FPGA logic resources

Deciphering the Role of Trehalose in Chroococcidiopsis sp. 029’s High-Desiccation Resistance: Sequence Determination, Structural Modelling and Simulative Analysis of the 30S Ribosomal Subunit

Desert strains of the genus Chroococcidiopsis are among the most desiccation-resistant cyanobacteria capable of anhydrobiosis. The accumulation of two sugars, sucrose and trehalose, facilitates the entrance of anhydrobiotes into a reversible state of dormancy by stabilizing cellular components upon water removal. This study aimed to evaluate, at the atomistic level, the role of trehalose in desiccation resistance by using as a model system the 30S ribosomal subunit of the desert cyanobacterium Chroococcidiopsis sp. 029. Molecular dynamic simulations provided atomistic evidence regarding its protective role on the 30S molecular structure. Trehalose forms an enveloping shell around the ribosomal subunit and stabilizes the structures through a network of direct interactions. The simulation confirmed that trehalose actively interacts with the 30S ribosomal subunit and that, by replacing water molecules, it ensures ribosomal structural integrity during desiccation, thus enabling protein synthesis to be carried out upon rehydration

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

Interval temporal logics (ITLs) are logics for reasoning about temporal statements expressed over intervals, i.e., periods of time. The most famous ITL studied so far is Halpern and Shoham's HS, which is the logic of the thirteen Allen's interval relations. Unfortunately, HS and most of its fragments have an undecidable satisfiability problem. This discouraged the research in this area until recently, when a number non-trivial decidable ITLs have been discovered. This paper is a contribution towards the complete classification of all different fragments of HS. We consider different combinations of the interval relations Begins, After, Later and their inverses Abar, Bbar, and Lbar. We know from previous works that the combination ABBbarAbar is decidable only when finite domains are considered (and undecidable elsewhere), and that ABBbar is decidable over the natural numbers. We extend these results by showing that decidability of ABBar can be further extended to capture the language ABBbarLbar, which lays in between ABBar and ABBbarAbar, and that turns out to be maximal w.r.t decidability over strongly discrete linear orders (e.g. finite orders, the naturals, the integers). We also prove that the proposed decision procedure is optimal with respect to the complexity class

Protective role of brain derived neurotrophic factor (BDNF) in obstructive sleep apnea syndrome (OSAS) patients

Obstructive sleep apnea syndrome (OSAS) is a common disorder characterized by repeated episodes of upper airways collapse during the sleep. The following intermittent hypoxia triggers a state of chronic inflammation, which also interests the nervous system leading to neuronal damage and increased risk of cognitive impairment. Brain derived neurotrophic factor (BDNF) is a growth factor often associated with neuroplasticity and neuroprotection whose levels increase in several condition associated with neuronal damage. However, whether patients affected by OSAS have altered BDNF levels and whether such alteration may be reflective of their cognitive impairment is still controversial. Here we show that, when compared to healthy control volunteers, OSAS patients have increased serum levels of BDNF. Moreover, OSAS patients with the higher levels of BDNF also have reduced neurocognitive impairment as measured by The Montreal Cognitive Assessment (MoCA) questionnaire. Treatment with standard non-invasive mechanical ventilation (CPAP) also was able to ameliorate the level of cognitive impairment. Altogether our results indicate that BDNF levels represent a neuroprotective response to intermittent hypoxia in OSAS patients

Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas

In recent work we have shown how it is possible to define very precise type systems for object-oriented languages by abstractly compiling a program into a Horn formula f. Then type inference amounts to resolving a certain goal w.r.t. the coinductive (that is, the greatest) Herbrand model of f. Type systems defined in this way are idealized, since in the most interesting instantiations both the terms of the coinductive Herbrand universe and goal derivations cannot be finitely represented. However, sound and quite expressive approximations can be implemented by considering only regular terms and derivations. In doing so, it is essential to introduce a proper subtyping relation formalizing the notion of approximation between types. In this paper we study a subtyping relation on coinductive terms built on union and object type constructors. We define an interpretation of types as set of values induced by a quite intuitive relation of membership of values to types, and prove that the definition of subtyping is sound w.r.t. subset inclusion between type interpretations. The proof of soundness has allowed us to simplify the notion of contractive derivation and to discover that the previously given definition of subtyping did not cover all possible representations of the empty type

Prostate Cancer and Sleep Disorders: A Systematic Review.

Prostate cancer (PCa) treatment involves multiple strategies depending on the disease's stage. Androgen deprivation therapy (ADT) remains the gold standard for advanced and metastatic stages. Sleep quality has been suggested as being additionally influenced also by local radiotherapy, prostatectomy and androgen-receptor (AR)-targeted agents. We performed a systematic review exploring the landscape of studies published between 1 January 1990 and 31 July 2021, investigating sleep disturbances in PCa patients receiving active treatments, including the influence of hormonal therapy on sleep quality as a factor affecting their quality of life. Out of 45 articles identified, 16 studies were selected, which recruited patients with PCa, undergoing active treatment in either a prospective longitudinal or cross-sectional study. Development of sleep disorders or changes in sleep quality were reported in 14 out of 16 trials included. Only five trials included objective measurements such as actigraphy, mostly at one time point and without a baseline assessment. Limitations to be addressed are the small number of existing trials, lack of randomized trials and heterogeneity of methodologies used. This systematic review outlines the lack of prospective trials investigating sleep disorders, with a rigorous methodology, in homogeneous cohorts of PCa patients. Future trials are needed to clarify the prevalence and impact of this side effect of PCa treatments

Direct oral anticoagulants for secondary prevention in patients with non-valvular atrial fibrillation

The patients with non-valvular atrial fibrillation (NVAF), both permanent and paroxysmal, and history of previous transient ischemic attack (TIA) or stroke represent a category of patients at high risk of new embolic events, independently of the presence of other risk factors. In these patients, national and international guidelines recommend oral anticoagulants as first choice for antithrombotic prevention. Direct oral anticoagulants (DOACs) have been demonstrated to be not inferior to warfarin for many end points in NVAF patients in terms of efficacy and safety. The post hoc analysis in selected subgroups of patients enrolled in the three mega trials of phase III comparing DOACs (RE-LY, ROCKET-AF and ARISTOTLE) with warfarin help to evaluate whether superiority and non-inferiority persist in these subgroups. Here, patients with NVAF and history of previous TIA/stroke receiving DOACs as secondary prevention are compared with patients with the same characteristics receiving warfarin. An analysis of these patients has been recently published (separately for each of three DOACs). This analysis shows that DOACs maintain their non-inferiority when compared with warfarin in secondary prevention, representing a real alternative in this context of patients at high risk for ischemic and bleeding events

efficacia e sicurezza dei nuovi farmaci anticoagulanti orali rispetto al warfarin nella profilassi cardioembolica del paziente con fibrillazione atriale non valvolare piu luci che ombre

Summary Introduction The prophylaxis of thromboembolic events represents a key point in the modern management of patients with non valvular atrial fibrillation (AF), both paroxysmal and persistent/permanent. Up to now, vitamin K antagonist (VKA) drugs are the first choice in thromboembolic prophylaxis. Their treatment limitations have lead to development and clinical experimental use of new molecules aimed to overcome their limits. The new oral anticoagulants, such as dabigatran, a direct inhibitor of thrombin or rivaroxaban and apixaban, direct inhibitors of activated factor X, have been compared to warfarin in randomized clinical phase three trials (RCTs) for thromboembolic prevention in patients with non valvular AF with the aim to demonstrate their non inferiority when compared to warfarin. The results of these trials have been recently published. In this article the authors review the results of efficacy and safety of these three more recently published large RCTs. Conclusions All RCTs, RE-LY for dabigatran, ROCKET-AF for rivaroxaban and ARISTOTLE for apixaban met the study end-points and demonstrated a good safety profile of each new oral anticoagulant, so promising a new era for thromboembolic prevention therapy in AF