Miracle-dz/UniFAR-FTUs huggingface dataset:
Anticyclotomic Iwasawa's Main Conjecture for Hilbert modular forms

LetF=Q be a totally real extension andf an Hilbert modular cusp form of level n, with trivial central character and parallel weight 2, which is an eigenform for the action of the Hecke algebra. Fix a prime }j n of F of residual characteristic p. Let K=F be a quadratic totally imaginary extension and K}1 be the }-anticyclotomic Zp-extension of K. The main result of this paper, generalizing the analogous result (5) of Bertolini and Darmon, states that, under suitable arithmetic assumptions and some technical restrictions, the characteristic power series of the Pontryagin dual of the Selmer group attached to.f;K}1/ divides thep-adicL-function attached to . f;K}1/, thus proving one direction of the Anticyclotomic Main Conjecture for Hilbert modular forms. Arithmetic applications are given.
Treatment Strategy for Rifampin-Susceptible Tuberculosis.

BACKGROUND Tuberculosis is usually treated with a 6-month rifampin-based regimen. Whether a strategy involving shorter initial treatment may lead to similar outcomes is unclear. METHODS In this adaptive, open-label, noninferiority trial, we randomly assigned participants with rifampin-susceptible pulmonary tuberculosis to undergo either standard treatment (rifampin and isoniazid for 24 weeks with pyrazinamide and ethambutol for the first 8 weeks) or a strategy involving initial treatment with an 8-week regimen, extended treatment for persistent clinical disease, monitoring after treatment, and retreatment for relapse. There were four strategy groups with different initial regimens; noninferiority was assessed in the two strategy groups with complete enrollment, which had initial regimens of high-dose rifampin-linezolid and bedaquiline-linezolid (each with isoniazid, pyrazinamide, and ethambutol). The primary outcome was a composite of death, ongoing treatment, or active disease at week 96. The noninferiority margin was 12 percentage points. RESULTS Of the 674 participants in the intention-to-treat population, 4 (0.6%) withdrew consent or were lost to follow-up. A primary-outcome event occurred in 7 of the 181 participants (3.9%) in the standard-treatment group, as compared with 21 of the 184 participants (11.4%) in the strategy group with an initial rifampin-linezolid regimen (adjusted difference, 7.4 percentage points; 97.5% confidence interval [CI], 1.7 to 13.2; noninferiority not met) and 11 of the 189 participants (5.8%) in the strategy group with an initial bedaquiline-linezolid regimen (adjusted difference, 0.8 percentage points; 97.5% CI, -3.4 to 5.1; noninferiority met). The mean total duration of treatment was 180 days in the standard-treatment group, 106 days in the rifampin-linezolid strategy group, and 85 days in the bedaquiline-linezolid strategy group. The incidences of grade 3 or 4 adverse events and serious adverse events were similar in the three groups. CONCLUSIONS A strategy involving initial treatment with an 8-week bedaquiline-linezolid regimen was noninferior to standard treatment for tuberculosis with respect to clinical outcomes. The strategy was associated with a shorter total duration of treatment and with no evident safety concerns. (Funded by the Singapore National Medical Research Council and others; TRUNCATE-TB ClinicalTrials.gov number, NCT03474198.).
Finite Element Methods

More than ten years ago, the finite element method, a modern, systematic numerical method for solving differential equations, was created and developed independently and along different lines in China[6] and the West. Its original purpose was to solve for equilibria and stable configurations, i.e. to solve elliptic equations. It has stood a large number of practical tests, and, in particular, has been used widely in the field of elastic structures with remarkable success. Recently, with the aid of computers, the finite element method has been applied to almost all fileds of engineering and to many fields of science and technology, and has become a routine means for modern engineering analysis. It is an important achievement of modern computational mathematics.
Nonlocality and optics of inhomogeneous systems: The role of quantum induction

