Miracle-dz/UniFAR-FTUs huggingface dataset:
Magnitude and kinetics of the human immune cell response associated with severe dengue progression by single-cell proteomics

Approximately five million dengue virus-infected patients, particularly children, progress to a potentially life-threatening severe dengue (SD) infection annually. To identify the immune features and temporal dynamics underlying SD progression, we performed deep immune profiling by mass cytometry of PBMCs collected longitudinally from SD progressors (SDp) and uncomplicated dengue (D) patients. While D is characterized by early activation of innate immune responses, in SDp there is rapid expansion and activation of IgG-secreting plasma cells and memory and regulatory T cells. Concurrently, SDp, particularly children, demonstrate increased proinflammatory NK cells, inadequate expansion of CD16+ monocytes, and high expression of the FcγR, CD64 on myeloid cells, yet diminished antigen presentation. Syndrome-specific determinants include suppressed dendritic cell abundance in shock/hemorrhage vs. enriched plasma cell expansion in organ impairment. This study reveals uncoordinated immune responses in SDp and provides insights into SD pathogenesis in humans with potential implications for prediction and treatment.
Improved Tapered Slot-Line Antennas Loaded by Grating

A new scheme for improving the performances of tapered slot-line antenna (TSA) is proposed in this paper, by properly embedding a set of metallic strips as grating into the slot. Two different kinds of loading for gain enhancing or bandwidth broadening are developed respectively. The former is a linearly tapered slot-line antenna (LTSA) loaded by grating with 2 dB increment of gain; the simulated results are well verified by measured data. It achieves enhanced gain of 2 dBi over 6.0 ∼ 9.5 GHz (45.2%) and VSWR < 2.0 : 1 over 5.3 ∼ 9.6 GHz (57.7%). The latter is an asymmetrically tapered slot-line antenna (ATSA) loaded by grating with improved shaped pattern of uniformly coverage on the service range and VSWR ≤ 2.0 : 1 covering both WiMAX bands of 3.3 ∼ 3.8 GHz and 5.1 ∼ 5.8 GHz.
Studies on Moving Boundary Problems in Rarefied Gas Dynamics

A thin plate accelerated or decelerated in a free-molecular gas at rest by a constant external force is considered. The force is in the direction perpendicular to the plate. In this situation, the plate velocity approaches its final constant velocity as time goes on. It is shown numerically that, under the diffuse-reflection boundary condition, the difference between the plate velocity and its final value decreases in proportion to an inverse power of time. This agrees with the previous theoretical result obtained under the assumption that the initial plate velocity is sufficiently close to the final one.
REX: A Realistic Time-Dependent Model for Multimodal Public Transport

We present the non-FIFO time-dependent graph model with REalistic vehicle eXchange times (REX) for schedule-based multimodal public transport, along with a novel query algorithm called TRIP-based LAbel-correction propagation (TRIPLA) algorithm that efficiently solves the realistic earliest-arrival routing problem. The REX model possesses all strong features of previous time-dependent graph models without suffering from their deficiencies. It handles non-negligible exchanges from one vehicle to another, as well as supports non-FIFO instances which are typical in public transport, without compromising space efficiency. We conduct a thorough experimental evaluation with real-world data which demonstrates that TRIPLA significantly outperforms all state-of-the-art query algorithms for multimodal earliest-arrival routing in schedule-based public transport.
L‐Moments: Analysis and Estimation of Distributions Using Linear Combinations of Order Statistics

L-moments are expectations of certain linear combinations of order statistics. They can be defined for any random variable whose mean exists and form the basis of a general theory which covers the summarization and description of theoretical probability distributions, the summarization and description of observed data samples, estimation of parameters and quantiles of probability distributions, and hypothesis tests for probability distributions. The theory involves such established procedures as the use of order statistics and Gini's mean difference statistic, and gives rise to some promising innovations such as the measures of skewness and kurtosis and new methods of parameter estimation
Deficiency in the cell-adhesion molecule dscaml1 impairs hypothalamic CRH neuron development and perturbs normal neuroendocrine stress axis function

