Miracle-dz/UniFAR-FTUs huggingface dataset:
Robust Metric Hybrid Planning in Stochastic Nonlinear Domains Using Mathematical Optimization

The deployment of automated planning in safety critical systems has resulted in the need for the development of robust automated planners that can (i) accurately model complex systems under uncertainty, and (ii) provide formal guarantees on the model they act on. In this paper, we introduce a robust automated planner that can represent such stochastic systems with metric specifications and constrained continuous-time nonlinear dynamics over mixed (i.e., real and discrete valued) concurrent action spaces. The planner uses inverse transform sampling to model uncertainty, and has the capability of performing bi-objective optimization to first enforce the constraints of the problem as best as possible, and second optimize the metric of interest. Theoretically, we show that the planner terminates in finite time and provides formal guarantees on its solution. Experimentally, we demonstrate the capability of the planner to robustly control four complex physical systems under uncertainty.
Residual effects of inorganic and organic manurng on certain soil properties and yields of rice crop

In a Permanent Manurial Experiment (PME) conducted since 1975. pH has decreased from neutral to slightly acidic in the manured treatments. The organic carbon and cation exchange capacity have increased significantly in the manured treatments and in the treatments that received N with or without P and K. Grain, straw and total dry matter yield of rice crop in NPK, NP, NK and N treatments were on par and higher than the yields in the treatments without N
Generation of Regular and Irregular Waves in Navier-Stokes CFD Solvers by Matching With the Nonlinear Potential Wave Solution at the Boundaries

The capability of wave generation and absorption in a viscous flow solver becomes important for achieving realistic simulations in naval and offshore fields. This study presents an efficient generation of nonlinear wave fields in the viscous flow solver by using a nonlinear potential solver called higher-order spectral method (HOS). The advantages of using a fully nonlinear potential solver for the generation of irregular waves are discussed. In particular, it is shown that the proposed method allows the CFD simulation to start at the time and over the space of interest, retrieved from the potential flow solution. The viscous flow solver is based on the open source library OpenFOAM. The potential solvers used to generate waves are the open source solvers HOS-Ocean and HOS-NWT (Numerical Wave Tank). Several simulation parameters in the CFD solver are investigated in the present study. A HOS wrapper program is newly developed to regenerate wave fields in the viscous flow solver. The wrapper program is validated with OpenFOAM for 2D and 3D regular and irregular waves using relaxation zones. Finally, the extreme waves corresponding to the 1000 year return period condition in the Gulf of Mexico are simulated with the viscous flow solver and the wave elevation is compared with the experiments.
Observations of large‐amplitude, parallel, electrostatic waves associated with the Kelvin‐Helmholtz instability by the magnetospheric multiscale mission

On 8 September 2015, the four Magnetospheric Multiscale spacecraft encountered a Kelvin‐Helmholtz unstable magnetopause near the dusk flank. The spacecraft observed periodic compressed current sheets, between which the plasma was turbulent. We present observations of large‐amplitude (up to 100 mV/m) oscillations in the electric field. Because these oscillations are purely parallel to the background magnetic field, electrostatic, and below the ion plasma frequency, they are likely to be ion acoustic‐like waves. These waves are observed in a turbulent plasma where multiple particle populations are intermittently mixed, including cold electrons with energies less than 10 eV. Stability analysis suggests a cold electron component is necessary for wave growth.
Occurrence and dietary exposure assessment of heavy metals in baby foods in the Kingdom of Saudi Arabia

