Miracle-dz/UniFAR-FTUs huggingface dataset:
Numerical Analysis of the Transpose Diffusive Term for Viscoplastic-Type Non-Newtonian Fluid Flows Using a Collocated Variable Arrangement

The aim of this work is to delve into the numerical analysis of viscoplastic-type non-Newtonian fluid flows. Specifically, improvements in the spatial discretization schemes and the temporal integration methods have been proposed to overcome the numerical problems introduced by the transpose diffusive term and associated with the velocity field discontinuity, the artificial viscous diffusion, and the transpose viscous coupling. The resulting knowledge may be useful, among many other reasons, to improve the corresponding numerical simulations and gain insight into the underlying physics of this class of non-Newtonian fluid flows.
Parameterization of the Bulk Effects of Lateral and Cloud-Top Entrainment in Transient Shallow Cumulus Clouds

A parameterization of shallow cumulus clouds for use in atmospheric general circulation models is proposed. The parameterization uses a bulk representation of an ensemble of transient clouds. Entrainment of environmental air occurs at the ascending top of the cumulus cloud and also at the lateral boundaries of the region below the top of the cloud. Complete detrainment of the air in the cloud occurs when the top of the cloud reaches its maximum height, chosen to be the level of neutral buoyancy. The parameterization is calibrated using results from the undisturbed period of the Barbados Oceanographic and Meteorological Experiment (BOMEX). Vertical profiles of in-cloud properties and mass fluxes obtained from large eddy simulations (LES) for the undisturbed BOMEX period are successfully reproduced by the parameterization. Good agreement is also found in comparisons with large-scale heat and moisture budgets diagnosed from observations during the same period of the experiment. However, this is achieved with a different choice for the parameters of the scheme.
Multi-valued symbolic model-checking

This article introduces the concept of multi-valued model-checking and describes a multi-valued symbolic model-checker, ΧChek. Multi-valued model-checking is a generalization of classical model-checking, useful for analyzing models that contain uncertainty (lack of essential information) or inconsistency (contradictory information, often occurring when information is gathered from multiple sources). Multi-valued logics support the explicit modeling of uncertainty and disagreement by providing additional truth values in the logic.This article provides a theoretical basis for multi-valued model-checking and discusses some of its applications. A companion article [Chechik et al. 2002b] describes implementation issues in detail. The model-checker works for any member of a large class of multi-valued logics. Our modeling language is based on a generalization of Kripke structures, where both atomic propositions and transitions between states may take any of the truth values of a given multi-valued logic. Properties are expressed in ΧCTL, our multi-valued extension of the temporal logic CTL.We define the class of logics, present the theory of multi-valued sets and multi-valued relations used in our model-checking algorithm, and define the multi-valued extensions of CTL and Kripke structures. We explore the relationship between ΧCTL and CTL, and provide a symbolic model-checking algorithm for ΧCTL. We also address the use of fairness in multi-valued model-checking. Finally, we discuss some applications of the multi-valued model-checking approach.
The effect of NGATHA altered activity on auxin signaling pathways within the Arabidopsis gynoecium

The four NGATHA genes (NGA) form a small subfamily within the large family of B3-domain transcription factors of Arabidopsis thaliana. NGA genes act redundantly to direct the development of the apical tissues of the gynoecium, the style, and the stigma. Previous studies indicate that NGA genes could exert this function at least partially by directing the synthesis of auxin at the distal end of the developing gynoecium through the upregulation of two different YUCCA genes, which encode flavin monooxygenases involved in auxin biosynthesis. We have compared three developing pistil transcriptome data sets from wildtype, nga quadruple mutants, and a 35S::NGA3 line. The differentially expressed genes showed a significant enrichment for auxin-related genes, supporting the idea of NGA genes as major regulators of auxin accumulation and distribution within the developing gynoecium. We have introduced reporter lines for several of these differentially expressed genes involved in synthesis, transport and response to auxin in NGA gain- and loss-of-function backgrounds. We present here a detailed map of the response of these reporters to NGA misregulation that could help to clarify the role of NGA in auxin-mediated gynoecium morphogenesis. Our data point to a very reduced auxin synthesis in the developing apical gynoecium of nga mutants, likely responsible for the lack of DR5rev::GFP reporter activity observed in these mutants. In addition, NGA altered activity affects the expression of protein kinases that regulate the cellular localization of auxin efflux regulators, and thus likely impact auxin transport. Finally, protein accumulation in pistils of several ARFs was differentially affected by nga mutations or NGA overexpression, suggesting that these accumulation patterns depend not only on auxin distribution but could be also regulated by transcriptional networks involving NGA factors.
Landscape antiquity and Cenozoic drainage development of southern Yukon, through restoration modeling of the Tintina Fault

