Miracle-dz/UniFAR-FTUs huggingface dataset:
Formalising the Continuous/Discrete Modeling Step

Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete domains. The difference between the two is quantified using generic results from ODE theory, and these estimates can be compared with the exact solutions. Such results do not fit well into a conventional model based refinement framework; however they can be accommodated into a model based retrenchment. The retrenchment is described, and the way it can interface to refinement development on both the continuous and discrete sides is outlined. The approach is compared to what can be achieved using hybrid systems techniques.
Cross-spectral face recognition in heterogeneous environments: A case study on matching visible to short-wave infrared imagery

In this paper we study the problem of cross spectral face recognition in heterogeneous environments. Specifically we investigate the advantages and limitations of matching short wave infrared (SWIR) face images to visible images under controlled or uncontrolled conditions. The contributions of this work are three-fold. First, three different databases are considered, which represent three different data collection conditions, i.e., images acquired in fully controlled (indoors), semi-controlled (indoors at standoff distances ≥ 50m), and uncontrolled (outdoor operational conditions) environments. Second, we demonstrate the possibility of SWIR cross-spectral matching under controlled and challenging scenarios. Third, we illustrate how photometric normalization and our proposed cross-photometric score level fusion rule can be utilized to improve cross-spectral matching performance across all scenarios. We utilized both commercial and academic (texture-based) face matchers and performed a set of experiments indicating that SWIR images can be matched to visible images with encouraging results. Our experiments also indicate that the level of improvement in recognition performance is scenario dependent.
Adiponectin, Leptin, and Chemerin in Elderly Patients with Type 2 Diabetes Mellitus: A Close Linkage with Obesity and Length of the Disease

Obesity, insulin resistance, and aging are closely associated and adipokines seem to have a crucial role in their pathophysiology. We aim to study the relationship between aging and chemerin, adiponectin, and leptin levels in type 2 diabetes mellitus (T2DM). Age correlated positively with chemerin and leptin and inversely with adiponectin. Body mass index (BMI) correlated positively with leptin (in males) and chemerin and inversely with adiponectin. The patients with ≥65 years (n = 34) showed significantly higher leptin and chemerin and lower adiponectin levels than middle-aged (38–64 years) patients (n = 39) and controls (n = 20). After statistical adjustment for length of disease, there was a loss of significance, between T2DM groups, for adiponectin and, in female, for leptin. In the older group, BMI correlated with adiponectin and with leptin, but not with chemerin. Adiponectin and leptin levels in elderly T2DM patients seem to be closely linked to obesity and to length of the disease. In elderly T2DM patients, chemerin concentrations are increased and seem to be independent of length of disease and BMI, suggesting that adipocyte dysfunction is enhanced with aging. The understanding of the glucose homeostasis impairment in the elderly is mandatory in order to achieve ways to improve their quality of life and longevity.
Association of Gain and Loss of Weight before and after Menopause with Risk of Postmenopausal Breast Cancer in the Iowa Women's Health Study

