Almost reducibility for finitely differentiable SL(2,R)-valued quasi-periodic cocycles

Quasi-periodic cocycles with a diophantine frequency and with values in SL(2,R) are shown to be almost reducible as long as they are close enough to a constant, in the topology of k times differentiable functions, with k great enough. Almost reducibility is obtained by analytic approximation after a loss of differentiability which only depends on the frequency and on the constant part. As in the analytic case, if their fibered rotation number is diophantine or rational with respect to the frequency, such cocycles are in fact reducible. This extends Eliasson's theorem on Schr\"odinger cocycles to the differentiable case

Towards a method for rigorous development of generic requirements patterns

We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine control systems: here generic requirements drive a software product line of target systems. A pilot formal specification and design exercise is undertaken on a small (twosensor) system element. This exercise has a number of aims: to support the domain analysis, to gain a view of appropriate design abstractions, for a B novice to gain experience in the B method and tools, and to evaluate the usability and utility of that method.We also present a prototype method for the production and verification of a generic requirement set in our UML-based formal notation, UML-B, and tooling developed in support. The formal verification both of the structural generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools

Optimal stability and instability for near-linear Hamiltonians

In this paper, we will prove a very general result of stability for perturbations of linear integrable Hamiltonian systems, and we will construct an example of instability showing that both our result and our example are optimal. Moreover, in the same spirit as the notion of KAM stable integrable Hamiltonians, we will introduce a notion of effectively stable integrable Hamiltonians, conjecture a characterization of these Hamiltonians and show that our result prove this conjecture in the linear case

Improving Colorectal Cancer Screening Rates in Patients Referred to a Gastroenterology Clinic

Colorectal cancer (CRC) is the third most common cancer and the second leading cause of cancer-related death in the United States. Colonoscopy and fecal immunochemistry testing (FIT) are the primary recommended CRC screening modalities. The purpose of this study is to improve rates of CRC screening in Veterans and County hospital patients referred to gastroenterology fellow's clinics. A total of 717 patients between ages of 49 and 75 years were seen. Previous CRC screening was not performed in 109 patients (15.2%) because of not being offered (73.4%) or declining (26.6%) screening. Patients who received previous CRC screening compared with no previous screening were older (mean age 62.3 years vs. 60.3 years, p < .003), white (88.6% vs. 78.3%, p < .027), and more likely to be Veterans patients (90.8% vs. 77.5%, p < .001). After systematically discussing options for screening with 78 of the 109 unscreened patients, 56 of them (71.8%) underwent screening with either colonoscopy (32) or FIT (24). Patients seen by fellows in their last year of training agreed to undergo screening more often than those seen by other fellows (100% vs. 66.2%, p < .033). Systematic discussions about both colonoscopy and FIT can improve the overall rates of CRC screening

(Non)Invariance of dynamical quantities for orbit equivalent flows

We study how dynamical quantities such as Lyapunov exponents, metric entropy, topological pressure, recurrence rates, and dimension-like characteristics change under a time reparameterization of a dynamical system. These quantities are shown to either remain invariant, transform according to a multiplicative factor or transform through a convoluted dependence that may take the form of an integral over the initial local values. We discuss the significance of these results for the apparent non-invariance of chaos in general relativity and explore applications to the synchronization of equilibrium states and the elimination of expansions

Agronomic performance of annual self-reseeding legumes and their self-establishment potential in the Apulia region of Italy

