Miracle-dz/UniFAR-FTUs huggingface dataset:
The design of a class mechanism for Moby

Typical class-based languages, such as C++ and JAVA, provide complex class mechanisms but only weak module systems. In fact, classes in these languages incorporate many of the features found in richer module mechanisms. In this paper, we describe an alternative approach to designing a language that has both classes and modules. In our design, we rely on a rich ML-style module system to provide features such as visibility control and parameterization, while providing a minimal class mechanism that includes only those features needed to support inheritance. Programmers can then use the combination of modules and classes to implement the full range of class-based features and idioms. Our approach has the advantage that it provides a full-featured module system (useful in its own right), while keeping the class mechanism quite simple.We have incorporated this design in MOBY, which is an ML-style language that supports class-based object-oriented programming. In this paper, we describe our design via a series of simple examples, show how various class-based features and idioms are realized in MOBY, compare our design with others, and sketch its formal semantics.
Temporally changing synaptic plasticity

Recent experimental results suggest that dendritic and back-propagating spikes can influence synaptic plasticity in different ways [1]. In this study we investigate how these signals could temporally interact at dendrites leading to changing plasticity properties at local synapse clusters. Similar to a previous study [2], we employ a differential Hebbian plasticity rule to emulate spike-timing dependent plasticity. We use dendritic (D-) and back-propagating (BP-) spikes as postsynaptic signals in the learning rule and investigate how their interaction will influence plasticity. We will analyze a situation where synapse plasticity characteristics change in the course of time, depending on the type of postsynaptic activity momentarily elicited. Starting with weak synapses, which only elicit local D-spikes, a slow, unspecific growth process is induced. As soon as the soma begins to spike this process is replaced by fast synaptic changes as the consequence of the much stronger and sharper BP-spike, which now dominates the plasticity rule. This way a winner-take-all-mechanism emerges in a two-stage process, enhancing the best-correlated inputs. These results suggest that synaptic plasticity is a temporal changing process by which the computational properties of dendrites or complete neurons can be substantially augmented.
Precise radial velocities of Proxima Centauri: Strong constraints on a substellar companion

We present differential radial velocity measurements of Proxima Centauri collected over 4 years with the ESO CES with a mean precision of $54 ms^{-1}$. We find no evidence of a periodic signal that could corroborate the existence of a sub-stellar companion. We put upper limits (97% confidence) to the companion mass ranging from 1.1 to 22 M_{Jup} at orbital periods of 0.75 to 3000 d, i.e. separations 0.008-2 AU from Prox Cen. Our mass limits concur with limits found by precise astrometry (Benedict et al. 1998a and priv. comm.) which strongly constrain the period range 50-600 d to 1.1-0.22 M_{Jup}. Combining both results we exclude a brown dwarf or supermassive planet at separations 0.008-0.69 AU from Prox Cen. We also find that, at the level of our precision, the RV data are not affected by stellar activity.
Rocking the Cradle or the Boat? Assessing Grandparent Partner Relationships

Kinship care is increasingly a first option for children in need of protection across all international child welfare jurisdictions, and predominantly grandparents assume this responsibility (Winokur, Holtan, & Valentine, 2009). A New Zealand study of grandparent caregivers found that a number of their marital relationships were disrupted following grandchild placement (Worrall, 2009). Relational crises of this nature have been previously little discussed in kinship literature. The emotional quality of couple connections affects care provision. Drawing on attachment theory, this article argues that the grandparent couple's relationship must be a key focus of practitioners' preplacement assessments and highlights five domains of relational functioning and four reliable measures for assessing these qualities.
The runaway black hole GRO J1655-40 ⋆

We have used the Hubble Space Telescope to measure the motion in the sky and compute the galactocentric orbit of the black hole X-ray binary GRO J1655-40. The system moves with a runaway space velocity of 112 18 km s 1 in a highly eccentric (e= 0:34 0:05) orbit. The black hole was formed in the disk at a distance greater than 3 kpc from the Galactic centre and must have been shot to such an eccentric orbit by the explosion of the progenitor star. The runaway linear momentum and kinetic energy of this black hole binary are comparable to those of solitary neutron stars and millisecond pulsars. GRO J1655-40 is the first black hole for which there is evidence for a runaway motion imparted by a natal kick in a supernova explosion.
KLF15 Is a Molecular Link between Endoplasmic Reticulum Stress and Insulin Resistance

