Miracle-dz/UniFAR-FTUs huggingface dataset:
Jump embeddings in the Turing degrees

Since its introduction in [K1-Po], the upper semilattice of Turing degrees has been an object of fascination to practitioners of the recursion-theoretic art. Starting from relatively simple concepts and definitions, it has turned out to be a structure of enormous complexity and richness. This paper is a contribution to the ongoing study of this structure. Much of the work on Turing degrees may be formulated in terms of the embeddability of certain first-order structures in a structure whose universe is some set of degrees and whose relations, functions, and constants are natural degree-theoretic ones. Thus, for example, we know that if {P, ≤P) is a partial ordering of cardinality at most ℵ1 which is locally countable—each point has at most countably many predecessors—then there is an embedding where D is the set of all Turing degrees and <T is Turing reducibility. If (P, ≤P) is a countable partial ordering, then the image of the embedding may be taken to be a subset of R, the set of recursively enumerable degrees. Without attempting to make the notion completely precise, we shall call embeddings of the first sort global, in contrast to local embeddings which impose some restrictions on the image set.
Rheological Behavior of Greases: Part I—Effects of Composition and Structure

The aim of this work is to show the correlation between grease rheological behavior and its composition and structure (base oil viscosity, soap nature, and concentration). A rheological investigation was carried out under the controlled stress mode. The results, obtained over different time intervals, show that grease behaves like a non-Newtonian viscoelastic material, with a narrow linear domain. The soap nature and concentration are the dominant parameters when grease is submitted to low shearing. This was confirmed by TEM observations: the closer networks gave the highest rheological properties. Base oil viscosity influenced grease behavior only under high strain rates. Some properties are discussed with respect to their influence on the contact replenishment, which is a critical point for mechanism lifetime prediction. Finally, the authors suggest using rheometry as an alternative technique to standardized methods. Yield stress varies in the same way as penetration does, but is further influenced by the sample macrostructure. Presented as a Society of Tribologists and Lubrication Engineers Paper at the STLE/ASME Tribology Conference in Orlando, Florida, October 11–13, 1999
Invited Article: A precise instrument to determine the Planck constant, and the future kilogram

A precise instrument, called a watt balance, compares mechanical power measured in terms of the meter, the second, and the kilogram to electrical power measured in terms of the volt and the ohm. A direct link between mechanical action and the Planck constant is established by the practical realization of the electrical units derived from the Josephson and the quantum Hall effects. We describe in this paper the fourth-generation watt balance at the National Institute of Standards and Technology (NIST), and report our initial determination of the Planck constant obtained from data taken in late 2015 and the beginning of 2016. A comprehensive analysis of the data and the associated uncertainties led to the SI value of the Planck constant, h = 6.626 069 83(22) × 10−34 J s. The relative standard uncertainty associated with this result is 34 × 10−9.
A constructive proof of the general lovász local lemma

The Lovász Local Lemma discovered by Erdős and Lovász in 1975 is a powerful tool to non-constructively prove the existence of combinatorial objects meeting a prescribed collection of criteria. In 1991, József Beck was the first to demonstrate that a constructive variant can be given under certain more restrictive conditions, starting a whole line of research aimed at improving his algorithm's performance and relaxing its restrictions. In the present article, we improve upon recent findings so as to provide a method for making almost all known applications of the general Local Lemma algorithmic.
Vaccines against epidemic and pandemic influenza

