Miracle-dz/UniFAR-FTUs huggingface dataset:
Generalized Answer Set Planning with Incomplete Information

Answer Set Planning was one of the first challenging applications of Answer Set Programming (ASP). However, when putting plans into practice, their execution and monitoring lead to an increased complexity. Foremost, this is due to the inherent incompleteness of information faced in real-world scenarios. This fundamental problem has already been addressed in various ways, as in conformant, assertional, and assumption-based planning, and often combined with additional sensing actions. Our objective is to conceive a framework for planning and execution under incomplete information by combining the key concepts of the aforementioned approaches in a uniform ASP-based framework. This paper reports on our first step in this direction. More precisely, we define a series of increasingly complex ASP problems reflecting the successive integration of the key concepts. Our prime concern lies in obtaining a uniform characterization that matches the expressive realm of ASP. This is reflected by developing appropriate approximations that are implemented by means of metaencoding techniques.
Betaine supplementation lowers plasma homocysteine in healthy men and women.

Elevated levels of plasma total homocysteine are associated with a higher risk of cardiovascular disease. Betaine and 5-methyltetrahydrofolate can remethylate homocysteine into methionine via independent reactions. We determined the effect of daily betaine supplementation, compared with both folic acid and placebo, on plasma concentrations of total homocysteine after an overnight fast and after methionine loading in men and women with mildly elevated homocysteine. Groups of twelve subjects ingested 6 g betaine, 800 micro g folic acid with 6 g placebo or 6 g placebo each day for 6 wk. A methionine-loading test (i.e., ingestion of 100 mg L-methionine/kg body mass) was performed before and after 6 wk of supplementation. Fasting plasma homocysteine decreased by 1.8 micro mol/L (95% confidence interval [CI]: -3.6, 0.0, P < 0.05) in the betaine group and by 2.7 micro mol/L (95% CI: -4.5, -0.9, P < 0.05) in the folic acid group. These changes are relative to the change in the placebo group, in which fasting plasma homocysteine rose by 0.5 micro mol/L. Furthermore, betaine suppressed the total area under the plasma homocysteine-time curve after methionine loading by 221 micro mol. 24 h/L (95% CI: -425, -16, P < 0.05) compared with placebo, whereas folic acid had no effect. In conclusion, betaine appears to be highly effective in preventing a rise in plasma homocysteine concentration after methionine intake in subjects with mildly elevated homocysteine. It is not known whether this potential of betaine to "stabilize" circulating homocysteine concentrations lowers the risk of cardiovascular disease.
Serum transferrin receptor and zinc protoporphyrin as indicators of iron status in African children.

BACKGROUND Although transferrin receptor (TfR) and zinc protoporphyrin (ZnPP) are often used to define iron status in school-age children in developing countries, the diagnostic cutoffs for this age group are uncertain. OBJECTIVE The objective was to determine the sensitivity and specificity of TfR and ZnPP in predicting iron deficiency in black and white children in Africa. DESIGN Hemoglobin, C-reactive protein (CRP), serum ferritin (SF), TfR, and ZnPP were measured in children in Côte d'Ivoire and Morocco. We excluded children with elevated CRP and then used receiver operating characteristic (ROC) curves to evaluate TfR and ZnPP alone and in combination in screening for iron deficiency, defined as an SF concentration <15 mug/L, and iron deficiency anemia (IDA), defined as an SF concentration <15 mug/L and low hemoglobin. RESULTS The sample included 2814 children aged 5-15 y. The sensitivity and specificity of TfR and ZnPP were limited by considerable overlap between iron-sufficient, nonanemic children and those with IDA. On the basis of ROC curves, we identified diagnostic cutoffs for TfR and ZnPP that achieved specificities and sensitivities of approximately 60-80%. Separate cutoffs for Côte d'Ivoire and Morocco gave the best performance; the cutoffs for both TfR and ZnPP were higher in Côte d'Ivoire. Moreover, a comparison of nonanemic, iron-sufficient subjects showed that Ivorian children had significantly higher TfR and ZnPP concentrations than did Moroccan children (P < 0.01). CONCLUSIONS New diagnostic cutoffs for TfR and ZnPP, based on ROC curve analyses, may improve the performance of these indexes in defining iron status in children. Significant ethnic differences in TfR and ZnPP suggest that separate cutoffs may be needed for black and white children.
The importance of atrial structure and fibers

