Miracle-dz/UniFAR-FTUs huggingface dataset:
The complexity of subtype entailment for simple types

A subtyping /spl tau//spl les//spl tau/' is entailed by a set of subtyping constraints C, written C |=/spl tau//spl les//spl tau/', if every valuation (mapping of type variables to ground types) that satisfies C also satisfies /spl tau//spl les//spl tau/'. We study the complexity of subtype entailment for simple types over lattices of base types. We show that: deciding C |=/spl tau//spl les//spl tau/' is coNP-complete; deciding C |=/spl alpha//spl les//spl beta/ for consistent, atomic C and /spl alpha/, /spl beta/ atomic can be done in linear time. The structural lower (coNP-hardness) and upper (membership in coNP) bounds as well as the optimal algorithm for atomic entailment are new. The coNP-hardness result indicates that entailment is strictly harder than satisfiability, which is known to be in PTIME for lattices of base types. The proof of coNP-completeness gives an improved algorithm for deciding entailment and puts a precise complexity-theoretic marker on the intuitive "exponential explosion" in the algorithm. Central to our results is a novel characterization of C |=/spl alpha//spl les//spl beta/ for atomic, consistent C. This is the basis for correctness of the linear-time algorithm as well as a complete axiomatization of C |=/spl alpha//spl les//spl beta/ for atomic C by extending the usual proof rules for subtype inference. It also incorporates the fundamental insight for understanding the structural complexity bounds in the general case.
ADAPTIVE MULTIMEDIA APPLICATIONS TO IMPROVE USER- PERCEIVED QOS IN MULTIHOP WIRELESS AD-HOC NETWORKS

Adaptive applications are a key concept to take into account when dealing with multimedia internetworking in wireless and mobile environments, in which network conditions may change abruptly and not always due to congestion –as it happens in fixed networks- but also to interference, mobility and so on. This paper presents an adaptation architecture which allows applications to minimize the impact of adverse and changing network conditions, by using self-adjustment techniques at high layers, obtaining information from the network. The objective is maintaining the QoS perceived by the user at an acceptable level. Results are presented by means of some tests in different test-case scenarios.
MinReg: A Scalable Algorithm for Learning Parsimonious Regulatory Networks in Yeast and Mammals

In recent years, there has been a growing interest in applying Bayesian networks and their extensions to reconstruct regulatory networks from gene expression data. Since the gene expression domain involves a large number of variables and a limited number of samples, it poses both computational and statistical challenges to Bayesian network learning algorithms. Here we define a constrained family of Bayesian network structures suitable for this domain and devise an efficient search algorithm that utilizes these structural constraints to find high scoring networks from data. Interestingly, under reasonable assumptions on the underlying probability distribution, we can provide performance guarantees on our algorithm. Evaluation on real data from yeast and mouse, demonstrates that our method cannot only reconstruct a high quality model of the yeast regulatory network, but is also the first method to scale to the complexity of mammalian networks and successfully reconstructs a reasonable model over thousands of variables.
The Outcomes of Emergency Admissions and Associated Factors Among Children Admitted to the Pediatric Emergency Unit at Selected Public Hospitals in Addis Ababa, Ethiopia — A Retrospective Cross-Sectional Study

BACKGROUND: A pediatric emergency condition is a life-threatening process that, without timely and standard clinical intervention, may lead to death. Therefore, this study aimed to assess the outcomes of emergency admissions and associated factors among children admitted to the pediatric emergency of selected public hospitals. METHODS: An institutional-based retrospective cross-sectional study design was conducted on children admitted to the emergency unit/ward from January 02, 2020, to January 08, 2022, in the emergency units of randomly selected public hospitals. Data were extracted with prepared checklists from February 1 to March 1, 2022. RESULT: A total of 303 admitted children’s charts were reviewed with 100% coverage. The mean age of children was 37.47 months, and the male-to-female ratio was 1.16:1. The study revealed that the most common causes of emergency admission were pneumonia (22.4%), surgical emergencies (14.5%), and late-onset sepsis (9.2%), respectively. More than half (53.8%) of children were admitted to the Pediatric Emergency Department for less than 24 hours, and the mean length of stay was 2 days. 39.6% of children were discharged with clinical improvement. Known comorbidity (AOR=4.65, 95% CI (1.23-17.64)) and length of stay less than 24 hours (AOR=4.2, 95% CI (1.2-14.7)) were strongly associated with the outcome. CONCLUSION: Pneumonia is still the most common cause of pediatric emergency admission, and the mortality rate of children at the Pediatric Emergency Department is high, with known comorbidity showing a significant association with mortality. FMOH recommended developing national pediatric emergency care guidelines and providing skill gap training for healthcare workers.
Examine the interaction impact of psychological characteristics on individual entrepreneurial orientation and cyberpreneurship intentions