Obesity and adult weight gain are well-established risk factors for postmenopausal breast cancer. Although there are a few studies demonstrating the contribution of adult weight gain to breast cancer risk, whether weight gain during a critical time period is specifically associated with risk, or whether subsequent weight loss among women who have gained weight will reduce the excess risk, is not firmly established. We investigated the association of changes in weight (loss or gain in excess of 5% of body weight) using two risk factor models: (a) age 18 to 30 years and age 30 years to menopause and (b) age 30 years to menopause and after the menopause to the baseline study in 1986 on risk of postmenopausal breast cancer in a prospective cohort of 33,660 postmenopausal women in Iowa. Over 15 years of follow-up, 1,987 cases of breast cancer occurred. Data were analyzed using proportional hazards regression models adjusted for established breast cancer risk factors. The most frequently observed pattern of body weight over time was a consistent increase; these women were observed to have the highest rates of breast cancer and served as the reference category for all comparisons. The lowest-risk groups were (a) women who maintained or lost weight from age 18 to 30 years and then lost weight from age 30 years to menopause [risk ratio (RR), 0.36; 95% confidence interval (95% CI), 0.22-0.60] and (b) women who maintained or lost weight from age 30 years to menopause and then lost weight after the menopause (RR, 0.48; 95% CI, 0.22-0.65). Women who gained weight from age 30 years to menopause but then lost weight after the menopause experienced risk reductions (RR, 0.77; 95% CI, 0.64-0.92) although perhaps slightly smaller in magnitude than women who maintained their weight in both time intervals (RR, 0.63; 95% CI, 0.55-0.73). Women who gained weight from age 18 to 30 years and then lost weight from age 30 years to menopause had comparable risk reductions (RR, 0.61; 95% CI, 0.46-0.8) with women who maintained their weight in both time intervals (RR, 0.73; 95% CI, 0.64-0.84). Women who gained weight during the period from age 30 years to menopause but who had stable weight after menopause had rates similar to the reference group. These data suggest prevention of weight gain between age 18 years and menopause or weight loss and maintenance during these years reduces risk of postmenopausal breast cancer.
CBFB and MYH11 in inv(16)(p13q22) of acute myeloid leukemia displaying close spatial proximity in interphase nuclei of human hematopoietic stem cells

To gain a better understanding of the mechanism of chromosomal translocations in cancer, we investigated the spatial proximity between CBFB and MYH11 genes involved in inv(16)(p13q22) found in patients with acute myeloid leukemia. Previous studies have demonstrated a role for spatial genome organization in the formation of tumorigenic abnormalities. The nonrandom localization of chromosomes and, more specifically, of genes appears to play a role in the mechanism of chromosomal translocations. Here, two‐color fluorescence in situ hybridization and confocal microscopy were used to measure the interphase distance between CBFB and MYH11 in hematopoietic stem cells (HSCs), where inv(16)(p13q22) is believed to occur, leading to leukemia development. The measured distances in HSCs were compared with mesenchymal stem cells, peripheral blood lymphocytes, and fibroblasts, as spatial genome organization is determined to be cell‐type specific. Results indicate that CBFB and MYH11 are significantly closer in HSCs compared with all other cell types examined. Furthermore, the CBFB‐MYH11 distance is significantly reduced compared with CBFB and a control locus in HSCs, although separation between CBFB and the control is ∼70% of that between CBFB and MYH11 on metaphase chromosomes. HSCs were also treated with fragile site‐inducing chemicals because both the genes contain translocation breakpoints within these regions. However, treatment with fragile site‐inducing chemicals did not significantly affect the interphase distance. Consistent with previous studies, our results suggest that gene proximity may play a role in the formation of cancer‐causing rearrangements, providing insight into the mechanism of chromosomal abnormalities in human tumors. © 2011 Wiley‐Liss, Inc.
Atomoxetine in the Management of Children with ADHD: Effects on Quality of Life and School Functioning

The purpose of this study was to examine in a controlled trial the effects of atomoxetine on the management of attention deficit-hyperactivity disorder (ADHD) symptoms and functional impairments at school and at home. Participants were 153 children (age 8 to 12 years) diagnosed with attention-deficit hyperactivity disorder who were randomized to double-blind treatment with either atomoxetine (n = 101) or placebo (n = 52). Findings revealed significant improvements both for parent and teacher ratings of behavior for children receiving atomoxetine therapy. Children also were reported to evidence a trend toward better response to active medication than to placebo for health-related quality of life as rated by parents. No significant effects were revealed for the teacher ratings of academic productivity. Data were interpreted to provide support for the efficacy of atomoxetine on the symptoms associated with ADHD. The effects of atomoxetine on other functional outcomes including academic performance and health-related outcomes are of interest, albeit less compelling for this particular investigation, than for the effects on overt symptom display.
Effects of Changing Body Weight Distribution on Mediolateral Stability Control during Gait Initiation

