Analisi statica dei Deadlock in Featherweight Java con Futuri

Abbiamo studiato ABSFJf, un linguaggio ad oggetti concorrente con tipi di dato futuro ed operazioni per acquisire e rilasciare il controllo delle risorse. I programmi ABSFJf possono manifestare lock (deadlock e livelock) a causa degli errori del programmatore. Per individuare staticamente possibili com- portamenti non voluti abbiamo studiato e implementato una tecnica per l'analisi dei lock basata sui contratti, che sono una descrizione astratta del comportamento dei metodi. I contratti si utilizzano per formare un automa i cui stati racchiudono informazioni di dipendenza di tipo chiamante-chiamato; vengono derivati automaticamente da un algoritmo di type inference e model- lati da un analizzatore che sfrutta la tecnica del punto

Computational strategies to include protein flexibility in Ligand Docking and Virtual Screening

The dynamic character of proteins strongly influences biomolecular recognition mechanisms. With the development of the main models of ligand recognition (lock-and-key, induced fit, conformational selection theories), the role of protein plasticity has become increasingly relevant. In particular, major structural changes concerning large deviations of protein backbones, and slight movements such as side chain rotations are now carefully considered in drug discovery and development. It is of great interest to identify multiple protein conformations as preliminary step in a screening campaign. Protein flexibility has been widely investigated, in terms of both local and global motions, in two diverse biological systems. On one side, Replica Exchange Molecular Dynamics has been exploited as enhanced sampling method to collect multiple conformations of Lactate Dehydrogenase A (LDHA), an emerging anticancer target. The aim of this project was the development of an Ensemble-based Virtual Screening protocol, in order to find novel potent inhibitors. On the other side, a preliminary study concerning the local flexibility of Opioid Receptors has been carried out through ALiBERO approach, an iterative method based on Elastic Network-Normal Mode Analysis and Monte Carlo sampling. Comparison of the Virtual Screening performances by using single or multiple conformations confirmed that the inclusion of protein flexibility in screening protocols has a positive effect on the probability to early recognize novel or known active compounds.

Pirfenidone in patients with idiopathic pulmonary fibrosis (CAPACITY): two randomised trials

Background Idiopathic pulmonary fibrosis is a progressive and fatal lung disease with inevitable loss of lung function. The CAPACITY programme (studies 004 and 006) was designed to confirm the results of a phase 2 study that suggested that pirfenidone, a novel antifibrotic and anti-inflammatory drug, reduces deterioration in lung function in patients with idiopathic pulmonary fibrosis. Methods In two concurrent trials (004 and 006), patients (aged 40–80 years) with idiopathic pulmonary fibrosis were randomly assigned to oral pirfenidone or placebo for a minimum of 72 weeks in 110 centres in Australia, Europe, and North America. In study 004, patients were assigned in a 2:1:2 ratio to pirfenidone 2403 mg/day, pirfenidone 1197 mg/day, or placebo; in study 006, patients were assigned in a 1:1 ratio to pirfenidone 2403 mg/day or placebo. The randomisation code (permuted block design) was computer generated and stratified by region. All study personnel were masked to treatment group assignment until after final database lock. Treatments were administered orally, 801 mg or 399 mg three times a day. The primary endpoint was change in percentage predicted forced vital capacity (FVC) at week 72. Analysis was by intention to treat. The studies are registered with ClinicalTrials.gov, numbers NCT00287729 and NCT00287716. Findings In study 004, 174 of 435 patients were assigned to pirfenidone 2403 mg/day, 87 to pirfenidone 1197 mg/day, and 174 to placebo. In study 006, 171 of 344 patients were assigned to pirfenidone 2403 mg/day, and 173 to placebo. All patients in both studies were analysed. In study 004, pirfenidone reduced decline in FVC (p=0·001). Mean FVC change at week 72 was −8·0% (SD 16·5) in the pirfenidone 2403 mg/day group and −12·4% (18·5) in the placebo group (difference 4·4%, 95% CI 0·7 to 9·1); 35 (20%) of 174 versus 60 (35%) of 174 patients, respectively, had a decline of at least 10%. A significant treatment effect was noted at all timepoints from week 24 and in an analysis over all study timepoints (p=0·0007). Mean change in percentage FVC in the pirfenidone 1197 mg/day group was intermediate to that in the pirfenidone 2403 mg/day and placebo groups. In study 006, the difference between groups in FVC change at week 72 was not significant (p=0·501). Mean change in FVC at week 72 was −9·0% (SD 19·6) in the pirfenidone group and −9·6% (19·1) in the placebo group, and the difference between groups in predicted FVC change at week 72 was not significant (0·6%, −3·5 to 4·7); however, a consistent pirfenidone effect was apparent until week 48 (p=0·005) and in an analysis of all study timepoints (p=0·007). Patients in the pirfenidone 2403 mg/day group had higher incidences of nausea (125 [36%] of 345 vs 60 [17%] of 347), dyspepsia (66 [19%] vs 26 [7%]), vomiting (47 [14%] vs 15 [4%]), anorexia (37 [11%] vs 13 [4%]), photosensitivity (42 [12%] vs 6 [2%]), rash (111 [32%] vs 40 [12%]), and dizziness (63 [18%] vs 35 [10%]) than did those in the placebo group. Fewer overall deaths (19 [6%] vs 29 [8%]) and fewer deaths related to idiopathic pulmonary fibrosis (12 [3%] vs 25 [7%]) occurred in the pirfenidone 2403 mg/day groups than in the placebo groups. Interpretation The data show pirfenidone has a favourable benefit risk profile and represents an appropriate treatment option for patients with idiopathic pulmonary fibrosis.