Atrial structures are important in the current era of cardiac interventions using percutaneous transcatheter procedures. Understanding their locations and component parts helps to reduce risks of procedural‐related damage. The general arrangement of the myofibers that make up the atrial walls is reviewed to provide a morphologic basis for atrial conduction and potential substrates of arrhythmias. The right atrium, dominated by its appendage, is characterized by having an extensive array of pectinate muscles. These extend almost perpendicularly from the terminal crest. The left atrium has relatively smooth walls and a small tubular‐shaped appendage. The myofibers show changes in orientations when traced through the thickness of the walls. Extensions of atrial myocardium onto the pulmonary veins and the superior caval vein are common. Apart from Bachmann's bundle, there are other muscular bridges of variable numbers and sizes that provide interatrial connections, connections between the left atrium and the coronary sinus, and connections between the muscular sleeves of the right pulmonary veins and the right atrium. The purpose of this review is to summarize the three‐dimensional arrangement of gross atrial structures, the myoarchitecture and variations in muscular interatrial connections. These are important features in intra‐ and interatrial conduction. Clin. Anat. 22:52–63, 2009. © 2008 Wiley‐Liss, Inc.
Effect of Continuous Cooling Transformation Variations on Numerical Calculation of Welding-Induced Residual Stresses Three continuous cooling transformation (CCT) diagrams for S355J2 steel were employed to study the effect of CCT variations on calculated residual stresses

Continuous cooling transformation (CCT) behavior affects the transient state of material properties employed in a numerical welding simulation, having a direct influence on the developing stress state. Three different CCT diagrams for S355J2 steel were employed to understand the influence of variations in CCT behavior on the numerical calculation of welding-induced residual stresses. The CCT diagrams were constructed from transformation data contained in the Sysweld software database, measured dilatometric data from Gleeble experiments, and transformation data calculated from the JMatPro software. The calculated transverse and longitudinal residual stress distributions provided a qualitative correlation only in comparison to experimental measurements, with the largest deviation occurring near the weld interface. Overall, the results indicate a weak dependency of the calculated residual stresses due to anticipated CCT variations. The most significant effect on the calculated residual stresses was shown to be related to the proportion of formed martensite. It is suggested that CCT data of approximate accuracy is sufficient for reliable calculation of welding-induced residual stresses.
A semiquantitative food frequency questionnaire is a valid indicator of the usual intake of phytoestrogens by south Asian women in the UK relative to multiple 24-h dietary recalls and multiple plasma samples.

We investigated the relative validity of an interview-administered FFQ to estimate phytoestrogen intake among South Asian women in the UK. A population-based sample of 108 healthy South Asian women completed random repeated monthly 24-h recalls [with a subsample (n = 58) also providing multiple plasma samples] over a period of 1 y followed by administration of the FFQ. The FFQ produced slightly higher estimates of phytoestrogen intake than the 24-h recalls, but the percentage of women classified into the same +/- 1 quartile by the 2 methods was high for all phytoestrogens (from 81 to 94%) with only a small percentage (<5%) being misclassified into extreme opposite quartiles. Energy-adjusted Spearman correlations coefficients between the estimates obtained by the FFQ and the 24-h recalls were 0.55 for genistein, 0.60 for daidzein, 0.70 for secoisolariciresinol, and 0.63 for matairesinol (all P < 0.001). Spearman correlation coefficients between the FFQ estimates and plasma levels were 0.21 (P = 0.12) for genistein, 0.32 (P = 0.02) for daidzein and 0.10 (P = 0.43) for enterolactone; the corresponding values for the 24-h recalls compared with plasma levels were 0.43 (P < 0.001), 0.40 (P = 0.002), and 0.08 (P = 0.50), respectively. The method of triads was used to estimate the validity coefficients (VCs) between the estimates provided by each assessment method and "true intake. " The FFQ had the highest VC for lignans (0.91 vs. 0.73 for 24-h recalls and 0.11 for plasma samples) and satisfactory VCs for both genistein (0.46 vs. 0.95 and 0.45, respectively) and daidzein (0.67 vs. 0.83 and 0.45, respectively). This FFQ is thus a relatively valid tool with which to estimate phytoestrogen intake among South Asian women in the UK.
Glutathione, glutathione peroxidase, and selenium status in HIV-positive and HIV-negative adolescents and young adults.

