Miracle-dz/UniFAR-FTUs huggingface dataset:
An inequality in probability theory

1. Let x and y be random variables with finite expectations. We shall say that x dominates y if e I{(x) } > E {+(y) } whenever q5 is a continuous convex function on the real line R1. (The expectations ? {+(x) } and ? {+(y) } are always well defined if + oo is admitted as a value. ) Assume now that xi and x2 are independent and dominate respectively the independent random variables yi and Y2. Let q5 be a continuous convex function on R2 and denote by Fi and Gi the distribution functions of xi and yi. We have
A geometric proof that alternating knots are non-trivial

There are many proofs in the literature of the non-triviality of alternating, classical links in the 3-sphere, but almost all use a combinatorial argument involving some algebraic invariant, namely the determinant [1], the Alexander polynomial [3], the Jones polynomial [5], and, in [6], the Q-polynomial of Brandt–Lickorish–Millett. Indeed, alternating links behave remarkably well with respect to these and other invariants, but this fact has not led to any significant geometric understanding of alternating link types. Therefore it is natural to seek purely geometric proofs of geometric properties of these links. Gabai has given in [4] a striking geometric proof of a related result, also proved earlier by algebraic means in [3], namely that the Seifert surface obtained from a reduced alternating link diagram by Seifert's algorithm has minimal genus for that link. Here, we give an elementary geometric proof of non-triviality of alternating knots, using a slight variation of the techniques set forth in [7, 8]. Note that if L is a link of more than one component and some component of L is spanned by a disk whose interior lies in the complement of L, then L is a split link, i.e. it is separated by a 2-sphere in S3\L; thus we do not consider alternating links of more than one component here, as it is proved in [7] that a connected alternating diagram cannot represent a split link.
Dynamic downscaling of climate simulations and projected changes in tropical South America using RegCM4.7

High‐resolution (dx = 25 km) simulations of the regional climate model RegCM4.7 coupled with the Community Land Model version 4.5 (CLM4.5) under low (RCP2.6) and high (RCP8.5) emissions scenarios, which interact with the Fifth Assessment Report of the Intergovernmental Panel on Climate Change (AR5‐IPCC), were carried out over tropical South America (TSA). These simulations were produced through boundary conditions from simulations driven by the general circulation model HadGEM2‐ES. With the goal of verifying the added value (AV) of RegCM4.7, reproducing in an adequate and coherent way the regional aspects of the historical period (1986–2005), as well as evaluating the regional aspects simulated by the model in the scope of the change projections for the far‐future (2080–2099). For this study, the climate in the TSA was characterized based on the variables of precipitation and near‐surface air temperature. For the evaluation of the spatial–temporal representation, frequency and distribution of the regional and global simulation, the high‐resolution observational dataset of the Climate Research Unit version ts4.02 (CRU) was used. Although some differences and biases still persist, RegCM4.7 presents AV in the spatial representation of precipitation and temperature over the northeast region of Brazil and part of the Andes, especially in winter. However, it does not adequately represent precipitation over the Amazon Basin, especially in summer. Results for future projections indicate that the more refined simulation of RegCM4.7 improves the projected change patterns of the coarser resolution simulation of HadGEM2‐ES and even modifies the precipitation signal in some cases. Both models project increase temperature with greater magnitude for RCP8.5. RegCM4.7 presents a much more refined and realistic spatial distribution. HadGEM2‐ES simulates the major aspects of climate enough to consider forcing RegCM4.7 to generate simulations with better performance and more realistic projections.
Intracranial Granular Cell Tumours in Three Dogs: Atypical Magnetic Resonance Imaging Features and Immunohistochemical Study

Simple Summary Intracranial granular cell tumours are rare tumours of unknown cellular origin. In this case series. we describe three dogs with neurological signs that had magnetic resonance imaging of the brain, and were diagnosed with granular cell tumours through histopathological and histochemical studies. Magnetic resonance imaging characteristics were atypical, showing hypointense lesions on T2-weighted images in all cases. Immunohistochemical studies helped in characterising the tumours and excluded a Schwann cell origin. The findings of this case series indicate that granular cell tumours can be hypointense on T2-weighted magnetic resonance images, and that the cell of origin remains to be determined. Abstract Intracranial granular cell tumours (GCT) are uncommon neoplasms of uncertain cellular origin that are rarely reported in dogs. This case series describes three aged dogs that presented with neurological signs in which magnetic resonance (MR) imaging revealed plaquelike extra-axial lesions that were hypointense on T2-weighted (T2w) images. The surgical biopsy of the lesions and necropsies were followed by histochemical characterisation with periodic acid–Schiff (PAS) staining and immunohistochemistry with ubiquitin, S-100, and SOX-10 to elucidate the cellular origin. The immunohistochemical study indicated that these intracranial GCTs were not of Schwann cell origin. In conclusion, GCTs should be considered a differential diagnosis of intracranial, extra-axial hypointense brain lesions on T2w MR images.
Cylindric filaments and velocity structure functions