Abstract Early childhood exposure to heavy metals like arsenic (As), cadmium (Cd), and lead (Pb) through baby foods unfolds many concerns about their toxic effects on growth and health. In this study, occurrence and dietary intake of As, Cd, and Pb in stage 1 infant formula (0–6 months), stage 2 infant formula (7–12 months), cereal‐based meals, and biscuits were estimated. First, the levels of As, Cd, and Pb were determined with ICP‐MS, followed by the calculation of estimated daily intake (EDI), target hazard quotient (THQ), and hazard index (HI) for As and Cd, and margin of exposure (MoE) for Pb. Mean levels of As, Cd, and Pb were the highest in cereal‐based meals and biscuits as 15.5–11.1, 5.18–8.76, and 35.2–53.8 μg/kg, respectively. Newborns to 6 months old infants were estimated to be the highest exposed population to Cd and Pb (0.08 and 0.36 μg/kg bw/day), while infants aged 7–12 months old were exposed the highest to As. Based on the THQ, HI, and MoE findings, the current exposure levels from the selected baby foods to As, Cd, and Pb pose low potential chronic risks to both infant age groups. This research provides a roadmap for future investigations in chemical contaminants often detected in baby foods consumed regularly by Saudi infants.
Endogenous Tracking: Sorting and Peer Effects

We show that, when the educational choice is costly, the motive of seeking positive peer effects can result in ability grouping. In particular, high-achieving students self-sort by choosing costly courses, which we refer to as “endogenous tracking. ” We demonstrate the implications of endogenous tracking using the data from French middle schools, where ability grouping officially is not allowed. Instead, students are grouped together to study all courses in the standardized curriculum based on their choices between studying Spanish or a more effort-costly German. We find that costly language choices result in groups that significantly differ in terms of academic performance. Furthermore, we exploit regional differences in the effort costs of learning German to confirm that larger costs of choosing German result in more selective endogenous tracking. Finally, we identify peer effects that, together with sorting, generate inequality in educational outcomes. Such inequality, combined with observed inequality in socioeconomic status between the formed groups, works against egalitarian educational policies.
The effect of maternal anxiety levels on the transition period to complementary feeding

Introduction: The aim of this study is to determine whether the anxiety levels of mothers before and after complementary feeding (CF) initiation negatively affect the transition period of infants to CF. Materials and methods: The study was conducted with 150 mothers and their infants of five months of age who had not yet started CF. Beck’s depression inventory, state-trait anxiety inventory, and a questionnaire were administered to mothers. The level of statistical significance was accepted as p<0.05 in this study. Results: In this study, no statistically significant relationship was found between the transition period to CF and maternal anxiety levels (p>0.05). The relationship between eating snacks and inadequate weight gain was found significant (p=0.020). Conclusions: In our study, the anxiety levels of the mothers did not increase in the CF period. Although there was no statistically significant, the presence of anxiety in mothers requires a unique approach and support for mothers and their infants.
Eyes, Menstruation and Endometriosis

Vicarious menstruation refers to cyclical bleeding outside the uterine cavity during the menstrual cycle. Haemolacria, or blood in tears, is a rare medical phenomenon that can occur with menstruation or in association with endometriosis. Endometriosis, defined by the presence of endometrial-like tissue in extra-uterine sites, affects around 10% of fertile women; the ocular system is one of the rarest sites it can be present in. Endometriosis usually requires a biopsy for diagnosis, and the anatomic difficulty of obtaining a biopsy of the ocular system makes ocular endometriosis diagnosis more obscure. However, few cases have been described in the literature and due to the psychological, physical, and social implications of haemolacria on the patient, treatment is of utmost importance. We reviewed the literature on ocular endometriosis and ocular vicarious menstruation with the aim to discuss the clinical presentation, necessary workup and various treatment modalities, while also shedding light on the connection between the eyes and endometriosis in general. It is hypothesised that uterine endometrial cells can travel lymphatically or haematogenously and deposit extra-uterine endometriotic lesions that bleed in response to hormonal changes in the menstrual cycle. Additionally, the conjunctival vasculature has been found to be responsive to hormonal changes due to the presence of oestrogen and progesterone receptors, causing bleeding at the corresponding sites, even without endometriotic lesions. Clinical correlation of the haemolacria with the menstrual cycle can suffice for a diagnosis of vicarious menstruation, and thus opens the possibility of treatment to provide symptomatic treatment for the patient.
Nature-Nurture Interplay: Evidence from Molecular Genetic and Pedigree Data in Korean American Adoptees