BACKGROUND Antioxidant nutrient deficiencies may hasten the progression of HIV disease by impairing antioxidant defenses. OBJECTIVE The objective of the study was to determine whether HIV infection is associated with poor selenium status and low antioxidant protection by glutathione and glutathione peroxidase (GPX). DESIGN In a cross-sectional study of 365 HIV-positive and HIV-negative adolescents and young adults, we examined the relation of plasma selenium, whole-blood glutathione, and whole-blood GPX to HIV status, disease severity, immune activation, and oxidative damage. RESULTS Selenium deficiency (plasma selenium < 0.070 microg/mL) was not seen in any subjects, and plasma selenium in 244 HIV-positive subjects (0.120 +/- 0.0013 microg/mL) did not differ significantly (P = 0.071) from that in 121 HIV-negative subjects (0.125 +/- 0.0020 microg/mL) . However, multiple regression analysis after adjustment for covariates showed a significant (P = 0.002) negative association between HIV-associated immune activation (plasma neopterin) and plasma selenium concentrations. GPX activity was highest in HIV-positive subjects taking antiretroviral therapy (median: 14.2; 25th, 75th percentiles: 11.1, 18.7 U/mL; n = 130), intermediate in HIV-positive subjects not taking antiretroviral therapy (11.8; 9.4, 15.1 U/mL; n = 114), and lowest in HIV-negative subjects (10.6; 8.6, 12.7 U/mL; n = 121; P < 0.05 for all comparisons). GPX was also positively associated with malondialdehyde, a marker of oxidative damage. CONCLUSIONS Subjects had adequate selenium status, although HIV-related immune activation was associated with lower plasma selenium concentrations. GPX activity appears to have been induced by the oxidative stress associated with HIV infection and use of antiretroviral therapy. Thus, young, well-nourished subjects can mount a compensatory antioxidant response to HIV infection.
HR practices and HRM outcomes: the role of basic need satisfaction

Integrating soft HRM and self-determination theory, we propose a model in which the presence of five HRM practices and the degree to which an employees’ talents, interests, and expectations are taken into account within these practices influence work outcomes through basic need satisfaction. Data gathered from 5749 Belgian employees showed that different HRM practices satisfy the three basic needs for autonomy, relatedness, and competence and that the degree to which the individual is taken into account generally has an additional positive effect. Moreover, basic need satisfaction positively influences affective organizational commitment and work engagement, and subsequently lowers turnover intention. These findings indicate that (1) basic need satisfaction is an important, but neglected, mediating variable in the HRM-performance relationship and that (2) bearing in mind individual talents, interests, and expectations of employees within HRM practices may matter equally or more than their mere presence.
Association between B‐type natriuretic peptide and within‐visit blood pressure variability

Blood pressure variability (BPV) has been shown to predict cardiovascular events. Within‐visit BPV is the simplest and easiest measure of BPV, but previous studies have shown conflicts as to whether within‐visit BPV correlates with target organ damage. We aimed to evaluate whether within‐visit BPV correlates with B‐type natriuretic peptide (BNP) in a general population.
Geometrical theory of diffraction.