We analyze a particular simple case within the framework of the vortex filament (VF) model. It gives the same basic results and allows us to understand the general case better. Advantages and weaknesses of the simplification are considered. The introduction of stochastics into the Navier–Stokes equation, the evolution of VFs and longitudinal and transverse Euler velocity structure functions are analyzed in terms of cylindric filaments.
Optimal short scan convolution reconstruction for fan beam CT

The problem of using a divergent fan beam convolution reconstruction algorithm in conjunction with a minimal complete (180° plus the fan angle) data set is reviewed. It is shown that by proper weighting of the initial data set, image quality essentially equivalent to the quality of reconstructions from 360° data sets is obtained. The constraints on the weights are that the sum of the two weights corresponding to the same line‐integral must equal one, in regions of no data the weights must equal zero, and the weights themselves as well as the gradient of the weights must be continuous over the full 360°. After weighting the initial data with weights that satisfy these constraints, image reconstruction can be conveniently achieved by using the standard (hardwired if available) convolver and backprojector of the specific scanner.
Unlock digital health promotion in LMICs to benefit the youth

As digital technologies such as smartphones and fitness bands become more ubiquitous, individuals can engage in self-monitoring and self-care, gaining greater control over their health trajectories along the life-course. These technologies appeal particularly to young people, who are more familiar with digital devices. How this digital transformation facilitates health promotion is therefore a topic of animated debate. However, most research to date focuses on the promise and peril of digital health promotion (DHP) in high-income settings, while DHP in low- and middle-income countries (LMICs) remain largely unexplored. This narrative review aims to fill this gap by critically examining key ethical challenges of implementing DHP in LMICs, with a focus on young people. In the existing literature, we identified potential impediments as well as enabling conditions. Aspects to consider in unlocking the potential of DHP include (1) addressing the digital divide and structural injustice in data-related practices; (2) engaging the target population and responding to their specific needs given their economic, cultural, and social contexts; (3) monitoring the quality and impact of DHP over time; and (4) improving responsible technology governance and its implementation. Addressing these concerns could result in meaningful health benefits for populations lacking access to more conventional healthcare resources.
H I detection survey of a complete magnitude-limited sample of dwarf irregular galaxies in the Virgo Cluster area

New single-beam Arecibo H I observations of 298 late-type galaxies in the Virgo Cluster drawn mostly from the new catalog of Binggeli, Sandage, and Tammann (1985) are presented. Two hundred seventeen of these constitute a magnitude-limited complete sample of such galaxies, types Sdm through Im and BCD. Sixty-one percent of this complete sample was detected, greatly enhancing the store of redshifts and H I masses for such galaxies in the Virgo Cluster. For detected galaxies, heliocentric velocities, 50 percent profile widths, and single-beam fluxes are presented. For those that escaped detection, upper limits are computed to the flux appropriate to the redshift range (-600 to +3000 km/s). 27 references.
Effect of the surface states on photoluminescence from surface GaN/Al0.2Ga0.8N quantum wells

We report on photoluminescence (PL) measurements at 85 K for GaN/Al0.2Ga0. 8N surface quantum wells (SQWs) with a width in the range of 1.51–2.9 nm. The PL spectra show a redshift with decreasing SQW width, in contrast to the blueshift normally observed for conventional GaN QWs of the same width. The effect is attributed to a strong coupling of SQW confined exciton states with surface acceptors. The PL hence originates from the recombination of surface-acceptor-bound (A0sXA) excitons. Two types of acceptors were identified.
Observer‐based event triggered ADP approach for input‐constrained nonlinear systems with disturbances

This paper proposes an ADP‐based event‐triggered control (ETC) approach for input‐constrained nonlinear systems with external disturbances to effectively save computational cost. An observer is established to estimate unknown disturbances, and a novel performance index function is introduced to suppress the negative effect of disturbances and tackle the control constraints. Under the event‐triggered mechanism, the corresponding nonquadratic Hamilton‐Jacobi‐Bellman equation is further formulated. With the aid of the modified performance index, an event‐triggered condition is designed to reduce the controller updating times with guaranteed system stability. Furthermore, a single critic neural‐network (NN) is constructed to approximate the optimal control policy by using the ADP technique. In order to relax the requirement of initial admissible control, a modification term is added to the critic weight updating law. According to the Lyapunov stability theorem, the closed‐loop nonlinear system and the weight estimation error of the critic NN are both guaranteed to be uniformly ultimately bounded. Finally, simulation results and comparison studies justify the effectiveness of the proposed ADP‐based ETC method.
Off-Grid Space Alternating Sparse Bayesian Learning

