EuclidNet: Deep Visual Reasoning for Constructible Problems in Geometry

In this paper, we present a deep learning-based framework for solving geometric construction problems through visual reasoning, which is useful for automated geometry theorem proving. Constructible problems in geometry often ask for the sequence of straightedge-and-compass constructions to construct a given goal given some initial setup. Our EuclidNet framework leverages the neural network architecture Mask R-CNN to extract the visual features from the initial setup and goal configuration with extra points of intersection, and then generate possible construction steps as intermediary data models that are used as feedback in the training process for further refinement of the construction step sequence. This process is repeated recursively until either a solution is found, in which case we backtrack the path for a step-by-step construction guide, or the problem is identified as unsolvable. Our EuclidNet framework is validated on complex Japanese Sangaku geometry problems, demonstrating its capacity to leverage backtracking for deep visual reasoning of challenging problems.Comment: Accepted by 2nd MATH-AI Workshop at NeurIPS'2

Application of tri-colour, dual fusion fluorescence in situ hybridization (FISH) system for the characterization of BCR-ABL1 fusion in chronic myelogenous leukaemia (CML) and residual disease monitoring

<p>Abstract</p> <p>Background</p> <p>We studied the application of the <it>BCR-ABL1 </it>+ 9q34 tri-colour dual fusion fluorescence <it>in situ </it>hybridization (FISH) system in the characterization of fusion signal pattern and the monitoring of residual disease in chronic myelogenous leukaemia (CML). The signal constellation on metaphases with the tri-colour dual fusion system was defined. The knowledge of various signal patterns obtained from the different genetic rearrangements was further applied to the analysis of hybridization signals on interphase nuclei.</p> <p>Methods</p> <p><it>BCR-ABL1 </it>dual colour, dual fusion FISH (D-FISH) was performed on diagnostic samples of 22 CML patients. The tri-colour FISH system was performed on cases that showed aberrant signal patterns other than the classical 1 green (G) 1 orange (O) 2 fusions (F). Using the aqua band-pass filter, random signal overlap in interphase nuclei would be indicated by the presence of an aqua signal (<it>ASS1</it>), while genuine fusion was represented by the absence of the <it>ASS1 </it>signal.</p> <p>Results</p> <p>Using the D-FISH system, the signal patterns could be categorized into 4 groups: group 1 (n = 17) showed the classical 1G1O2F; group 2 (n = 2) showed 2G1O1F indicating <it>ABL1 </it>deletion; group 3 (n = 1) showed 1G2O1F indicating <it>BCR </it>deletion; group 4 (n = 2) with 1G1O1F indicating reciprocal <it>ABL1-BCR </it>deletion. The tri-colour dual fusion system correlated with the D-FISH system for cases with der(9) deletion. The added aqua-labelled <it>ASS1 </it>probe was useful in differentiating random signal overlap from genuine <it>BCR-ABL1 </it>fusion in the interphase cells (group 4).</p> <p>Conclusion</p> <p>Although the D-FISH probe was valuable in establishing the different patterns of aberrant signals and monitoring patients with the classic 2-fusion signals in CML, the tri-colour dual fusion probe should be used for patients with der(9) deletion to monitor response to treatment.</p

Detection of microalbuminuria in non-insulin dependent diabetes mellitus (NIDDM) patients without overt proteinuria by a semiquantitative albumin-creatinine urine strips

AbstractMicroalbuminuria is the hallmark of the reversible stage of incipient diabetic nephropathy. A cost- effective and convenient bedside screening test is essential to detect this phase. We used Clinitek 50® which is a semiquantitative strip test to check spot urine sample from 81 patients with albustix one plus or less. The incidence of Clinitek 50® microalbuminuria was 17%, 18.2% and 75% in 47, 22 and 12 patients with albustix negative, trace or one plus respectively. Nineteen and 13 of the 21 Clinitek 50® positive patients were checked for spot urine DCA 2000® and two 12-hour urine collection for immunoassay respectively. Around 60% of these samples fell into the microalbuminuria range and 40% into the overt albuminuria range by either technique. There was no false positive of Clinitek 50®. The lowest range of microalbuminuria detected by Clinitek 50® was 27 μg/minute (38 mg/day). We concluded that Clinitek 50® is a useful screening test as it is nonexpensive, easily operated and has a sensitivity close to the lower range of microalbuminuria