The corticotropin-releasing hormone (CRH)-expressing neurons in the hypothalamus are critical regulators of the neuroendocrine stress response pathway, known as the hypothalamic-pituitary-adrenal (HPA) axis. As developmental vulnerabilities of CRH neurons contribute to stress-associated neurological and behavioral dysfunctions, it is critical to identify the mechanisms underlying normal and abnormal CRH neuron development. Using zebrafish, we identified Down syndrome cell adhesion molecule like-1 (dscaml1) as an integral mediator of CRH neuron development and necessary for establishing normal stress axis function. In dscaml1 mutant animals, hypothalamic CRH neurons had higher crhb (the CRH homolog in fish) expression, increased cell number, and reduced cell death compared to wild-type controls. Physiologically, dscaml1 mutant animals had higher baseline stress hormone (cortisol) levels and attenuated responses to acute stressors. Together, these findings identify dscaml1 as an essential factor for stress axis development and suggest that HPA axis dysregulation may contribute to the etiology of human DSCAML1 -linked neuropsychiatric disorders.
Effects of the mixing degree upstream of the diverging area on the pollutant allocation characteristics of a braided river

The mixing degree upstream of the diverging area is one of the important factors influencing the pollutant allocation characteristics of braided rivers, but the effect remains unclear at present. In this paper, physical model tests were designed to study the effect on the pollutant flux ratio with six branching forms and a series of longitudinal discharge distances. The results indicated that the mixing degree upstream of the diverging area, which is closely related to the longitudinal discharge distance, notably affected the pollutant flux ratio. The lower the mixing degree, the larger was the deviation of the pollutant flux ratio from the discharge ratio. Moreover, a linear relationship was attained between the dimensionless mixing degree and the dimensionless deviation of the pollutant flux ratio from the discharge ratio. Consideration of different branching angles or different water layers or different branches did not affect this trend. The experimental results further demonstrated that the intercept and slope of the aforementioned linear relationship depended on the branching angle and exhibited an opposite monotonicity with a symmetric branch angle as the dividing point. These results help towards a better understanding of the mechanism of the factors influencing pollutant transport in complicated braided rivers, and provide a new approach to predicting the pollutant flux ratio of braided rivers.
Approximating and Interpolating Theories of Arithmetic for Software Verification

Software verification aims at formally proving or disproving the correctness of programs with respect to a formal specification. Yet, existing verification tools typically do not scale to large industrial programs. A pivotal approach to improve scalability is based on the use of approximations, which remove details of the system in order to increase efficiency. This dissertation reports and discusses novel techniques for deriving approximations for programs modeled in theories of arithmetic, namely Presburger and floating-point arithmetic. A well-established technique to compute approximations is based on Craig interpolation which, for example, can be utilized to obtain approximate postconditions. However, in the case of software modeled with Presburger arithmetic, no efficient interpolation algorithms are known. Our work presents a sound and complete interpolating calculus capable of deriving interpolants for any closed proof. As Presburger arithmetic is not enough to express common program operations, we extend our calculus to uninterpreted predicates and functions. In addition, we identify fragments of the logic which are closed under interpolation. Experimental results show the efficiency of our proposed interpolation procedure compared to the naive and inefficient approach based on quantifier elimination. Another focus of our work is the computation of abstractions in the presence of floating-point operations which often occur in embedded systems. This thesis shows that classical overand underapproximation techniques are insufficient to improve efficiency of decision procedures supporting floating-point arithmetic. We propose a general framework for building approximations using a mixture of overand underapproximations and apply the technique to a sound and complete decision procedure of floating-point arithmetic. Experimental evaluation indicates improved efficiency compared to an abstraction-refinement scheme based on an alternation of overand underapproximations.
The Role of RKIP in the Regulation of EMT in the Tumor Microenvironment

