Proposal for a chaotic ratchet using cold atoms in optical lattices

We investigate a new type of quantum ratchet which may be realized by cold atoms in a double-well optical lattice, pulsed with unequal periods. The classical dynamics is chaotic and we find the classical diffusion rate D is asymmetric in momentum up to a finite time t(r). The quantum behavior produces a corresponding asymmetry in the momentum distribution which is "frozen-in" by dynamical localization provided the break time t* greater than or equal to t(r). We conclude that the cold atom ratchets require Db/(h) over bar similar to 1, where b is a small deviation from period-one pulses

GPURepair: Automated Repair of GPU Kernels

This paper presents a tool for repairing errors in GPU kernels written in CUDA or OpenCL due to data races and barrier divergence. Our novel extension to prior work can also remove barriers that are deemed unnecessary for correctness. We implement these ideas in our tool called GPURepair, which uses GPUVerify as the verification oracle for GPU kernels. We also extend GPUVerify to support CUDA Cooperative Groups, allowing GPURepair to perform inter-block synchronization for CUDA kernels. To the best of our knowledge, GPURepair is the only tool that can propose a fix for intra-block data races and barrier divergence errors for both CUDA and OpenCL kernels and the only tool that fixes inter-block data races for CUDA kernels. We perform extensive experiments on about 750 kernels and provide a comparison with prior work. We demonstrate the superiority of GPURepair through its capability to fix more kernels and its unique ability to remove redundant barriers and handle inter-block data races.Comment: 19 pages, 1 algorithm, 3 figures, 22nd International Conference on Verification Model Checking and Abstract Interpretation (VMCAI 2021

Results of Lumbar Endoscopic Adhesiolysis Using a Radiofrequency Catheter in Patients with Postoperative Fibrosis and Persistent or Recurrent Symptoms After Discectomy

OBJECTIVE:To evaluate the results of lumbar epiduroscopic adhesiolysis using mechanical methods and a radiofrequency catheter followed by epidural steroid and local anesthetic administration in patients with postoperative fibrosis and persistent or recurrent symptoms. STUDY DESIGN:Prospective study. METHODS:Patients with persistent or recurrent low back and/or lower limb pain after lumbar spine surgery, in whom no relevant findings were present on MR images besides epidural scar tissue, were submitted to epiduroscopic adhesiolysis. Patient-reported outcomes including pain and disability were assessed in predefined time intervals and compared to baseline. RESULTS:Twenty-four patients were enrolled. It was possible to elicit the patient's usual pain by probing the epidural scar tissue in all patients. Statistically significant improvement in low back and lower limb pain was observed in all assessment periods up to 12 months. A pain relief over 50% was achieved in 71% of the patients at 1 month, 63% at 3 and 6 months, and 38% at 12 months. Disability scores significantly improved for around 6 months. Mean patient satisfaction rates were 80% at 1 month, 75% at 3 months, 70% at 6 months, and 67% 1 year after intervention. Only 1 transient postprocedural complication was detected. CONCLUSION:Endoscopic adhesiolysis is a potentially useful treatment for the relief of chronic intractable low back and lower limb pain in patients with previous lumbar spine surgery and epidural fibrosis. The use of larger volumes of saline during endoscopy and the employment of radiofrequency for the lysis of epidural adhesions are safe procedures, which may provide an additional benefit to the intervention

International Veterinary Epilepsy Task Force Consensus Proposal: Outcome of therapeutic interventions in canine and feline epilepsy

Common criteria for the diagnosis of drug resistance and the assessment of outcome are needed urgently as a prerequisite for standardized evaluation and reporting of individual therapeutic responses in canine epilepsy. Thus, we provide a proposal for the definition of drug resistance and partial therapeutic success in canine patients with epilepsy. This consensus statement also suggests a list of factors and aspects of outcome, which should be considered in addition to the impact on seizures. Moreover, these expert recommendations discuss criteria which determine the validity and informative value of a therapeutic trial in an individual patient and also suggest the application of individual outcome criteria. Agreement on common guidelines does not only render a basis for future optimization of individual patient management, but is also a presupposition for the design and implementation of clinical studies with highly standardized inclusion and exclusion criteria. Respective standardization will improve the comparability of findings from different studies and renders an improved basis for multicenter studies. Therefore, this proposal provides an in-depth discussion of the implications of outcome criteria for clinical studies. In particular ethical aspects and the different options for study design and application of individual patient-centered outcome criteria are considered