Miracle-dz/UniFAR-FTUs huggingface dataset:
Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem

Previous approaches to search based test data generation tend to focus on coverage, rather than oracle cost. While there may be an aspiration that systems should have models, checkable specifications and/or contract driven development, this sadly remains an aspiration; in many real cases, system behaviour must be checked by a human. This painstaking checking process forms a significant cost, the oracle cost, which previous work on automated test data generation tends to overlook. One simple way to reduce oracle cost consists of reducing the number of tests generated. In this paper we introduce three algorithms which do this without compromising coverage achieved. We present the results of an empirical study of the effectiveness of the three algorithms on five benchmark programs containing non trivial search spaces for branch coverage. The results indicate that it is, indeed, possible to make reductions in the number of test cases produced by search based testing, without loss of coverage.
Mechanisms of recent genome size variation in flowering plants.

BACKGROUND AND AIMS Plant nuclear genomes vary tremendously in DNA content, mostly due to differences in ancestral ploidy and variation in the degree of transposon amplification. These processes can increase genome size, but little is known about mechanisms of genome shrinkage and the degree to which these can attenuate or reverse genome expansion. This research focuses on characterizing DNA removal from the rice and Arabidopsis genomes, and discusses whether loss of DNA has effectively competed with amplification in these species. METHODS Retrotransposons were analyzed for sequence variation within several element families in rice and Arabidopsis. Nucleotide sequence changes in the two termini of individual retrotransposons were used to date their time of insertion. KEY RESULTS An accumulation of small deletions was found in both species, caused by unequal homologous recombination and illegitimate recombination. The relative contribution of unequal homologous recombination compared to illegitimate recombination was higher in rice than in Arabidopsis. However, retrotransposons are rapidly removed in both species, as evidenced by the similar apparent ages of intact elements (most less than 3 million years old) in these two plants and all other investigated plant species. CONCLUSIONS Differences in the activity of mechanisms for retrotransposon regulation or deletion generation between species could explain current genome size variation without any requirement for natural selection to act on this trait, although the results do not preclude selection as a contributing factor. The simplest model suggests that significant genome size variation is generated by lineage-specific differences in the molecular mechanisms of DNA amplification and removal, creating major variation in nuclear DNA content that can then serve as the substrate for fitness-based selection.
Central Fixations are Inadequately Controlled by Instructions Alone: Implications for Studying Cerebral Asymmetry

A fundamental concern when using visual presentations to study cerebral asymmetry is to ensure that stimuli are presented with the same degree of retinal eccentricity from a central fixation point in either visual field. However, a widely used procedure intended to control fixation location merely instructs participants to fixate appropriately without any other means of ensuring that central fixations actually occur. We assessed the validity of assuming that instructions alone ensure central fixation by using the traditional R VF advantage for words and either (a) only instructions to fixate centrally, or (b) an eye-tracking device that ensured central fixation on every trial. Experiments 1 and 2 found that when only instructions were given, the vast majority of fixations were not central, and more occurred to the right of centre than to the left. Moreover, the prevalence of non-central fixations was otherwise disguised by the finding that both fixation procedures produced similar R VF advantages in overt performance. The impact of typical non-central fixations on performance was revealed by systematically manipulating fixation location in Experiment 3, where deviations in fixation of only 0.25° from centre had a reliable impact on visual field effects. Implications of these findings for studies of cerebral asymmetry are discussed.
Augmented and Virtual Reality in the Airport Control Tower

As a matter of fact, airports are considered as the bottleneck to increasing the capacity of the overall Air Traffic Management (ATM) system. While augmenting throughput in high performing airport operations, attention has rightly been placed on doing it in a safe manner. Many of the advances in airport operational safety come in the form of visualization tools for tower controllers. The increasing interest in Synthetic Vision (SV) and Augmented Reality (AR) technologies has led various analysts to positively esteem the adoption of new tools enabling both pilots and controllers to seamlessly operate under Visual Meteorological Conditions and Instrument Meteorological Conditions. This paper presents the motivations, the objectives, the proposed methodology and the expected impacts of the RETINA (Resilient Synthetic Vision for Advanced Control Tower Air Navigation Service Provision) project that has recently been granted by the SESAR (Single European Sky Air Traffic Management Research) Joint Undertaking. The two-years exploratory research project will investigate the potential and applicability of SV tools and Virtual/Augmented Reality (V/AR) display techniques for the Air Traffic Control (ATC) service provision by the airport control tower.
Mutation of pescadillo Disrupts Oligodendrocyte Formation in Zebrafish