Simple Summary Raf kinase inhibitor protein (RKIP) expression in cancer cells is significantly reduced and promoting cancer cells growth and invasiveness. Overexpresssion of RKIP has been reported to mediate pleiotropic anti-cancer activities including the inhibition of survival signaling pathways, sensitization to cell death by cytotoxic drugs, inhibition of invasion, EMT and metastasis. The molecular mechanism by which RKIP inhibits EMT is not clear. In this review, we have examined how RKIP inhibits the selected EMT gene products (Snail, vimentin, N-cadherin, laminin alpha) and found that it involves signaling cross-talks between RKIP and each of the EMT gene products. These findings were validated by bioinformatic analyses demonstrating in various human cancers a negative correlation between the expression of RKIP and the expression of the EMT gene products. These findings suggest that targeting RKIP induction in cancer cells will result in multiple hits by inhibiting tumor growth, metastasis and reversal of chemo-immuno resistance. Abstract The Raf Kinase Inhibitor Protein (RKIP) is a unique gene product that directly inhibits the Raf/Mek/Erk and NF-kB pathways in cancer cells and resulting in the inhibition of cell proliferation, viability, EMT, and metastasis. Additionally, RKIP is involved in the regulation of cancer cell resistance to both chemotherapy and immunotherapy. The low expression of RKIP expression in many cancer types is responsible, in part, for the pathogenesis of cancer and its multiple properties. The inhibition of EMT and metastasis by RKIP led to its classification as a tumor suppressor. However, the mechanism by which RKIP mediates its inhibitory effects on EMT and metastases was not clear. We have proposed that one mechanism involves the negative regulation by RKIP of the expression of various gene products that mediate the mesenchymal phenotype as well as the positive regulation of gene products that mediate the epithelial phenotype via signaling cross talks between RKIP and each gene product. We examined several EMT mesenchymal gene products such as Snail, vimentin, N-cadherin, laminin and EPCAM and epithelial gene products such as E-cadherin and laminin. We have found that indeed these negative and positive correlations were detected in the signaling cross-talks. In addition, we have also examined bioinformatic data sets on different human cancers and the findings corroborated, in large part, the findings observed in the signaling cross-talks with few exceptions in some cancer types. The overall findings support the underlying mechanism by which the tumor suppressor RKIP regulates the expression of gene products involved in EMT and metastasis. Hence, the development of agent that can selectively induce RKIP expression in cancers with low expressions should result in the activation of the pleiotropic anti-cancer activities of RKIP and resulting in multiple effects including inhibition of tumor cell proliferation, EMT, metastasis and sensitization of resistant tumor cells to respond to both chemotherapeutics and immunotherapeutics.
Cd1-xZnxS Films for Low Cost Solar Cells

Cd1-xZnxS films suitable for use in solar cells have been produced by a low cost chemical spray process. A series of technical data to make the films having uniform composition covering the range 0 to 90% ZnS concentration has been presented and the dependence of energy gap, crystal habit, X-ray and electron diffraction patterns on composition are investigated. The transition from the wurtzite structure of the zinc blende form takes place at 80 mole% ZnS concentration. The band gap has a nearly linear variation with composition except at x=1 where the material becomes amorphous and has a energy gap Eg≈3.2 eV which is smaller than that in the polycrystalline ZnS case. Doping of 5% Indium Cd1-xZnxS (x=0.1) decreases the resistivity from 104 ohm cm to \Lesssim102 ohm cm which is necessary for optimum photovoltaic effciency in a Cd1-xZnxS–Cu2S solar cell.
Lattice calculation of non-Gaussianity from preheating