Nonlocal interactions play a prominent role in the optics of inhomogeneous systems. Classical discrete dipole descriptions take into account only electro-magnetic nonlocality. This is insufficient to describe correctly the inhomogeneous optical response (e.g., reflectance anisotropy) for covalently bonded systems like semiconductor surfaces. For those systems also a prominent quantum mechanical nonlocality exists. In a cellular description this can be understood easily from the behavior of the wave function. For strongly bonded systems the wave function extends across cell boundaries and when cells are polarized, neighboring cells get polarized as well. This quantum induction introduces nonlocal polarizabilities in the description. The technical details how discrete dipole models have to be adapted to use nonlocal polarizabilities in finite systems and crystalline slabs and surfaces are given in this paper. The modified method is called discrete cellular method.
SARS-COV-2 viroporins activate the NLRP3-inflammasome by the mitochondrial permeability transition pore

Background Compared to healthy controls, severe COVID19 patients display increased levels of activated NLRP3-inflammasome (NLRP3-I) and interleukin (IL)-1β. SARS-CoV-2 encodes viroporin proteins E and Orf3a(2-E+2-3a) with homologs to SARS-CoV-1, 1-E+1-3a, which elevate NLRP3-I activation; by an unknown mechanism. Thus, we investigated how 2-E+2-3a activates the NLRP3-I to better understand the pathophysiology of severe COVID-19. Methods We generated a polycistronic expression-vector co-expressing 2-E+2-3a from a single transcript. To elucidate how 2-E+2-3a activates the NLRP3-I, we reconstituted the NLRP3-I in 293T cells and used THP1-derived macrophages to monitor the secretion of mature IL-1β. Mitochondrial physiology was assessed using fluorescent microscopy and plate reader assays, and the release of mitochondrial DNA (mtDNA) was detected from cytosolic-enriched fractions using Real-Time PCR. Results Expression of 2-E+2-3a in 293T cells increased cytosolic Ca++ and elevated mitochondrial Ca++, taken up through the MCUi11-sensitive mitochondrial calcium uniporter. Increased mitochondrial Ca++ stimulated NADH, mitochondrial reactive oxygen species (mROS) production and the release of mtDNA into the cytosol. Expression of 2-E+2-3a in NLRP3-I reconstituted 293T cells and THP1-derived macrophages displayed increased secretion of IL-1β. Increasing mitochondrial antioxidant defenses via treatment with MnTBAP or genetic expression of mCAT abolished 2-E+2-3a elevation of mROS, cytosolic mtDNA levels, and secretion of NLRP3-activated-IL-1β. The 2-E+2-3a-induced release of mtDNA and the secretion of NLRP3-activated-IL-1β were absent in cells lacking mtDNA and blocked in cells treated with the mitochondrial-permeability-pore(mtPTP)-specific inhibitor NIM811. Conclusion Our findings revealed that mROS activates the release of mitochondrial DNA via the NIM811-sensitive mitochondrial-permeability-pore(mtPTP), activating the inflammasome. Hence, interventions targeting mROS and the mtPTP may mitigate the severity of COVID-19 cytokine storms. Graphical Abstract
Vertex Dynamics of Two-Dimensional Cellular Patterns

Time evolution of a two-dimensional cellular structure is studied by computer for a deterministic dissipative model system of interacting vertices. Despite its completely deterministic nature, our model gives rise to fully-developed random cellular structures which abound in nature. Both the growth law and the shape distribution for cells are obtained and are compared with other existing studies.
The Comparison of Time Series Recorders

The problem of comparing the outputs of several time series recorders when each receives the same signal together with stationary, additive noise is considered. When the signal is stationary or is the sum of stationary and periodic components, methods of estimating some parameters using frequency domain methods are given. The estimates are obtained by maximizing an approximate Gaussian likelihood but do not require Gaussian data. The estimation is particularly simple if the spectra of the different error processes are equal. Asymptotic properties of the estimators are presented here with an application of the methods. A small simulation study shows that the asymptotic theory is a reasonable approximation for this application.
Assessment of Zataria Multiflora Essential Oil—Incorporated Electrospun Polyvinyl Alcohol Fiber Mat as Active Packaging