During gait initiation, anticipatory postural adjustments (APA) precede the execution of the first step. It is generally acknowledged that these APA contribute to forward progression but also serve to stabilize the whole body in the mediolateral direction during step execution. Although previous studies have shown that changes in the distribution of body weight between both legs influence motor performance during gait initiation, it is not known whether and how such changes affect a person’s postural stability during this task. The aim of this study was to investigate the effects of changing initial body weight distribution between legs on mediolateral postural stability during gait initiation. Changes in body weight distribution were induced under experimental conditions by modifying the frontal plane distribution of an external load located at the participants’ waists. Fifteen healthy adults performed a gait initiation series at a similar speed under three conditions: with the overload evenly distributed over both legs; with the overload strictly distributed over the swing-limb side; and with the overload strictly distributed over the stance-leg side. Our results showed that the mediolateral location of center-of-mass (CoM) during the initial upright posture differed between the experimental conditions, indicating modifications in the initial distribution of body weight between the legs according to the load distribution. While the parameters related to the forward progression remained unchanged, the alterations in body weight distribution elicited adaptive changes in the amplitude of APA in the mediolateral direction (i.e., maximal mediolateral shift of the center of pressure (CoP)), without variation in their duration. Specifically, it was observed that the amplitude of APA was modulated in such a way that mediolateral dynamic stability at swing foot-contact, quantified by the margin of stability (i.e., the distance between the base of support boundary and the extrapolated CoM position), did not vary between the conditions. These findings suggest that APA seem to be scaled as a function of the initial body weight distribution between both legs so as to maintain optimal conditions of stability during gait initiation.
Would You Say You “Had Masturbated” If … ?: The Influence of Situational and Individual Factors on Labeling a Behavior as Masturbation

The term masturbation is often not clearly defined despite its prevalent use in sex education, sex research, and clinical settings. The purpose of this study was to understand what behaviors are typically considered to be masturbation as well as the situational and individual variables that may affect the labeling of a behavior as such. An online study of 564 individuals demonstrated that a wide variety of behaviors were considered to be masturbation by a majority of participants. No difference was found between men and women in the total number of behaviors labeled as masturbation. Both men and women were more likely to label a behavior as masturbation (1) if there was no sexual partner present than if there was and (2) if an orgasm occurred than if it did not. In addition, women were more likely than men to label a behavior as masturbation if they were alone and if no orgasm occurred. Younger age was associated with labeling more behaviors as masturbation, but sexual identity, self-pleasuring experience, partnered sexual experience, and attitudes toward masturbation were not related to the number of behaviors labeled as masturbation. Results speak to the importance of behavioral specificity when discussing masturbation with students, clients, and in sex research.
Additive Beneficial Effects of Losartan Combined With Simvastatin in the Treatment of Hypercholesterolemic, Hypertensive Patients

Background—Biological mechanisms underlying statin and angiotensin II type 1 receptor blocker therapies differ. Therefore, we compared vascular and metabolic responses to these therapies either alone or in combination in hypercholesterolemic, hypertensive patients. Methods and Results—This was a randomized, double-blind, placebo-controlled crossover trial with 3 treatment arms (each 2 months) and 2 washout periods (each 2 months). Forty-seven hypertensive, hypercholesterolemic patients were given simvastatin 20 mg and placebo, simvastatin 20 mg and losartan 100 mg, or losartan 100 mg and placebo daily during each 2-month treatment period. Losartan alone or combined therapy significantly reduced blood pressure compared with simvastatin alone. Compared with losartan alone, simvastatin alone or combined therapy significantly changed lipoproteins. All 3 treatment arms significantly improved flow-mediated dilator response to hyperemia and decreased plasma malondialdehyde and monocyte chemoattractant protein-1 levels relative to baseline measurements. However, these parameters were changed to a greater extent with combined therapy compared with simvastatin or losartan alone (both P<0.001 and P=0.030 for monocyte chemoattractant protein-1 by ANOVA). Combined therapy or losartan alone significantly increased plasma adiponectin levels and insulin sensitivity (determined by QUICKI) relative to baseline measurements. These changes were significantly greater than in the group treated with simvastatin alone (P<0.001 for adiponectin, P=0.029 for QUICKI by ANOVA). Conclusions—Simvastatin combined with losartan improves endothelial function and reduces inflammatory markers to a greater extent than monotherapy with either drug in hypercholesterolemic, hypertensive patients.
PTEN: Multiple Functions in Human Malignant Tumors

