Miracle-dz/UniFAR-FTUs huggingface dataset:
Formation of Population III stars in fossil H II regions : significance of HD

We study the evolution of gas in H II regions around the first stars after the exciting stars end their lives. If the first star in a small halo dies without supernova (SN), subsequent star formation is possible in the same halo. We thus investigate the effect of ionization on subsequent star formation within small haloes in the early Universe using one-dimensional hydrodynamics with spherical symmetry along with non-equilibrium primordial gas chemistry. We find that the enhanced electron fraction facilitates the formation of molecular hydrogen at the cores of these haloes. The low temperature circumstances produced by the H2 cooling is favourable to HD formation and the resultant cooling further drops the temperature below 100 K. Consequently, low-mass stars with primordial abundances can form even in a small halo. After accreting the interstellar metals, these stars might resemble low-mass ultra metal-poor stars discovered in the present-day Galactic halo. Ke yw ords: molecular processes ‐ stars: formation ‐ H II regions ‐ galaxies: formation ‐ cosmology: theory.
Audio Feature Engineering for Automatic Music Genre Classification

The scenarios opened by the increasing availability, sharing and dissemination of music across the Web is pushing for fast, effective and abstract ways of organizing and retrieving music material. Automatic classification is a central activity to model most of these processes, thus its design plays a relevant role in advanced Music Information Retrieval. In this paper, we adopted a state-of-the-art machine learning algorithm, i.e. Support Vector Machines, to design an automatic classifier of music genres. In order to optimize classification accuracy, we implemented some already proposed features and engineered new ones to capture aspects of songs that have been neglected in previous studies. The classification results on two datasets suggest that our model based on very simple features reaches the state-of-art accuracy (on the ISMIR dataset) and very high performance on a music corpus collected locally.
Coinductive big-step operational semantics for type soundness of Java-like languages

We define a coinductive semantics for a simple Java-like language by simply interpreting coinductively the rules of a standard big-step operational semantics. We prove that such a semantics is sound w.r. t. the usual small-step operational semantics, and then prove soundness of a conventional nominal type system w.r. t. the coinductive semantics. From these two results, soundness of the type system w.r. t. the small-step semantics can be easily deduced. This new proposed approach not only opens up new possibilities for proving type soundness, but also provides useful insights on the connection between coinductive big-step operational semantics and type systems.
INHIBITION OF THE GROWTH OF AGENTS OF THE PSITTACOSIS GROUP BY d-CYCLOSERINE AND ITS SPECIFIC REVERSAL BY d-ALANINE

Moulder, James W. (University of Chicago, Chicago, Ill.), Dorothy L. Novosel, and Julius E. Officer. Inhibition of the growth of agents of the psittacosis group by d-cycloserine and its specific reversal by d-alanine. J. Bacteriol. 85:707–711. 1963. —d-Cycloserine inhibited multiplication of four members of the psittacosis group in chick embryo yolk sac. d-Alanine reversed each inhibition. In infections with the agent of mouse pneumonitis, the most sensitive member of the psittacosis group tested, d-alanine competitively antagonized the growth inhibition produced by d-cycloserine. Of a number of other potential reversing agents, only dl-alanyl-dl-alanine reversed the effect of d-cycloserine on mouse pneumonitis agent. The significance of the susceptibility of the psittacosis group to d-cycloserine is discussed in light of the known mode of action of this antibiotic on bacteria.
STRUCTURE OF COUPLED AND UNCOUPLED CELL JUNCTIONS

