Miracle-dz/UniFAR-FTUs huggingface dataset:
The parameterization of solid metal‐liquid metal partitioning of siderophile elements

Abstract— Many solar system processes involve a metallic liquid, and the composition of the metallic liquid, such as the liquid's concentrations of S, P, and C, will influence the partitioning of elements during such processes. We present a method for parameterizing solid metal‐liquid metal partition coefficients for siderophile (metal‐loving) elements as a function of the metallic liquid composition. Our parameterization method is based on an older theory of Jones and Malvin (1990), which stated that the metallic liquid is composed of metal and non‐metal‐bearing domains, and the domains are the dominant influence on the partitioning behavior. By revising the means by which the metal domains are calculated, our revised parameterization method is able to match experimental partitioning data from the Fe‐Ni‐S, Fe‐Ni‐P, Fe‐Ni‐S‐P, and Fe‐Ni‐C systems. Mathematical expressions were derived for the solid metal‐liquid metal partitioning of 13 siderophile elements. Elements that are chalcophile (S‐loving), P‐loving, or C‐loving prefer the non‐metal‐bearing domains in the metallic liquid and, consequently, aren't fit by the parameterization method presented here. Possible applications for our parameterization method include modeling the crystallization of iron meteorites, planetary differentiation, and the solidification of Earth's inner core.
Lowest-low fertility in the Republic of Korea: Causes, consequences and policy responses

Lowest-low fertility appeared quite suddenly in the Republic of Korea although fertility has consistently declined for several decades. Demographers in the mid-1990s could not have predicted that fertility would fall so rapidly to such levels. Interestingly the pace of the decline accelerated after the region-wide economic crisis in 1997. Not only did fertility but also other indicators related to fertility and the family adjusted suddenly and significantly after the country had passed through the crisis. The present article aims to explain why lowest-low fertility appeared in the Republic of Korea in the late 1990s. The author approaches the recent fertility decline from a broader perspective that considers the traditional and cultural legacies which affect the everyday life of ordinary citizens. Finally this article presents and discusses the latest population policies proposed by the Government of the Republic of Korea. (excerpt)
Centralisation vs de-centralisation of warehousing: A small and medium-sized enterprise perspective

Purpose – The purpose of this paper is to explore the major drivers behind the choice of centralising versus decentralising warehousing locations from a small‐ and medium‐sized enterprise (SME) perspective. Previous literature has investigated this solely from a large company perspective.Design/methodology/approach – An in‐depth literature review was carried out and, in addition, a single case study was conducted in order to investigate the issue at hand. A Danish medium‐sized do‐it‐yourself (DIY) retailer was chosen, as this company faced the challenge of deciding between centralisation vs decentralisation of its warehousing structure.Findings – The paper has two findings: existing literature does not deal with the difference between SMEs and large companies when speaking of centralised vs decentralised warehousing; and the difference between SMEs and large companies with regard to centralised vs decentralised warehousing lies in the fact that SMEs generally have scarcity in competences and fewer resourc.
CENTRAL BANKING AS A POLITICAL PRINCIPAL‐AGENT PROBLEM