If light scalar fields are present at the end of inflation, their non-equilibrium dynamics such as parametric resonance or a phase transition can produce non-Gaussian density perturbations. We show how these perturbations can be calculated using non-linear lattice field theory simulations and the separate universe approximation. In the massless preheating model, we find that some parameter values are excluded while others lead to acceptable but observable levels of non-Gaussianity. This shows that preheating can be an important factor in assessing the viability of inflationary models.
Lead Acid Batteries (LABs) Closed-Loop Supply Chain: The Brazilian Case

In the circular economy, a closed-loop supply chain is essential to guarantee the logistics of raw materials to the correct destination of the end-of-life (EOL) product. This is magnified by hazardous products that can contaminate the environment, such as lead, as well as the people involved in their production processes. Through an exploratory study of multiple cases, we analyzed the Brazilian lead-based vehicle battery chain by investigating two main manufacturers, two recycling companies, and eight distributors/retailers. The aim of the study was to analyze the relationships between the actors in the lead acid battery chain and identify the mechanisms that induce recycling programs, and to propose an explanatory framework. The results indicate that although the sustainability strategies of OEMs are implemented by regulatory mechanisms, the impacts of these strategies cascade among all agents in the supply chain, promoting a convergence between actions and relationships between actors from the perspective of the triple bottom line, highlighting variables for each dimension (economic, social, and environmental). The study contributes to the consolidation of the triple bottom line concepts in the lead acid battery production chain and presents managerial implications for sustainability management.
An empirical study on financing constraints of digital inclusive finance development on small and medium-sized technology-based enterprise

PurposeThis paper mainly explores the relationship between digital inclusive finance and financing constraints of technological-based SMEs, and how digital inclusive finance affects the financing constraints of technology-based SMEs. This paper empirically analyzes the relationship between them through the OLS model, and then further verifies the relationship between them through robust regression and heterogeneity analysis. At the same time, it uses the mechanism test to explore how digital inclusive finance affects the financing constraints of technology-based SMEs. This paper aims to address these issues.Design/methodology/approachThis paper aims to explain the relationship between digital inclusive finance and financing constraints of technological-based SMEs. Technology-based SMEs always face the difficult problem of “financing difficulty” and “financing expensive” in the development process, which hinders the survival and development of enterprises to some extent. Digital inclusive finance development policy vigorously promoted by the state has alleviated the financing constraints of technology-based SMEs and brought opportunities for their development.FindingsThe results show that the role of digital inclusive finance in alleviating the financing constraints of technology-based SMEs, and incremental supplement and alleviating information asymmetry are the main reasons for digital inclusive finance to alleviate the financing constraints of technology-based SMEs. In view of the availability of digital inclusive financial data, this paper only uses the data from 2014 to 2019.Originality/valueThe authors’ research clearly found that the development of digital inclusive finance alleviates the financing of technology-based SMEs from the two aspects of “incremental supplement” and alleviating information asymmetry, so as to provide corresponding reference basis for the government to formulate a series of plans to support the development of technology-based SMEs.
Exploiting DERs’ Flexibility Provision in Distribution and Transmission Systems Interface

This paper presents a new market-based framework to exploit distributed energy resources’ (DERs) flexibility in distribution and transmission systems. This framework targets intra-hourly flexibility requirements of energy systems. In this regard, a local market is operated in distribution network to exploit DERs’ capabilities. Local market is cleared in coordination with wholesale market to optimize DERs’ flexibility procurement for meeting intra-hourly variability and uncertainty in distribution and transmission systems. In the proposed framework, a technical virtual power plant (TVPP) operates day-ahead (DA) local energy and flexibility markets in which DER aggregators take part. Furthermore, the TVPP participates in DA wholesale energy and flexibility markets which are cleared by the market operator and the transmission system operator, respectively. In this framework, all agents’ preferences and their transactions are addressed using a bilevel model with multiple lower levels. The proposed model is reformulated into a mixed integer linear programming problem by utilizing strong duality theory, Karush-Kuhn-Tucker optimality conditions and primal-dual counterpart. The model is implemented on an IEEE standard test system. The results demonstrate effectiveness of the framework in utilizing DERs’ capabilities to meet flexibility requirements as well as satisfying agents’ preferences.
Heat Transfer Performance of a Downhole Electric Tubular Resistive Heater