In a rapidly evolving digital economy, cyberpreneurship has emerged as a pivotal force driving innovation and economic growth. The study applies the Theory of Planned Behaviour in predicting entrepreneurial intention in the context of Malaysia, where the government has actively championed digital entrepreneurship. Drawing from a sample of 473 final-year university students in the Klang Valley region of Malaysia, the study investigates the impact of Individual Entrepreneurial Orientation (IEO) dimensions, namely innovativeness, risk-taking, and proactiveness, on the intention to engage in cyberpreneurship within the context of Digital Free Trade Zones (DFTZ). The study further examines the moderation effect of psychological characteristics incorporating visionary thinking, self-efficacy, opportunism, and creativity to provide a comprehensive understanding of the factors influencing cyberpreneurial intentions. With the moderating variable, the paper presents a comprehensive model to investigate the IEO and psychological characteristics contributing to cyberpreneurship intentions and its impact on engagement in DFTZ. An empirical examination of data and hypotheses found that risk-taking (RISK) and proactiveness (PRO) are significantly related to cyberpreneurial intention. Psychological characteristics significantly proved its moderating role in its interaction with innovatiness (INNO), risk-taking (RISK), and proactivness (PRO) in influencing cyberpreneurial intentions (CYBER_PI). Innovativeness (INNO) without the influence of the moderating variable is not significantly related to cyberpreneurial intentions. Engagement with the Digital Free Trade Zone (DFTZ) through the mediating role of cyberpreneurial intentions (CYBER_PI), the innovativeness (INNO) did not succeed. On the other hand, risk-taking (RISK) and proactiveness (PRO) are found to be significant. The paper contributes to the landscape of e-commerce and digital trade literature by advancing our understanding of the factors driving individuals’ intentions to participate in cyberpreneurship and engage in DFTZ. The findings of this study provide valuable insights for policymakers, educators, and entrepreneurs alike.
Adoptive T cell therapy for solid tumors: current landscape and future challenges

Adoptive cell therapy (ACT) comprises different strategies to enhance the activity of T lymphocytes and other effector cells that orchestrate the antitumor immune response, including chimeric antigen receptor (CAR) T-cell therapy, T-cell receptor (TCR) gene-modified T cells, and therapy with tumor-infiltrating lymphocytes (TILs). The outstanding results of CAR-T cells in some hematologic malignancies have launched the investigation of ACT in patients with refractory solid malignancies. However, certain characteristics of solid tumors, such as their antigenic heterogeneity and immunosuppressive microenvironment, hamper the efficacy of antigen-targeted treatments. Other ACT modalities, such as TIL therapy, have emerged as promising new strategies. TIL therapy has shown safety and promising activity in certain immunogenic cancers, mainly advanced melanoma, with an exciting rationale for its combination with immune checkpoint inhibitors. However, the implementation of TIL therapy in clinical practice is hindered by several biological, logistic, and economic challenges. In this review, we aim to summarize the current knowledge, available clinical results, and potential areas of future research regarding the use of T cell therapy in patients with solid tumors
Changes in juvenile coho salmon electro‐olfactogram during and after short‐term exposure to current‐use pesticides