Background In vertebrates, the myelin sheath is essential for efficient propagation of action potentials along the axon shaft. Oligodendrocytes are the cells of the central nervous system that create myelin sheaths. During embryogenesis, ventral neural tube precursors give rise to oligodendrocyte progenitor cells, which divide and migrate throughout the central nervous system. This study aimed to investigate mechanisms that regulate oligodendrocyte progenitor cell formation. Methodology/Principal Findings By conducting a mutagenesis screen in transgenic zebrafish, we identified a mutation, designated vu166, by an apparent reduction in the number of oligodendrocyte progenitor cells in the dorsal spinal cord. We subsequently determined that vu166 is an allele of pescadillo, a gene known to play a role in ribosome biogenesis and cell proliferation. We found that pescadillo function is required for both the proper number of oligodendrocyte progenitors to form, by regulating cell cycle progression, and for normal levels of myelin gene expression. Conclusions/Significance Our data provide evidence that neural precursors require pes function to progress through the cell cycle and produce oligodendrocyte progenitor cells and for oligodendrocyte differentiation.
Effects of Interpersonal Problems at Workplace on Job Involvement

Job involvement plays an important role to create positive job attitude which indicates strong psychological bonding of an employee to his or her job. On the other hand interpersonal problems at workplace make job conflict, increase job stress which is threatening to create positive job attitudes. The objective of this study was to investigate the relationship between interpersonal problems and job involvement, to explore how different types of interpersonal problems effect on job involvement and to examine the problem areas of interpersonal relationship in workplace that can create negative impact on job involvement. The measuring instruments used in this study were: Inventory of Interpersonal Problems (IIP-64) (Alden, Wiggins, Pincus & Horowitz, 2000) for measuring different types of interpersonal problems. And Work Involvement Scale ( Kanungo, 1982) for measuring job involvement. According to the objective of the present study the obtain data were analyzed using Pearson product moment correlation and simple regression. The survey results revealed that interpersonal problem is negatively correlated to job involvement. The study also found that the people who are mostly face problems in cold / distant, overly accommodating and intrusive/needy domains in case of interpersonal relationship; they are more at risk to be less involved with job. JEL Classification Code: M12 Â Handle:Â http://hdl.handle. net/20.500. 11903/gdeb.v1n1. 3
COMBINATORIAL AND GEOMETRIC ASPECTS OF FEYNMAN GRAPHS AND FEYNMAN INTEGRALS DISSERTATION

3 PREFACE The integrals associated to Feynman graphs must have been a source of frustration for particle physicists ever since. Indeed there is a delicate difference between being able to draw a Feynman graph and being able to compute the associated Feynman integral. Although perturbation theory has brought enormous breakthroughs, many physicists turned to more abstract developments in quantum field theory, looked for other ways to produce perturbational results, or left the field entirely. Nonetheless there is a significant number of physicists, computational and theoretical, who pursue the quest for concepts and algorithms to compute and understand those integrals to higher and higher orders. Their motivation is to help test the validity of the underlying physical theory. For a mathematician, Feynman graphs and their integrals provide a rich subject in their own right, independent of their computability. It was only recently though that the work of Bloch, Esnault and Kreimer has brought a growing interest of mathematicians from various disciplines to the subject. In fact it opened up a completely new direction of research: a motivic interpretation of Feynman graphs that unites their combinatorial, geometric and arithmetic aspects. This idea had been in the air for a while, based on computational results of Broadhurst and Kreimer, and on a theorem of Belkale and Brosnan related to a conjecture of Kontsevich about the generality of the underlying motives. A prerequisite for the motivic approach is a profound understanding of renormalization that was established less recently in a modern language by Connes and Kreimer. This dissertation studies the renormalization of Feynman graphs in position space using an adapted resolution of singular-ities, and makes two other contributions of mostly combinatorial nature to the subject. I hope this may serve as a reference for somebody who feels comfortable with the traditional position space literature and looks for a transition to the research of Bloch and Kreimer. I want to thank D. Kreimer for sharing his wealth of experience and ideas with me and E. Vogt for helping me make things more precise; and both for dedicating a great deal of time and effort to advising this research. I am grateful to R. Brunetti for pointing me to a reference that was crucial for my understanding, and for his collaboration. I also thank R. Schader for his support over many years. While carrying out this research, I benefitted from discussions with R. the DESY in …
Metaproteomics Reveals Abundant Transposase Expression in Mutualistic Endosymbionts

