A novel family of finite automata for recognizing and learning ωω-regular languages

Families of DFAs (FDFAs) have recently been introduced as a new representation of $\omega$-regular languages. They target ultimately periodic words, with acceptors revolving around accepting some representation $u\cdot v^\omega$. Three canonical FDFAs have been suggested, called periodic, syntactic, and recurrent. We propose a fourth one, limit FDFAs, which can be exponentially coarser than periodic FDFAs and are more succinct than syntactic FDFAs, while they are incomparable (and dual to) recurrent FDFAs. We show that limit FDFAs can be easily used to check not only whether {\omega}-languages are regular, but also whether they are accepted by deterministic B\"uchi automata. We also show that canonical forms can be left behind in applications: the limit and recurrent FDFAs can complement each other nicely, and it may be a good way forward to use a combination of both. Using this observation as a starting point, we explore making more efficient use of Myhill-Nerode's right congruences in aggressively increasing the number of don't-care cases in order to obtain smaller progress automata. In pursuit of this goal, we gain succinctness, but pay a high price by losing constructiveness

A novel family of finite automata for recognizing and learning ωω-regular languages

Families of DFAs (FDFAs) have recently been introduced as a new representation of $\omega$-regular languages. They target ultimately periodic words, with acceptors revolving around accepting some representation $u\cdot v^\omega$. Three canonical FDFAs have been suggested, called periodic, syntactic, and recurrent. We propose a fourth one, limit FDFAs, which can be exponentially coarser than periodic FDFAs and are more succinct than syntactic FDFAs, while they are incomparable (and dual to) recurrent FDFAs. We show that limit FDFAs can be easily used to check not only whether {\omega}-languages are regular, but also whether they are accepted by deterministic B\"uchi automata. We also show that canonical forms can be left behind in applications: the limit and recurrent FDFAs can complement each other nicely, and it may be a good way forward to use a combination of both. Using this observation as a starting point, we explore making more efficient use of Myhill-Nerode's right congruences in aggressively increasing the number of don't-care cases in order to obtain smaller progress automata. In pursuit of this goal, we gain succinctness, but pay a high price by losing constructiveness

SdCT-GAN: Reconstructing CT from Biplanar X-Rays with Self-driven Generative Adversarial Networks

Computed Tomography (CT) is a medical imaging modality that can generate more informative 3D images than 2D X-rays. However, this advantage comes at the expense of more radiation exposure, higher costs, and longer acquisition time. Hence, the reconstruction of 3D CT images using a limited number of 2D X-rays has gained significant importance as an economical alternative. Nevertheless, existing methods primarily prioritize minimizing pixel/voxel-level intensity discrepancies, often neglecting the preservation of textural details in the synthesized images. This oversight directly impacts the quality of the reconstructed images and thus affects the clinical diagnosis. To address the deficits, this paper presents a new self-driven generative adversarial network model (SdCT-GAN), which is motivated to pay more attention to image details by introducing a novel auto-encoder structure in the discriminator. In addition, a Sobel Gradient Guider (SGG) idea is applied throughout the model, where the edge information from the 2D X-ray image at the input can be integrated. Moreover, LPIPS (Learned Perceptual Image Patch Similarity) evaluation metric is adopted that can quantitatively evaluate the fine contours and textures of reconstructed images better than the existing ones. Finally, the qualitative and quantitative results of the empirical studies justify the power of the proposed model compared to mainstream state-of-the-art baselines

The changes of the interspace angle after anterior correction and instrumentation in adolescent idiopathic scoliosis patients

<p>Abstract</p> <p>Background</p> <p>In idiopathic scoliosis patients, after anterior spinal fusion and instrumentation, the discs (interspace angle) between the lowest instrumented vertebra (LIV) and the next caudal vertebra became more wedged. We reviewed these patients and analyzed the changes of the angle.</p> <p>Methods</p> <p>By reviewing the medical records and roentgenograms of adolescent idiopathic scoliosis patients underwent anterior spinal fusion and instrumentation, Cobb angle of the curve, correction rate, coronal balance, LIV rotation, interspace angle were measured and analyzed.</p> <p>Results</p> <p>There were total 30 patients included. The mean coronal Cobb angle of the main curve (thoracolumbar/lumbar curve) before and after surgery were 48.9° and 11.7°, respectively, with an average correction rate of 76.1%. The average rotation of LIV before surgery was 2.1 degree, and was improved to 1.2 degree after surgery. The interspace angle before surgery, on convex side-bending films, after surgery, at final follow up were 3.2°, -2.3°, 1.8° and 4.9°, respectively. The difference between the interspace angle after surgery and that preoperatively was not significant (P = 0.261), while the interspace angle at final follow-up became larger than that after surgery, and the difference was significant(P = 0.012). The interspace angle after surgery was correlated with that on convex side-bending films (r = 0.418, P = 0.022), and the interspace angle at final follow-up was correlated with that after surgery (r = 0.625, P = 0.000). There was significant correlation between the loss of the interspace angle and the loss of coronal Cobb angle of the main curve during follow-up(r = 0.483, P = 0.007).</p> <p>Conclusion</p> <p>The interspace angle could be improved after anterior correction and instrumentation surgery, but it became larger during follow-up. The loss of the interspace angle was correlated with the loss of coronal Cobb angle of the main curve during follow-up.</p

Effect of sequential treatment with syndrome differentiation on acute exacerbation of chronic obstructive pulmonary disease and "AECOPD Risk-Window": study protocol for a randomized placebo-controlled trial

BACKGROUND: Frequent chronic obstructive pulmonary disease (COPD) exacerbation is a major cause of hospital admission and mortality. It has been reported that Traditional Chinese Medicine (TCM) may relieve COPD symptoms and reduce the incidence of COPD exacerbations, thus improving life quality of COPD patients. The acute exacerbation of COPD risk-window (AECOPD-RW) is the period after an exacerbation and before the patient returns to baseline. In the AECOPD-RW, patients are usually at increased risk of a second exacerbation, which may lead to hospital admission and high mortality. It may be beneficial for acute exacerbation of chronic obstructive pulmonary disease (AECOPD) patients to receive interventions during AECOPD-RW. During exacerbations the treatment principle is to eliminate exogenous pathogens, whereas the AECOPD-RW treatment principle focuses on enhancing body resistance. METHODS/DESIGN: A prospective, multi-center, single-blinded, double-dummy and randomized controlled clinical trial is being conducted to test the therapeutic effects of a sequential two stage treatment, which includes eliminating pathogen and strengthening vital qi with syndrome differentiation. A total of 364 patients will be enrolled in this study with 182 in each treatment group (TCM and control). Patients received medication (or control) according to their assigned group. TCM for AECOPD were administered twice daily to patients with AECOPD over 7 to 21 days, followed by TCM for AECOPD-RW over 28 days. All patients were followed for six months. The clinical symptoms, the modified medical research council dyspnea (MMRC) scale and exacerbations were used as the primary outcome measures. Pulmonary function, quality of life and mortality rate were used as secondary outcome measures. DISCUSSION: It is hypothesized that sequentially eliminating pathogens and strengthening vital qi treatments with syndrome differentiation will have beneficial effects on reducing the frequency and duration of acute exacerbation, relieving symptoms and improving quality of life for COPD patients. TRIAL REGISTRATION: This study is registered at ClinicalTrials.gov, ChiCTR-TRC-11001460