Background: Preventative vaccination is the most effective way to control epidemic and, perhaps, pandemic influenza viral infections. However, the immunogenicity and efficacy of influenza vaccines against epidemic strains are suboptimal among older adults. The risk of serious complications from influenza viral infection is compounded by co-morbid conditions among older adults. Furthermore, despite annual influenza vaccination campaigns, the vaccination rates in high risk populations range from 60.5 – 79.2% only 1. In addition, H5N1 avian influenza viruses have the potential to cause a pandemic. However, H5N1 vaccines currently licensed in the US are poorly immunogenic in high doses in the absence of an adjuvant even in healthy adults. Objectives: In this review, we address the current status of vaccines against epidemic and avian influenza viruses of pandemic potential. Methods: We have limited the review to the discussion of technologies and strategies that have progressed to human clinical trials and/or licensure for seasonal and pandemic influenza. Results/conclusion: Improving the immunogenicity of vaccines against avian influenza viruses, as well as aggressive programs to vaccinate high risk populations against seasonal and pandemic influenza, are crucial for our public health efforts in minimizing the impact of influenza epidemics or pandemics.
Fear and distrust in global software engineering projects

When global software engineering (GSE) is understood as knowledge intensive collaborative work, many of the reasons for the problems encountered in GSE projects can be traced back to the social conditions framing the collaboration between people at different physical sites. A total of 59 interviews were conducted in eight GSE projects of two large software companies with sites in Finland and other countries. As a result of categorization of problems related to group relations, the lack of trust between the main site and the other sites, and the fear of negative personal consequences among the project employees at the main site due to introduction of GSE were found to be the major problems in the projects. Our analysis suggests that poorly communicated reasoning for GSE can lay the ground for fear and for distrust between employees at remote sites. Unfulfilled cognitive expectations and fear related to one's professional future were found to be the sources of distrust toward employees at off‐site locations. The main contribution of this study is a novel empirical description of the linkages between fear and distrust in GSE. In addition, practical implications to effectively implement an organizational change from collocated development to distributed development are suggested. Copyright © 2010 John Wiley & Sons, Ltd.
Self-Motion Holds a Special Status in Visual Processing

Agency plays an important role in self-recognition from motion. Here, we investigated whether our own movements benefit from preferential processing even when the task is unrelated to self-recognition, and does not involve agency judgments. Participants searched for a moving target defined by its known shape among moving distractors, while continuously moving the computer mouse with one hand. They thereby controlled the motion of one item, which was randomly either the target or any of the distractors, while the other items followed pre-recorded motion pathways. Performance was more accurate and less prone to degradation as set size increased when the target was the self-controlled item. An additional experiment confirmed that participant-controlled motion was not physically more salient than motion recorded offline. We found no evidence that self-controlled items captured attention. Taken together, these results suggest that visual events are perceived more accurately when they are the consequences of our actions, even when self-motion is task irrelevant.
Optic tract edema: a highly specific magnetic resonance imaging finding for the diagnosis of craniopharyngiomas

Purpose: To clarify the accuracy, sensitivity, and specificity of optic tract edema in the diagnosis of craniopharyngiomas. Material and Methods: Preoperative magnetic resonance images (MRIs) of 49 patients (between May 1996 and March 2003) who had a diagnosis of parasellar masses were blindly reviewed by two radiologists. The spread of edema surrounding the tumor on the coronal TSE T2‐weighted images was analyzed. Sensitivity and specificity were calculated based on the numbers in this series and also pooled numbers from previous known reported series. Results: Edema along the optic tracts was detected in 7 of 11 craniopharyngiomas, giving a sensitivity of 63.6% (95% CI = 30.8–89.1) for our series and 66.7% (95% CI = 47.2–82.7) for the pooled numbers. The specificity was 100% (95% CI = 90.7–100.0) for our series and 93.9% (95% CI = 87.1–97.7) for the pooled numbers. None of the 28 pituitary macroadenomas, 4 meningiomas, 2 hypothalamic astrocytomas, 2 germinomas, 1 mixed‐germ cell tumor and 1 arachnoid cyst in our study showed edema of the optic pathways. Conclusion: Optic tract edema, commonly seen in craniopharyngiomas, is a useful MR finding for distinguishing craniopharyngiomas from other parasellar tumors with considerable sensitivity and high specificity.
Incorporating Expert Judgment into Regression Models of Software Effort Estimation