ABSTRACT Transposases, enzymes that catalyze the movement of mobile genetic elements, are the most abundant genes in nature. While many bacteria encode an abundance of transposases in their genomes, the current paradigm is that the expression of transposase genes is tightly regulated and generally low due to its severe mutagenic effects. In the current study, we detected the highest number of transposase proteins ever reported in bacteria, in symbionts of the gutless marine worm Olavius algarvensis with metaproteomics. At least 26 different transposases from 12 different families were detected, and genomic and proteomic analyses suggest that many of these are active. This high expression of transposases indicates that the mechanisms for their tight regulation have been disabled or no longer exist. IMPORTANCE The expansion of transposable elements (TE) within the genomes of host-restricted symbionts and pathogens plays an important role in their emergence and evolution and might be a key mechanism for adaptation to the host environment. However, little is known so far about the underlying causes and evolutionary mechanisms of this TE expansion. The current model of genome evolution in host-restricted bacteria explains TE expansion within the confines of the paradigm that transposase expression is always low. However, recent work failed to verify this model. Based on our data, we hypothesize that increased transposase expression, which has not previously been described, may play a role in TE expansion, and could be one explanation for the sometimes very rapid emergence and evolution of new obligate symbionts and pathogens from facultative ones. The expansion of transposable elements (TE) within the genomes of host-restricted symbionts and pathogens plays an important role in their emergence and evolution and might be a key mechanism for adaptation to the host environment. However, little is known so far about the underlying causes and evolutionary mechanisms of this TE expansion. The current model of genome evolution in host-restricted bacteria explains TE expansion within the confines of the paradigm that transposase expression is always low. However, recent work failed to verify this model. Based on our data, we hypothesize that increased transposase expression, which has not previously been described, may play a role in TE expansion, and could be one explanation for the sometimes very rapid emergence and evolution of new obligate symbionts and pathogens from facultative ones.
Effects of temperature changes on the pressor response to acute alveolar hypoxia in isolated rat lungs.

The effects of perfusate cooling upon the pressor response to 3 min periods of ventilation hypoxia was tested in an isolated blood-perfused rat lung preparation.The response was found to be markedly and reversibly thermosensitive.Lowering the perfusate temperature from 38d C to 27.5d C abolished the pressor response to the subsequent test of ventilation hypoxia.When, however, perfusion was continued at 27.5d C moderate pressor responses to ventilation hypoxia developed.The number of pressor responses which could be obtained to 3 min tests of hypoxia was limited in this preparations.In perfusions carried out at 27.5d C the responses were smaller, but 1 1/2 to 2 1/2 times as many, as in perfusions at 38d C.The thermosensitivity of the pressor response could not be correlated with pH changes in the perfusate.The findings seem to support the theory of a vasoconstrictor agent being released or activated by alveolar hypoxia.
Tachyon condensation at one loop

Using boundary string field theory we study the decay of unstable D-branes to lower dimensional D-branes via the tachyon condensation at one loop level. We analyze one loop divergences and use the Fischler-Susskind mechanism to cancel divergences arising at the boundary of moduli space. The tachyon action up to the second derivative is obtained and a logarithmic correction to the tachyon potential is written down explicitly. Multiple D-branes is also considered and the role of the boundary fermions is highlighted.
Scheduling algorithms for channel-sensitive utilizing SC-FDMA in uplink

