Miracle-dz/UniFAR-FTUs huggingface dataset:
Inhabitation for Non-idempotent Intersection Types

The inhabitation problem for intersection types in the lambda-calculus is known to be undecidable. We study the problem in the case of non-idempotent intersection, considering several type assignment systems, which characterize the solvable or the strongly normalizing lambda-terms. We prove the decidability of the inhabitation problem for all the systems considered, by providing sound and complete inhabitation algorithms for them.
Bidirectional relationship between renal function and periodontal disease in older Japanese women.

OBJECTIVES The purpose of this study was to evaluate the reciprocal effects of chronic kidney disease (CKD) and periodontal disease. MATERIAL AND METHODS A total of 332 postmenopausal never smoking women were enrolled, and their serum high-sensitivity C-reactive protein, serum osteocalcin and serum cystatin C levels were measured. Poor renal function was defined as serum cystatin C > 0.91 mg/l. Periodontal disease markers, including clinical attachment level and the periodontal inflamed surface area (PISA), were also evaluated. Logistic regression analysis was conducted to evaluate the relationships between renal function and periodontal disease markers, serum osteocalcin level and hsCRP level. The prevalence-rate ratios (PRRs) on multiple Poisson regression analyses were determined to evaluate the relationships between periodontal disease markers and serum osteocalcin, serum cystatin C and serum hsCRP levels. RESULTS On logistic regression analysis, PISA was significantly associated with serum cystatin C level. The odds ratio for serum cystatin C level was 2.44 (p = 0.011). The PRR between serum cystatin C level and periodontal disease markers such as number of sites with clinical attachment level ≥6 mm was significantly positive (3.12, p < 0.001). Similar tendencies were shown for serum osteocalcin level. CONCLUSION This study suggests that CKD and periodontal disease can have reciprocal effects.
Age‐related changes in Egr1 transcription and DNA methylation within the hippocampus

Aged animals show functional alterations in hippocampal neurons that lead to deficits in synaptic plasticity and changes in cognitive function. Transcription of immediate‐early genes (IEGs), including Egr1, is necessary for processes such as long‐term potentiation and memory consolidation. Here, we show an age‐related reduction in the transcription of Egr1 in the dentate gyrus following spatial behavior, whereas in the area CA1, Egr1 is reduced at rest, but its transcription can be effectively driven by spatial behavior to levels equivalent to those observed in adult animals. One mechanism possibly contributing to these aging‐related changes is an age‐associated, CpG site‐specific change in methylation in DNA associated with the promoter region of the Egr1 gene. Our results add to a growing body of work demonstrating that complex transcriptional and epigenetic changes in the hippocampus significantly contribute to brain and cognitive aging. © 2016 Wiley Periodicals, Inc.
Global effects of plant litter alterations on soil CO2 to the atmosphere

Soil respiration (Rs) is the largest terrestrial carbon (C) efflux to the atmosphere and is predicted to increase drastically through global warming. However, the responses of Rs to global warming are complicated by the fact that terrestrial plant growth and the subsequent input of plant litter to soil are also altered by ongoing climate change and human activities. Despite a number of experiments established in various ecosystems around the world, it remains a challenge to predict the magnitude and direction of changes in Rs and its temperature sensitivity (Q10) due to litter alteration. We present a meta‐analysis of 100 published studies to examine the responses of Rs and Q10 to manipulated aboveground and belowground litter alterations. We found that 100% aboveground litter addition (double litter) increased Rs by 26.1% (95% confident intervals, 18.4%–33.7%), whereas 100% aboveground litter removal, root removal and litter + root removal reduced Rs by 22.8% (18.5%–27.1%), 34.1% (27.2%–40.9%) and 43.4% (36.6%–50.2%) respectively. Moreover, the effects of aboveground double litter and litter removal on Rs increased with experimental duration, but not those of root removal. Aboveground litter removal marginally increased Q10 by 6.2% (0.2%–12.3%) because of the higher temperature sensitivity of stable C substrate than fresh litter. Estimated from the studies that simultaneously tested the responses of Rs to aboveground litter addition and removal and assuming negligible changes in root‐derived Rs, “priming effect” on average accounted for 7.3% (0.6%–14.0%) of Rs and increased over time. Across the global variation in terrestrial ecosystems, the effects of aboveground litter removal, root removal, litter + root removal on Rs as well as the positive effect of litter removal on Q10 increased with water availability. Our meta‐analysis indicates that priming effects should be considered in predicting Rs to climate change‐induced increases in litterfall. Our analysis also highlights the need to incorporate spatial climate gradient in projecting long‐term Rs responses to litter alterations.
Usefulness of The C‐Reactive Protein/Albumin Ratio for Predicting No‐Reflow in ST‐elevation myocardial infarction treated with primary percutaneous coronary intervention