The geometrical theory of diffraction is an extension of geometrical optics which accounts for diffraction. It introduces diffracted rays in addition to the usual rays of geometrical optics. These rays are produced by incident rays which hit edges, corners, or vertices of boundary surfaces, or which graze such surfaces. Various laws of diffraction, analogous to the laws of reflection and refraction, are employed to characterize the diffracted rays. A modified form of Fermat’s principle, equivalent to these laws, can also be used. Diffracted wave fronts are defined, which can be found by a Huygens wavelet construction. There is an associated phase or eikonal function which satisfies the eikonal equation. In addition complex or imaginary rays are introduced. A field is associated with each ray and the total field at a point is the sum of the fields on all rays through the point. The phase of the field on a ray is proportional to the optical length of the ray from some reference point. The amplitude varies in accordance with the principle of conservation of energy in a narrow tube of rays. The initial value of the field on a diffracted ray is determined from the incident field with the aid of an appropriate diffraction coefficient. These diffraction coefficients are determined from certain canonical problems. They all vanish as the wavelength tends to zero. The theory is applied to diffraction by an aperture in a thin screen diffraction by a disk, etc., to illustrate it. Agreement is shown between the predictions of the theory and various other theoretical analyses of some of these problems. Experimental confirmation of the theory is also presented. The mathematical justification of the theory on the basis of electromagnetic theory is described. Finally, the applicability of this theory, or a modification of it, to other branches of physics is explained.
Estimating N2 O processes during grassland renewal and grassland conversion to maize cropping using N2 O isotopocules.

RATIONALE Enhanced nitrous oxide (N2 O) emissions can occur following grassland break-up for renewal or conversion to maize cropping, but knowledge about N2 O production pathways and N2 O reduction to N2 is very limited. A promising tool to address this is the combination of mass spectrometric analysis of N2 O isotopocules and an enhanced approach for data interpretation. METHODS The isotopocule mapping approach was applied to field data using a δ15 NspN2O and δ18 ON2O map to simultaneously determine N2 O production pathways contribution and N2 O reduction for the first time. Based on the isotopic composition of N2 O produced and literature values for specific N2 O pathways, it was possible to distinguish: (i) heterotrophic bacterial denitrification and/or nitrifier denitrification and (ii) nitrification and/or fungal denitrification and the contribution of N2 O reduction. RESULTS The isotopic composition of soil-emitted N2 O largely resembled the known end-member values for bacterial denitrification. The isotopocule mapping approach indicated different effects of N2 O reduction on the isotopic composition of soil-emitted N2 O for the two soils under study. Differing N2 O production pathways in different seasons were not observed, but management events and soil conditions had a significant impact on pathway contribution and N2 O reduction. N2 O reduction data were compared with a parallel 15 N-labelling experiment. CONCLUSIONS The field application of the isotopocule mapping approach opens up new prospects for studying N2 O production and consumption of N2 O in soil simultaneously based on mass spectrometric analysis of natural abundance N2 O. However, further studies are needed in order to properly validate the isotopocule mapping approach.
Firm Leverage, Labor Market Size, and Employee Pay

We provide new estimates of the wage costs of firms' debt. Our empirical approach exploits within-firm geographical variation in workers' expected unemployment costs due to variation in local labor market size and uses a large representative sample of public firms. We find that, following an increase in firm leverage, workers with higher unemployment costs experience higher wage growth relative to workers at the same firm with lower unemployment costs. Overall, our estimates suggest that a 10 percentage point increase in leverage increases wage compensation for the median worker by 1.9% and total firm wage costs by 17 basis points of firm value.
Adaptation in human zinc absorption as influenced by dietary zinc and bioavailability.