For anadromous salmonids, olfaction is a critical sense, enabling return migration. In recent years, several pesticides have been identified that interfere with salmonid olfaction at concentrations in the μg/L range; thus, they may pose a risk to species longe]ity. In the present study, we investigated the acute effects of five agricultural pesticides on juvenile coho salmon (Oncorhynchus kisutch) olfaction using the electro‐olfactogram (EOG), a measure of odorant‐evoked field potentials. Electro‐olfactogram responses to the odorant L‐serine were measured during and following a 30‐min exposure of the left olfactory rosette to chlorothalonil, endosulfan, glyphosate acid, iodocarb (IPBC), trifluralin, and 2,4‐dichlorophenoxyacetic acid. With the relatively insoluble pesticides endosulfan and trifluralin, decreases in EOG amplitude were only apparent at relatively high concentrations (100 and 300 μg/L, respectively) following 20 min of exposure and were absent for chlorothalonil (1 mg/L). With the water‐soluble herbicide glyphosate, significant EOG reductions occurred within 10 min of exposure to 1 mg/L and more rapidly with higher concentrations. Recovery of EOG post‐glyphosate exposure was concentration‐dependent, and complete recovery was not observed with some concentrations at 60 min postexposure. Dichlorophenoxyacetic acid only affected EOG at high concentration (100 mg/L), where it eliminated EOG within 2 min of exposure. With IPBC, EOG was decreased at 25 min of exposure to 1 μg/L; higher concentrations caused decreases to occur more rapidly. Excluding IPBC and glyphosate, all EOG reductions occurred at concentrations greater than the current Canadian water‐quality guidelines and reported 96‐h lethality values. Our results show that olfactory neurons can be impaired rapidly by some current‐use pesticides, even at exposures in the low‐μg/L range.
High lipophilicity and high daily dose of oral medications are associated with significant risk for drug‐induced liver injury

Drug‐induced liver injury (DILI) is a leading cause of drug failure in clinical trials and a major reason for drug withdrawals from the market. Although there is evidence that dosages of ≥100 mg/day are associated with increased risk for hepatotoxicity, many drugs are safe at such dosages. There is an unmet need to predict risk for DILI more reliably, and lipophilicity might be a contributing factor. We analyzed the combined factors of daily dose and lipophilicity for 164 US Food and Drug Administration–approved oral medications and observed high risk for hepatotoxicity (odds ratio [OR], 14.05; P < 0.001) for drugs given at dosages ≥100 mg/day and octanol‐water partition coefficient (logP) ≥3. This defined the “rule‐of‐two. ” Similar results were obtained for an independent set of 179 oral medications with 85% of the rule‐of‐two positives being associated with hepatotoxicity (OR, 3.89; P < 0.01). Using the World Health Organization's Anatomical Therapeutic Chemical classification system, the rule‐of‐two performed best in predicting DILI in seven therapeutic categories. Among 15 rule‐of‐two positives, 14 were withdrawn from hepatotoxic drugs, and one was over‐the‐counter medication labeled for liver injury. We additionally examined drug pairs that have similar chemical structures and act on the same molecular target but differ in their potential for DILI. Again, the rule‐of‐two predicted hepatotoxicity reliably. Finally, the rule‐of‐two was applied to clinical case studies to identify hepatotoxic drugs in complex comedication regimes to further demonstrate its use. Conclusion: Apart from dose, lipophilicity contributes significantly to risk for hepatotoxicity. Applying the rule‐of‐two is an appropriate means of estimating risk for DILI compared with dose alone. (HEPATOLOGY 2013)
National health expenditure projections, 2014-24: spending growth faster than recent trends.

Health spending growth in the United States is projected to average 5.8 percent for 2014-24, reflecting the Affordable Care Act's coverage expansions, faster economic growth, and population aging. Recent historically low growth rates in the use of medical goods and services, as well as medical prices, are expected to gradually increase. However, in part because of the impact of continued cost-sharing increases that are anticipated among health plans, the acceleration of these growth rates is expected to be modest. The health share of US gross domestic product is projected to rise from 17.4 percent in 2013 to 19.6 percent in 2024.
Evaporation From Deep Aquifers in Arid Regions: Analytical Model for Combined Liquid and Vapor Water Fluxes