The ratio of serum C‐reactive protein (CRP) to albumin has been proven to be a more accurate indicator than albumin and CRP levels alone in determining the prognosis of patients with cancer and critical illness. The aim of this study was to determine whether the CRP/albumin ratio (CAR) can be linked to imperfect reperfusion that can worsen the prognosis of ST‐elevation myocardial infarction (STEMI) in patients treated with primary percutaneous coronary intervention (pPCI).
Parental experience caring for cleft lip and palate infants with nasoalveolar moulding.

AIM The aim of this study was to explore the experience of parents caring for an infant with a cleft lip and palate receiving nasoalveolar moulding. BACKGROUND Nasoalveoral moulding is a pre-surgical orthopedic appliance used to approximate an infant's cleft lip and palate, mould the nose and reduce surgical correction. Use of nasoalveolar moulding can be intensive, costly and lengthy requiring parental commitment to the process since it involves several months of weekly visits for appliance adjustment. Although extensive research has been conducted on surgical outcomes after use, little evidence exists pertaining to parental experiences caring for an infant undergoing the nasoalveolar moulding treatment process. DESIGN The qualitative design phenomenology was used to best capture parents' lived experiences. METHODS Eight mothers and four fathers participated in informal, semi-structured interviews during the months of April-May 2010. RESULTS Four themes were identified: (1) You do what you have to do; (2) We weren't left alone in the dark; (3) It's just amazing to see the difference; and (4) It's like nothing ever happened. Findings indicated that despite some difficulties, parents' were dedicated to the treatment process and expressed the benefits exceeded any additional work nasoalveolar moulding required. CONCLUSION Multiple recommendations to assist parents with the nasoalveolar moulding treatment process were identified. Improving nasoalveolar moulding education and providing support can substantially improve challenges that are experienced by parents throughout this process - strengthening the importance of their role for successful nasoalveolar moulding outcomes.
Longitudinal study of psychopathological, anthropometric and sociodemographic factors related to the level of Mediterranean diet adherence in a community sample of Spanish adolescents

Abstract Objective The Mediterranean diet (MD) pattern has important health benefits; however, it seems that Spanish school-aged children have been abandoning this healthy pattern recently. We aimed to identify psychopathological, anthropometric and sociodemographic factors that may influence the risk of low MD adherence. Design Longitudinal study in three phases. MD adherence was assessed using the Krece Plus food questionnaire and psychopathological symptoms using the Screen for Childhood Anxiety Related Emotional Disorders, Children’s Depression Inventory, Youth’s Inventory-4 and Eating Disorder Inventory-2. Anthropometric data were collected in the first and third phases. Settings All five representative areas in Reus, Spain. Subjects Adolescents (n 241). Results Regardless of past and current BMI, socio-economic status was a protective factor for low MD adherence (OR=0·805, P=0·003) and a risk factor for high BMI (OR=0·718, P=0·002; OR=0·707, P=0·001). Regardless of socio-economic status, depression was involved with risk of low adherence (OR=1·069, P=0·021). Girls with lower MD adherence presented significantly higher scores for eating disorders measured using the Eating Disorder Inventory-2 (low adherence, mean 18·9 (sd 13·5); high adherence, mean 8·9 (sd 9·0), P=0·020) and the Youth Inventory-4 (low adherence, mean 5·2 (sd 4·3); medium adherence, mean 3·6 (sd 3·2), P=0·044). They also presented higher depression symptoms (low adherence, mean 17·7 (sd 9·6); medium adherence, mean 12·3 (sd 7·2), P=0·01) than girls with high adherence. Conclusions The results highlight the influence of psychosocial factors on levels of MD adherence. These factors need to be taken into account when developing prevention and health promotion initiatives.
Global stabilization of a chain of integrators with input saturation and disturbances

In this paper, the problem of global stabilization for a chain of integrators in presence of input saturation and disturbances is solved. A novel and elegant approach to solve this problem, in absence of disturbances, was proposed by Teel [1] using saturation functions and coordinate transformation. With Teel's work as foundation, many results have been proposed to improve the performance of tracking/stabilizing controllers for chain of integrators. However, in presence of disturbances, the coordinate transformation can considerably shrink the region where the controller is unsaturated. In this work, we present a modified backstepping like approach to solve the global stabilization problem which does not rely on coordinate transformation. Comparative studies performed using a third order integrator chain proves the effectiveness of the proposed scheme.
Women's perceptions of heart disease and breast cancer and the association with media representations of the diseases.