PTEN is the most important negative regulator of the PI3K signaling pathway. In addition to its canonical, PI3K inhibition-dependent functions, PTEN can also function as a tumor suppressor in a PI3K-independent manner. Indeed, the PTEN network regulates a broad spectrum of biological functions, modulating the flow of information from membrane-bound growth factor receptors to nuclear transcription factors, occurring in concert with other tumor suppressors and oncogenic signaling pathways. PTEN acts through its lipid and protein phosphatase activity and other non-enzymatic mechanisms. Studies conducted over the past 10 years have expanded our understanding of the biological role of PTEN, showing that in addition to its ability to regulate proliferation and cell survival, it also plays an intriguing role in regulating genomic stability, cell migration, stem cell self-renewal, and tumor microenvironment. Changes in PTEN protein levels, location, and enzymatic activity through various molecular mechanisms can generate a continuum of functional PTEN levels in inherited syndromes, sporadic cancers, and other diseases. PTEN activity can indeed, be modulated by mutations, epigenetic silencing, transcriptional repression, aberrant protein localization, and post-translational modifications. This review will discuss our current understanding of the biological role of PTEN, how PTEN expression and activity are regulated, and the consequences of PTEN dysregulation in human malignant tumors.
Validity and reliability of an instrument for assessing health-related quality of life and treatment preferences: the Insulin Delivery System Rating Questionnaire.

OBJECTIVE To provide a preliminary assessment of the validity and reliability of a new measure of health-related quality of life (HRQOL) and treatment preference for insulin delivery systems. RESEARCH DESIGN AND METHODS Study participants were 197 adults with type 1 or type 2 diabetes who completed the Insulin Delivery System Rating Questionnaire (IDSRQ), a self-administered questionnaire developed for this study. The IDSRQ assessed patient perceptions of treatment satisfaction, impact of treatment on daily activities, clinical efficacy, diabetes-related worries and social burdens, psychological well-being, and overall treatment system preference of patients using continuous subcutaneous insulin infusion (CSII) and multiple daily injections (MDI). RESULTS The IDSRQ subscales had acceptable reliability (alpha = 0.67-0.92, median 0.82) and test-retest correlations (intraclass correlation coefficient 0.67-0.94, median 0.88). Floor effects (0-10%, median 0%) and ceiling effects (0-18%, median 4%) were minimal. There were statistically significant differences (P < 0.05) between patients using CSII and MDI on all IDSRQ subscales except psychological well-being (P = 0.096); differences in means were 0.3-1.4 SD units (median 0.9). Multiple regression analysis (controlling for age, sex, and type of diabetes) showed that treatment satisfaction, perceived clinical efficacy, and psychological well-being were independently associated with overall treatment preference and accounted for half of the difference in preference between CSII and MDI patients. CONCLUSIONS Preliminary findings suggest that the IDSRQ is a valid and reliable measure of HRQOL and treatment preferences for insulin delivery systems. The subscales are comprehensive, sensitive to differences in user populations, and account for most of the preference for a particular insulin delivery system.
Neuroleptic Malignant Syndrome Presenting as Hyperosmolar Non-ketotic Diabetic Coma

A 50-year-old man presented with hyperosmolar nonketotic diabetic coma associated with the neuroleptic malignant syndrome (NMS) after intramuscular treatment with haloperidol. It is suggested that NMS may occur as a complication of uncontrolled diabetes mellitus with dehydration. Conversely, NMS might precipitate diabetic coma in patients with previously well controlled blood glucose.
Local Control of Neurofilament Accumulation during Radial Growth of Myelinating Axons in Vivo