Abstract The agronomic performance, biological nitrogen fixation (BNF

Optimization and Reproducibility of Aortic Valve 18F-Fluoride Positron Emission Tomography in Patients With Aortic Stenosis

$\textbf{BACKGROUND}$: 18F-Fluoride positron emission tomography (PET) and computed tomography (CT) can measure disease activity and progression in aortic stenosis. Our objectives were to optimize the methodology, analysis, and scan-rescan reproducibility of aortic valve 18F-fluoride PET-CT imaging. $\textbf{METHODS AND RESULTS}$: Fifteen patients with aortic stenosis underwent repeated 18F-fluoride PET-CT. We compared nongated PET and noncontrast CT, with a modified approach that incorporated contrast CT and ECG-gated PET. We explored a range of image analysis techniques, including estimation of blood-pool activity at differing vascular sites and a most diseased segment approach. Contrast-enhanced ECG-gated PET-CT permitted localization of 18F-fluoride uptake to individual valve leaflets. Uptake was most commonly observed at sites of maximal mechanical stress: the leaflet tips and the commissures. Scan-rescan reproducibility was markedly improved using enhanced analysis techniques leading to a reduction in percentage error from ±63% to ±10% (tissue to background ratio MDS mean of 1.55, bias -0.05, limits of agreement -0·20 to +0·11). $\textbf{CONCLUSIONS}$: Optimized 18F-fluoride PET-CT allows reproducible localization of calcification activity to different regions of the aortic valve leaflet and commonly to areas of increased mechanical stress. This technique holds major promise in improving our understanding of the pathophysiology of aortic stenosis and as a biomarker end point in clinical trials of novel therapies. $\textbf{CLINICAL TRIAL REGISTRATION}$ - URL: http://www.clinicaltrials.gov. Unique identifier: NCT02132026.The study was funded by the British Heart Foundation (FS/14/78/31020). Drs Pawade, Cartlidge, Jenkins, Dweck, and Newby are supported by the British Heart Foundation (SS/CH/09/002/26360, FS/13/77/30488, SS/CH/09/002/2636, FS/14/78/31020, and CH/09/002). Dr Newby is the recipient of a Wellcome Trust Senior Investigator Award (WT103782AIA). Dr Dweck is the recipient of the Sir Jules Thorn Award for Biomedical Research 2015. Dr Adamson is supported by New Zealand Overseas Training and Research Fellowship (1607) and Edinburgh and Lothians Health Foundation (50–534). The Wellcome Trust Clinical Research Facility and the Clinical Research Imaging Centre are supported by NHS Research Scotland (NRS) through NHS Lothian. Dr Rudd is partly supported by the NIHR Cambridge Biomedical Research Centre, the British Heart Foundation, and the Wellcome Trust

Comparison of survival in patients with T cell lymphoma after autologous and allogeneic stem cell transplantation as a frontline strategy or in relapsed disease.

We studied the roles of autologous (A) and allogeneic (allo) stem cell transplantation (SCT) in the treatment of 134 patients with T cell lymphoma (TCL) at our center. For frontline SCT, 58 patients were studied. The 4-year overall survival (OS) rates for ASCT (n = 47; median age, 49 years) and alloSCT (n = 11; median age, 55 years) groups were 76% and 54%, respectively (P \u3e .05). The 4-year OS rates for first complete remission (CR1) patients were 84% and 83%, respectively. For SCT for relapsed disease, 76 patients were studied (41 with ASCT and 35 with alloSCT). The 4-year OS rates were 50% and 36% for ASCT and alloSCT patients with chemosensitive disease, respectively (P \u3e .05). Those who were in CR2 and CR3 had 4-year OS rates of 59% and 53%, respectively. Similar results were also observed in patients with refractory disease (29% and 35%, respectively). These data suggest that a pre-SCT CR is associated with improved outcomes in TCL patients after SCT. Considering the 84% 4-year OS rates in CR1 patients and the unpredictable responses in patients with relapsed disease, we favor the use of ASCT as consolidation therapy after CR1. AlloSCT did not result in a superior outcome compared with ASCT

Epstein-Barr virus infection and chronic lymphocytic leukemia: a possible progression factor?

Epstein-Barr virus is pathogenically associated with a well defined group of lymphoid and epithelial tumors in which the virus directly drives transformation of infected cells. Recent evidence however indicates that this virus may infect a subpopulation of tumor cells in patients with chronic lymphocytic leukemia (CLL) and EBV infection has been also associated with Richter transformation in a fraction of cases. We herein review available data suggesting a possible role of EBV as a direct or micro-environmental progression factor in a subset of CLL