Background This research examined differences in perceptions of heart disease compared with breast cancer and if the differences are reﬂected in media presentations of the diseases. Relationships of differences in perceptions to demographic groups, heart disease risk factors and health behaviors were examined. Methods Study 1 was a quantitative content analysis of articles and advertisements related to heart disease or breast cancer. Results There were greater perceptions of susceptibility, preventability and controllability of heart disease and lower perceptions regarding seriousness, fearfulness and extent to which family history determines disease development of heart disease compared with breast cancer. Five times more pieces related to breast cancer were found compared with heart disease. Study 2 was a survey of 1524 women. More articles and advertisements about breast cancer than heart disease were found, and survey participants reported seeing signiﬁcantly more breast cancer than heart disease media. Younger women had greater perceived susceptibility of breast cancer relative to heart disease while the content analysis revealed that the heart disease pieces were more likely to feature women older than 40 years of age. Conclusions This research is an important step in the development of theories regarding causal effects of media on health perceptions and behaviors.
15.08: Influence of deterioration modelling on local deformation demands in steel moment frames

This paper assesses the influence of the cyclic strength and stiffness degradation on the local demands in moment resistant steel frames (MRF), designed according to Eurocode 8. For steel structures, local demand is frequently evaluated by means of plastic rotation of structural members. This local response is relevant both for the design of new structures and particularly for the assessment or safety evaluation of existing structures. Recent studies have illustrated the weaknesses of the local demand prediction methods based on linear analysis. When predictions based on linear analysis were contrasted against nonlinear models, mismatches up to 100% were found. However, those nonlinear analysis approaches have not considered the effect of cyclic strength and stiffness degradation. In this study, degradation models are used and calibrated for assessing structural collapse scenarios. A set of twelve MRF systems, designed according to the provisions of Eurocode 3 and Eurocode 8, are examined using two different modelling approaches: a degrading model and a conventional non‐degrading approach. The frames are subjected to different levels of given inelastic demands by means of a scaling procedure using a suite of ground motion records. Plastic rotations are directly measured during the nonlinear analyses and consequently contrasted to quantify the effect of degradation at different levels of induced inelasticity. It is shown that using degrading models results in local inelastic rotations which can be significantly higher, reaching up to 25% more than without degradation. Finally, the implications of the findings on current European seismic design procedures are outlined.
The incidence of depression among residents of assisted living: prevalence and related risk factors

Aim This study aims to recognize and estimate the prevalence of depression and its risk factors among residents of assisted living facilities (ALs) in Jordan. Background Depression is commonly experienced by residents of ALs. The condition is, however, often misunderstood as a part of normal aging and may be overlooked by health care professionals. Little is known about the extent of depression and its risk factors among AL residents in Jordan. Subjects and methods A national representative sample of 221 residents selected from all AL units across Jordan was recruited to the study. Data on expected risk factors for depression were collected, including sociodemographics; smoking status; number of roommates; number of family members; assessments for cognitive functioning, for lower limb functioning, for hand, shoulder, and arm impairments; and oral health status. Levels of depression among the sample respondents were also assessed. Results The study found that around 60% of the participants reported depressive manifestations, with 48.0% of AL residents exhibiting impaired cognitive functions, one-third (33.2%) having >50% upper limb disability, two-thirds (63.2%) being at moderate risk of falls, and 69.7% having fair to poor oral health status. Being female, and having a higher level of education, disability of the upper limbs, and impairment of cognitive functions were found to be independent risk factors for depression in participants. Conclusion Depression is relatively common among residents of AL units in Jordan. Health care professionals, nurses, physiotherapists, and dentists working in these facilities need to work cooperatively to identify the manifestations of depression in residents and collaboratively implement the best practice in the treatment of depression and circumvent its long-term impacts on the health of residents.
The Effect of Screen-to-Screen Versus Face-to-Face Consultation on Doctor-Patient Communication: An Experimental Study with Simulated Patients