In this study, an active packaging containing Zataria multiflora essential oil (ZMEO), a powerful natural antimicrobial agent, encapsulated into polyvinyl alcohol (PVA) fiber via electrospinning is presented. ZMEO was effective on pathogenic bacteria, particularly Gram-positive bacteria (Staphylococcus aureus, Bacillus cereus, Listeria monosytogene), fungi and yeasts (Aspergillus fumigatus, Candida albicans). Results showed that the scanning electron microscopy (SEM) images of fibers had a bead-free and uniform structure. Fourier-transform infrared (FTIR) revealed that ZMEO was encapsulated into PVA through a physical process, without chemical interaction between the ingredients. Strawberries treated with PVA/ZMEO significantly (p < 0.05) preserved the anthocyanin (18.64%), total phenols (12.95%), antioxidant (22.72%), soluble solids (6.44%), titratable acidity (20.88%), firmness (27.2%), and color (15.55%) compared to the control sample during 15 days of cold storage. According to these findings, electrospinning was an efficient method for encapsulating bioactive compounds. ZMEO loaded into PVA fiber delayed the physiological and biochemical changes of fruits and extended the fruit’s shelf-life. This study revealed the benefits of incorporating ZMEO into PVA fiber mats, which could lead to new possibilities for active packaging.
Glucose-6-Phosphate Dehydrogenase Activity in Milk May Serve as a Non-Invasive Metabolic Biomarker of Energy Balance in Postpartum Dairy Cows

Negative energy balance (EB) postpartum is associated with adverse outcomes in dairy cows; therefore, non-invasive biomarkers to measure EB are of particular interest. We determined whether specific metabolites, oxidative stress indicators, enzyme activity, and fatty acid (FA) profiles in milk can serve as indicators of negative EB. Forty-two multiparous Holstein dairy cows were divided at calving into 2 groups: one was milked 3 times daily and the other, twice a day for the first 30 d in milk (DIM). Cows were classified retrospectively as being in either negative EB (NEB, n = 19; the mean EB during the first 21 DIM were less than the overall median of −2.8 Mcal/d), or in positive EB (PEB, n = 21; the mean EB was ≥−2.8 Mcal/d). The daily milk yield, feed intake, and body weight were recorded individually. Blood samples were analyzed for metabolites and stress biomarkers. Milk samples were taken twice weekly from 5 to 45 DIM to analyze the milk solids, the FA profile, glucose, glucose-6-P (G6P), G6P-dehydrogenase (G6PDH) activity, malic and lactic acids, malondialdehyde (MDA), and oxygen radical antioxidant capacity (ORAC). The NEB cows produced 10.5% more milk, and consumed 7.6% less dry matter than the PEB cows. The plasma glucose concentration was greater and β-hydroxybutyrate was lower in the PEB vs. the NEB cows. The average concentrations of milk glucose, G6P, malic and lactic acids, and MDA did not differ between groups; however, the G6PDH activity was higher and ORAC tended to be higher in the milk of NEB vs. the PEB cows. The correlation between milk G6PDH activity and EB was significant (r = −0.39). The percentages of oleic acid and total unsaturated FA in milk were higher for the NEB vs. the PEB cows. These findings indicate that G6PDH activity in milk is associated with NEB and that it can serve as a non-invasive candidate biomarker of NEB in postpartum cows, that should be validated in future studies.
Meta-analyzing the efficacy of 3D printed models in anatomy education

Three-dimensional printing models (3DPs) have been widely used in medical anatomy training. However, the 3DPs evaluation results differ depending on such factors as the training objects, experimental design, organ parts, and test content. Thus, this systematic evaluation was carried out to better understand the role of 3DPs in different populations and different experimental designs. Controlled (CON) studies of 3DPs were retrieved from PubMed and Web of Science databases, where the participants were medical students or residents. The teaching content is the anatomical knowledge of human organs. One evaluation indicator is the mastery of anatomical knowledge after training, and the other is the satisfaction of participants with 3DPs. On the whole, the performance of the 3DPs group was higher than that of the CON group; however, there was no statistical difference in the resident subgroup, and there was no statistical difference for 3DPs vs. 3D visual imaging (3DI). In terms of satisfaction rate, the summary data showed that the difference between the 3DPs group (83.6%) vs. the CON group (69.6%) (binary variable) was not statistically significant, with p > 0.05. 3DPs has a positive effect on anatomy teaching, although there are no statistical differences in the performance tests of individual subgroups; participants generally had good evaluations and satisfaction with 3DPs. 3DPs still faces challenges in production cost, raw material source, authenticity, durability, etc. The future of 3D-printing-model-assisted anatomy teaching is worthy of expectation.
Evaluation of friction‐welded aluminum‐steel bonds using dispersive guided modes of a layered substrate