Eating disorders in youth: diagnostic variability and predictive validity

The primary aim was to examine the utility of DSM-IV criteria in predicting treatment outcome in a sample of adolescents with eating disorders.

A pharmaco-EEG study on antipsychotic drugs in healthy volunteers

RATIONALE: Both psychotropic drugs and mental disorders have typical signatures in quantitative electroencephalography (EEG). Previous studies found that some psychotropic drugs had EEG effects opposite to the EEG effects of the mental disorders treated with these drugs (key-lock principle). OBJECTIVES: We performed a placebo-controlled pharmaco-EEG study on two conventional antipsychotics (chlorpromazine and haloperidol) and four atypical antipsychotics (olanzapine, perospirone, quetiapine, and risperidone) in healthy volunteers. We investigated differences between conventional and atypical drug effects and whether the drug effects were compatible with the key-lock principle. METHODS: Fourteen subjects underwent seven EEG recording sessions, one for each drug (dosage equivalent of 1 mg haloperidol). In a time-domain analysis, we quantified the EEG by identifying clusters of transiently stable EEG topographies (microstates). Frequency-domain analysis used absolute power across electrodes and the location of the center of gravity (centroid) of the spatial distribution of power in different frequency bands. RESULTS: Perospirone increased duration of a microstate class typically shortened in schizophrenics. Haloperidol increased mean microstate duration of all classes, increased alpha 1 and beta 1 power, and tended to shift the beta 1 centroid posterior. Quetiapine decreased alpha 1 power and shifted the centroid anterior in both alpha bands. Olanzapine shifted the centroid anterior in alpha 2 and beta 1. CONCLUSIONS: The increased microstate duration under perospirone and haloperidol was opposite to effects previously reported in schizophrenic patients, suggesting a key-lock mechanism. The opposite centroid changes induced by olanzapine and quetiapine compared to haloperidol might characterize the difference between conventional and atypical antipsychotics.

An assessment of obesity and hyperphagia in individuals with Smith-Magenis syndrome