Effects of eccentricity on seismic behavior of non-seismically designed reinforced concrete beam-column joint

The staggering numbers of eccentric reinforced concrete beam-column joints without seismic design details were used in existing RC frame building due to geometrical constraints, which implied high susceptibility of the building structures to anticipated seismic risk. Three exterior RC beam-column joints were fabricated and tested, which were applied reversed cyclic loads to simulate seismic action. In this study, the effects of stirrup ratio in joints and the eccentricity which is defined as the distance between the axis of the beam and column on seismic performance are investigated. The test results provide a further understanding of the failure mode and shear strength of exterior beam-column joints. It is shown that the eccentricity will significantly reduce the seismic performance and shear strength of the joints, which will cause the brittle failure of frame buildings, while the stirrups in the joint core can improve the seismic performance. To verify the availability of current codes in predicting the shear strength of eccentric beam-column joints with non-seismic detailed, the experimental results are compared with the predicted shear force of two nonseismic codes (HK code and Eurocode 2) and three seismic codes (Eurocode 8, NZS 3101 and ACI 318-14). The comparison results indicate that the existing non-seismic and seismic design codes of practice do not predict the shear strength of the exterior non-seismically designed joints precisely

Analyse statistique de la puissance absorbée par le corps entier en radiofréquence

Dans ce papier, nous proposons une identification des facteurs morphologiques qui peuvent impacter le Débit d'Absorption Spécifique (DAS) du corps entier dans le cas d'une onde plan. Cette étude compare différents modèles mathématiques et conclue l'analyse des données par des tests statistiques. Sous certaines hypothèses aussi une approche permettant de quantifier le quantile à 95% du DAS pour le corps entier est enfin proposée

Parenting approaches, family functionality, and internet addiction among Hong Kong adolescents

© 2016 Wu et al. Background: Internet addiction (IA) among adolescents has become a global health problem, and public awareness of it is increasing. Many IA risk factors relate to parents and the family environment. This study examined the relationship between IA and parenting approaches and family functionality. Methods: A cross-sectional study was conducted with 2021 secondary students to identify the prevalence of IA and to explore the association between adolescent IA and familial variables, including parents' marital status, family income, family conflict, family functionality, and parenting approaches. Results: The results revealed that 25.3 % of the adolescent respondents exhibited IA, and logistic regression positively predicted the IA of adolescents from divorced families, low-income families, families in which family conflict existed, and severely dysfunctional families. Interestingly, adolescents with restricted Internet use were almost 1.9 times more likely to have IA than those whose use was not restricted. Conclusions: Internet addiction is common among Chinese adolescents in Hong Kong, and family-based prevention strategies should be aligned with the risk factors of IA.Link_to_subscribed_fulltex

Simultaneous-Fault Diagnosis of Automotive Engine Ignition Systems Using Prior Domain Knowledge and Relevance Vector Machine

Engine ignition patterns can be analyzed to identify the engine fault according to both the specific prior domain knowledge and the shape features of the patterns. One of the challenges in ignition system diagnosis is that more than one fault may appear at a time. This kind of problem refers to simultaneous-fault diagnosis. Another challenge is the acquisition of a large amount of costly simultaneous-fault ignition patterns for constructing the diagnostic system because the number of the training patterns depends on the combination of different single faults. The above problems could be resolved by the proposed framework combining feature extraction, probabilistic classification, and decision threshold optimization. With the proposed framework, the features of the single faults in a simultaneous-fault pattern are extracted and then detected using a new probabilistic classifier, namely, pairwise coupling relevance vector machine, which is trained with single-fault patterns only. Therefore, the training dataset of simultaneous-fault patterns is not necessary. Experimental results show that the proposed framework performs well for both single-fault and simultaneous-fault diagnoses and is superior to the existing approach

Dense Cranial Electroacupuncture Stimulation for Major Depressive Disorder—A Single-Blind, Randomized, Controlled Study