In nondestructive evaluation the inspection of bond quality is a very important problem. In this paper we suggest an experimental method based on dispersion curve measurements for evaluating the quality of the bond between a layer and a substrate bonded by the inertia‐friction welding process. The experimental results are in good agreement with theoretical calculations which show that the behavior of the lowest velocity modes is very sensitive to the interface conditions and to the quality of the bond.
Reliability and validity of the K-force grip dynamometer in healthy subjects: do we need to assess it three times?

Introduction Digital dynamometers to assess grip strength are becoming more common in research and clinical settings. The aim of the study was to assess validity and reliability of the K-force dynamometer compared to the Jamar dynamometer. We also aimed to assess differences over the course of three measurements. Methods Twenty-seven healthy participants were included. Three trials with the K-force and Jamar dynamometers were completed. Testing order was randomised. Intraclass correlation coefficients (ICCs) with absolute agreement assessed reliability and validity. Standard error of the measurement (SEM) and minimal detectable change (MDC95) were calculated. Concurrent validity was assessed using Pearson’s correlations and ICCs. Differences between the three repetitions were assessed using one-way repeated measures ANOVAs. Results Both the K-force and the Jamar presented excellent intra-rater reliability with ICCs ranging from 0.96 to 0.97. The SEM ranged from 1.7 to 2 kg and the MDC from 4.7 to 5.7 kg for both dynamometers. The concurrent validity of the K-force was high (r ≥ 0.89). However, the K-force underestimated the grip strength by 4.5–8.5 kg. There was no change in grip strength with either dynamometer over the course of three trials. Conclusions: The K-force is reliable, but it underestimates grip strength by 4.5–8.5 kg compared to the Jamar dynamometer. K-force can be used to monitor progress over time but cannot be used to compare results against normative data. The use of a single measurement when assessing grip strength is sufficient when assessing healthy subjects.
Bioreactor analyses of tissue ingrowth, ongrowth and remodelling around implants: An alternative to live animal testing

Introduction: Preclinical assessment of bone remodelling onto, into or around novel implant technologies is underpinned by a large live animal testing burden. The aim of this study was to explore whether a lab-based bioreactor model could provide similar insight. Method: Twelve ex vivo trabecular bone cylinders were extracted from porcine femora and were implanted with additively manufactured stochastic porous titanium implants. Half were cultured dynamically, in a bioreactor with continuous fluid flow and daily cyclic loading, and half in static well plates. Tissue ongrowth, ingrowth and remodelling around the implants were evaluated with imaging and mechanical testing. Results: For both culture conditions, scanning electron microscopy (SEM) revealed bone ongrowth; widefield, backscatter SEM, micro computed tomography scanning, and histology revealed mineralisation inside the implant pores; and histology revealed woven bone formation and bone resorption around the implant. The imaging evidence of this tissue ongrowth, ingrowth and remodelling around the implant was greater for the dynamically cultured samples, and the mechanical testing revealed that the dynamically cultured samples had approximately three times greater push-through fixation strength (p < 0.05). Discussion: Ex vivo bone models enable the analysis of tissue remodelling onto, into and around porous implants in the lab. While static culture conditions exhibited some characteristics of bony adaptation to implantation, simulating physiological conditions with a bioreactor led to an accelerated response.
The minimax approach to stochastic programming and an illustrative application