An inflation and stabilization bias may arise as a result of the principal-agent nature of monetary policy. Both depend on the degree of political uncertainty and the type of relationship between central bankers and the incumbent political leaders. Specifically, our analysis indicates how a close relationship between central bankers and incumbent political leaders can lead to undesirable outcomes, particularly so during periods of electoral competition and political uncertainty. Various institutional proposals exist for resolving this problem. Our analysis shows that in contrast to Friedman-type policy rules or the appointment of `conservative' central bankers, personal independence of the central banker from government or performance-orientated compensation packages can achieve both optimal stabilization and the elimination of the inflation bias.
Vitamin supplement use and incident cataracts in a population-based study.

OBJECTIVE To determine the relationship between vitamin supplement use and the 5-year incidence of nuclear, cortical, and posterior subcapsular cataract in the Beaver Dam Eye Study cohort. DESIGN The 5-year incidence of cataract, determined from slitlamp (nuclear cataract) and retroillumination (cortical and posterior subcapsular cataract) photographs, was assessed in a population-based cohort of persons participating in baseline (1988-1990) and follow-up (1993-1995) examinations. Detailed data regarding the type, dosage, and duration of supplement use were obtained by in-person interviews at follow-up. PARTICIPANTS Residents of Beaver Dam, Wis, aged 43 to 86 years, were identified by private census. Of the 3684 participants in both baseline and follow-up examinations, 3089 were eligible for incident cataract analysis in the present study. RESULTS Compared with nonusers, the 5-year risk for any cataract was 60% lower among persons who, at follow-up, reported the use of multivitamins or any supplement containing vitamin C or E for more than 10 years. Taking multivitamins for this duration lowered the risk for nuclear and cortical cataracts but not for posterior subcapsular cataracts (odds ratios [95% confidence intervals] = 0.6 [0.4-0.9], 0.4 [0.2-0.8], and 0.9 [0.5-1.9], respectively). Use of supplements for shorter periods was not associated with reduced risk for cataract. Measured differences in lifestyle between supplement users and nonusers did not influence these associations, nor did variations in diet as measured in a random subsample. CONCLUSIONS These data add to a body of evidence suggesting lower risk for cataract among users of vitamin supplements and stronger associations with long-term use. However, the specific nutrients that are responsible cannot be ascertained at this time, and unmeasured lifestyle differences between supplement users and nonusers may explain these results. Arch Ophthalmol. 2000;118:1556-1563
A new approach to integrating data from multiple informants in psychiatric assessment and research: mixing and matching contexts and perspectives.

OBJECTIVE When there exists no single source of information (informant) to validly measure a characteristic, it is typically recommended that data from multiple informants be used. In psychiatric assessment and research, however, multiple informants often provide discordant data, which further confuse the measurement. Strategies such as arbitrarily choosing one informant or using the data from all informants separately generate further problems. This report proposes a theory to explain observed patterns of interinformant discordance and suggests a new approach to using data from multiple informants to measure characteristics of interest. METHOD Using the example of assessment of developmental psychopathology in children, the authors propose a model in which the choice of informants is based on conceptualizing the contexts and perspectives that influence expression of the characteristic of interest and then identifying informants who represent those contexts and perspectives in such a way as to have the weaknesses of one informant canceled by the strengths of another. RESULTS Applications of this approach to several datasets indicate that when these principles are followed, a more reliable and valid consensus measure is obtained, and failure to obtain a reliable, valid measure is indicative of some deviation from the principles. CONCLUSIONS In obtaining a consensus measure, the issue is not determining how many informants are needed but choosing the right set of informants.
Experimental evaluation of AODV in a hybrid wireless mesh network

Wireless Mesh Networks (WMNs) are a variant of ad-hoc networks that have recently received increasing attention. They are a promising technology for a wide range of applications for the reason of their cost-effectiveness, self-configuring and self-healing nature. Routing protocols are a key component of WMNs, as they are responsible for discovering and establishing end-to-end, often multi-hop, paths between nodes in dynamic environments. In this paper, we evaluate the performance of the Ad-hoc On-demand Distance Vector (AODV) protocol for hybrid WMNs, which are a special type of wireless mesh network that are comprised of both static infrastructure nodes as well as mobile client devices. The results obtained from our testbed network indicate that AODV performs effectively in hybrid WMNs and is able to handle a high volume of traffic with minimal latency. While existing works on performance evaluation of adhoc and WMN routing protocols are typically performed either via simulations or via experiments on test-beds. Comparisons of results from both methods are rarely provided. One of the key contributions of this paper is the validation of our simulation results by performing experiments on a real WMN test-bed using the same scenario and mobility pattern. Our results show a reasonably good correlation between the simulation results and our test-bed measurements and we are able to explain the observed variations. Our work serves as a base line result for the exploration of larger and more complex network topologies.
Heterogeneity, intrafamily distribution and child health

This paper outlines a simple dynamic model of child health incorporating uncertainty to demonstrate the complexity of household decision rules concerning the allocation of resources to and across children when there is variation in child traits within the family and in healthiness across families. Empirical results informed by the model indicate that parental behavior responds to unanticipated health outcomes among children and is also significantly associated with more persistent health factors that vary across families. As a consequence, estimates of child health effects of parental decisions, or the fertility effects of child mortality that ignore the behavioral consequences of interfamily and intrafamily heterogeneity are biased.
Time Perspective and Age: A Review of Age Associated Differences

We investigate the relationship between age and the five dimensions of time perspective measured by the Zimbardo Time Perspective Inventory (ZTPI) (past negative, past positive, present hedonistic, present fatalistic, and future). Time perspective is related to well-being, decision-making, level of development, and many other psychological issues. Hence, the existence of a systematic relationship between time perspective and age should be considered in all studies for which time is a relevant variable. However, no specific research about this has been conducted. We collected 407 papers that referenced the ZTPI between 2001 and 2015. From those, 72 studies met our inclusion criteria. They included 29,815 participants from 19 countries whose age spans most phases of adulthood (from 13.5 to 75.5 years, mean 28.7). We analyzed these studies adapting meta-analytical techniques. We found that present hedonistic and past negative dimensions are negatively related to aging with partial eta squared effect sizes of roughly 0.15. Our results have implications for the design of studies related to time as our findings highlight the importance of taking into account the differences associated with age.
An unfold/fold transformation framework for definite logic programs

Given a logic program P, an unfold/fold program transformation system derives a sequence of programs P = P0, P1, …, Pn, such that Pi+1 is derived from Pi by application of either an unfolding or a folding step. Unfold/fold transformations have been widely used for improving program efficiency and for reasoning about programs. Unfolding corresponds to a resolution step and hence is semantics-preserving. Folding, which replaces an occurrence of the right hand side of a clause with its head, may on the other hand produce a semantically different program. Existing unfold/fold transformation systems for logic programs restrict the application of folding by placing (usually syntactic) conditions that are sufficient to guarantee the correctness of folding. These restrictions are often too strong, especially when the transformations are used for reasoning about programs. In this article we develop a transformation system (called SCOUT) for definite logic programs that is provably more powerful (in terms of transformation sequences allowed) than existing transformation systems. This extra power is needed for a novel use of logic program transformations: for the verification of a specific class of concurrent systems, called parameterized concurrent systems.Our transformation system is constructed by developing a framework, which is parameterized by a "measure space" and associated measure functions. This framework places no syntactic restriction on the application of folding, and it can be used to derive transformation systems (by fixing the measure space and functions). The power of the system is determined by the choice of the measure space and functions; thus the relative power of different transformation systems can be compared by considering their measure spaces and functions. The correctness of these transformation systems follows from the correctness of the framework. We show that various existing transformation systems can be obtained as instances of our framework. We extend the unfold/fold transformation framework with a goal replacement transformation that allows semantically equivalent conjunctions of atoms to be interchanged. We then derive a new transformation system SCOUT as an instance of the framework and show its power relative to the existing transformation systems. SCOUT has been used to inductively prove temporal properties of parameterized concurrent systems (infinite families of finite state concurrent systems). We demonstrate the use of the additional power of SCOUT in constructing such induction proofs.
Gradient-Enhanced Universal Kriging for Uncertainty Propagation

Abstract In this work, we investigate the issue of providing a statistical model for the response of a computer model–described nuclear engineering system, for use in uncertainty propagation. The motivation behind our approach is the need for providing an uncertainty assessment even in the circumstances where only a few samples are available. Building on our recent work in using a regression approach with derivative information for approximating the system response, we investigate the ability of a universal gradient-enhanced Kriging model to provide a means for inexpensive uncertainty quantification. The universal Kriging model can be viewed as a hybrid of polynomial regression and Gaussian process regression. For this model, the mean behavior of the surrogate is determined by a polynomial regression, and deviations from this mean are represented as a Gaussian process. Tests with explicit functions and nuclear engineering models show that the universal gradient-enhanced Kriging model provides a more accurate surrogate model than either regression or ordinary Kriging models. In addition, we investigate the ability of the Kriging model to provide error predictions and bounds for regression models.
Substitutability among Federal Income Tax Deductions : Implications for Optimal Tax Policy

This paper studies households making joint decisions about two tax-deductible activities: charitable giving and paying interest on home equity lines of credit (HELOC). By allowing for interactions, either substitutability or complementarity, between deductions, I provide a fuller understanding of the elasticity of taxable income (ETI) and the tax-price elasticity of charitable giving. The tax-price of paying HELOC interest depends on the tax schedule as well as current interest rates. Therefore, the two activities have different tax-prices and the identification of their interaction is possible. Using the Survey of Consumer Finances, I find that the level of each activity falls with its own tax-price and rises with the other activity’s tax-price. I show that in theory the ETI is a weighted sum of such own and cross tax-price effects between activities. I then apply this theory and my estimates to illustrate the trade-offs of three base-broadening tax policies. A conventional policy which removes a subset of deductions while keeping other deductions intact cannot guarantee either more tax revenue or greater efficiency. In contrast, an optimal policy would lower all deductions by differing degrees. However, designing an optimal policy requires knowing the values of all own and cross tax-price elasticities between deductions. Instead, I recommend a second-best policy of “uniform partial deductibility” which lowers all deductions to the same degree; it can guarantee improvement without prior knowledge about elasticities between deductions. I am grateful to Zachary Bethune, Raj Chetty, R. Morris Coats, John Friedman, Don Fullerton, Wayne-Roy Gayle, Damon Jones, Sarah Reber, Patrik Sandas, Dan Silverman, Steven Stern, Sarah Turner, the participants of the University of Virginia applied microeconomics research group, Bankard Applied Micro Workshop, UVA-Richmond Fed Research Jamboree and Southern Economic Conference, and especially Leora Friedberg and John Pepper for very helpful comments and discussions. I thankfully acknowledge financial support from the Bankard Fund for Political Economy. All errors are my own.
Teicoplanin therapy for MRSA bacteraemia: a retrospective study emphasizing the importance of maintenance dosing in improving clinical outcomes.

OBJECTIVES To study the relationship between teicoplanin maintenance dosing and clinical outcomes in adults with MRSA bacteraemia. METHODS MRSA bacteraemic patients who received three teicoplanin loading doses (6 mg/kg/12 h) followed by maintenance doses of 6 mg/kg/24 h (Group 1) or 6 mg/kg/12 h (Group 2) were retrospectively analysed. Evaluated on day 7, an unfavourable early clinical response referred to the presence of septic shock, persistent fever, persistent leucocytosis and/or persistent bacteraemia. Assessed at completion of teicoplanin therapy, an unfavourable final clinical response referred to clinical treatment failure. RESULTS Compared with those in Group 1 (n = 122), patients in Group 2 (n = 82) had significantly higher rates of favourable early clinical response (P = 0.040) and final clinical response (P < 0.001) and a lower bloodstream-infection-related mortality rate (P = 0.018). Based on estimated ORs for favourable final clinical response in multivariate analysis, endocarditis (P < 0.001; OR 0.109, 95% CI 0.032-0.368), pneumonia (P < 0.001; OR 0.172, 95% CI 0.069-0.433), ICU admission (P < 0.001; OR 0.132, 95% CI 0.054-0.325) and high Pittsburgh bacteraemia score (P = 0.042; OR 0.187, 95% CI 0.021-0.457) were each a risk factor for an unfavourable final clinical response. Higher teicoplanin maintenance dosing contributed to a favourable final clinical response (P < 0.001; OR 8.800, 95% CI 3.602-21.502). Significantly higher favourable final clinical response rates were also found in patients with endocarditis (P = 0.007) and pneumonia (P < 0.001) in Group 2 compared with their counterparts in Group 1. CONCLUSIONS These data highlight the importance of higher teicoplanin maintenance dosing, especially for severe infections due to MRSA.
On the Evolution of Premating Isolation after a Founder Event

We present a new simple model for the evolution of premating reproductive isolation. Using this model we first analyze the level of genetic variability maintained by mutation in a large stable population. Then we consider the plausibility of the evolution of strong premating reproductive isolation after a founder event. We demonstrate that after a founder event a new adaptive combination of genes may rise to high frequencies in the presence of an old combination of genes. We compare the probabilities of speciation after a founder event with those in a stable population and with those when reproductive isolation is due to viability selection against hybrids. We argue that premating reproductive isolation is more efficient than postmating reproductive isolation in maintaining the integrity of sympatric species. This might have contributed to the pattern of stronger premating isolation than postmating isolation between closely related pairs of sympatric species.
BMI Curves for Preterm Infants

BACKGROUND AND OBJECTIVES: Preterm infants experience disproportionate growth failure postnatally and may be large weight for length despite being small weight for age by hospital discharge. The objective of this study was to create and validate intrauterine weight-for-length growth curves using the contemporary, large, racially diverse US birth parameters sample used to create the Olsen weight-, length-, and head-circumference-for-age curves. METHODS: Data from 391 681 US infants (Pediatrix Medical Group) born at 22 to 42 weeks’ gestational age (born in 1998–2006) included birth weight, length, and head circumference, estimated gestational age, and gender. Separate subsamples were used to create and validate curves. Established methods were used to determine the weight-for-length ratio that was most highly correlated with weight and uncorrelated with length. Final smoothed percentile curves (3rd to 97th) were created by the Lambda Mu Sigma (LMS) method. The validation sample was used to confirm results. RESULTS: The final sample included 254 454 singleton infants (57.2% male) who survived to discharge. BMI was the best overall weight-for-length ratio for both genders and a majority of gestational ages. Gender-specific BMI-for-age curves were created (n = 127 446) and successfully validated (n = 126 988). Mean z scores for the validation sample were ∼0 (∼1 SD). CONCLUSIONS: BMI was different across gender and gestational age. We provide a set of validated reference curves (gender-specific) to track changes in BMI for prematurely born infants cared for in the NICU for use with weight-, length-, and head-circumference-for-age intrauterine growth curves.
Pension Reform and Retirement Incentives: Evidence from Austria

PENSION REFORM AND RETIREMENT INCENTIVES: EVIDENCE FROM AUSTRIA By ROMAN RAAB August 2008 Committee Chair: Dr. Sally Wallace Major Department: Economics The scope of this dissertation is to investigate the impact of pension reform on the financial incentives to retire for private sector workers in Austria. How do financial incentives embedded in the Austrian pension system affect individual retirement behavior? Was pension reform effective in changing these financial incentives in order to affect retirement behavior? How would future reform scenarios impact retirement behavior? Micro-estimating the impact of financial incentive measures on the probability of retirement shows that the behavioral response to financial incentives in Austria is relatively large in international comparison. Simulations demonstrate that pension reform was ineffective in providing incentives for delayed retirement. However, there are future reform scenarios that would have a huge impact on retirement behavior by altering the financial incentives.