Cells of Chironomus salivary glands and Malpighian tubules have junctions of the "septate" kind. This is the only kind of junction discerned which is large enough to effect the existing degree of intercellular communication. The electron microscopic observations of the "septate" junction conform to a honeycomb structure, with 80-A-thick electron-opaque walls and 90-A-wide transparent cores, connecting the cellular surface membranes. A projection pattern of light and dark bands (the "septa") with a 150-A periodicity results when the electron beam is directed normal to any set of honeycomb walls. Treatment of the salivary gland cells with media, which interrupt cellular communication (without noticeable alteration of cellular adhesion) by reducing junctional membrane permeability or perijunctional insulation, produces no alterations in the junctional structure discernible in electron micrographs of glutaraldehyde-fixed cell material.
Efecto de un programa de intervención basado en la expresión corporal sobre la mejora conceptual de hábitos saludables en niños de sexto curso

Improving concept of healthy habits in children sixth grade through a body expression’s programme It has been carried out an intervention for the conceptual improvement of healthy habits through the body language in 6 th primary students. This study was carried out during 10 sessions that were applied to the experimental group (EXP.G) using the investigation as main technical of teaching, as well as a complementary work sheet about the developed conceptual content in the session. The control group (CNT. G) carried out the predicted in the approved class curriculum programme in the educational project of the school. The conceptual knowledge about healthy habits was assessed with a 57 question questionnaire. The results show a highly significant increase in the knowledge level of EXP. G (p < 0.0001) to change from 34.36  6.23 in the pre-test to 48.86  4.26 in the post-test and to remain 48.14  2.68 in the re-test. However, the CNT. G. also increased significantly (p<0.01) from 33.79  3.70 in the pretest to 37.71  3.50 in the post-test and decreased to 34.79  3.59 in the re-test. The obtained results corroborate the suitability of the assistance programme. In conclusion, body language can be an adequate content to improve the knowledge about healthy habits.
Corporate Governance Disasters and Developments Implications for University Governing Bodies

The last decade has seen a series of financial disasters in large corporations worldwide, many of them precipitated by shoddy and unethical corporate governance. The higher education sector has for the moment avoided disasters of this scale but the threat is a real one. Australia needs to seriously consider international best practice lest it experience a 'Unigate'. This paper investigates parallel issues in corporate governance and university governance. It analyses the recent recommendations for reform of university governance embedded in the federal government's 2003 Our Universities: Backing Australia's Future document, in the wider context of proposed reforms to corporate governance. The author advocates an expansion of the role of the chair and the independent members of university governing bodies as well as the role of independent directors on company boards. In addition, he argues that the construction of a healthy 'boardroom' culture is central to the effective functioning of the governance process. The article analyses the notion of management prerogative in decision- making the public sector, and details international developments in corporate governance during the 1990s and later. It then focuses on events and changes in the Australian context and try to determine the best of the 'best practice' models that have emerged from this reform fervor and discusses whether this has had any impact (negative or positive) on corporate performance. It concludes by exploring the implications for senior university managers and members of governing bodies.
Predictors of Retinochoroiditis in Children With Congenital Toxoplasmosis: European, Prospective Cohort Study

OBJECTIVE. By school age, 20% of children infected with congenital toxoplasmosis will have ≥1 retinochoroidal lesion. We determined which children are most at risk and whether prenatal treatment reduces the risk of retinochoroiditis to help clinicians decide about treatment and follow-up. PATIENTS AND METHODS. We prospectively studied a cohort of children with congenital toxoplasmosis identified by prenatal or neonatal screening in 6 European countries. We determined the effects of prenatal treatment and prognostic markers soon after birth on the age at first detection of retinochoroiditis. RESULTS. Of 281 children with congenital toxoplasmosis, 50 developed ocular disease, and 17 had recurrent retinochoroiditis during a median follow-up of 4.1 years. Prenatal treatment had no significant effect on the age at first or subsequent lesions. Delayed start of postnatal treatment did not increase retinochoroiditis, but the analysis lacked power. Older gestational age at maternal seroconversion was weakly associated with a reduced risk of retinochoroiditis. The presence of nonocular clinical manifestations of congenital toxoplasmosis at birth strongly predicted retinochoroiditis. For 92% (230 of 249) of children with no retinochoroiditis detected before 4 months of age, the probability of retinochoroiditis by 4 years was low, whether clinical manifestations were present or not 8.0%. CONCLUSIONS. Prenatal treatment did not significantly reduce the risk of retinochoroiditis in this European cohort. If children have no retinochoroiditis in early infancy, the low risk of subsequent ocular disease may not justify postnatal treatment and repeated ophthalmic assessments during childhood. Controlled trials are needed to address the lack of evidence for the effectiveness of postnatal treatment.
Consumer learning roadmap: a necessary tool for new products