The impact of Tintina Fault displacement on the development of the Yukon River and drainage basins of central Yukon is investigated through geophysical and hydrological modeling of digital terrain model data. Regional geological evidence suggests that the age of the planation of the Klondike Plateau is at least Late Cretaceous, rather than Neogene as previously assumed, and that surprisingly there has been little net incision in the region since the late Mesozoic. The Tintina Fault has been previously interpreted to have experienced ∼430 km of dextral displacement, primarily during the Eocene. However, the alignment of river channels across the fault at specific displacements, coupled with recent seismic events and related fault activity, suggests that the fault may have moved in stages over a longer time span. Topographic restoration and hydrological models show that the drainage of the Yukon River northwestward into Alaska via the ancestral Kwikhpak River was only possible at restored displacements of u.
Analysis of treatment methods for canine and feline dermatomycosis

Dermatomycosis is a kind of superficial infectious disease of skin, mucous membrane and skin accessory organ, which is caused by fungi. Dermatomycosis is a zoonosis characterized by recurrent, infectious and high morbidity. Nowadays, all studies on the treatment of dermatomycosis in cats and dogs are relatively scattered, so the purpose of this research is to analyze the therapeutic drugs of the dermatomycosis comprehensively by comparing the experimental data and results in other literatures, and point out the cons and pros and the target groups. Terbinafine is a good choice for both topical and systemic use or even as a medicated bath. For topical antibacterial treatment, ketoconazole, which has uncertain hepatotoxicity, is not recommended for young pets or those whose liver function is impaired. For systemic treatment, the itraconazole suspension is a better option, and fluconazole is not recommended to be the first choice if the sick animal is canine due to dogs’ poor sensitivity to it. Among the Chinese medicines, simple Chinese gallnut solution, compound prescription composed of Chinese gallnut, smoked plum and other 8 Chinese herbs, and a shampoo called Sanzi Qingbai are both safe and effective treatments, which is less likely to develop drug resistance. People should consider the overall condition of the sick animal and the nature of the drugs when choosing the most suitable treatment, and the combination of Chinese and Western medical treatments is also a new direction.
Characterizing the Response of PET and fMRI Data Using Multivariate Linear Models

This paper presents a new method for characterizing brain responses in both PET and fMRI data. The aim is to capture the correlations between the scans of an experiment and a set of external predictor variables that are thought to affect the scans, such as type, intensity, or shape of stimulus response. Its main feature is a Canonical Variates Analysis (CVA) of the estimated effects of the predictors from a multivariate linear model (MLM). The advantage of this over current methods is that temporal correlations can be incorporated into the model, making the MLM method suitable for fMRI as well as PET data. Moreover, tests for the presence of any correlation, and inference about the number of canonical variates needed to capture that correlation, can be based on standard multivariate statistics, rather than simulations. When applied to an fMRI data set previously analyzed by another CVA method, the MLM method reveals a pattern of responses that is closer to that detected in an earlier non-CVA analysis.
EtfA catalyses the formation of dipicolinic acid in Clostridium perfringens

Dipicolinic acid (DPA) is a major component of bacterial endospores, comprising 5–15% of the spore dry weight, and is important for spore stability and resistance properties. The biosynthetic precursor to DPA, dihydro‐dipicolinic acid (DHDPA), is produced by DHDPA synthase within the lysine biosynthesis pathway. In Bacillus subtilis, and most other bacilli and clostridia, DHDPA is oxidized to DPA by the products of the spoVF operon. Analysis of the genomes of the clostridia in Cluster I, including the pathogens Clostridium perfringens, Clostridium botulinum and Clostridium tetani, has shown that no spoVF orthologues exist in these organisms. DPA synthase was purified from extracts of sporulating C. perfringens cells. Peptide sequencing identified an electron transfer flavoprotein, EtfA, in this purified protein fraction. A C. perfringens strain with etfA inactivated is blocked in late stage sporulation and produces ≤ 11% of wild‐type DPA levels. C. perfringens EtfA was expressed in and purified from Escherichia coli, and this protein catalysed DPA formation in vitro. The sequential production of DHDPA and DPA in C. perfringens appears to be catalysed by DHDPA synthase followed by EtfA. Genome sequence data and the taxonomy of spore‐forming species suggest that this may be the ancestral mechanism for DPA synthesis.
Determinants of womens participation in cervical cancer screening trial, Maharashtra, India.