In this paper, a new approach is considered, which are different categories to reduce the bits error rate and PAPR reduction, utilizing single carrier frequency division multiple access SC-FDMA and orthogonal frequency division multiple access OFDMA. This paper discusses the appropriateness of using OFDMA or SC-FDMA in the uplink for high-data-rate, considering a target performance metrics the PAPR. Particularly, the PAPR analysis shows that a localized (not distributed) allocation of the resource blocks (RBs) in the frequency domain shall be employed for SC-FDMA in order to keep its advantages over OFDMA in terms of PAPR reduction. In addition, from the multiuser variety gain evaluation emerges the fact that the impact of different RB sizes and bandwidth configurations is low.
Targeting Nonsquamous Nonsmall Cell Lung Cancer via the Proton-Coupled Folate Transporter with 6-Substituted Pyrrolo[2,3-d]Pyrimidine Thienoyl Antifolates

Pemetrexed (PMX) is a 5-substituted pyrrolo[2,3-d]pyrimidine antifolate used for therapy of nonsquamous nonsmall cell lung cancer (NS-NSCLC). PMX is transported by the reduced folate carrier (RFC) and proton-coupled folate transporter (PCFT). Unlike RFC, PCFT is active at acidic pH levels characterizing the tumor microenvironment. By real-time reverse-transcription polymerase chain reaction (RT-PCR) and immunohistochemistry, PCFT transcripts and proteins were detected in primary NS-NSCLC specimens. In six NS-NSCLC cell lines (A549, H1437, H460, H1299, H1650, and H2030), PCFT transcripts and proteins were detected by real-time RT-PCR and western blots, respectively. 6-Substituted pyrrolo[2,3-d]pyrimidine thienoyl antifolates related to PMX [compound 1 (C1) and compound 2 (C2), respectively] are selective substrates for PCFT over RFC. In the NS-NSCLC cell lines, both [3H]PMX and [3H]C2 were transported by PCFT. C1 and C2 inhibited proliferation of the NS-NSCLC cell lines; A549, H460, and H2030 cells were more sensitive to C1 than to PMX. C1 and C2 inhibited glycinamide ribonucleotide formyltransferase in de novo purine nucleotide biosynthesis. When treated at pH 6.8, which favors PCFT uptake, C1 and C2 inhibited clonogenicity of H460 cells greater than PMX; PMX inhibited clonogenicity more than C1 or C2 at pH 7.2, which favors RFC transport over PCFT. Knockdown of PCFT in H460 cells resulted in decreased [3H]PMX and [3H]C2 transport and decreased growth inhibition by C1 and C2, and to a lesser extent by PMX. In vivo efficacy of C1 was seen toward H460 tumor xenografts in severe-combined immunodeficient mice. Our results suggest that 6-substituted pyrrolo[2,3-d]pyrimidine thienoyl antifolates offer significant promise for treating NS-NSCLC by selective uptake by PCFT.
Long-term prostacyclin for pulmonary hypertension with associated congenital heart defects.