In order to cope with increasing competition, high-tech firms need to continuously launch new products. However, adoption of new products may require substantive cognitive efforts from consumers. Therefore, firms should be able to monitor and influence their consumer's knowledge base. The aim of this paper is to evaluate the usability of a consumer learning roadmap for high-tech marketing. A tentative framework is built based on the previous literature on innovation adoption and consumers' knowledge development. The usability of this framework is then evaluated on the basis of case studies. The study indicates that in case innovations, firms were actively triggering, monitoring and guiding consumer's knowledge base in order to promote the adoption of successive product generations. This supports the idea that a consumer learning roadmap is a relevant and indeed a successful concept for high-tech marketing. The fact that a consumer learning roadmap has so far been used only marginally means that the most prominent high-technology marketers are likely, little by little, to dominate their market.
rapid communication ACE inhibition and glucose transport in insulin-resistant muscle : roles of bradykinin and nitric oxide

Henriksen, Erik J., Stephan Jacob, Tyson R. Kinnick, Erik B. Youngblood, Melanie B. Schmit, and Guenther J. Dietze. ACE inhibition and glucose transport in insulin-resistant muscle: roles of bradykinin and nitric oxide. Am. J. Physiol. 277 (Regulatory Integrative Comp. Physiol. 46): R332–R336, 1999. —Acute administration of the angiotensin-converting enzyme (ACE) inhibitor captopril enhances insulin-stimulated glucose transport activity in skeletal muscle of the insulin-resistant obese Zucker rat. The present study was designed to assess whether this effect is mediated by an increase in the nonapeptide bradykinin (BK), by a decrease in action of ANG II, or both. Obese Zucker rats (8–9 wk old) were treated for 2 h with either captopril (50 mg/kg orally), bradykinin (200 μg/kg ip), or the ANG II receptor (AT1 subtype) antagonist eprosartan (20 mg/kg orally). Captopril treatment enhanced in vitro insulinstimulated (2 mU/ml) 2-deoxyglucose uptake in the epitrochlearis muscle by 22% (251 6 7 vs. 205 6 9 pmol ·mg21 ·20 min21; P , 0.05), whereas BK treatment enhanced this variable by 18% (249 6 15 vs. 215 6 7 pmol ·mg21 ·20 min21; P , 0.05). Eprosartan did not significantly modify insulin action. The BK-mediated increase in insulin action was completely abolished by pretreatment with either the specific BK-B2 receptor antagonist HOE 140 (200 μg/kg ip) or the nitric oxide synthase inhibitor Nv-nitro-L-arginine methyl ester (50 mg/kg ip). Collectively, these results indicate that the modulation of insulin action by BK likely underlies the metabolic effects of ACE inhibitors in the insulin-resistant obese Zucker rat. Moreover, this modulation of insulin action by BK is likely mediated through B2 receptors and by an increase in nitric oxide production and/or action in skeletal muscle tissue.
Classifying vortex wakes using neural networks

Unsteady flows contain information about the objects creating them. Aquatic organisms offer intriguing paradigms for extracting flow information using local sensory measurements. In contrast, classical methods for flow analysis require global knowledge of the flow field. Here, we train neural networks to classify flow patterns using local vorticity measurements. Specifically, we consider vortex wakes behind an oscillating airfoil and we evaluate the accuracy of the network in distinguishing between three wake types, 2S, 2P + 2S and 2P + 4S. The network uncovers the salient features of each wake type.
Improvements of multiple FGS layers coding for low-delay applications in SVC