In a sample of Korean adoptees who have been quasi-randomly assigned to US adoptive families and who have been genotyped, we examine the influences and interplay of genetics (“nature”) and shared family environment (“nurture”) on a suite of outcomes. We use molecular genetic data to construct polygenic indices (PGIs) that partially predict the outcomes and examine the effects of the PGIs as well as those of a rich set of family variables. We also compare the resemblance of adoptive and biological siblings to decompose outcome variation into shares due to nature and nurture. We find that both nature and nurture causally affect most outcomes and that the influence of the PGIs tends to be of a similar magnitude to that of the observed family variables. Nurture appears particularly important for education, income, and nicotine usage, while nature has a particularly strong influence on GPA, soft skills, cognitive performance, BMI, and height. Nurture effects on education and smoking are partly traceable to rearing parents’ genetics. We investigate interactive effects and obtain suggestive evidence that family socioeconomic status and genetic propensity for educational attainment may be substitutes in the human capital production function for cognitive skills.
Endometriosis, Oocyte, and Embryo Quality

Endometriosis is a common finding among women with infertility, and women who are diagnosed with endometriosis are almost twice as likely to experience infertility. Mechanisms by which endometriosis causes infertility remain poorly understood. In this review, we evaluate the current literature on the impact of endometriosis on oocyte and embryo quality. The presence of endometriosis evidently reduces ovarian reserve, oocyte quality, and embryo quality; however, this does not appear to translate to a clear clinical impact. Analysis of data from large assisted reproduction technology registries has shown that women with endometriosis have a lower oocyte yield but no reduction in reproductive outcomes. There is a need for future studies in the form of well-designed randomized controlled trials to further evaluate the role of surgical and medical treatment options in women with endometriosis undergoing assisted conception.
Efficient utilization of sewage water for improving the forage yield and quality of bajra-napier hybrid grass

Field experiments were conducted at Agricultural College and Research Institute, Madurai to compare the effect of sewage effluent on yield and quality of Bajra Napier hybrid grass with two irrigation sources viz. ordinary water (1,) and sewage effluent (1) as main plots and four N levels viz, 0, 50, 75 and 100 kg N ha-1 as sub plot treatment in a split plot design with three replications. BN 2 grass was grown as a test crop. Among the different levels of N, application of 100 kg N ha-1 recorded the highest green fodder (303 t ha-1). dry matter (61 ha-1) and crude protein (5.26 t ha-1) yield. Sewage effluent irrigation increased the green fodder, dry fodder and crude protein yield. The interaction effect between sewage effluent irrigation and N showed that 100 kg N ha with sewage effluent irrigation recorded the highest green fodder yield of 357 t ha-1, dry matter yield of 72 t ha-1 and crude protein yield of 6.37 tha. Sewage water irrigation showed increased total K, Ca, Fe, Mn and Zn content in BN 2 grass. The oxalic acid content was within the safe limit at all the levels of N tried (2.04- 2.08%) and with sewage effluent irrigation (2.14-2.61%). A decrease in crude fibre content was observed due to the increased addition of N at both the source of irrigation because of involvement of N in protein synthesis and consequent reduction in carbohydrate, ultimately leading to better digestibility of the grass.
Assimilation of High-Resolution Satellite-Derived Atmospheric Motion Vectors: Impact on HWRF Forecasts of Tropical Cyclone Track and Intensity