Obesity places major demands on the protein folding capacity of the endoplasmic reticulum (ER), resulting in ER stress, a condition that promotes hepatic insulin resistance and steatosis. Here we identify the transcription factor, Kruppel-like factor 15 (KLF15), as an essential mediator of ER stress-induced insulin resistance in the liver. Mice with a targeted deletion of KLF15 exhibit increased hepatic ER stress, inflammation, and JNK activation compared to WT mice; however, KLF15 -/- mice are protected against hepatic insulin resistance and fatty liver under high-fat feeding conditions and in response to pharmacological induction of ER stress. The mammalian target of rapamycin complex 1 (mTORC1), a key regulator of cellular energy homeostasis, has been shown to cooperate with ER stress signaling pathways to promote hepatic insulin resistance and lipid accumulation. We find that the uncoupling of ER stress and insulin resistance in KLF15 -/- liver is associated with the maintenance of a low energy state characterized by decreased mTORC1 activity, increased AMPK phosphorylation and PGC-1α expression and activation of autophagy, an intracellular degradation process that enhances hepatic insulin sensitivity. Furthermore, in primary hepatocytes, KLF15 deficiency markedly inhibits activation of mTORC1 by amino acids and insulin, suggesting a mechanism by which KLF15 controls mTORC1-mediated insulin resistance. This study establishes KLF15 as an important molecular link between ER stress and insulin action.
A Gata3–Mafb transcriptional network directs post-synaptic differentiation in synapses specialized for hearing

Information flow through neural circuits is determined by the nature of the synapses linking the subtypes of neurons. How neurons acquire features distinct to each synapse remains unknown. We show that the transcription factor Mafb drives the formation of auditory ribbon synapses, which are specialized for rapid transmission from hair cells to spiral ganglion neurons (SGNs). Mafb acts in SGNs to drive differentiation of the large postsynaptic density (PSD) characteristic of the ribbon synapse. In Mafb mutant mice, SGNs fail to develop normal PSDs, leading to reduced synapse number and impaired auditory responses. Conversely, increased Mafb accelerates synaptogenesis. Moreover, Mafb is responsible for executing one branch of the SGN differentiation program orchestrated by the Gata3 transcriptional network. Remarkably, restoration of Mafb rescues the synapse defect in Gata3 mutants. Hence, Mafb is a powerful regulator of cell-type specific features of auditory synaptogenesis that offers a new entry point for treating hearing loss. DOI: http://dx.doi. org/10.7554/eLife.01341. 001
Mexican American Faculty in Research Universities: Can the Next Generation Beat the Odds?

Mexican Americans represent the largest Latina/o subpopulation and have the lowest levels of educational attainment in the United States. Mexican Americans are underrepresented in all professional fields, including academia, and thus warrant attention. The purposes of this study are to describe the experiences of early and mid-career Mexican American faculty, emphasizing key sources of inspiration, support, and mentoring, perceived discrimination, and their coping responses; assess the ways in which these factors influence their careers; and examine differences by gender and maternal education. Mixed methods were used to obtain information from 133 Mexican American faculty who participated in a larger national study of underrepresented minority (URM) faculty at research universities. Five major findings emerged: (1) early life course support sustained and encouraged educational aspirations, (2) mentorship from significant others provided valuable advice in developing social capital throughout higher education and early faculty experiences, (3) female respondents were more likely to report inadequate mentoring and higher levels of distress due to recurrent experiences of racially gendered discrimination, (4) strategies of resistance reveal high levels of emotional labor as respondents deconstruct the hidden curriculum to perform effectively in environments that are imbued with implicit bias, and (5) maternal education contributed to improved mentoring experiences and active resistance strategies. The findings suggest that expanding social capital–driven strategies and increasing understanding of persistent anti-Mexican social policy that leads to misidentification and implicit bias are key in retention and professional success for Mexican American faculty.
Urinary Angiotensinogen as a Biomarker of Nephropathy in Childhood

While most circulating angiotensinogen (AGT) is synthesized in the liver, the kidneys also produce AGT. Recently, we reported that urinary AGT is mainly originated from AGT. Using newly developed human AGT ELISA, we measured urinary AGT levels in chronic glomerulonephritis (GN) patients and patients with type 1 diabetes in childhood. Urinary AGT level was positively correlated with diastolic blood pressure, urinary albumin, urinary protein levels, and urinary occult blood in chronic GN patients. Furthermore, urinary AGT level was significantly increased in chronic GN patients not treated with renin-angiotensin system (RAS) blockers compared with control subjects. Importantly, patients treated with RAS blockers had a marked attenuation of this increase. Also, urinary AGT level was significantly higher in patients with diabetic nephropathy in the premicroalbuminuric phase than in control subjects. These results suggest that urinary AGT reflects intrarenal RAS status in chronic GN and may be an early marker of diabetic nephropathy.
Developing a Profiling Tool Using a Values Approach to School Renewal