Direction of arrival (DOA) and source amplitude estimation are widely encountered in detection and communication as traditional array processing problems. Recently, the sparse Bayesian learning (SBL) technique is increasingly exploited, which outperforms conventional compressive sensing (CS) approaches and provides an improved alternative for DOA and amplitude estimation. Although the accuracy of DOA is enhanced somewhat through SBL, the on-grid implementation of SBL suffers grid mismatch errors due to predefined grids. The off-grid SBL can be employed to address the issue. However, the computation load of off-grid SBL is heavy because of per-iteration matrix inversion and slow convergence, which restricts its application for online systems. An off-grid space alternating multisnapshot SBL (OGSA-MSBL) approach used for DOA and source amplitude estimation is proposed in this article, which introduces the offset between the ground-truth DOA and the grid nodes to refine the model, and employs the space alternating (SA) approach to solve the problem efficiently. Compared with the original SA, the DOA accuracy can be improved even with a reduced number of grids, while the source amplitude can be estimated with higher precision with the first-order Taylor refined beamforming model. As shown by the simulation and experimental results, the recovery accuracy of the proposed method is superior to the state-of-the-art on-grid SBL approaches and comparable to its off-gird counterpart, while much faster in terms of computation efficiency.
Posttranslational modifications and proteinopathies: how guardians of the proteome are defeated

Abstract Protein folding is one of the fundamental processes in life and therefore needs to be tightly regulated. Many cellular quality control systems are in place to ensure that proteostasis is optimally adjusted for a changing environment, facilitating protein folding, translocation and degradation. These systems include the molecular chaperones and the major protein degradation systems, namely the ubiquitin proteasome system and autophagy. However, the capacity of the quality control systems can be exhausted and protein misfolding and aggregation, including the formation of amyloids, can occur as a result of ageing, mutations or exogenous influences. There are many known diseases in which protein misfolding and aggregation can be the underlying cause of the pathological condition; these are referred to as proteinopathies. Over the last decade, it has become clear that posttranslational modifications can govern and modulate protein folding, and that aberrant posttranslational modifications can cause or contribute to proteinopathies. This review provides an overview of protein folding and misfolding and the role of the major protein quality control systems. It focusses on different posttranslational modifications and gives examples of how these posttranslational modifications can alter protein folding and cause or accompany proteinopathies.
Identification of nonwoven uniformity using generalized Gaussian density and fuzzy neural network

A joint method to identify nonwoven uniformity by combining wavelet transform, generalized Gaussian density (GGD) and generalized dynamic fuzzy (GDF) neural network is presented in this paper. Six hundred and twenty‐five nonwoven images of five different grades, 125 images of each grade, are decomposed at three different levels with coif4 wavelet base. Wavelet coefficients in each subband are independently modeled by GGD model, while the scale and shape parameters of that are extracted as input features of GDF neural network. For comparison, two energy‐based features are also extracted from wavelet coefficients directly, the number of which is the same as the scale and shape parameters estimated from GGD model with maximum likelihood (ML) estimator. Experimental results on the 625 nonwoven images indicate the GGD model parameters are more expressive and powerful in characterizing textures than the energy‐based ones. The proposed method has high identification accuracy, such as when the images are decomposed at Level 3 and described with GGD model parameters, the identification accuracies of five grades are all 100%. Additionally, to reduce the redundancy of the generated fuzzy rules, an effective complementary approach, fuzzy rule base reduction based on ‘CityBlock’ distance is proposed.
Multi Modal Feature Extraction for Classification of Vascular Dementia in Post-Stroke Patients Based on EEG Signal

Dementia is a term that represents a set of symptoms that affect the ability of the brain’s cognitive functions related to memory, thinking, behavior, and language. At worst, dementia is often called a major neurocognitive disorder or senile disease. One of the most common types of dementia after Alzheimer’s is vascular dementia. Vascular dementia is closely related to cerebrovascular disease, one of which is stroke. Post-stroke patients with recurrent onset have the potential to develop dementia. An accurate diagnosis is needed for proper therapy management to ensure the patient’s quality of life and prevent it from worsening. The gold standard diagnostic of vascular dementia is complex, includes psychological tests, complete memory tests, and is evidenced by medical imaging of brain lesions. However, brain imaging methods such as CT-Scan, PET-Scan, and MRI have high costs and cannot be routinely used in a short period. For more than two decades, electroencephalogram signal analysis has been an alternative in assisting the diagnosis of brain diseases associated with cognitive decline. Traditional EEG analysis performs visual observations of signals, including rhythm, power, and spikes. Of course, it requires a clinician expert, time consumption, and high costs. Therefore, a quantitative EEG method for identifying vascular dementia in post-stroke patients is discussed in this study. This study used 19 EEG channels recorded from normal elderly, post-stroke with mild cognitive impairment, and post-stroke with dementia. The QEEG method used for feature extraction includes relative power, coherence, and signal complexity; the evaluation performance of normal-mild cognitive impairment-dementia classification was conducted using Support Vector Machine and K-Nearest Neighbor. The results of the classification simulation showed the highest accuracy of 96% by Gaussian SVM with a sensitivity and specificity of 95.6% and 97.9%, respectively. This study is expected to be an additional criterion in the diagnosis of dementia, especially in post-stroke patients.
High Temperature Superconductor Detector Magnets for Future Particle Physics Experiments