AbstractIt is well known that global numerical model analyses and forecasts benefit from the routine assimilation of atmospheric motion vectors (AMVs) derived from meteorological satellites. Recent studies have also shown that the assimilation of enhanced (spatial and temporal) AMVs can benefit research-mode regional model forecasts of tropical cyclone track and intensity. In this study, the impact of direct assimilation of enhanced (higher resolution) AMV datasets in the NCEP operational Hurricane Weather Research and Forecasting Model (HWRF) system is investigated. Forecasts of Atlantic tropical cyclone track and intensity are examined for impact by inclusion of enhanced AMVs via direct data assimilation. Experiments are conducted for AMVs derived using two methodologies (“HERITAGE” and “GOES-R”), and also for varying levels of quality control in order to assess and inform the optimization of the AMV assimilation process. Results are presented for three selected Atlantic tropical cyclone events and comp.
11 Episodic Memory Decline in Aging

Age-related changes in memory are a common but worrisome occurrence in many people’s lives. However, these changes are not ubiquitous. Healthy aging appears to impact memory for associative/relational details, i.e., the ability to recollect, more so than memory for item information. We propose that alterations in the recruitment of prefrontally mediated cognitive control processes, such as strategy use and inhibitory control, underlie these age-related memory deficits in healthy adults. These processes are particularly critical for remembering specific relational details and for being able to resolve interference between competing memories. Critically, evidence suggests that while there are large individual differences in the impact of aging on memory, various methods of support/intervention can improve memory performance in healthy older adults. We discuss how recent developments in neuroscience analysis methods have enhanced our understanding of how aging affects the control processes that support episodic learning and retrieval. We further suggest that future studies should test more diverse samples of adults and assess the role of lifestyle factors on individual differences in patterns of episodic memory performance and supporting brain activity and structure.
Primary Fibular Osteomyelitis in Children: A Systematic Review

Osteomyelitis of the fibula is rare and is especially rare in children. The published literature is limited to case series and is thus lacking a comprehensive description of the disease. The purpose of this systematic review is to provide the first comprehensive summary of the demographics, presenting symptoms, laboratory values, microbiology, and treatment results of osteomyelitis of the fibula in children based on the existing literature. This institutional review board (IRB)-exempt systematic review followed the Preferred Reporting Items for Systematic Reviews and Meta-Analyses Protocol (PRISMA-P) guidelines. Three search engines were used for a total of 239 studies. Twenty-six studies were screened by full text. Twelve articles underwent a quantitative analysis. Due to limited data and heterogenous reporting, the data were summarized descriptively. The methodologic quality of the studies was evaluated based on the Newcastle-Ottawa scale. The average age was 7.71±3.49 years, and males comprised 57% of the 21 cases. The most common presenting symptoms were fever (86%), antalgic gait (57%), and localized tenderness (81%). The most common site of involvement was the distal third of the fibula (90%). The average C-reactive protein (CRP) was 90.1±38.3 mg/L, and the average erythrocyte sedimentation rate (ESR) was 58.8±21.2 mm/hour. Staphylococcus aureus was the most cultured pathogen reported in 10/21 cases (48%). Open surgery was performed in 17/21 cases (81%), and there were no reported complications. Fever, antalgic gait, and localized tenderness should raise the index of suspicion. Prompt laboratory and radiographic evaluations can help reduce delays in diagnosis and improve outcomes. Blood and tissue cultures are currently performed in about half of the cases. Improvement in our microbiologic diagnosis has the potential to improve antibiotic selection. Local methicillin-resistant Staphylococcus aureus (MRSA) prevalence must be taken into consideration when starting empiric antibiotic treatment. Surgical treatment is often required with a low complication rate. The clinical and laboratory parameters identified in this study have the potential for integration into a composite clinical score.
A COMPARATIVE EVALUATION BETWEEN CT SCAN PNS WTH NASAL ENDOSCOPY FINDINGS IN PATIENTS OF CHRONIC RHINOSINUSITIS