Purpose The purpose of this article is to outline the evidence-based development of a learning approach to school renewal that employs information from key members of a school community (teachers, parents, students) to promote school-based discussions about school renewal. Setting The study took place in an independent system of Catholic schools. Schools in this tradition have an enduring history in the development of Catholic education and have partner schools in Australia, New Zealand, Papua New Guinea, India, Africa, Europe, and the Americas. Research Design The study employed a qualitative sociocultural design focused on generating narratives that could be used to describe the school as a community of practice and the development of a valid and reliable School Renewal Profiling Tool (SRPT) that provides an empirical picture of a school's culture and practice. Data Collection and Analysis Data collection included school visitations, classroom observations, in-depth interviews, and publicly available school documentation and data gathered from a case study site, a coeducational secondary college located in the center of a metropolitan city. Data collected were subjected to thematic analysis and principal components analysis (PCA). Data gathered from the SRPT items were then presented to the school community in the form of a collated report for feedback and school renewal purposes. Findings Findings suggest that the SRPT has the potential to capture local ways of knowing and doing as resources to promote organizational school renewal through refecting individual perceptions of participation in collective practice. Conclusions The research surrounding the development of the SRPT contributes to the field of school renewal in two distinct ways. First, the development of the SRPT offers an approach to school renewal that focuses on the values upon which a school community is based. Second, the SRPT avoids the difficulty of what Fielding (2004) refers to as “speaking about and for others,” where the original thoughts of respondents are couched in the language and values of the researcher.
X-Rays in the Orion Nebula Cluster: Constraints on the Origins of Magnetic Activity in Pre-Main-Sequence Stars

A recent observation of the Orion Nebula Cluster with the ACIS instrument on board the Chandra X-Ray Observatory detected 1075 sources, 525 of which are pre-main-sequence (PMS) stars with measured bulk properties such as bolometric luminosities, masses, ages, and disk indicators. Nearly half of these stars have photometrically measured rotational periods. This provides a uniquely large and well-defined sample to study the dependence of magnetic activity on bulk properties for stars descending the Hayashi tracks. The following results are obtained: (1) X-ray luminosities Lt in the 0.5-8 keV band are strongly correlated with bolometric luminosity, with average ratio log Lt/Lbol = -3.8 for stars with masses 0.7 < M < 2 M☉, an order of magnitude below the main-sequence saturation level; (2) the X-ray emission drops rapidly below this level in some stars with 2 < M < 3 M☉; (3) the presence or absence of infrared circumstellar disks has no apparent relation to X-ray levels; and (4) X-ray luminosities exhibit a slight rise as rotational periods increase from 0.4 to 20 days. This last finding stands in dramatic contrast to the strong decline of X-ray emission with increasing period seen in main-sequence stars. The absence of a strong X-ray/rotation relationship in PMS stars, and particularly the high X-ray values seen in some very slowly rotating stars, is a clear indication that the mechanisms of magnetic field generation differ from those operating in main-sequence stars. The most promising possibility is a turbulent dynamo distributed throughout the deep convection zone, but other models, such as α-Ω dynamo with "supersaturation" or relic core fields, are not immediately excluded. The drop in magnetic activity in intermediate-mass stars may reflect the presence of a significant radiative core. The evidence does not support X-ray production in large-scale star-disk magnetic fields in T Tauri stars.
An Efficient Feature Selection Method for Speaker Recognition

In this paper, a new feature selection method for speaker recognition is proposed to keep the high quality speech frames for speaker modelling and to remove noisy and corrupted speech frames. In order to obtain robust voice activity detection in variety of acoustic conditions, the spectral subtraction algorithm is adopted to estimate the frame power. An energy based frame selection algorithm is then applied to indicate the speech activity at the frame level. The eigenchannel based GMM-UBM speaker recognition system is used to evaluate this proposed method. The experiments are conducted on the 2006 NIST Speaker Recognition Evaluation core test condition (telephone channel) as well as microphone channel test condition. It demonstrates that this approach can provide an efficient way to select high quality speech frames in the noisy environment for speaker recognition.
RADIOMETRIC CALIBRATION OF TLS INTENSITY: APPLICATION TO SNOW COVER CHANGE DETECTION

This paper reports on the radiometric calibration and the use of calibrated intensity data in applications related to snow cover monitoring with a terrestrial laser scanner (TLS). An application of the calibration method to seasonal snow cover change detection is investigated. The snow intensity from TLS data was studied in Sodankyla, Finland during the years 2008–2009 and in Kirkkonummi, Finland in the winter 2010–2011. The results were used to study the behaviour of TLS intensity data on different types of snow and measurement geometry. The results show that the snow type seems to have little or no effect on the incidence angle behaviour of the TLS intensity and that the laser backscatter from the snow surface is not directly related to any of the snow cover properties, but snow structure has a clear effect on TLS intensity.
An empirical model of the phytoplankton chlorophyll : carbon ratio‐the conversion factor between productivity and growth rate

