Miracle-dz/UniFAR-FTUs huggingface dataset:
A mixed virtual element method for the Brinkman problem

In this paper, we introduce and analyze a mixed virtual element method (mixed-VEM) for the two-dimensional Brinkman model of porous media flow with non-homogeneous Dirichlet boundary conditions. More precisely, we employ a dual-mixed formulation in which the only unknown is given by the pseudostress, whereas the velocity and pressure are computed via postprocessing formulae. We first recall the corresponding variational formulation, and then summarize the main mixed-VEM ingredients that are required for our discrete analysis. In particular, in order to define a calculable discrete bilinear form, whose continuous version involves deviatoric tensors, we propose two well-known alternatives for the local projector onto a suitable polynomial subspace, which allows the explicit integration of these terms. Next, we show that the global discrete bilinear form satisfies the hypotheses required by the Lax–Milgram lemma. In this way, we conclude the well-posedness of our mixed-VEM scheme and derive the associated a priori error estimates for the virtual solution as well as for the fully computable projection of it. Furthermore, we also introduce a second element-by-element postprocessing formula for the pseudostress, which yields an optimally convergent approximation of this unknown with respect to the broken ℍ(div)-norm. Finally, several numerical results illustrating the good performance of the method and confirming the theoretical rates of convergence are presented.
The Relationship between Part 121 Pilots’ Age and Accident Rates

This ex post facto study examined the relationship between Part 121 pilots’ age and accident rate per 1000 flight hours using data from Aviation Safety Information Analysis and Sharing(ASIAS) for the 14-year period 1998–2011. Of the 970 aviation events reported, 267 met our definition of an accident, which followed the FAA’s definition but also included a more restrictive requirement that the accident had to be related to pilot error. Of the 267 aviation accidents, 97 (36%) had missing age or flight hours data, which reduced the sample size to N = 170. Regression analyses confirmed neither a significant bivariate linear relationship, r2 = . 007, F(1, 35) = 0.26, p = . 6127, nor a quadratic relationship, R2 = . 102, F (2, 34) = 1.93, p = . 1601,between pilot age and accident rate. Furthermore, although the increment in explained variance (sr2) between the linear and quadratic models was . 095, this increment was not significant, F(1, 35) = 3.687, p = . 0630. Findings indicate that pilot age was not a significant predictor of aviation accident rates with respect to accidents that involved pilot error. A recommendation for practice is for the FAA to reconsider the age restriction for Part 121 pilots, and for the NTSB to strive for data completeness and integrity by ensuring that all the data are collected and included in their investigation reports.
As shown in Figure 3, the time domain voltage waveform records at the observation point are compared for the improved CN-FDTD method with simulation time steps

A low cost miniaturized CP antenna is proposed for UHF RFID (Radio Frequency Identification) reader applications. The antenna is composed of a vertical ground and a square-ring patch with truncated corners. A novel capacitively coupled feed structure is proposed for good impedance matching. The antenna has S11 20 dB and a gain level of about 6.9 dBi at 920–925 MHz (Chinese RFID band). Comparing to the conventional CP antenna, the size of the proposed antenna can be reduced by 33%. © 2009 Wiley Periodicals, Inc. Microwave Opt Technol Lett 51: 2382–2384, 2009; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop. 24612 Figure 3 Comparison of time domain waveforms for voltages at observation point TABLE 1 The Improved CN-FDTD Simulation Results for the Cavity With Eccentric Annular Cross Section
SURFACE GLYCOPROTEIN PATTERNS OF NORMAL A N D MALIGNANT HUMAN LYMPHOID CELLS