Background : Chronic Rhinosinosinusitis (CRS) is one of the common diseases affecting people globally with significant negative impact on quality of life. The objective of this study is to compare the efficacy of CT and nasal endoscopy finding for the evaluation of CRS in patients with persistant complains despite appropriate medical therapy. Methods: Patients attending ENT OPD of SIMS, with any complains of CRS for more than 4 weeks not responding to medical treatment . Patients are selected by Random sampling method. Results : The commonest major presenting symptom among the patients was observed as nasal obstruction and headache the minor factor. Males were affected more commonly on nasal endoscopy , the most common finding was congested nasal mucosa and mucopurulent nasal discharge . Frontal cells most commonly seen on Ct scan and maxillary sinus was most commonly involved . DNS In of Deosthale N et al (2014) 16 , congested nasal mucosa (45.08%) and purulent middle meatus discharge (42.62%), edematous nasal mucosa (31.14%), non-purulent nasal discharge (25.40%), pale nasal mucosa and polyps (15.57%)
Essays on Bayesian persuasion

Chapter 1 reviews the literature about the bayesian persuasion. It first describes two main approaches to bayesian persuasion: concavification approach and information design approach. Next I consider some extensions to the basic model of bayesian persuasion, like competition between different senders, privately informed receiver and dynamic bayesian persuasion. Some other contributions reviewed include costly bayesian persuasion and bayesian persuasion when receiver’s optimal action is only a function of an expected state. Chapter 2 deals with two-dimensional bayesian persuasion. In this chapter I investigate a model when the receiver has to make two decisions. I am interested in optimal signal structures for the sender. I describe the upper bound of sender’s payoff in terms of his payoff when only marginal distributions of two dimensions are known. Completely characterise optimal simultaneous and sequential signal structures, when each dimension has binary states. This approach extends concavification approach to bigger state space, than explored in previous contributions to bayesian persuasion. Finally I characterise optimal sequential signal structure when there are three states for each dimension. In chapter 3 I investigate together with my co-author the effect of absence of common knowledge on the outcomes of coordination games in a laboratory experiment. In our experiment, around 76% of the subjects have chosen the payoff-dominant equilibrium strategy despite the absence of common knowledge. However, 9% of the players had first-order beliefs that lead to coordination failure and another 9% exhibited coordination failure due to higher-order beliefs.
GraphPrompt: Graph-Based Prompt Templates for Biomedical Synonym Prediction

In the expansion of biomedical dataset, the same category may be labeled with different terms, thus being tedious and onerous to curate these terms. Therefore, automatically mapping synonymous terms onto the ontologies is desirable, which we name as biomedical synonym prediction task. Unlike biomedical concept normalization (BCN), no clues from context can be used to enhance synonym prediction, making it essential to extract graph features from ontology. We introduce an expert-curated dataset OBO-syn encompassing 70 different types of concepts and 2 million curated concept-term pairs for evaluating synonym prediction methods. We find BCN methods perform weakly on this task for not making full use of graph information. Therefore, we propose GraphPrompt, a prompt-based learning approach that creates prompt templates according to the graphs. GraphPrompt obtained 37.2% and 28.5% improvement on zero-shot and few-shot settings respectively, indicating the effectiveness of these graph-based prompt templates. We envision that our method GraphPrompt and OBO-syn dataset can be broadly applied to graph-based NLP tasks, and serve as the basis for analyzing diverse and accumulating biomedical data. All the data and codes are avalible at: https://github.com/HanwenXuTHU/GraphPrompt
Accessing and probing of the photo-induced hidden state in 1T-TaS2 with time- and angle-resolved photoemission spectroscopy

A previous time-resolved optical study reported on a metastable hidden electronic state in 1T-TaS2, which is only accessible upon photoexcitation and created under non-equilibrium conditions [1]. The properties of such a state are distinct from those of any other state in the equilibrium phase diagram and it is possible to revert to the thermodynamic initial state either by illuminating with picosecond laser pulses or by applying other thermal erase procedures. In this work we show photoinduced switching to a metastable hidden state on the same material, and probe it by means of both static and time-resolved photoemission spectroscopy, thus having direct access to the electronic structure of the system. From our experimental findings and comparison with other studies, we conclude that we obtain partial switching, leading to a hidden state with persisting insulating nature but significant modifications in the electronic structure and CDW ordering.