BACKGROUND: Previous studies suggest that electroacupuncture possesses therapeutic benefits for depressive disorders. The purpose of this study was to determine whether dense cranial electroacupuncture stimulation (DCEAS) could enhance the antidepressant efficacy in the early phase of selective serotonin reuptake inhibitor (SSRI) treatment of major depressive disorder (MDD). METHODS: In this single-blind, randomized, controlled study, patients with MDD were randomly assigned to 9-session DCEAS or noninvasive electroacupuncture (n-EA) control procedure in combination with fluoxetine (FLX) for 3 weeks. Clinical outcomes were measured using the 17-item Hamilton Depression Rating Scale (HAMD-17), Clinical Global Impression-severity (CGI-S), and Self-rating Depression Scale (SDS) as well as the response and remission rates. RESULTS: Seventy-three patients were randomly assigned to n-EA (n = 35) and DCEAS (n = 38), of whom 34 in n-EA and 36 in DCEAS group were analyzed. DCEAS-treated patients displayed a significantly greater reduction from baseline in HAMD-17 scores at Day 3 through Day 21 and in SDS scores at Day 3 and Day 21 compared to patients receiving n-EA. DCEAS intervention also produced a higher rate of clinically significant response compared to n-EA procedure (19.4% (7/36) vs. 8.8% (3/34)). The incidence of adverse events was similar in the two groups. CONCLUSIONS: DCEAS is a safe and effective intervention that augments the antidepressant efficacy. It can be considered as an additional therapy in the early phase of SSRI treatment of depressed patients. TRIAL REGISTRATION: Controlled-Trials.com ISRCTN88008690

Lycium barbarum Extracts Protect the Brain from Blood-Brain Barrier Disruption and Cerebral Edema in Experimental Stroke

BACKGROUND AND PURPOSE: Ischemic stroke is a destructive cerebrovascular disease and a leading cause of death. Yet, no ideal neuroprotective agents are available, leaving prevention an attractive alternative. The extracts from the fruits of Lycium barbarum (LBP), a Chinese anti-aging medicine and food supplement, showed neuroprotective function in the retina when given prophylactically. We aim to evaluate the protective effects of LBP pre-treatment in an experimental stroke model. METHODS: C57BL/6N male mice were first fed with either vehicle (PBS) or LBP (1 or 10 mg/kg) daily for 7 days. Mice were then subjected to 2-hour transient middle cerebral artery occlusion (MCAO) by the intraluminal method followed by 22-hour reperfusion upon filament removal. Mice were evaluated for neurological deficits just before sacrifice. Brains were harvested for infarct size estimation, water content measurement, immunohistochemical analysis, and Western blot experiments. Evans blue (EB) extravasation was determined to assess blood-brain barrier (BBB) disruption after MCAO. RESULTS: LBP pre-treatment significantly improved neurological deficits as well as decreased infarct size, hemispheric swelling, and water content. Fewer apoptotic cells were identified in LBP-treated brains by TUNEL assay. Reduced EB extravasation, fewer IgG-leaky vessels, and up-regulation of occludin expression were also observed in LBP-treated brains. Moreover, immunoreactivity for aquaporin-4 and glial fibrillary acidic protein were significantly decreased in LBP-treated brains. CONCLUSIONS: Seven-day oral LBP pre-treatment effectively improved neurological deficits, decreased infarct size and cerebral edema as well as protected the brain from BBB disruption, aquaporin-4 up-regulation, and glial activation. The present study suggests that LBP may be used as a prophylactic neuroprotectant in patients at high risk for ischemic stroke.published_or_final_versio

Evaluation of the ClearVoice Strategy in Adults Using HiResolution Fidelity 120 Sound Processing

ObjectivesThis study aimed to evaluate the benefits of ClearVoice strategy on speech perception in noise and in everyday listening situations in Cantonese-speaking cochlear implant users.MethodsTwelve experienced adult users of the Harmony implant and HiRes 120 sound processing participated in the study. The study employed a prospective within-subjects design wherein speech recognition in adults using HiRes 120 without ClearVoice turned on (control option) was compared to their performance with HiRes 120 with ClearVoice turned on. Each subject was evaluated with two different ClearVoice gain settings: -12 dB (ClearVoice medium) and -18 dB (ClearVoice high) after one-week of use. The Cantonese hearing in noise test and a questionnaire were used as the outcome measures.ResultsSubjects performed significantly better with ClearVoice medium than with control option in noise. No significant difference in performance was noted among the 3 settings in quiet. Most subjects reported high level of satisfaction with ClearVoice in daily listening situations and preferred to keep ClearVoice on.ConclusionClearVoice can help cochlear implant recipients to hear better in noise