Evaporation is a significant part of the water cycle in hyper‐arid environments. The subsurface of these deserts is characterized by deep groundwater with negligible recharge, whereby water flows from the water table to the surface and evaporates. We propose an analytical model to predict the evaporation rate and the position of the evaporative front. The model accounts for water table depth, atmospheric conditions, and soil hydraulic properties. We consider steady state flow, with two distinct regions separated by an evaporative front, liquid‐phase flow from the water table to the front and vapor‐phase flow from the front toward the surface. The driving forces are pressure head gradients for Darcian liquid flow, and thermal and relative humidity gradients for Fickian diffusive vapor flow. Evaporation rates are predicted for different soil types. The impact of constitutive models applied for characterizing these soils, groundwater depth, and atmospheric conditions are evaluated. Evaporation increases as groundwater levels are shallower, and as atmospheric temperatures increase and/or relative humidity values decrease. Evaporation decreases exponentially with groundwater depth, approaching a constant value of about 0.02 mm per year under typical atmospheric conditions and water table depths below 500 m. The impact of soil type and other related uncertainties are important when groundwater is shallower than 300 m. The relative portion of the liquid phase region increases compared to that of the vapor one as evaporation rates increase. The actual size of the liquid phase flow region, however, reaches its maximum when the water flux approaches zero at hydrostatic conditions.
Association of Meal Timing with Sleep Quality and Anxiety According to Chronotype: A Study of University Students

There are several determinants of mental health symptoms, ranging from individual characteristics to social factors. Consistent with patterns in the general population, students with evening characteristics tend to exhibit more anxiety symptoms and poorer sleep quality compared to morning students. Meal timing also appears to affect sleep and may be associated with mental health symptoms. In this context, the aim of the present study was to investigate the association of the timing of the main and last meals of the day with sleep quality and anxiety levels, according to the chronotype of university students. This study was conducted in colleges in São Paulo, Brazil, and involved application of a questionnaire to 162 university students. The questionnaire collected sociodemographic information meal and study times, and included scales assessing eveningness and morningness, sleep quality, and anxiety. Students demonstrating a phase delay in both chronotype and dinner timing exhibited higher levels of anxiety compared to morning-type students. Although no associations were observed between meal timing and sleep quality, sleeping later was associated with poorer sleep quality. The study suggests that evening students and those who eat late at night are more prone to presenting mental health symptoms. More studies are needed to further investigate this association.
Human Bocavirus in French Children

Human bocavirus (HBoV), a new member of the genus Bocavirus in the family Parvoviridae, has been recently associated with respiratory tract infections. We report the epidemiologic and clinical features observed from a 1-year retrospective study of HBoV infection in young children hospitalized with a respiratory tract infection.
Effective Strong Dimension, Algorithmic Information, and Computational Complexity

The two most important notions of fractal dimension are {\it Hausdorff dimension}, developed by Hausdorff (1919), and {\it packing dimension}, developed by Tricot (1982). Lutz (2000) has recently proven a simple characterization of Hausdorff dimension in terms of {\it gales}, which are betting strategies that generalize martingales. Imposing various computability and complexity constraints on these gales produces a spectrum of effective versions of Hausdorff dimension. In this paper we show that packing dimension can also be characterized in terms of gales. Moreover, even though the usual definition of packing dimension is considerably more complex than that of Hausdorff dimension, our gale characterization of packing dimension is an exact dual of -- and every bit as simple as -- the gale characterization of Hausdorff dimension. Effectivizing our gale characterization of packing dimension produces a variety of {\it effective strong dimensions}, which are exact duals of the effective dimensions mentioned above. We develop the basic properties of effective strong dimensions and prove a number of results relating them to fundamental aspects of randomness, Kolmogorov complexity, prediction, Boolean circuit-size complexity, polynomial-time degrees, and data compression.
The birth of quail chicks after intracytoplasmic sperm injection