Exposed surface glycoproteins of resting and in vitro activated human T lymphocytes and leukemic T-cell lines were labelled by the galactose oxidasetritiated sodium borohydride method. The labelled glycoproteins were separated by polyacrylamide slab gel electrophoresis and visualized by autoradiography. The basic glycoprotein patterns of the T lymphocytes and T blasts were found also In the leukemic T cells. The glycoprotein pattern of the T-cell lines was easily distinguishable from that of other hematopoietic cell lines. The findings suggest that: (1) surface glycoprotein analysis might be useful for the identification of cell lines and for the differential diagnosis of hematopoietic malignancies; and (2) cells of cultured T lines may be used for the identification and preparation of T lymphoid differentiation antigens and perhaps also tumor-associated surface molecules.
EARLY EVENTS IN TRANSFORMATION INDUCTION OF DNA SYNTHESIS, MITOSIS AND OF HUMAN CORD LEUKOCYTES BY EPSTEIN-BARR VIRUS: THE VIRUS-ASSOCIATED NUCLEAR ANTIGEN SYNTHESIS

The present investigations were undertaken to establish the early events in EBVinduced transformation of human cord lymphocytes with particular reference to the induction of D N A synthesis, mitosis and viral synthesis. When cord leukocytes were exposed to a 3 h pulse of 3H-TdR at 3 h intervals following EBVinfection and examined by autoradiography, blastoid cells with labelled nuclei appeared 12-24 h after virus exposure, reaching a maximum of 7.5% in I S h. When the infected leukocytes were reincubated after each pulse for an additional 20-40 h with colchicine added I0 h prior to termination of incubation, 18 % of the positive cells were in mitosis. The cells were examined by immunofluorescence for the synthesis of EB V-associated antigens. Early antigen ( E A J and viral capsidantigen ( VCA)were not detected, but El3 V-associated nuclear antigen ( E B N A ) synthesis became evident as early as 2 days after infection. The ,frequency of EBNA-positive cells, mostly blastoid cells, increased with continued incubation, and at I0 days the majority of the cells were positive. These findings strongly suggest that the human cord leukocytes are non-permissive for replication of EBV, and that the virus can induce in them early DNA synthesis followed by high-frequency mitosis and cell proliferation, in close association of the viral genome with the host-cell genome as shown by the synthesis of EBV-speciJic “footprint”.
An improved cuckoo search algorithm and its application in vibration fault diagnosis for a hydroelectric generating unit

ABSTRACT This article presents an improved cuckoo search (ICS) algorithm based on the parametric adaptation mechanism and non-uniform mutation. In the ICS algorithm, the biased random walk operator is modified to take advantage of the neighbourhood information of the current solution, and then the control parameters of step size, discovery probability and scaling factor are directly integrated into the optimized problems. Meanwhile, the non-uniform mutation operation is used to adaptively tune the search step of the current optimal solution. To evaluate the feasibility and efficiency of the presented algorithm, three groups of benchmark test functions are employed to perform the validation analysis. Subsequently, to diagnose the vibration fault of a hydroelectric generating unit, a combinational model is built, which combines ICS with a back-propagation neural network (ICSBP). The experimental results indicate that ICS is competitive on the optimization problems, and the ICSBP approach can effectively improve the accuracy of vibration fault diagnosis for a hydroelectric generating unit.
The noise figure versus LO power and input-matching optimiza-

A high-performance S-band power amplifier fabricated on a low-cost 20-mil-thick FR-4 printed circuit board (PCB) for S-band radar applications is demonstrated. The amplifier consists of a singleended driver stage and a balanced output power stage utilizing Wilkinson power dividers/combiners with quarter-wave transmission lines. Under 10-V and 2.45-A dc bias condition, the S-band power amplifier with 23-dB small-signal gain, 38-dBm 1-dB gain-compression power with 25.6% power-added efficiency (PAE) and 3.9-dB noise figure can be achieved. In addition, excellent linearity with a 48.73-dBm 3-order intercept point is also measured. © 2005 Wiley Periodicals, Inc. Microwave Opt Technol Lett 44: 311–313, 2005; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop. 20620
Some ZK security proofs for Belenios

The purpose of this document is to justify the use of ZK proofs in Belenios. Most of them are exactly the same as in Helios, and we detail them only for completeness. But in Belenios, there is also a variant to explicitly allow blank votes which was not present in Helios; hence we find it necessary to detail the security proof in that case. All the proofs use standard arguments about Sigma-protocols.
Task Allocation Scheme for Cyber Physical Social Systems

Cyber-physical social system (CPSS) has emerged to integrate the interaction between the physical, cyber, and social world. However, due to the ever-increasing amount of sensing data and the limited resources of mobile systems, how to allocate the tasks by crowd sensing to enable a high-confidence CPSS becomes a new challenge. Therefore, in this paper we propose a novel game theoretical approach to allocate tasks with the trust and incentives in CPSS. First, with the analysis of social tie of mobile users, a trust evaluation mechanism is developed to evaluate the reputation of mobile users. Second, by introducing a virtual currency, the incentive mechanism is designed to encourage mobile users to undertake the tasks by crowd sensing. Third, based on the interaction of task requester and mobile users, a bargaining game model is presented to allocate tasks where the optimal price can be determined by the subgame perfect Nash equilibrium. Finally, extensive simulations are carried out to demonstrate that the proposal can outperform other conventional methods.
STK11 mutation impacts CD1E expression to regulate the differentiation of macrophages in lung adenocarcinoma

The deficiency of serine/threonine protein kinase 11 (STK11), one of the most common tumor suppressor genes in non‐small‐cell lung cancer, is a crucial player in tumor immune microenvironment regulation. This study attempted to unveil how mutated STK11 impact the differentiation of macrophages in lung adenocarcinoma (LUAD).
Exploring the barriers and enablers of diabetes care in a remote Australian context: A qualitative study

Objective This qualitative study explored the current barriers and enablers of diabetes care in the Indian Ocean Territories (IOT). Methods A constructivist grounded theory approach that incorporated semi-structured telephone interviews was employed. Initial analysis of the interview transcripts used a line-by-line approach, to identify recurring themes, connections, and patterns, before they were re-labelled and categorised. This was followed by axial coding, categorisation refinement, and mapping of diabetes triggers in the IOT. Participants and setting The IOT, consisting of Christmas Island and the Cocos (Keeling) Islands, are some of the most remote areas in Australia. When compared with mainland Australia, the prevalence of type 2 diabetes in the IOT is disproportionately higher. There were no known cases of type 1 diabetes at the time of the study. Like other remote communities, these communities experience difficulties in accessing health services to prevent and manage diabetes. Twenty health care professionals and health service administrators in the IOT took part in semi-structured telephone interviews held during April-June 2020. Participants included GPs, nurses, dietitians, social and community services workers, school principals, and administrators. The interview questions focused on their perceptions of the current diabetes care in place in the IOT and their views on the challenges of providing diabetes care in the IOT. Results We identified four main barriers and two main enabling factors to the provision of effective diabetes care in the IOT. The barriers were: (i) societal influences; (ii) family; (iii) changing availability of food; (v) sustainability and communication. The two main enablers were: (i) tailoring interventions to meet local and cultural needs and values; and (ii) proactive compliance with the medical model of care. Conclusion Due to the cultural and linguistic diversity within the IOT, many of the identified barriers and enablers are unique to this community and need to be considered and incorporated into routine diabetes care to ensure successful and effective delivery of services in a remote context.
Harmonization of ICF Body Structures and ICD-11 Anatomic Detail: One foundation for multiple classifications

The Family of International Classifications of the World Health Organization (WHO-FIC) currently includes three reference classifications, namely International Classification of Diseases (ICD), International Classification of Functioning, Disability, and Health (ICF), and International Classification of Health Interventions (ICHI). Recently, the three classifications have been incorporated into a single WHO-FIC Foundation that serves as the repository of all concepts in the classifications. Each classification serves a specific classification need. However, they share some common concepts that are present, in different forms, in two or all of them. For the WHO-FIC Foundation to be a logically consistent repository without duplicates, these common concepts must be reconciled. One important set of shared concepts is the representation of human anatomy entities, which are not always modeled in the same way and with the same level of detail. To understand the relationships among the three anatomical representations, an effort is needed to compare them, identifying common areas, gaps, and compatible and incompatible modeling. The work presented here contributes to this effort, focusing on the anatomy representations in ICF and ICD-11. For this aim, three experts were asked to identify, for each entity in the ICF Body Structures, one or more entities in the ICD-11 Anatomic Detail that could be considered identical, broader or narrower. To do this, they used a specifically developed web application, which also automatically identified the most obvious equivalences. A total of 631 maps were independently identified by the three mappers for 218 ICF Body Structures, with an interobserver agreement of 93.5%. Together with 113 maps identified by the software, they were then consolidated into 434 relations. The results highlight some differences between the two classifications: in general, ICF is less detailed than ICD-11; ICF favors lumping of structures; in very few cases, the two classifications follow different anatomic models. For these issues, solutions have to be found that are compliant with the WHO approach to classification modeling and maintenance.
Voice livness detection based on pop-noise detector with phoneme information for speaker verification

This paper proposes a pop-noise detector using phoneme information for a voice liveness detection (VLD) framework. In recent years, spoofing attacks (e.g., reply, speech synthesis, and voice conversion) have become a serious problem against speaker verification systems. Some techniques have been proposed to protect the speaker verification systems from these spoofing attacks. The VLD framework has been proposed as one of fundamental solutions. The VLD framework identifies that an input sample is uttered by an actual human or played by a loudspeaker. To realize the VLD framework, pop-noise detection methods have been proposed and these methods perform well as the VLD module. However, since pop-noise is a common distortion in speech that occurs when a speaker’s breath reaches a microphone, the phenomenon of pop-noise is able to be occurred by winds or attackers arbitrary. It is one problem of the pop-noise detection methods. In order to improve the robustness of the pop-noise detection methods, this paper p.
A comprehensive protein interaction map and druggability investigation prioritized dengue virus NS1 protein as promising therapeutic candidate

Dengue Virus (DENV) is a serious threat to human life worldwide and is one of the most dangerous vector-borne diseases, causing thousands of deaths annually. We constructed a comprehensive PPI map of DENV with its host Homo sapiens and performed various bioinformatics analyses. We found 1195 interactions between 858 human and 10 DENV proteins. Pathway enrichment analysis was performed on the two sets of gene products, and the top 5 human proteins with the maximum number of interactions with dengue viral proteins revealed noticeable results. The non-structural protein NS1 in DENV had the maximum number of interactions with the host protein, followed by NS5 and NS3. Among the human proteins, HBA1 and UBE2I were associated with 7 viral proteins, and 3 human proteins (CSNK2A1, RRP12, and HSP90AB1) were found to interact with 6 viral proteins. Pharmacophore-based virtual screening of millions of compounds in the public databases was performed to identify potential DENV-NS1 inhibitors. The lead compounds were selected based on RMSD values, docking scores, and strong binding affinities. The top ten hit compounds were subjected to ADME profiling which identified compounds C2 (MolPort-044-180-163) and C6 (MolPort-001-742-737) as lead inhibitors against DENV-NS1. Molecular dynamics trajectory analysis and intermolecular interactions between NS1 and the ligands displayed the molecular stability of the complexes in the cellular environment. The in-silico approaches used in this study could pave the way for the development of potential specie-specific drugs and help in eliminating deadly viral infections. Therefore, experimental and clinical assays are required to validate the results of this study.
Robust spherical separation

Abstract We propose a robust spherical separation technique aimed at separating two finite sets of points and . Robustness concerns the possibility to admit uncertainties and perturbations in the data-set, which may occur when the data are corrupted by noise or are influenced by measurement errors. In particular, starting from the standard spherical separation under the assumption of spherical uncertainty, we propose a model characterized by a non-convex non-differentiable objective function, which we minimize by means of a bundle-type algorithm. Quite promising numerical results are provided on small and large data-sets drawn from well-established test beds in literature.
Improved disturbance rejection control based on H∞ synthesis and equivalent-input-disturbance for aircraft longitudinal autopilot design

Disturbance rejection control has been developed over decades attracting wide interest and research attention. Aiming at providing a potential engineering application of disturbance rejection control to aircraft control system design following traditional frequency-domain methods, this paper presents an improved disturbance rejection control of two degrees of freedom based on H ∞ synthesis and equivalent-input-disturbance for an aircraft longitudinal autopilot design. The mismatched disturbance is transformed as a “total disturbance” in the input channel for compensation through the establishment of an equivalent-input-disturbance system. The H ∞ synthesis based on classical frequency-domain analysis is applied to a disturbance filter and a composite feedback controller design. In terms of the controller design, the system including the filter is considered as a whole in H ∞ optimization process without separate design to guarantee the stability of the overall system. Furthermore, the proposed method is successfully implemented on the autopilot design by modeling nonlinear aircraft longitudinal dynamics as a linear equivalent-input-disturbance formulation of angle of attack. The simulation of tracking performance in comparison with existing renowned methods is conducted in the presence of aerodynamic uncertainties, gust disturbance, actuator characteristics and sensor noise. The results verify the effectiveness of the proposed method with excellent performance and practical prospects.
Ferroptosis Mediated Novel Drug Design Approach in the Treatment of Oral Squamous Cell Carcinoma

Background: Globally, Oral Squamous Cell Carcinoma (OSCC) is the highest prevalent type of oral cancer. Implementing a successful treatment plan for the aforementioned tumor has always been a primary concern. There are numerous targeted therapies of which Ferroptosis has been receiving increasing attention in the recent decade. A novel form of controlled cell death “Ferroptosis’ is caused by iron-dependent lipid peroxidation. A well-known mechanism for controlling ferroptosis is the Cysteine/GSH/GPX4 axis, in which System X͞c is crucial. System X͞c inhibitors have been proven earlier to improve chemotherapy sensitivity. Materials and methods: Five System X͞c inhibitors were selected from the literature. The structure of these molecules from Zinc15 and the protein sequence of the target from Protein Data Bank were obtained. Twenty new molecules were identified following pharmacophore modeling and were docked with the target protein using SwissDock. The binding energies of the new molecules with the target were compared with that of the reported molecules. Result: The molecular docking study showed that two new molecules (ZINC89362298 and ZINC1730544) resulted in the highest binding pattern (-8.64) than that of the reported molecules (-7.75). Conclusion: The present study concluded that ZINC89362298 and ZINC1730544 had better binding efficiencies than that of the reported System xc- inhibitors. Hence these two molecules could be used in targeted drug therapy and could be a promising lead in the management of oral cancer in the future.
Risk of Worsening Heart Failure and All-Cause Mortality Following COVID-19 Vaccination in Patients With Heart Failure: A Nationwide Real-World Safety Study

BACKGROUND: Patients with heart failure are vulnerable to the SARS-CoV-2 infection. However, limited evidence exists on the safety of the SARS-CoV-2 mRNA vaccines in this patient population. The objective of this study was to investigate the risk of all-cause mortality, worsening heart failure, venous thromboembolism, and myocarditis associated with the mRNA vaccines in patients with heart failure. METHODS: Using Danish nationwide registries, 2 cohorts were constructed: (1) all prevalent heart failure patients in 2019 aged 40 to 95 years and (2) all prevalent heart failure patients in 2021 aged 40 to 95 years, who were vaccinated with either of the 2 mRNA vaccines (BNT162B2 or mRNA-1273). The patients in the 2 cohorts were matched 1:1 using exact exposure matching on age, sex, and duration of heart failure. To estimate standardized absolute risks, outcome-specific Cox regression analyses were performed. RESULTS: The total study population comprised 101 786 patients. The median age of the study population was 74 years (interquartile range, 66–81). The standardized risk of all-cause mortality within 90 days was 2.23% (95% CI, 2.10%–2.36%) in the vaccinated cohort and 2.56% (95% CI, 2.43%–2.70%) in the unvaccinated cohort (90-day risk difference, −0.33% [95% CI, −0.52% to −0.15%]). The standardized risk of worsening heart failure within 90 days was 1.10% (95% CI, −1.01% to 1.19%) in the 2021 (vaccinated) cohort and 1.08% (95% CI, 0.99%–1.17%) in the 2019 (unvaccinated) cohort (risk difference, 0.02% [95% CI, −0.11% to 0.15%]). No significant differences were found regarding venous thromboembolism or myocarditis. CONCLUSIONS: Receiving an mRNA vaccine was not associated with an increased risk of worsening heart failure, myocarditis, venous thromboembolism, or all-cause mortality.