OBJECTIVE To determine the factors associated with participation in cervical cancer screening and follow-up treatment in the context of a randomized controlled trial. The trial was initiated to evaluate the efficacy and cost effectiveness of visual inspection with acetic acid, cytological screening and testing for human papillomavirus in reducing the incidence of and mortality from cervical cancer in Maharashtra, India. METHODS Between October 1999 and November 2003 women aged 30-59 years were randomized to receive one of the three tests or to a control group. Participation was analysed for all three intervention arms. The differences between those who were screened versus those who were not was analysed according to the sociodemographic characteristics of the 100,800 eligible women invited for screening. Those who were treated versus those who were not were analysed according to the sociodemographic characteristics of the 932 women diagnosed with high-grade lesions. Participation in screening and compliance with treatment were also analysed according to the type of test used. FINDINGS Compared with women who were not tested, screened women were younger (aged 30-39), better educated and had ever used contraception. A higher proportion of screened women were married and a lower proportion had never been pregnant. Of the 932 women diagnosed with high-grade lesions or invasive cancer, 85.3% (795) received treatment. Women with higher levels of education, who had had fewer pregnancies and those who were married were more likely to comply with treatment. There were no differences in rates of screening or compliance with treatment when results were analysed by the test received. CONCLUSIONS Irrespective of the test being used, good participation levels for cervical cancer screening can be achieved in rural areas of developing countries by using appropriate strategies to deliver services. Communication methods and delivery strategies aimed at encouraging older, less-educated women, who have less contact with reproductive services, are needed to further increase screening uptake.
Form of Social Emotional Guidance Method for Children with Intellectual Disability in Improving Social Skills at SLB Mutiara Hati Medan Tembung

This research is motivated by the condition of mentally retarded children, which needs to be discussed in the process of developing social skills. This research uses this type of research, which is qualitative research. Qualitative data is data in the form of words, sentences, gestures, facial expressions, charts, images and photos. The aim of this research is to determine the forms of social emotional guidance for mentally retarded children in improving social skills at SLB Mutiara Hati Medan Tembung and to find out the supporting and inhibiting factors in developing the social skills of mentally retarded children at SLB Mutiara Hati Medan Tembung. This writing uses a qualitative descriptive method which is useful for providing information, facts and data regarding the mentor's efforts in developing the social skills of mentally retarded children at SLB Pearl Hati Medan Tembung. The research results are (1) Guidance methods in developing the social skills of mentally retarded children (a) Methods for developing questioning skills. (b) Efforts to develop skills in establishing and maintaining friendships. (c) Methods for developing collaboration skills. (d) Methods for developing sharing skills. (e) Skills methods in religion. (2) Supporting and inhibiting factors in developing the social skills of mentally retarded children.
Transcriptome MicroRNA Profiling of Bovine Mammary Glands Infected with Staphylococcus aureus

MicroRNAs are small non-coding RNA molecules that are important regulators of gene expression at the post-transcriptional level. miRNAs impact the processes of cell proliferation, differentiation and apoptosis. Thus, the regulation of miRNA expression profiles associated with mastitis will be conducive for its control. In this study, Staphylococcus aureus (S. aureus) was administered to the mammary gland of Chinese Holstein cows to construct a bacteria-type mastitis model. Total RNA was isolated from bovine mammary gland tissue samples from the S. aureus-induced mastitis group and controls. miRNAs were analyzed using Solexa sequencing and bioinformatics processing for the experimental group and control group. Two miRNA libraries were constructed respectively. A total of 370 known bovine miRNAs and 341 novel mi RNAs were detected for the S. aureus and 358 known bovine miRNAs and 232 novel miRNAs for control groups. A total of 77 miRNAs in the S. aureus group showed significant differences compared to the control group. GO (Gene Ontology) analysis showed these target genes were involved in the regulation of cells, binding, etc., while KEGG (Kyoto Encyclopedia of Genes and Genomes) analysis showed that these genes were enriched in endocytosis, and olfactory transduction pathways involved in cancer. These results provide an experimental basis to reveal the cause and regulatory mechanism of mastitis and also suggest the potential of miRNAs to serve as biomarkers for the diagnosis of mastitis in dairy cows.
Factors Affecting E-Learning Performance in Private Higher Education Institutions: An Empirical Analysis