BACKGROUND An understanding of the relations among dietary zinc intake, bioavailability, and absorption is necessary for making dietary intake recommendations. OBJECTIVES We aimed to assess adaptation in human zinc absorption to controlled differences in zinc and phytate intakes and to apply the results to predictive models. DESIGN In 3 experiments, radiotracers were used to assess zinc absorption by healthy adults (n = 109) from controlled diets, before and after 4 or 8 wk of dietary equilibration. Subjects consumed 4-29 mg Zn/d from 1 of 10 diets, 5 with molar ratios of phytate to zinc from 2 to 7 and 5 with ratios from 15 to 23. RESULTS Absorptive efficiency was inversely related to dietary zinc from both low- and high-phytate diets. In response to low zinc intakes (<11 mg/d) for 4-8 wk, zinc absorption was up-regulated to as high as 92%, but only if the diets were low in phytate. The results help validate and refine a published saturable transport model that predicts zinc absorption from dietary zinc and phytate. Possible biomarkers of impaired zinc status, including erythrocyte osmotic fragility, in vitro erythrocyte (65)Zn uptake, and leukocyte expression of the zinc transport proteins Zip1 and ZnT1, were unresponsive to dietary zinc content. CONCLUSIONS Humans absorbed zinc more efficiently from low-zinc diets and adapted to further increase zinc absorption after consuming low-zinc, low-phytate diets for several weeks. Such adaptation did not occur with higher phytate diets. Zinc absorption can be predicted from dietary zinc and phytate after allowing for dietary equilibration.
Genomic alterations recorded in two species of Chironomidae (Diptera) in the Upper Jurassic limestone area of the Ojców National Park in Poland attributable to natural and anthropogenic factors

The Ojcow National Park is situated in southern Poland in an area of Jurassic limestone, which determines the hydro- chemistry of the water in the River Pr�� dnik. The geochemical index of the sediment in the River Pr�� dnik indicated it is moderately polluted with Pb and Zn, and heavily polluted with Cd compared to unpolluted sediment. The effect of natural and anthropogenic sources on the sediment in the River Pr�� dnik and in appearing of structural and functional alterations in the salivary gland chromo- somes of two species of Chironomidae, Micropsectra pallidula and Polypedilum convictum, was investigated. Two types of chromo- somal rearrangements (inherited and somatic) were identified in the species studied. Inherited heterozygous inversions occurred at a higher frequency (between 5.55%-57.81%) and may have local adaptive value. In M. pallidula a karyotype divergence consisting of fixed chromosome inversions on arms B and E was recorded. As somatic chromosome rearrangements can be caused by stress agents, we suggest that the somatic aberrations in both of the species studied indicate the existence of pollution, i.e. induced stress. On the basis of these somatic rearrangements the somatic index of both species was defined: M. pallidula - 0.346, P. convictum - 0.555. In addition to these rearrangements functional alterations in key structures, Balbiani rings (BRs) and the nucleolar organizer region (NOR) located on chromosome EF, which significantly decreased their transcriptional activity, were recorded in M. pallidula. Changes in the appearance of the telomere region on chromosome G in P. convictum was considered to be a response to the environ- mental conditions in the River Pr�� dnik. It was shown that polytene chromosomes are very sensitive to environmental changes and can be used to detect pollutants in aquatic ecosystems.
A multiple‐model generalisation of updating clinical prediction models

There is growing interest in developing clinical prediction models (CPMs) to aid local healthcare decision‐making. Frequently, these CPMs are developed in isolation across different populations, with repetitive de novo derivation a common modelling strategy. However, this fails to utilise all available information and does not respond to changes in health processes through time and space. Alternatively, model updating techniques have previously been proposed that adjust an existing CPM to suit the new population, but these techniques are restricted to a single model. Therefore, we aimed to develop a generalised method for updating and aggregating multiple CPMs. The proposed “hybrid method” re‐calibrates multiple CPMs using stacked regression while concurrently revising specific covariates using individual participant data (IPD) under a penalised likelihood. The performance of the hybrid method was compared with existing methods in a clinical example of mortality risk prediction after transcatheter aortic valve implantation, and in 2 simulation studies. The simulation studies explored the effect of sample size and between‐population‐heterogeneity on the method, with each representing a situation of having multiple distinct CPMs and 1 set of IPD. When the sample size of the IPD was small, stacked regression and the hybrid method had comparable but highest performance across modelling methods. Conversely, in large IPD samples, development of a new model and the hybrid method gave the highest performance. Hence, the proposed strategy can inform the choice between utilising existing CPMs or developing a model de novo, thereby incorporating IPD, existing research, and prior (clinical) knowledge into the modelling strategy.