For low-delay applications in Scalable Video Coding, there are two alternative coding strategies based on AR-FGS for compressing multiple FGS layers. However, their coding efficiencies both suffer largely from the inherent drifting errors. In this paper, a more efficient multiple FGS layers coding structure is presented, which can provide higher coding performance within wide bitrate range and stronger error resilience. This is achieved by incorporating the partial-reconstructed enhancement layer references, instead of the complete-reconstructed ones, into the motion-compensated prediction loop of the FGS layers. Thereupon the prediction drift can be effectively decreased, especially for the middle bitrate points. Further, through selecting different-quality enhancement layer references generated with cycle-based reconstruction mechanism, more flexible video quality can be supported to be more suitable for varied practical application requirements.
Amelogenesis Imperfecta and Generalized Gingival Overgrowth Resembling Hereditary Gingival Fibromatosis in Siblings: A Case Report

Amelogenesis imperfecta (AI) is a group of hereditary disorders primarily characterized by developmental abnormalities in the quantity and/or quality of enamel. There are some reports suggesting an association between AI and generalized gingival enlargement. This paper describes the clinical findings and oral management of two siblings presenting both AI and hereditary gingival fibromatosis (HGF) like generalized gingival enlargements. The treatment of gingival enlargements by periodontal flap surgery was successful in the management of the physiologic gingival form for both patients in the 3-year follow-up period. Prosthetic treatment was also satisfactory for the older patient both aesthetically and functionally.
Maximum frequency of operation of CMOS Static Frequency dividers: Theory and Design techniques

This paper presents a theoretical analysis of the maximum frequency of operation of CMOS static frequency dividers. The approach is based on the transient analysis of output voltages derived from differential equations of the large-signal model of the circuit. Tradeoffs and design techniques for very high frequency dividers have been discussed on the basis of the derived expression. An inductor-less 45 GHz divider and a shunt-peaked 60 GHz divider have been designed in 0.13 mum process following the suggested design techniques. Detailed simulation results have been presented.
KIL : An Abstract Intermediate Language for Symbolic Execution and Test Generation of C + + Programs

We present a declarative intermediate language KIL in a symbolic executor for C++ programs and show how to use KIL to control symbolic execution. KIL is an abstract language defined over LLVM bytecode; it provides a higher level model of C++ object operations and functions. KIL enables lazy function evaluation, object-level execution and reasoning, defining built-in efficient solvers, function summary based execution, and so on. Specifically, the symbolic executor first performs KIL level execution to build abstract path constraints, then uses these abstract constraints to guide bytecode level execution and produce concrete test cases. This method is able to avoid exploring many useless or duplicate paths. Experimental results show that KIL can help solve path constraints and produce test cases in much less time without losing source coverage.
Predicting Job Satisfaction and Job Performance in a Privatized Organization

ABSTRACT The current study focused on job satisfaction and job performance, as well as on their predictors in a privatized organization. We tested a model in which job satisfaction, consistent with social cognitive theory, is related to self-efficacy and perceptions of social context (i.e., colleagues, immediate supervisor, top management); job satisfaction, in turn, predicts job performance along with organizational tenure. White collars (N = 1172) from the staff and line functions of an Italian privatized organization were administered a self-report questionnaire matched with their job performance as rated by supervisors (six months later). Structural equation modelling supported the hypothesized relationships among variables. We found that: (a) self-efficacy was related to the three components of perceptions of social context; (b) perceptions of social context mediated the relationship between self-efficacy and job satisfaction; (c) job performance was positively predicted by job satisfaction; and (d) finally, the relationship between organizational tenure and job performance became progressively negative as organizational tenure increases, indicating a misfit between the person and the organization for employees hired before the privatization. Our findings suggest interventions directed at enhancing employees’ self-efficacy in mastering job tasks under unstable conditions, at supporting supervisors in managing their coworkers, and at improving the fit between higher-tenured employees and the organization.
Iterative FDE for asynchronous single-carrier multiuser systems