One of the common problems in building an effort estimation model is that not all the effort factors are suitable as predictor variables. As a supplement of missing information in estimation models, this paper explores the project manager's knowledge about the target project. We assume that the experts can judge the target project's productivity level based on his/her own expert knowledge about the project. We also assume that this judgment can be further improved, because using the expert's judgment solely could incur subjective perception. This paper proposes a regression model building/selection method to address this challenge. In the proposed method, a fit dataset for model building is divided into two or three subsets by project productivity, and an estimation model is built on each data subset. The expert judges the productivity level of the target project and selects one of the models to be used. In the experiment, we used three datasets to evaluate the produced effort estimation models. In the experiment, we adjusted the error rate of the judgment and analyzed the relationship between the error rate and the estimation accuracy. As a result, the judgment-incorporating models produced significantly higher estimation accuracy than the conventional linear regression model, where the expert's error rate is less than 37%.
Structure-function analysis of Hmo1 unveils an ancestral organization of HMG-Box factors involved in ribosomal DNA transcription from yeast to human

Ribosome biogenesis is a major metabolic effort for growing cells. In Saccharomyces cerevisiae, Hmo1, an abundant high-mobility group box protein (HMGB) binds to the coding region of the RNA polymerase I transcribed ribosomal RNAs genes and the promoters of ∼70% of ribosomal protein genes. In this study, we have demonstrated the functional conservation of eukaryotic HMGB proteins involved in ribosomal DNA (rDNA) transcription. We have shown that when expressed in budding yeast, human UBF1 and a newly identified Sp-Hmo1 (Schizosaccharomyces pombe) localize to the nucleolus and suppress growth defect of the RNA polymerase I mutant rpa49-Δ. Owing to the multiple functions of both proteins, Hmo1 and UBF1 are not fully interchangeable. By deletion and domains swapping in Hmo1, we identified essential domains that stimulate rDNA transcription but are not fully required for stimulation of ribosomal protein genes expression. Hmo1 is organized in four functional domains: a dimerization module, a canonical HMGB motif followed by a conserved domain and a C-terminal nucleolar localization signal. We propose that Hmo1 has acquired species-specific functions and shares with UBF1 and Sp-Hmo1 an ancestral function to stimulate rDNA transcription.
Performance Analysis of Conventional Diversity Combining Schemes in Rayleigh Fading Channel

Diversity is a powerful technique to combat the wireless fading impairment. In this paper, types of diversity along with different diversity combining techniques -Selection Diversity, Equal Gain Combining and Maximal Ratio combining are being proposed. An analytical expression for the signal-to-noise ratio (SNR) and bit-error-rate at the output of a three-branch maximal ratio combining, equal gain combining and selection diversity system is given. The three branches are assumed to be Rayleigh fading, correlated with the BPSK modulation. Measurements of the signal-to-noise ratio and bit-error-rate after selection, equal gain combining and maximal ratio combining were made in Rayleigh fading channels and compared with the analytical results.
t-Perfection in P5-Free Graphs

A graph is called $t$-perfect if its stable set polytope is fully described by non-negativity, edge and odd-cycle constraints. We characterise $P_5$-free $t$-perfect graphs in terms of forbidden $t$-minors. Moreover, we show that $P_5$-free $t$-perfect graphs can always be coloured with three colours, and that they can be recognised in polynomial time.
Identification and Classification of Inconsistency in Relationship to Software Maintenance

This paper provides an overview of the relationship between recent work in logic programming and recent developments in software engineering The relationship to software engineering is more speci cally concerned with how formal speci cations can be used to explain and represent the basis of software maintenance and evolution Some of the results reviewed here have appeared in and These previous results are summarized extended and made more general in this paper
Specification of osteoblast cell fate by canonical Wnt signaling requires Bmp2