We present an empirical model that describes the ratio of phytoplankton chlorophyll a to carbon, Chl : C, as a function of temperature, daily irradiance, and nutrient-limited growth rate. Our model is based on 219 published measurements of algal cultures exposed to light-limited or nutrient-limited growth conditions. We illustrate an approach for using this estimator of Chl : C to calculate phytoplankton population growth rate from measured primary productivity. This adaptive Chl : C model gives rise to interactive light-nutrient effects in which growth efficiency increases with nutrient availability under low-light conditions. One implication of this interaction is the enhancement of phytoplankton growth efficiency, in addition to enhancement of biomass yield, as a response to eutrophication.
Integrated Mobile Sensor-Based Activity Recognition of Construction Equipment and Human Crews

Automated activity recognition of heavy construction equipment as well as human crews can contribute to correct and accurate measurement of a variety of construction and infrastructure project performance indicators. Productivity assessment through work sampling, safety and health monitoring using worker ergonomic analysis, and sustainability measurement through equipment activity cycle monitoring to eliminate ineffective and idle times thus reducing greenhouse gas emission (GHG), are some potential areas that can benefit from the integration of automated activity recognition and analysis techniques. Despite their proven performance and applications in other domains, few construction engineering and management (CEM) studies have so far employed non-vision sensing technologies for construction equipment and workers’ activity recognition. The existence of a variety of sensors in ubiquitous smartphones with evolving computing, networking, and storage capabilities has created great opportunities for a variety of pervasive computing applications. In light of this, this paper describes the latest findings of an ongoing project that aims to design and validate a ubiquitous smartphone-based automated activity recognition framework using built-in accelerometer and gyroscope sensors. Collected data are segmented to overlapping windows to extract timeand frequency domain features. Since each sensor collected data in three axes (x, y, z), several features from all three axes are extracted to ensure device placement orientation independency. Finally, features are used as the input of supervised machine learning classifiers. The results of the experiments indicate that the trained models are able to classify construction workers and equipment activities with over 90% overall accuracy.
Clustering before training large datasets — Case study: K-SVD

Training and using overcomplete dictionaries has been the subject of many developments in the area of signal processing and sparse representations. The main idea is to train a dictionary that is able to achieve good sparse representations of the items contained in a given dataset. The most popular approach is the K-SVD algorithm and in this paper we study its application to large datasets. The main interest is to speedup the training procedure while keeping the representation errors close to some specific values. This goal is reached by using a clustering procedure, called here T-mindot, which reduces the size of the dataset but keeps the most representative data items and a measure of their importance. Experimental simulations compare the running times and representation errors of the training method with and without the clustering procedure and they clearly show how effective T-mindot is.
Microlipid-induced oxidative stress in human breastmilk: in vitro effects on intestinal epithelial cells.

OBJECTIVES To (1) determine whether medium chain fatty acids (Microlipid) added to human breastmilk generates reactive oxygen species (ROS), and (2) measure the physiological effect(s) of Microlipid) (ML)-supplemented human breastmilk in an enterocyte cell culture bioassay. METHODS ML was added to milk according to manufacturer's recommendations and total hydroperoxides measured at intervals with the FOX 2 and TBARS assays. Physiological effects of supplementation were measured using a human enterocyte cell line (Caco-2BBE) and/or a primary human fetal intestinal cell culture (FHS-74 Int). Endpoints included: intracellular oxidative stress, transepithelial electrical resistance (TEER), apoptosis, and interleukin (IL)-6 production. RESULTS Immediately postsupplementation, ML did not significantly increase ROS, as determined by both the FOX 2 and TBARS assays. Further, storage of milk + ML at 4 degrees C prevented significant increases in total hydroperoxides. However, by 4 hours postsupplementation at room temperature, both assays revealed significantly higher hydroperoxide and lipid peroxide levels. ML-supplemented milk stored at room temperature for 4 hours had the following effects in cell culture bioassays: elevated oxidative stress, increased rates of apoptosis, decreased transmembrane electrical resistance (TEER) values and, in both cell culture assays, significantly increased secretion of IL-6. CONCLUSIONS Based on our measurements of extracellular and intracellular ROS, milk supplemented with fresh ML does not induce significant oxidative stress. However, when stored for 4 hours at room temperature, ML induces significant levels of oxidative stress. Decreases in TEER and increases in apoptosis and IL-6 secretion are consistent with ML-induced oxidative stress. It therefore is likely that in clinical situations, if ML-supplemented milk is not administered quickly, the newborn may be placed at greater risk of oxidative stress.