A downhole electric tubular resistive heater is proposed for the oil-shale in situ resorting. After flowing through a set of heating tubes, the outlet temperature and the flow rate of the injected gas can be conveniently adjusted to match the requirement of the pyrolysis temperature of the oil shale. The calculation demonstrates the effects of the inner diameter, the length of the heating tube, and the inlet flow rate on the heat transfer performance of the electric heater. It was found that, compared with the armored electric heaters, even with a small inject flow rate of 5 Nm3/min, the convective heat transfer coefficient of the inner flow exceeds 300 W/m2 K, resulting in a much smaller thermal resistance. The outlet temperature of the heating gas can conveniently reach up to 900 °C with the absence of the complex structure of enhanced fins. Though the pressure loss is relatively larger under a high flow rate, the comprehensive index is still 40% higher, indicating that the present tubular electric heater is a promising candidate to deal with complex downhole conditions.
Vietnamese EFL Students’ Use and Misconceptions of Cohesive Devices in Writing

As part of a larger project, this study explores Vietnamese college students’ use and concepts of cohesive devices in writing. Cohesion is a crucial element that ties components of a text together. Although the use of cohesive devices in L2 writing has been investigated by a large body of research, there is no such study exploring the effects of L2 learners’ misconceptions of this word class. One hundred sixty-eight academic reports of totally 67,400 words written by Vietnamese final-year English-majored undergraduate students were collected for data analysis. An email invitation was sent, and 23 students accepted to participate in semi-structured interviews which were audio-recorded for analysis. The findings showed that the students employed references, conjunctions, and lexical items the most frequently in writing. Interestingly, the students’ cohesion use and errors had similar patterns. The transcript analysis showed that the students’ misconceptions of some language items and writing requirements affected their choice of cohesive devices. The current study gives implications for teaching and learning of this word class in L2 contexts.
Monobiotinylated Proteins Tethered to Microspheres for Detection of Antigen-Specific Serum Antibodies

Surface modified microspheres have been leveraged as a useful way to immobilize antigen for serological studies. The use of carboxyl modified microspheres for this purpose is well-established, but commonly associated with technical challenges. Streptavidin modified microspheres require little technical expertise and thus address some of the shortcomings of carboxyl microspheres. An additional feature of streptavidin microspheres is the use of mono-biotinylated proteins, which contain a single biotinylation motif at the C-terminus. However, the relative performance of streptavidin and carboxyl microspheres is unknown. Here, we performed a head-to-head comparison of streptavidin and carboxyl microspheres. We compared antigen binding, orientation, and staining quality and found that both microspheres perform similarly based on these defined parameters. We also evaluated the utility of streptavidin microspheres bound to severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) receptor binding domain (RBD), to reliably detect RBD-specific IgG1, IgG3, and IgA1 produced in individuals recently immunized with Pfizer/BioNTech mRNA coronavirus disease (COVID) vaccine as ‘proof-of-concept’. We provide evidence that each of the antibody targets are detectable in serum using RBD-coated microspheres, Ig-specific ‘detector’ monoclonal antibodies (mAbs), and flow cytometry. We found that cross-reactivity of the detector mAbs can be minimized by antibody titration to improve differentiation between IgG1 and IgG3. We also coated streptavidin microspheres with SARS-CoV-2 delta variant RBD to determine if the streptavidin microsphere approach revealed any differences in binding of immune serum antibodies to wild-type (Wuhan) versus variant RBD (Delta). Overall, our results show that streptavidin microspheres loaded with mono-biotinylated antigen is a robust alternative to chemically cross-linking antigen to carboxyl microspheres for use in serological assays.