Intracytoplasmic sperm injection (ICSI) has been successfully used to produce offspring in several mammalian species including humans. However, ICSI has not been successful in birds because of the size of the egg and difficulty in mimicking the physiological polyspermy that takes place during normal fertilization. Microsurgical injection of 20 or more spermatozoa into an egg is detrimental to its survival. Here, we report that injection of a single spermatozoon with a small volume of sperm extract (SE) or its components led to the development and birth of healthy quail chicks. SE contains three factors – phospholipase Cζ (PLCZ), aconitate hydratase (AH) and citrate synthase (CS) – all of which are essential for full egg activation and subsequent embryonic development. PLCZ induces an immediate, transient Ca2+ rise required for the resumption of meiosis. AH and CS are required for long-lasting, spiral-like Ca2+ oscillations within the activated egg, which are essential for cell cycle progression in early embryos. We also found that co-injection of cRNAs encoding PLCZ, AH and CS support the full development of ICSI-generated zygotes without the use of SE. These findings will aid our understanding of the mechanism of avian fertilization and embryo development, as well as assisting in the manipulation of the avian genome and the production of transgenic and cloned birds.
Digital Dome versus Desktop Display in an Educational Game: Gates of Horus

A visually immersive display can make an educational game more effective, if concepts are embodied in an information-rich space and the interaction/perception design exploits the egocentric view that the display affords. For example, ancient Egyptian temples juxtapose language and symbol in an architecture meant to be understood from the inside. Students, ages 11 through 14, played an educational game based on our (virtual) temple. In an unstructured test in which students produced their own guided tours of the temple, those who had played the game in a digital dome showed better factual recall (P < 0.05) than those who had used a standard desktop.
Multi-hazard risks in New York City

Abstract. Megacities are predominantly concentrated along coastlines, making them exposed to a diverse mix of natural hazards. The assessment of climatic hazard risk to cities rarely has captured the multiple interactions that occur in complex urban systems. We present an improved method for urban multi-hazard risk assessment. We then analyze the risk of New York City as a case study to apply enhanced methods for multi-hazard risk assessment given the history of exposure to multiple types of natural hazards which overlap spatially and, in some cases, temporally in this coastal megacity. Our aim is to identify hotspots of multi-hazard risk to support the prioritization of adaptation strategies that can address multiple sources of risk to urban residents. We used socioeconomic indicators to assess vulnerabilities and risks to three climate-related hazards (i.e., heat waves, inland flooding and coastal flooding) at high spatial resolution. The analysis incorporates local experts' opinions to identify sources of multi-hazard risk and to weight indicators used in the multi-hazard risk assessment. Results demonstrate the application of multi-hazard risk assessment to a coastal megacity and show that spatial hotspots of multi-hazard risk affect similar local residential communities along the coastlines. Analyses suggest that New York City should prioritize adaptation in coastal zones and consider possible synergies and/or trade-offs to maximize impacts of adaptation and resilience interventions in the spatially overlapping areas at risk of impacts from multiple hazards.
A cluster randomized trial of a sex education programme in Belize, Central America.

BACKGROUND Concerns about adverse consequences of early childbearing and risk of sexually transmitted diseases (STD) have renewed interest in the sexual behaviour of adolescents in developing countries, where they represent a large proportion of the population and are at highest risk. To date, little is known about the sexual knowledge of adolescents in developing countries. This study's primary objective was to evaluate the effectiveness of a responsible sexuality education programme (RSP) in changing knowledge associated with sex and sexuality; secondary objectives were to evaluate changes in attitudes and behavioural intent. METHODS A cluster randomized design randomizing high school classes in Belize City. Subjects were 13-19 years old. RESULTS Seven schools in Belize City were selected; 8 classrooms were randomized to the intervention arm and 11 classrooms to the control arm (N = 399). The intervention was associated with two more correct answers on the post-test (difference score was 2.22 points, 95% CI = 0.53, 3.91) after adjusting for gender and previous sexual experience. After controlling for gender and previous sexual experience, the intervention was associated with no change in the attitudes (0.06, 95% CI: -2.89, 2.82) or behavioural intent domains (0.84, 95% CI: -1.12, 2.46). CONCLUSIONS Greater changes in knowledge were observed in the intervention group than in the control group following the intervention. Changes were not observed for the attitude or behavioural intent domains. These results and the results of similar studies may be used to further improve sex education programmes as it is imperative that students have access to the information necessary to make informed decisions regarding their sexual health.