Enhanced BMP or canonical Wnt (cWnt) signaling are therapeutic strategies employed to enhance bone formation and fracture repair, but the mechanisms each pathway utilizes to specify cell fate of bone-forming osteoblasts remain poorly understood. Among all BMPs expressed in bone, we find that singular deficiency of Bmp2 blocks the ability of cWnt signaling to specify osteoblasts from limb bud or bone marrow progenitors. When exposed to cWnts, Bmp2-deficient cells fail to progress through the Runx2/Osx1 checkpoint and thus do not upregulate multiple genes controlling mineral metabolism in osteoblasts. Cells lacking Bmp2 after induction of Osx1 differentiate normally in response to cWnts, suggesting that pre-Osx1+ osteoprogenitors are an essential source and a target of BMP2. Our analysis furthermore reveals Grainyhead-like 3 (Grhl3) as a transcription factor in the osteoblast gene regulatory network induced during bone development and bone repair, which acts upstream of Osx1 in a BMP2-dependent manner. The Runx2/Osx1 transition therefore receives crucial regulatory inputs from BMP2 that are not compensated for by cWnt signaling, and this is mediated at least in part by induction and activation of Grhl3. Summary: Osteoblast specification requires regulatory inputs from BMP2 at the Runx2/Osx1 transition by a mechanism that is not compensated for by canonical Wnt signaling and involves Grhl3.
Theory and Practice of Vector Quantizers Trained on Small Training Sets

Examines how the performance of a memoryless vector quantizer changes as a function of its training set size. Specifically, the authors study how well the training set distortion predicts test distortion when the training set is a randomly drawn subset of blocks from the test or training image(s). Using the Vapnik-Chervonenkis (VC) dimension, the authors derive formal bounds for the difference of test and training distortion of vector quantizer codebooks. The authors then describe extensive empirical simulations that test these bounds for a variety of codebook sizes and vector dimensions, and give practical suggestions for determining the training set size necessary to achieve good generalization from a codebook. The authors conclude that, by using training sets comprising only a small fraction of the available data, one can produce results that are close to the results obtainable when all available data are used. >
Discerning Temporal Expectancy Effects in Script Processing: Evidence from Pupillary and Eye Movement Recordings

Abstract Accessing the temporal position of events (early or late in the event sequence) can influence the generation of predictions about upcoming events. However, it is unclear how the temporal position is processed strategically. To investigate this, we presented event pairs to 23 healthy volunteers manipulating temporal order (chronological, inverse) and temporal position (early, late). Pupil dilation, eye movements, and behavioral data, showed that chronological and early event pairs are processed with more ease than inverse and late event pairs. Indexed by the pupillary response late events and inversely presented event pairs elicited greater cognitive processing demands than early events and chronologically presented event pairs. Regarding eye movements, fixation duration was less sensitive to temporal position than to temporal order. Looking at each item of the event sequence only once was behaviorally more effective than looking multiple times at each event regardless of whether temporal position or temporal order was processed. These results emphasize that accessing temporal position and temporal order information results in dissociable behavioral patterns. While more cognitive resources are necessary for processing late and inverse items, change of information acquisition strategies turns out to be most effective when temporal order processing is required. (JINS, 2012, 18, 351–360)
Genetic Plasticity and Ethylmalonyl Coenzyme A Pathway during Acetate Assimilation in Rhodospirillum rubrum S1H under Photoheterotrophic Conditions