Smith-Magenis syndrome (SMS;OMIM# 182290) is a multiple congenital anomalies and mental retardation syndrome caused by a 3.7- Mb deletion on chromosome 17p11.2 or a mutation in the RAI1 gene. Although the majority of the SMS phenotype has been well described, limited studies are available describing growth patterns in SMS. There is some evidence that individuals with SMS develop obesity. Thus, this study aims to characterize the growth and potential influence of hyperphagia in a cohort of individuals with SMS. A retrospective chart review was conducted of 78 individuals with SMS through Baylor College of Medicine (BCM) at Texas Children¡¯s Hospital (TCH.) All documented height and weight measurements were abstracted and Z-scores (SD units) for height-for-age, length-for-age and BMI-for-age were calculated. Mail-out questionnaires were provided to the corresponding parents of the cohort to assess for the presence of hyperphagia through a validated hyperphagia questionnaire (HQ). Analysis of this data demonstrates that by the age ¡Ý 20 years males with SMS have mean BMI¡¯s in the 85th-90th percentile corresponding to an overweight BMI, and females with SMS had mean BMI¡¯s in the 95th -97th percentile corresponding to an obese BMI. Parents indicated that hyperphagia is present in individuals with SMS as 76% of parent¡¯s report having to lock food away from their child. Females¡¯ age ¡Ý 20 years of age had the highest mean behavior, drive and severity scores as well as the highest BMI. Thus, this study concludes that it appears overweight and obesity, as well as hyperphagia, are present in this cohort of SMS individuals. The results of this study will hopefully enable parents and caregivers of children with SMS to take preventative measures in order to control food related behaviors present in their children as well as to prevent overweight and obesity and the associated negative health consequences.

Nosocomial infections in dialysis access.

Nosocomial infections in patients requiring renal replacement therapy have a high impact on morbidity and mortality. The most dangerous complication is bloodstream infection (BSI) associated with the vascular access, with a low BSI risk in arteriovenous fistulas or grafts and a comparatively high risk in central venous catheters. The single most important measure for preventing BSI is therefore the reduction of catheter use by means of early fistula formation. As this is not always feasible, prevention should focus on educational efforts, hand hygiene, surveillance of dialysis-associated events, and specific measures at and after the insertion of catheters. Core measures at the time of insertion include choosing the optimal site of insertion, the use of maximum sterile barrier precautions, adequate skin antisepsis, and the choice of catheter type; after insertion, access care needs to ensure hub disinfection and regular dressing changes. The application of antimicrobial locks is reserved for special situations. Evidence suggests that bundling a selection of the aforementioned measures can significantly reduce infection rates. The diagnosis of central line-associated BSI (CLABSI) is based on clinical signs and microbiological findings in blood cultures ideally drawn both peripherally and from the catheter. The prompt installation of empiric antibiotic treatment covering the most commonly encountered organisms is key regarding CLABSI treatment. Catheter removal is recommended in complicated cases or if cultures yield Staphylococcus aureus, enterococci, Pseudomonas or fungi. In other cases, guide wire exchange or catheter salvage strategies with antibiotic lock solutions may be acceptable alternatives.

Variability of mesospheric water vapor above Bern in relation to the 27-day solar rotation cycle

Many studies investigated solar–terrestrial responses (thermal state, O₃ , OH, H₂O) with emphasis on the tropical upper atmosphere. In this paper the Focus is switched to water vapor in the mesosphere at a mid-latitudinal location. Eight years of water vapor profile measurements above Bern (46.88°N/7.46°E) are investigated to study oscillations with the Focus on periods between 10 and 50 days. Different spectral analyses revealed prominent features in the 27-day oscillation band, which are enhanced in the upper mesosphere (above 0.1 hPa, ∼64 km) during the rising sun spot activity of solar cycle 24. Local as well as zonal mean Aura MLS observations Support these results by showing a similar behavior. The relationship between mesospheric water and the solar Lyman-α flux is studied by comparing thesi-milarity of their temporal oscillations. The H₂O oscillation is negatively correlated to solar Lyman-α oscillation with a correlation coefficient of up to −0.3 to −0.4, and the Phase lag is 6–10 days at 0.04 hPa. The confidence level of the correlation is ≥99%. This finding supports the assumption that the 27-day oscillation in Lyman-α causes a periodical photo dissociation loss in mesospheric water. Wavelet power spectra, cross-wavelet transform and wavelet coherence analysis (WTC)complete our study. More periods of high common wavelet power of H₂O and solar Lyman-α are present when amplitudes of the Lyman-α flux increase. Since this is not a measure of physical correlation a more detailed view on WTC is necessary, where significant (two sigma level)correlations occur intermittently in the 27 and 13-day band with variable Phase lock behavior. Large Lyman-α oscillations appeared after the solar super storm in July 2012 and the H₂O oscillations show a well pronounced anticorrelation. The competition between advective transport and photo dissociation loss of mesospheric water vapor may explain the sometimes variable Phase relationship of mesospheric H₂O and solar Lyman-α oscillations. Generally, the WTC analysis indicates that solar variability causes observable photochemical and dynamical processes in the mid-latitude mesosphere.

Focal Epilepsy: MR Imaging of Nonhemodynamic Field Effects by Using a Phase-cycled Stimulus-induced Rotary Saturation Approach with Spin-Lock Preparation.

Purpose To investigate whether nonhemodynamic resonant saturation effects can be detected in patients with focal epilepsy by using a phase-cycled stimulus-induced rotary saturation (PC-SIRS) approach with spin-lock (SL) preparation and whether they colocalize with the seizure onset zone and surface interictal epileptiform discharges (IED). Materials and Methods The study was approved by the local ethics committee, and all subjects gave written informed consent. Eight patients with focal epilepsy undergoing presurgical surface and intracranial electroencephalography (EEG) underwent magnetic resonance (MR) imaging at 3 T with a whole-brain PC-SIRS imaging sequence with alternating SL-on and SL-off and two-dimensional echo-planar readout. The power of the SL radiofrequency pulse was set to 120 Hz to sensitize the sequence to high gamma oscillations present in epileptogenic tissue. Phase cycling was applied to capture distributed current orientations. Voxel-wise subtraction of SL-off from SL-on images enabled the separation of T2* effects from rotary saturation effects. The topography of PC-SIRS effects was compared with the seizure onset zone at intracranial EEG and with surface IED-related potentials. Bayesian statistics were used to test whether prior PC-SIRS information could improve IED source reconstruction. Results Nonhemodynamic resonant saturation effects ipsilateral to the seizure onset zone were detected in six of eight patients (concordance rate, 0.75; 95% confidence interval: 0.40, 0.94) by means of the PC-SIRS technique. They were concordant with IED surface negativity in seven of eight patients (0.88; 95% confidence interval: 0.51, 1.00). Including PC-SIRS as prior information improved the evidence of the standard EEG source models compared with the use of uninformed reconstructions (exceedance probability, 0.77 vs 0.12; Wilcoxon test of model evidence, P < .05). Nonhemodynamic resonant saturation effects resolved in patients with favorable postsurgical outcomes, but persisted in patients with postsurgical seizure recurrence. Conclusion Nonhemodynamic resonant saturation effects are detectable during interictal periods with the PC-SIRS approach in patients with epilepsy. The method may be useful for MR imaging-based detection of neuronal currents in a clinical environment. (©) RSNA, 2016 Online supplemental material is available for this article.

Lock-free Parallel Dynamic Programming

We show a method for parallelizing top down dynamic programs in a straightforward way by a careful choice of a lock-free shared hash table implementation and randomization of the order in which the dynamic program computes its subproblems. This generic approach is applied to dynamic programs for knapsack, shortest paths, and RNA structure alignment, as well as to a state-of-the-art solution for minimizing the máximum number of open stacks. Experimental results are provided on three different modern multicore architectures which show that this parallelization is effective and reasonably scalable. In particular, we obtain over 10 times speedup for 32 threads on the open stacks problem.

Fluid-Structure Interaction in Civil Engineering Structures

The problems being addressed involve the dynamic interaction of solids (structure and foundation) with a liquid (water). Various numerical procedures are reviewed and employed to solve the problem of establishing the expected response of a structure subjected to seismic excitations while duly accounting for those interactions. The methodology is applied to the analysis of dams, lock gates, and large storage tanks, incorporating in some cases a comparison with the results produced by means of simplified analytical procedures.

Explanation of changes in real estate stock market

The aim of this study is to explain the changes in the real estate prices as well as in the real estate stock market prices, using some macro-economic explanatory variables, such as the gross domestic product (GDP), the real interest rate and the unemployment rate. Several regressions have been carried out in order to express some types of incremental and absolute deflated real estate lock market indexes in terms of the macro-economic variables. The analyses are applied to the Swedish economy. The period under study is 1984-1994. Time series on monthly data are used. i.e. the number of data-points is 132. If time leads/lags are introduced in the e regressions, significant improvements in the already high correlations are achieved. The signs of the coefficients for IR, UE and GDP are all what one would expect to see from an economic point of view: those for GDP are all positive, those for both IR and UE are negative. All the regressions have high R2 values. Both markets anticipate change in the unemployment rate by 6 to 9 months, which seems reasonable because such change can be forecast quite reliably. But, on the contrary, there is no reason why they should anticipate by 3-6 months changes in the interest rate that can hardly be reliably forecast so far in advance.

The structure of the ultraspiracle ligand-binding domain reveals a nuclear receptor locked in an inactive conformation

Ultraspiracle (USP) is the invertebrate homologue of the mammalian retinoid X receptor (RXR). RXR plays a uniquely important role in differentiation, development, and homeostasis through its ability to serve as a heterodimeric partner to many other nuclear receptors. RXR is able to influence the activity of its partner receptors through the action of the ligand 9-cis retinoic acid. In contrast to RXR, USP has no known high-affinity ligand and is thought to be a silent component in the heterodimeric complex with partner receptors such as the ecdysone receptor. Here we report the 2.4-Å crystal structure of the USP ligand-binding domain. The structure shows that a conserved sequence motif found in dipteran and lepidopteran USPs, but not in mammalian RXRs, serves to lock USP in an inactive conformation. It also shows that USP has a large hydrophobic cavity, implying that there is almost certainly a natural ligand for USP. This cavity is larger than that seen previously for most other nuclear receptors. Intriguingly, this cavity has partial occupancy by a bound lipid, which is likely to resemble the natural ligand for USP.

An isolated, surface-expressed I domain of the integrin αLβ2 is sufficient for strong adhesive function when locked in the open conformation with a disulfide bond

We introduced disulfide bonds to lock the integrin αLβ2 I domain in predicted open, ligand binding or closed, nonbinding conformations. Transfectants expressing αLβ2 heterodimers containing locked-open but not locked-closed or wild-type I domains constitutively adhered to intercellular adhesion molecule-1 (ICAM-1) substrates. Locking the I domain closed abolished constitutive and activatable adhesion. The isolated locked-open I domain bound as well as the activated αLβ2 heterodimer, and binding was abolished by reduction of the disulfide. Lovastatin, which binds under the conformationally mobile C-terminal α-helix of the I domain, inhibited binding to ICAM-1 by αLβ2 with wild-type, but not locked-open I domains. These data establish the importance of conformational change in the αL I domain for adhesive function and show that this domain is sufficient for full adhesive activity.

Induced fit DNA recognition by a minor groove binding analogue of Hoechst 33258: fluctuations in DNA A tract structure investigated by NMR and molecular dynamics simulations

NMR analysis and molecular dynamics simulations of d(GGTAATTACC)2 and its complex with a tetrahydropyrimidinium analogue of Hoechst 33258 suggest that DNA minor groove recognition in solution involves a combination of conformational selection and induced fit, rather than binding to a preorganised site. Analysis of structural fluctuations in the bound and unbound states suggests that the degree of induced fit observed is primarily a consequence of optimising van der Waals contacts with the walls of the minor groove resulting in groove narrowing through: (i) changes in base step parameters, including increased helical twist and propeller twist; (ii) changes to the sugar–phosphate backbone conformation to engulf the bound ligand; (iii) suppression of bending modes at the TpA steps. In contrast, the geometrical arrangement of hydrogen bond acceptors on the groove floor appears to be relatively insensitive to DNA conformation (helical twist and propeller twist). We suggest that effective recognition of DNA sequences (in this case an A tract structure) appears to depend to a significant extent on the sequence being flexible enough to be able to adopt the geometrically optimal conformation compatible with the various binding interactions, rather than involving ‘lock and key’ recognition.