This research investigates the determinants of e-learning performance in private educational institutions in the Sindh region. Employing a quantitative methodology, the study utilized a closed-ended questionnaire for data collection. The survey was conducted at five private universities in Sindh with a focus on their experiences with e-learning implementation in traditional classrooms. A total of 250 questionnaires were collected, out of which 233 underwent thorough examination. Structural equation modeling, specifically Partial Least Squares Structural Equation Modeling (PLS-SEM), was employed to analyze the proposed conceptual model, using variance as a basis for assessment. The study reveals that the Unified Theory of Acceptance and Use of Technology (UTAUT) constructs related to effort expectancy exert a significant and positive influence on student behavior. Conversely, the performance expectancy variable does not exhibit a statistically significant impact on student e-learning performance. Furthermore, student performance is directly affected by other factors, such as organizational structure and extrinsic motivation. In contrast, concerning student behavior, extrinsic motivation emerges as the sole influential factor. The study's findings suggest that elements shaping behavior, including organizational structure, extrinsic motivation, and effort expectancy, play pivotal roles in enhancing student e-learning performance.
Towards Systems Beyond 3G Based on Adaptive OFDMA Transmission

High data rates, high spectral efficiency, flexibility, and low delays over the air interface will be important features in next-generation wireless systems. The overall challenge will be packet scheduling and adaptive radio transmission for multiple users, via multiple antennas and over frequency-selective wideband channels. This problem needs to be structured to obtain feasible solutions. The basic simplifying assumptions used here are clustering of antennas into cells, orthogonal transmission by use of cyclic-prefix orthogonal frequency-division multiplexing (OFDM) and a time-scale separation view of the total link adaptation, scheduling and intercell coordination problem. Based on these assumptions, we survey techniques that adapt the transmission to the temporal, frequency, and spatial channel properties. We provide a systematic overview of the design problems, such as the dimensioning of the allocated time-frequency resources, the influence of duplexing schemes, adaptation control issues for downlinks and uplinks, timing issues, and their relation to the required performance of channel predictors. Specific design choices are illustrated by recent research within the Swedish Wireless IP program and the EU IST-WINNER project. The presented results indicate that high-performance adaptive OFDM transmission systems are indeed feasible, also for challenging scenarios that involve vehicular velocities, high carrier frequencies, and high bandwidths.
Transnational land deals for agriculture in the global south : analytical report based on the Land Matrix database

Presentation de l'editeur : Drawing on the Land Matrix database, this paper contains an in depth analysis of large-scale agricultural land transactions that entail a transfer of rights to use, control or own land, that have been concluded since the year 2000. It particularly focuses on (i) land acquisitions or investments targeting the Global South and Eastern Europe; (ii) transnational deals, excluding deals where only domestic actors are involved;(iii) and deals where the envisioned land use is agricultural. The report argues that although it has lost some of its initial pace, the worldwide rush for land is real, going beyond just speculation and strategic positioning. According to the Land Matrix, a large number of contracts have been signed and are being implemented. Operations have started on several projects.However, as the report shows, the "global land rush" is anything but a simple phenomenon. It involves a large number of target countries with very different investment conditions, as well as a great variety of actors with divers investment motives. Each land deal has its own specific characteristics. While the report gives an overall overview of the phenomenon, it also endeavours to present an in-depth picture of the different large-scale land transactions' specificities
Enhancing Off-Policy Constrained Reinforcement Learning through Adaptive Ensemble C Estimation

In the domain of real-world agents, the application of Reinforcement Learning (RL) remains challenging due to the necessity for safety constraints. Previously, Constrained Reinforcement Learning (CRL) has predominantly focused on on-policy algorithms. Although these algorithms exhibit a degree of efficacy, their interactivity efficiency in real-world settings is sub-optimal, highlighting the demand for more efficient off-policy methods. However, off-policy CRL algorithms grapple with challenges in precise estimation of the C-function, particularly due to the fluctuations in the constrained Lagrange multiplier. Addressing this gap, our study focuses on the nuances of C-value estimation in off-policy CRL and introduces the Adaptive Ensemble C-learning (AEC) approach to reduce these inaccuracies. Building on state-of-the-art off-policy algorithms, we propose AEC-based CRL algorithms designed for enhanced task optimization. Extensive experiments on nine constrained robotics tasks reveal the superior interaction efficiency and performance of our algorithms in comparison to preceding methods.