Background Despite the emergence of Web-based patient-provider contact, it is still unclear how the quality of Web-based doctor-patient interactions differs from face-to-face interactions. Objective This study aimed to examine (1) the impact of a consultation medium on doctors’ and patients’ communicative behavior in terms of information exchange, interpersonal relationship building, and shared decision making and (2) the mediating role of doctors’ and patients’ communicative behavior on satisfaction with both types of consultation medium. Methods Doctor-patient consultations on pelvic organ prolapse were simulated, both in a face-to-face and in a screen-to-screen (video) setting. Twelve medical interns and 6 simulated patients prepared 4 different written scenarios and were randomized to perform a total of 48 consultations. Effects of the consultations were measured by questionnaires that participants filled out directly after the consultation. Results With respect to patient-related outcomes, satisfaction, perceived information exchange, interpersonal relationship building, and perceived shared decision making showed no significant differences between face-to-face and screen-to-screen consultations. Patients’ attitude toward Web-based communication (b=−.249, P=.02 and patients’ perceived time and attention (b=.271, P=.03) significantly predicted patients’ perceived interpersonal relationship building. Patients’ perceived shared decision making was positively related to their satisfaction with the consultation (b=.254, P=.005). Overall, patients experienced significantly greater shared decision making with a female doctor (mean 4.21, SD 0.49) than with a male doctor (mean 3.66 [SD 0.73]; b=.401, P=.009). Doctor-related outcomes showed no significant differences in satisfaction, perceived information exchange, interpersonal relationship building, and perceived shared decision making between the conditions. There was a positive relationship between perceived information exchange and doctors’ satisfaction with the consultation (b=.533, P<.001). Furthermore, doctors’ perceived interpersonal relationship building was positively related to doctors’ satisfaction with the consultation (b=.331, P=.003). Conclusions In this study, the quality of doctor-patient communication, as indicated by information exchange, interpersonal relationship building, and shared decision making, did not differ significantly between Web-based and face-to-face consultations. Doctors and simulated patients were equally satisfied with both types of consultation medium, and no differences were found in the manner in which participants perceived communicative behavior during these consultations. The findings suggest that worries about a negative impact of Web-based video consultation on the quality of patient-provider consultations seem unwarranted as they offer the same interaction quality and satisfaction level as regular face-to-face consultations.
Numerical modeling of partial discharges in a solid dielectric-bounded cavity: A review

Partial discharge (PD) taking place in a solid dielectric-bounded cavity involves physical processes such as free electron supply, discharge development and surface charge decaying, which bring about memory effects and become the main reasons for stochastic behavior of PDs. This paper reviews numerical modeling of cavity PD in the past 30 years. In the first place, physical processes relevant to PD activity are summarized, and modeling methods for discharge development are classified. Then some differences of PD modeling at AC and DC voltages are distinguished. Subsequently, reproducing methods from simulations to experiments are introduced, as well as their comparison under different conditions and with the emphasis on voltage frequency and PD aging. At last, some problems about current simulation models are discussed, and our suggestions for future work are proposed.
Preclinical positron emission tomography scanner based on a monolithic annulus of scintillator: initial design study

Abstract. Positron emission tomography (PET) scanners designed for imaging of small animals have transformed translational research by reducing the necessity to invasively monitor physiology and disease progression. Virtually all of these scanners are based on the use of pixelated detector modules arranged in rings. This design, while generally successful, has some limitations. Specifically, use of discrete detector modules to construct PET scanners reduces detection sensitivity and can introduce artifacts in reconstructed images, requiring the use of correction methods. To address these challenges, and facilitate measurement of photon depth-of-interaction in the detector, we investigated a small animal PET scanner (called AnnPET) based on a monolithic annulus of scintillator. The scanner was created by placing 12 flat facets around the outer surface of the scintillator to accommodate placement of silicon photomultiplier arrays. Its performance characteristics were explored using Monte Carlo simulations and sections of the NEMA NU4-2008 protocol. Results from this study revealed that AnnPET’s reconstructed spatial resolution is predicted to be ∼1 mm full width at half maximum in the radial, tangential, and axial directions. Peak detection sensitivity is predicted to be 10.1%. Images of simulated phantoms (mini-hot rod and mouse whole body) yielded promising results, indicating the potential of this system for enhancing PET imaging of small animals.
Helping adolescents to better support their peers with a mental health problem: A cluster-randomised crossover trial of teen Mental Health First Aid

Background: teen Mental Health First Aid (tMHFA) is a classroom-based training programme for students aged 15–18 years to improve supportive behaviours towards peers, increase mental health literacy and reduce stigma. This research evaluated tMHFA by comparing it to a matched emergency Physical First Aid (PFA) training programme. Methods: A cluster-randomised crossover trial matched four public schools in two pairs and then randomised each to first receive tMHFA or PFA for all Year 10 students. In the subsequent calendar year, the new Year 10 cohort received the opposite intervention, giving eight cohorts. Online surveys were administered at baseline and 1 week post-training, measuring quality of first aid intentions, mental health literacy, problem recognition and stigmatising beliefs, towards fictional adolescents with depression and suicidality (John) and social anxiety (Jeanie). Results: A total of 1942 students were randomised (979 received tMHFA, 948 received PFA), 1605 (84%) analysed for the John vignette at baseline and 1116 (69% of baseline) provided post-training data. The primary outcomes, ‘helpful first aid intentions’ towards John/Jeanie, showed significant group-by-time interactions with medium effect sizes favouring tMHFA (ds = 0.50–0.58). Compared to PFA, tMHFA students also reported significantly greater improvements in confidence supporting a peer (ds = 0.22–0.37) and number of adults rated as helpful (ds = 0.45–0.46) and greater reductions in stigmatising beliefs (ds = 0.12–0.40) and ‘harmful first aid intentions’ towards John/Jeanie (ds = 0.15–0.41). Conclusions: tMHFA is an effective and feasible programme for increasing supportive first aid intentions and mental health literacy in adolescents in the short term. tMHFA could be widely disseminated to positively impact on help seeking for adolescent mental illness.