ABSTRACT Purple nonsulfur bacteria represent a promising resource for biotechnology because of their great metabolic versatility. Rhodospirillum rubrum has been widely studied regarding its metabolism of volatile fatty acid, mainly acetate. As the glyoxylate shunt is unavailable in Rs. rubrum, the citramalate cycle pathway and the ethylmalonyl-coenzyme A (CoA) pathway are proposed as alternative anaplerotic pathways for acetate assimilation. However, despite years of debate, neither has been confirmed to be essential. Here, using functional genomics, we demonstrate that the ethylmalonyl-CoA pathway is required for acetate photoassimilation. Moreover, an unexpected reversible long-term adaptation is observed, leading to a drastic decrease in the lag phase characterizing the growth of Rs. rubrum in the presence of acetate. Using proteomic and genomic analyses, we present evidence that the adaptation phenomenon is associated with reversible amplification and overexpression of a 60-kb genome fragment containing key enzymes of the ethylmalonyl-CoA pathway. Our observations suggest that a genome duplication and amplification phenomenon is not only involved in adaptation to acute stress but can also be important for basic carbon metabolism and the redox balance. IMPORTANCE Purple nonsulfur bacteria represent a major group of anoxygenic photosynthetic bacteria that emerged as a promising resource for biotechnology because of their great metabolic versatility and ability to grow under various conditions. Rhodospirillum rubrum S1H has notably been selected by the European Space Agency to colonize its life support system, called MELiSSA, due to its capacity to perform photoheterotrophic assimilation of volatile fatty acids (VFAs), mainly acetate. VFAs are valuable carbon sources for many applications, combining bioremediation of contaminated environments with the generation of added-value products. Acetate is one of the major volatile fatty acids generated as a by-product of fermentation processes. In Rs. rubrum, purple nonsulfur bacteria, the assimilation of acetate is still under debate since two different pathways have been proposed. Here, we clearly demonstrate that the ethylmalonyl-CoA pathway is the major anaplerotic pathway for acetate assimilation in this strain. Interestingly, we further observed that gene duplication and amplification, which represent a well-known phenomenon in antibiotic resistance, also play a regulatory function in carbon metabolism and redox homeostasis.
Neighborhood Mixture Model for Knowledge Base Completion

Knowledge bases are useful resources for many natural language processing tasks, however, they are far from complete. In this paper, we define a novel entity representation as a mixture of its neighborhood in the knowledge base and apply this technique on TransE-a well-known embedding model for knowledge base completion. Experimental results show that the neighborhood information significantly helps to improve the results of the TransE model, leading to better performance than obtained by other state-of-the-art embedding models on three benchmark datasets for triple classification, entity prediction and relation prediction tasks.
Functions of phagocytic cells in chronic mucocutaneous candidiasis.

rates increasing only slightly over the same 30-beat period. These diabetics had other evidence of vagal damage, with abnormal responses to the Valsalva manoeuvre and reduced R-R interval variation. The results of the drug studies on the three controls confirm that the reflex is mediated through the vagus. In 1895 Hill8 suggested that changes in posture might provide a "most delicate test of the condition of the vasomotor mechanism," yet surprisingly little attention has been paid to the normal heart-rate response to standing. It is well recognised that there is a transient fall in blood pressure on standing, with stimulation of the carotid baroreceptors and consequent reflex tachycardia and peripheral vasoconstriction.1 Although it has long been known that in normal people the heart rate increases on standing,8 the immediate heart-rate response has only recently been briefly documented.9 So far as we are aware, the characteristic pattern that we describe has not previously been analysed in detail. Although our results were first obtained from an accurate R-R interval analysis by computer, this study shows that heartrate changes may also be detected with routine electrocardiography. As loss of a normal response is due to vagal damage, this provides the basis for a simple test of autonomic function that has considerable advantages over those now in use. Measurement of the 30:15 ratio gives a simple numerical value that reflects the presence or absence of the relative bradycardia. When the ratio is 1 00 or less vagal damage is probably present, although a value of less than 100 does not necessarily indicate more severe damage, as it will occur when there is a slight increase in heart rate over the 30-beat period. In the most severe cases, in which there is no change in heart rate on standing, the value will be exactly 100. This test is simple to use and requires only a standard electrocardiograph and the ability of the patient to stand up. It is not effort-dependent and, so far as we know, cannot readily be "cheated. " It correlates well with other recognised tests of cardiovascular reflex function in diabetes, is objective, requires no special patient co-operation, and is readily applicable as an outpatient procedure.