The minimax approach to stochastic programming with recourse deals with the case of incomplete knowledge of the distribution F of the random coefficients. It leads to the deterministic program [ILM0001] where x is a given set of admissible solutions, φis a recourse function and f is a given set of distributions. To express the objective function of (*) in a form suitable for further computation, general results on the moment problem can be used.In section 1, the main ideas are briefly surveyed. Subsequently, the method is applied to (*) in section 2. It is shown how the results can be used both to draw conclusions on robustness of the optimal value of the given stochastic program with respect to the set of distributions considered, and to study sensitivity of the optimal solution with respect to a specified distribution. In section 3, an application to a stochastic model of a water resource system with incomplete knowledge about the distribution of the random demand is suggested
Fluctuation of serum creatinine: preoperative and postoperative evaluation of chronic kidney disease patients

Renal impairment is one of the most severe non-communicable diseases around the world. Especially patients with diagnosed/newly diagnosed renal impairment who needed surgery are more focused on preoperative and postoperative preparation. Serum creatinine is the prime biochemical marker for assessing renal function and the level of impairment is widely measured by this marker as well as Glomerular Filtration Rate (GFR). Objective: Factors responsible for fluctuating serum creatinine during preoperative and postoperative periods and minimizing the process of serum creatinine is the ultimate goal of this study. Method: 37 patients participated in this cross-sectional study who were previously diagnosed/newly diagnosed. They were admitted to different tertiary-level hospitals for emergency or elective surgery. 15 patients were admitted in the renal function impairment stage and 22 were admitted as normal patients’. Values of creatinine at the pre-admission stage and 2nd/3rd post-admission follow-up were compared. Results: 0.41 was the average of 22 patients’ creatinine between pre-admission and 2nd/3rd follow-up. The responsible factor like prolonged staying, immobilization, co-morbidities, different preoperative antibiotics and NSAIDs were also inducers for creatinine elevation. After postoperative hemodialysis rapid decrease of creatinine is seen in normal patients but this decrease is very much minor in CKD-diagnosed patients.
Frequency domain singleton fuzzification in the design of fuzzy logic controllers

In this paper, an alternative approach for implementing singleton fuzzification in fuzzy controllers is presented. Fuzzification is translated to the frequency domain by means of a frequency-modulated-sinusoid signal, whose spectral representation is a Dirac's delta function (singleton fuzzifier). This sinusoid is applied to a non recursive filter which is considered as a membership function generator. This approach facilitates the on line reconfiguration of membership functions in hardware based fuzzy controllers. Two control problems are presented where frequency domain singleton fuzzification has been used.
A Simple Argument Showing How to Derive Restricted Maximum Likelihood

Abstract This paper presents a pedagogical argument to explain to quantitative geneticists how REML can be derived from maximum likelihood for estimation of variance components. The argument is first developed for N independent normal observations with mean μ and variance σ 2 and is afterward extended to a general linear mixed model structure, y ∼ N(Xβ,V). The argument is taken from expectation-maximization theory and consists of replacement of a quadratic in μ or β by its conditional expectation given the observed data and the variance components.
Optimal design of flexible production lines with unreliable machines and infinite buffers

Despite the increasing use of automated manufacturing systems, combining flexible technology, only a few models for designing such systems are available. This paper presents a model for the determination of the profit-maximizing configuration of workstations (both machine types and number) along a flexible production line with unreliable machines and infinite buffers. A mixed integer programming formulation of the problem is introduced and an optimal solution algorithm is developed. For large scale problems a heuristic procedure is presented.
QUANTITATIVE MEASURES OF MODAL CONTROLLABILITY AND OBSERVABILITY IN VIBRATION CONTROL OF DEFECTIVE AND NEAR-DEFECTIVE SYSTEMS

In this paper, we focus on the control problem of defective systems with repeated eigenvalues. Using the singular-value decomposition of input matrix B and output matrix C in the modal subspace, the quantitative measures of modal controllability and observability of defective systems are discussed. For a near-defective system with close eigenvalues, we first transform it into a defective one, and then apply the same method to deal with near-defective systems. Numerical examples for a general damping system and an airfoil are given to illustrate the applications of the present method.