The accumulation of neurofilaments required for postnatal radial growth of myelinated axons is controlled regionally along axons by oligodendroglia. Developmentally regulated processes previously suspected of modulating neurofilament number, including heavy neurofilament subunit (NFH) expression, attainment of mature neurofilament subunit stoichiometry, and expansion of interneurofilament spacing cannot be primary determinants of regional accumulation as we show each of these factors precede accumulation by days or weeks. Rather, we find that regional neurofilament accumulation is selectively associated with phosphorylation of a subset of Lys-Ser-Pro (KSP) motifs on heavy neurofilament subunits and medium-size neurofilament subunits (NFMs), rising >50-fold selectively in the expanding portions of optic axons. In mice deleted in NFH, substantial preservation of regional neurofilament accumulation was accompanied by increased levels of the same phosphorylated KSP epitope on NFM. Interruption of oligodendroglial signaling to axons in Shiverer mutant mice, which selectively inhibited this site-specific phosphorylation, reduced regional neurofilament accumulation without affecting other neurofilament properties or aspects of NFH phosphorylation. We conclude that phosphorylation of a specific KSP motif triggered by glia is a key aspect of the regulation of neurofilament number in axons during axonal radial growth.
Design and Implementation of the LogicBlox System

The LogicBlox system aims to reduce the complexity of software development for modern applications which enhance and automate decision-making and enable their users to evolve their capabilities via a ``self-service'' model. Our perspective in this area is informed by over twenty years of experience building dozens of mission-critical enterprise applications that are in use by hundreds of large enterprises across industries such as retail, telecommunications, banking, and government. We designed and built LogicBlox to be the system we wished we had when developing those applications. In this paper, we discuss the design considerations behind the LogicBlox system and give an overview of its implementation, highlighting innovative aspects. These include: LogiQL, a unified and declarative language based on Datalog; the use of purely functional data structures; novel join processing strategies; advanced incremental maintenance and live programming facilities; a novel concurrency control scheme; and built-in support for prescriptive and predictive analytics.
The UV continua and inferred stellar populations of galaxies at z ~7-9 revealed by the Hubble Ultra-Deep Field 2012 campaign

We use the new ultra-deep, near-infrared imaging of the Hubble Ultra-Deep Field (HUDF) provided by our UDF12 Hubble Space Telescope (HST) Wide Field Camera 3/IR campaign to explore the rest-frame ultraviolet (UV) properties of galaxies at redshifts z > 6.5. We present the first unbiased measurement of the average UV power-law index, 〈β〉, (fλ ∝ λ^β) for faint galaxies at z ≃ 7, the first meaningful measurements of 〈β〉 at z ≃ 8, and tentative estimates for a new sample of galaxies at z ≃ 9. Utilizing galaxy selection in the new F140W (J_140) imaging to minimize colour bias, and applying both colour and power-law estimators of β, we find 〈β〉 = −2.1 ± 0.2 at z ≃ 7 for galaxies with M_UV ≃ −18. This means that the faintest galaxies uncovered at this epoch have, on average, UV colours no more extreme than those displayed by the bluest star-forming galaxies at low redshift. At z ≃ 8 we find a similar value, 〈β〉 = −1.9 ± 0.3. At z ≃ 9, we find 〈β〉 = −1.8 ± 0.6, essentially unchanged from z ≃ 6 to 7 (albeit highly uncertain). Finally, we show that there is as yet no evidence for a significant intrinsic scatter in β within our new, robust z ≃ 7 galaxy sample. Our results are most easily explained by a population of steadily star-forming galaxies with either ≃ solar metallicity and zero dust, or moderately sub-solar (≃10–20 per cent) metallicity with modest dust obscuration (AV ≃ 0.1–0.2). This latter interpretation is consistent with the predictions of a state-of-the-art galaxy-formation simulation, which also suggests that a significant population of very-low metallicity, dust-free galaxies with β ≃ −2.5 may not emerge until M_UV > −16, a regime likely to remain inaccessible until the James Webb Space Telescope.