When the arrival timing difference exists in the uplink MUMIMO systems, the conventional MUD techniques, without timing control, failed under this circumstance. In this paper, we proposed a joint distortion precancelation and iterative FDE architecture, without timing control, for the asynchronous system. The proposed method derives the iterative FDE filters, via the MMSE criterion, by treating the precanceled distortion components as colored noise. The asymptomatic MSE performance is shown to approach MFB, and the achievable SER performance is evaluated in various system settings, which confirms its effectiveness.
Optimization of Sparse Matrix-Vector Multiplication with Variant CSR on GPUs

Sparse Matrix-Vector multiplication (SpMV) is one of the most significant yet challenging issues in computational science area. It is a memory-bound application whose performance mostly depends on the input matrix and the underlying architecture. Many researchers have paid more attentions on exploring a variety of optimization techniques to SpMV. One of the most promising respects is how to adapt the storage format to satisfy the underlying architecture. Alterative storage formats can largely lessen memory pressure, however, the computational resources are often underutilized. Therefore, a new storage format, which is called Compressed Sparse Row with Segmented Interleave Combination (SIC), is proposed. Stemming from Compressed Sparse Row format (CSR), SIC format employs an interleave combination pattern that combines certain amount of CSR rows to form a new SIC row. In order to further improve performance, segmented processing is also brought in. According to the empirical data, we also develop an automatic SIC-based SpMV suitable for all the matrices. Experimental results show that our approach outperforms the NVIDIA CSR vector kernel, achieving up to 12.6 × speedup. It also demonstrates a comparable performance with the Hybrid format, even with the highest 2.89 × speedup.
Evaluation of the Effects of Read it Once Again across Two Groups of Students

The purpose of this study was to evaluate the effectiveness of a preschool early literacy curriculum ( Read It Once Again ) across two groups of students. Participants were preschool children with disabilities in self-contained classrooms and children at risk for disabilities served in state funded prekindergarten programs. Teachers in the intervention classrooms implemented Read It Once Again instruction in small groups on a daily basis. Teachers in comparison classrooms implemented the ongoing preschool curriculum as a “business-as-usual” no-intervention condition. There were no pretest group differences on the Peabody Picture Vocabulary Test and the Preschool Language Scales for both groups of children; however, there were statistically significant effects on picture naming and rhyming progress-monitoring measures for preschoolers with disabilities who received the intervention. These results suggest that Read It Once Again may be effective for improving early literacy skills of preschool children with or at risk for significant early learning problems.
Can Phenotypic Plasticity Facilitate the Geographic Expansion of the Tilapia Oreochromis mossambicus?

Climate influences the distribution of organisms because of the thermal sensitivity of biochemical processes. Animals may compensate for the effects of variable temperatures, and plastic responses may facilitate radiation into different climates. The tropical fish Oreochromis mossambicus has radiated into climates that were thought to be thermally unsuitable. Here, we test the hypothesis that thermal acclimation will extend the locomotory and metabolic performance range of O. mossambicus. Juvenile fish were acclimated to 14°, 17°, and 22°C. We measured responses to acclimation at three levels of organization: whole‐animal performance (sustained swimming and resting and recovery rates of oxygen consumption), mitochondrial oxygen consumption in caudal muscle, and metabolic enzyme activities in muscle and liver at 12°, 14°, 17°, 22°, and 26°C. Thermal optima of sustained swimming performance (Ucrit) changed significantly with acclimation, but acclimation had no effect on either resting or recovery oxygen consumption. Fish compensated for cold temperatures by upregulating state 3 mitochondrial oxygen consumption and increasing activity of lactate dehydrogenase in the liver. The capacity for phenotypic plasticity in O. mossambicus means that the fish would not be limited by its locomotor performance or metabolic physiology to expand its range into cooler thermal environments from its current distribution.