BACKGROUND Although long-term prostacyclin (PGI2) has been shown to improve hemodynamics, quality of life, and survival in patients with primary pulmonary hypertension, its use in patients with pulmonary hypertension (PHT) and associated congenital heart defects (CHD) has not been evaluated. METHODS AND RESULTS Twenty patients (15+/-14 years) with PHT and associated CHD (9 atrial septal defect, 7 ventricular septal defect, 4 transposition of the great vessels, 3 patient ductus arteriosus, 3 partial anomalous pulmonary venous return, and 1 aortopulmonary window) who failed conventional therapy (including digitalis; diuretics; oxygen; warfarin; calcium channel blockade, if indicated; and surgery, if operable) were treated with chronic PGI2. Eleven patients had previous cardiac surgery at a median age of 3 years (range, 5 days to 47 years). Eleven of 20 patients had residual systemic to pulmonary shunts. Hemodynamics, NYHA functional class, and exercise capacity were measured at baseline and after 1 year of PGI2 therapy. None of the patients acutely responded to PGI2 administration. Despite lack of an acute response, mean pulmonary artery pressure decreased 21% on chronic PGI2: 77+/-20 to 61+/-15 mm Hg (P<0.01, n=16). Cardiac index and pulmonary vascular resistance also improved on long-term PGI2: 3. 5+/-2.0 to 5.9+/-2.7 L. min-1. m-2 (P<0.01, n=16), and 25+/-13 to 12+/-7 U.m2 (P<0.01, n=16), respectively. NYHA functional class improved from 3.2+/-0.7 to 2.0+/-0.9 (P<0.0001, n=19). Exercise capacity increased from 408+/-149 to 460+/-99 m (P=0.13, n=14) on long-term PGI2. CONCLUSIONS Chronic PGI2 improves hemodynamics and quality of life in patients with PHT and associated CHD who fail conventional therapy. As previously demonstrated in patients with primary pulmonary hypertension, long-term PGI2 may have an important role in the treatment of patients with PHT and associated CHD.
Cadherin switching during the formation and differentiation of the Drosophila mesoderm – implications for epithelial-to-mesenchymal transitions

ABSTRACT Epithelial-to-mesenchymal transition (EMT) is typically accompanied by downregulation of epithelial (E-) cadherin, and is often additionally accompanied by upregulation of a mesenchymal or neuronal (N-) cadherin. Snail represses transcription of the E-cadherin gene both during normal development and during tumour spreading. The formation of the mesodermal germ layer in Drosophila, considered a paradigm of a developmental EMT, is associated with Snail-mediated repression of E-cadherin and the upregulation of N-cadherin. By using genetic manipulation to remove or overexpress the cadherins, we show here that the complementarity of cadherin expression is not necessary for the segregation or the dispersal of the mesodermal germ layer in Drosophila. However, we discover different effects of E- and N-cadherin on the differentiation of subsets of mesodermal derivatives, which depend on Wingless signalling from the ectoderm, indicating differing abilities of E- and N-cadherin to bind to and sequester the common junctional and signalling effector &bgr;-catenin. These results suggest that the downregulation of E-cadherin in the mesoderm might be required to facilitate optimal levels of Wingless signalling.
Multi-Dimensional Image Data Viewer with Flexible Extension Capability and its Application in Computer-Based Medical Systems

Despite wide use of multi-dimensional image data in clinical environment, current image reading by radiologists is mostly performed based on 2D display of PACS terminal. Various types of commercial-based medical workstations are provided to enhance image reading with 3D visualization and other diagnostic support, but they are not enough for researches of new image analysis techniques. In this short paper, a multi-dimensional image viewer system, VOLUME-ONE, is described and several extension modules such as diffusion MRI analysis are also shown with examples of analysis results in clinical research.
Impact of arthroscopic percutaneous poking reduction-fixation on affected limb function and quality of life of patients with fracture of tibial plateau

Objective: This study aims to analyze the effect of Impact of Arthroscopic Percutaneous poking reductionfixation on affected limb function and quality of life of patients with fracture of tibial plateau. Methods: 106 cases of fractures of tibial plateau patients were enrolled in the study. According to visit numbers, they were divided into the observation and control groups. They were treated with arthroscopic percutaneous poking reduction-fixation and conventional surgical treatment. After surgery the data, including size of trauma, operative time, blood loss, complications, function and quality of life within six months of follow-up, were compared between groups. Results: Gender, age, fracture to operation time, causes of injury and other data were compared between the two groups, and there was no significant difference (P>0.05). Wound size, operative time, blood loss, concurrency disease incidence and other data in observation group were significantly better than that in the control group (P<0.05). The average score of knee function in the two groups were 93.6±3.8 and 82.5±5.6, respectively. The observation group had significant advantages (P<0.05). The average quality of life score were 79.6±8.5 and 65.8±8.6, respectively. The observation group had significant advantage (P<0.05). Conclusion: Arthroscopic Percutaneous poking reduction-fixation on tibial plateau fractures can reduce complications, shorten operative time and improve limb function and quality of life.