Particle physics experiments make use of magnetic fields up to $4 \,\mathrm{T}$ to bend electrically charged particles such that their charge and momentum can be determined. The particle energy measurement requires a low amount of material, or material that is highly transparent to particles inside the calorimeter volume. The conflict between the small volume of space reserved for a magnet and having a field of several teslas inside the detector is often resolved by using superconducting magnets. Up to now, large particle physics detector magnets have been constructed with low temperature superconductors, but there are clear benefits from using high temperature superconductors in future particle physics detector designs, such as allowing for an elevated operating temperature and the reduced amount of superconductor needed. In addition to the HTS material itself, additional material is needed to support the Lorentz forces, and to temporarily carry the current in case of a quench since these magnets are always one-of-a-kind and they need to operate reliably and without damage in case of a failure scenario. The stabilizer has to be a low-density material for high particle transparency, such as aluminium. Since the density of the superconductor is a factor of 4 higher than the density of aluminium, a reduction of superconducting material also means an improvement of the particle transparency: the density of a material is directly related to its particle transparency. This paper presents a conceptual design for high temperature superconducting detector magnets and a study of the type of aluminium stabilizer used.
New nonlinear optical crystal: Cesium lithium borate

A new nonlinear optical crystal CsLiB6O10 (CLBO), is described that can be grown from either stoichiometric melt or from solution. A large, high quality single crystal with dimensions of 14×11×11 cm3 was obtained by the top‐seeded Kyropoulos method. Fourth harmonic and fifth harmonic generations of the 1.064 μm Nd:YAG laser radiation with type‐I phase matching were realized in the CLBO crystal. Output pulse energies obtained were 110 mJ at 266 nm and 35 mJ at 213 nm.
Gap measurement in Nb/NbO/sub x//Al injection controlled planar three terminal devices

The characteristics of Nb/NbO/sub x//Al injection-controlled planar three-terminal superconducting devices (injection-controlled links) have been studied experimentally. A built-in Nb/AlO/sub x//Nb Josephson junction is used to perform direct tunneling measurement, whose results show that the gap in the Nb strip decreases as its critical current is suppressed. It is also shown that the static characteristics of the devices with high and low injector resistance can be fitted to a simple heating model and a modified heating model, respectively. >
The asymptotic behavior of threshold-based classification rules constructed from a sample from a mixture with varying concentrations

We consider a problem on finding the best threshold-based classification rule constructed from a sample from a mixture with varying concentrations. We show that the rate of convergence of the minimal empirical risk estimators to the optimal threshold is of order N−1/3 for smooth distributions, while the rate of convergence of the Bayes empirical estimators is of order N−2/5 where N is the size of a sample.
Effects of Taekwondo Training on Growth Factors in Normal Korean Children and Adolescents: A Systematic Review and Meta-Analysis of Randomized Controlled Trials

The growth of children and adolescents is both an important health indicator and a major public health issue. Many recent studies have investigated the effects of taekwondo on growth factors, but no consensus has yet been reached. This meta-analysis aimed to determine the effects of taekwondo on the growth factors in children and adolescents (aged 8 to 16 years). Randomized controlled trials from PubMed, Web of Science, Cochrane Library, the Research Information Sharing Service, the Korea Citation Index, and the Korean-studies Information Service System were analyzed. The effect sizes (standardized mean differences, SMD) were calculated, the risk of bias and publication bias were assessed, and the effect size and subgroup analyses were pooled. We found that the taekwondo group had significantly higher levels of growth hormones (SMD 1.78, 95% confidence interval [CI] 0.98–2.58, and p < 0.001) and insulin-like growth factors (SMD 1.76, 95% CI 0.60–2.92, and p < 0.001) than the control group. For height, a medium effect size was observed (SMD 0.62, 95% CI −0.56–1.80, and p = 0.300), but the between-group difference was not significant. Thus, taekwondo had significant positive effects on the secretion of growth hormones and insulin-like growth factors in Korean children and adolescents. A longitudinal follow-up is necessary to determine the effect on height. This suggests that taekwondo can be recommended as an appropriate physical exercise for maintaining normal growth in children and adolescents.