Miracle-dz/UniFAR-FTUs huggingface dataset:
Peer-to-Peer Reasoning for Interlinked Ontologies

The Semantic Web is commonly perceived as a web of partially-interlinked machine readable data. This data is inherently distributed and resembles the structure of the web in terms of resources being provided by different parties at different physical locations. A number of infrastructures for storing and querying distributed semantic web data, primarily encoded in RDF have been developed. While there are first attempts for integrating RDF Schema reasoning into distributed query processing, almost all the work on description logic reasoning as a basis for implementing inference in the Web Ontology Language OWL still assumes a centralized approach where the complete terminology has to be present on a single system and all inference steps are carried out on this system.We have designed and implemented a distributed reasoning method that preserves soundness and completeness of reasoning under the original OWL import semantics and has beneficial properties regarding parallel computation and overhead caused by communication effort and additional derivations. The method is based on sound and complete resolution methods for the description logic ALC that we modify to work in a distributed setting.
Organizational Culture as a Function of Institutional Type in Higher Education

The purpose of the present study was to examine whether organizational culture varies as a function of institutional type in higher education, and to identify whether there exists congruence between organizational culture type and leader behavior. Utilizing the Organizational Culture Assessment Instrument (OCAI) developed by Cameron and Quinn (1999, 2006, 2011), data were collected from a sample of academic deans (n = 84) representing the colleges and universities across five states of the Upper Midwest. The results indicated a general trend toward clan cultures and congruent leader behavior for all institutional types (i.e., associate’s colleges, baccalaureate colleges, master’s colleges and universities, and doctorate-granting universities). Responses from academic deans at baccalaureate colleges singularly achieved statistical significance. Conversely, the results of the present study revealed a notable discontinuity between perceptions of current campus culture and desires for its future. Specifically, academic deans across all four institutional types indicated major preferences for a clan culture to predominate on their campuses. Perhaps most importantly, the results suggested the discovery of institutional size as a possible moderator of organizational culture among American colleges and universities.
Do Women in Top Management Affect Firm Performance? A Panel Study of 2500 Danish Firms

Corporate governance literature argues that board diversity is potentially positively related to firm performance. This study examines the relationship in the case of women in top executive jobs and on boards of directors. We use data for the 2500 largest Danish firms observed during the period 1993-­2001 and find that the proportion of women in top management jobs tends to have positive effects on firm performance, even after controlling for numerous characteristics of the firm and direction of causality. The results show that the positive effects of women in top management depend on the qualifications of female top managers.
Cohomological quotients and smashing localizations

The quotient of a triangulated category modulo a subcategory was defined by Verdier. Motivated by the failure of the telescope conjecture, we introduce a new type of quotients for any triangulated category which generalizes Verdier's construction. Slightly simplifying this concept, the cohomological quotients are flat epimorphisms, whereas the Verdier quotients are Ore localizations. For any compactly generated triangulated category S , a bijective correspondence between the smashing localizations of S and the cohomological quotients of the category of compact objects in S is established. We discuss some applications of this theory, for instance the problem of lifting chain complexes along a ring homomorphism. This is motivated by some consequences in algebraic K -theory and demonstrates the relevance of the telescope conjecture for derived categories. Another application leads to a derived analogue of an almost module category in the sense of Gabber-Ramero. It is shown that the derived category of an almost ring is of this form.
Design Of A Control Rules Base Based On Genetic Algorithms

The purpose is to present a learning process from examples by means of genetic algorithms. The learning process is based on a generation method of fuzzy rules, a simplify method which obtains the number of rules necessary to approximate a real system, and a tuning method of control rules. All parts are based on the use of diierent genetic algorithms whose chromosomes represent the adecuated information.
Proton pump inhibitor use and risk of adverse cardiovascular events in aspirin treated patients with first time myocardial infarction: nationwide propensity score matched study

Objective To examine the effect of proton pump inhibitors on adverse cardiovascular events in aspirin treated patients with first time myocardial infarction. Design Retrospective nationwide propensity score matched study based on administrative data. Setting All hospitals in Denmark. Participants All aspirin treated patients surviving 30 days after a first myocardial infarction from 1997 to 2006, with follow-up for one year. Patients treated with clopidogrel were excluded. Main outcome measures The risk of the combined end point of cardiovascular death, myocardial infarction, or stroke associated with use of proton pump inhibitors was analysed using Kaplan-Meier analysis, Cox proportional hazard models, and propensity score matched Cox proportional hazard models. Results 3366 of 19 925 (16.9%) aspirin treated patients experienced recurrent myocardial infarction, stroke, or cardiovascular death. The hazard ratio for the combined end point in patients receiving proton pump inhibitors based on the time dependent Cox proportional hazard model was 1.46 (1.33 to 1.61; P<0.001) and for the propensity score matched model based on 8318 patients it was 1.61 (1.45 to 1.79; P<0.001). A sensitivity analysis showed no increase in risk related to use of H2 receptor blockers (1.04, 0.79 to 1.38; P=0.78). Conclusion In aspirin treated patients with first time myocardial infarction, treatment with proton pump inhibitors was associated with an increased risk of adverse cardiovascular events.
Urbanization and Mental Health in China: Linking the 2010 Population Census with a Cross-Sectional Survey

Along with the rapid urbanization in China, the state of mental health also receives growing attention. Empirical measures, however, have not been developed to assess the impact of urbanization on mental health and the dramatic spatial variations. Innovatively linking the 2010 Chinese Population Census with a 2011 national survey of urban residents, we first assess the impact of urbanization on depressive symptoms measured by the Center of Epidemiological Studies Depression Scale (CES-D) of 1288 survey respondents. We then retrieve county-level characteristics from the 2010 Chinese Population Census that match the individual characteristics in the survey, so as to create a profile of the “average person” for each of the 2869 counties or city districts, and predict a county-specific CES-D score. We use this county-specific CES-D score to compute the CES-D score for the urban population at the prefectural level, and to demonstrate the dramatic spatial variations in urbanization and mental health across China: highly populated cities along the eastern coast such as Shenyang and Shanghai show high CES-D scores, as do cities in western China with high population density and a high proportion of educated ethnic minorities.
Efficient batch processing of proximity queries with MapReduce

This paper addresses the problem of efficient processing a large set of proximity monitoring queries. Many location-based applications are enabled by handling many moving queries over mobile objects. Efficient processing of such queries mainly relies on effective probing because it needs a huge amount of distance-based comparison. To reduce processing time, we propose a new search algorithm that utilizes MapReduce. We introduce a concept of processing categorization and the MapReduce-based query processing algorithm. Through simulations, we demonstrate the efficiency of the proposed method for a wide range of location-based applications.
Consumption and Wealth Inequality with External Habit Formation . ∗

In the last two decades the U.S. economy has experienced an upsurge in its levels of income and wealth inequality which has not been accompanied by a corresponding rise in consumption inequality. This paper attends to answer the following question: Can a external habit formation help to understand those differences in trends in the evolution of consumption and wealth inequality? We study the evolution of wealth and consumption distribution along the transition path of a one sector growth model. Households differ in their initial holdings of wealth and display a catching up with the Joneses behavior when taking their consumption decisions. Theoretically it is shown that the evolution of consumption inequality is driven by the evolution of wealth inequality but with less variation. Furthermore, an aggregate shock affects the distribution of income, wealth and consumption along the transition since it hits more severe to poor individuals’ savings rates than that of rich ones. On the quantitative part of this work, the model is calibrated to match some key statistics of the U.S. economy. We observe that the level of wealth and consumption inequality and their evolution resembles that of the U.S. economy. TO BE FINISHED ∗The author is grateful to Edward Prescott, Tim Kehoe, Jose Victor Rios Rull and Joseph Pijoan for many helpful comments and suggestions. I also thank the hospitality of the Department of Economics at Minnesota University while starting this paper. The usual disclaimer applies. †Institute of Economics, University of Copenhagen and CentrA. Address: Studiestraede 6, 1455 Copenhagen K, Denmark. Email: Maria.Alvarez@econ.ku. dk.
Interplay between Human Cytomegalovirus and Intrinsic/Innate Host Responses: A Complex Bidirectional Relationship

The interaction between human cytomegalovirus (HCMV) and its host is a complex process that begins with viral attachment and entry into host cells, culminating in the development of a specific adaptive response that clears the acute infection but fails to eradicate HCMV. We review the viral and cellular partners that mediate early host responses to HCMV with regard to the interaction between structural components of virions (viral glycoproteins) and cellular receptors (attachment/entry receptors, toll-like receptors, and other nucleic acid sensors) or intrinsic factors (PML, hDaxx, Sp100, viperin, interferon inducible protein 16), the reactions of innate immune cells (antigen presenting cells and natural killer cells), the numerous mechanisms of viral immunoevasion, and the potential exploitation of events that are associated with early phases of virus-host interplay as a therapeutic strategy.
Research on Clustering Based Routing Energy-Saving Technology forWireless Sensor Network

The clustering routing protocol for wireless sensor network (WSN) is the main part of this study. The number of sensor nodes in WSN is numerous and single node is extraordinarily limited in resource. The most significant aim of designing routing protocol of WSN is to reduce the overall energy dissipated in the network and to maximize the network lifetime. After taking into account the transmission and circuit energy together, the appropriate application scenarios of both multiple input multiple output (MIMO) and single input single output (SISO) are derived, and then a collaborative MIMO strategy based on clustering is proposed. Taking the merits of both transmission modes, the strategy reaches an op- timal result in respect of energy consumption. Meanwhile, the algorithm distributes the energy consumption of cluster head to collaborative nodes, thus even balance the load and prolong the network lifetime.
Ventilatory oscillations at exercise: effects of hyperoxia, hypercapnia, and acetazolamide

Periodic breathing has been found in patients with heart failure and sleep apneas, and in healthy subjects in hypoxia, during sleep and wakefulness, at rest and, recently, at exercise. To unravel the cardiorespiratory parameters liable to modulate the amplitude and period of ventilatory oscillations, 26 healthy subjects were tested under physiological (exercise) and environmental (hypoxia, hyperoxia, hyperoxic hypercapnia) stresses, and under acetazolamide (ACZ) treatment. A fast Fourier transform spectral analysis of breath‐by‐breath ventilation (V˙E) evidenced an increase in V˙E peak power under hypercapnia (vs. normoxia and hyperoxia, P < 0.001) and a decrease under ACZ (vs. placebo, P < 0.001), whereas it was not modified in hyperoxia. V˙E period was shortened by exercise in all conditions (vs. rest, P < 0.01) and by hypercapnia (vs. normoxia, P < 0.05) but remained unchanged under ACZ (vs. placebo). V˙E peak power was positively related to cardiac output ( Q˙c ) and V˙E in hyperoxia (P < 0.01), in hypercapnia (P < 0.001) and under ACZ (P < 0.001). V˙E period was negatively related to Q˙c and V˙E in hyperoxia (P < 0.01 and P < 0.001, respectively), in hypercapnia (P < 0.05 and P < 0.01, respectively) and under ACZ (P < 0.05 and P < 0.01, respectively). Total respiratory cycle time was the main factor responsible for changes in V˙E period. In conclusion, exercise, hypoxia, and hypercapnia increase ventilatory oscillations by increasing Q˙c and V˙E , whereas ACZ decreases ventilatory instability in part by a contrasting action on O2 and CO2 sensing. An intrinsic oscillator might modulate ventilation through a complex system where peripheral chemoreflex would play a key role.
On the degrees of freedom of X channel with delayed CSIT

We consider the X channel and the 3-user X network with independent and identically distributed fading across antennas and channel uses and with the delayed channel state information at the transmitters (CSIT). We provide new results for degrees of freedom of these channels. Specifically, we show that the single antenna X channel with delayed CSIT can achieve 6 over 5 degrees of freedom while the 3-user X network can achieve 5 over 4 degrees of freedom.
Second primary colorectal cancers (SPCRCs): experiences from a large Australian Cancer Registry.

BACKGROUND We examined the rate of second primary colorectal cancer (SPCRC) in a cohort of 29 471 patients first diagnosed with colorectal cancer (CRC) from 1987 to 1996, in New South Wales (NSW), Australia. METHODS The 5-year age group, date and site of first and subsequent CRC diagnoses as well as death dates were obtained from the NSW Central Cancer Registry. The time to SPCRC and standardised incidence ratios (SIRs) were generated. RESULTS Six hundred and sixty patients (2.1%) developed SPCRCs and the cumulative incidence at 18 years was 5.5%, 95% confidence interval (CI) 4.9% to 6.3%. The risk of SPCRC was increased in patients with a CRC history compared with the general population (SIR = 1.5, 95% CI 1.4-1.6) and inversely related to age at first diagnosis (30-49 years, SIR = 5.1, 95% CI 3.6-7.1 versus >/=80 years, SIR = 1.1, 95% CI 0.9-1.4). The excess absolute risk of SPCRC was greater for females aged 50-69 years at first diagnosis than for males in the same age group. SPCRC was also increased in individuals with right-sided first primaries (SIR = 2.0, 95% CI 1.6-2.4). CONCLUSIONS The SPCRC rate was increased during the first 5 years after first diagnosis but remained increased for up to 10 years in females, in patients with right-sided cancers and in patients <60 years at first diagnosis. These findings support active surveillance up to 10 years in these risk groups.
Efficient Feature Parameterisation for Visual SLAM Using Inverse Depth Bundles

Flexibility and robustness of visual SLAM systems have been shown to benefit from an inverse depth parameterisation of features. However the increased number of 6 parameters per feature presents a problem to real-time EKF SLAM implementations because their computational complexity scales quadratically with the size of the state vector. Recent work tackles this for instance by converting the representation of well-established features from inverse to regular depth. In this paper, we propose a parameterisation where bundles of features share a common representation of the view-point they were initially observed from. According to the experiments performed, a feature occupies effectively about 1.5 state parameters in the proposed approach, allowing real-time performance for maps with more than 200 features.
I am a rock; I am an island: Implications of avoidant attachment for communal coping in adults with type 2 diabetes

Accumulating evidence indicates that communal coping is beneficial for individuals with chronic illness. The current investigation examined attachment as a moderator of the effects of communal coping in a sample of persons with type 2 diabetes. We hypothesized that patient communal coping would be associated with higher relationship quality, lower distress, and better diabetes outcomes for patients low in avoidant attachment, but it would not be beneficial for patients high in avoidant attachment. Patient communal coping was coded from videotaped interactions in which 86 heterosexual couples discussed difficulties managing diabetes. The results indicated that patient communal coping was beneficial when avoidant attachment was low. When avoidant attachment was high, patient communal coping was related to lower relationship quality and higher distress and was unrelated to diabetes outcomes. This work sheds light on potential boundary conditions of communal coping’s benefits, which will be important to consider in future communal coping interventions.
A trophoblast-specific factor(s) suppresses circulating prolactin levels and increases tyrosine hydroxylase activity in tuberoinfundibular dopaminergic neurons.

Rat choriocarcinoma (Rcho) cells, which are morphologically similar to trophoblast giant cells of the normal placenta and produce placental lactogen-I in vivo, were used to investigate placental feedback on PRL secretion and tuberoinfundibular dopaminergic neuronal activity. Rcho cells were injected into female rats either intracerebroventricularly 60-65 h before use or under the kidney capsule 10-14 days before use. The following endocrine conditions were used: 1) ovariectomized rats with or without bromocriptine treatment, 2) immature (40-44 days old) rats, 3) adult cycling (diestrous) rats, and 4) pregnant rats. Serum PRL levels in ovariectomized, diestrous, and immature female rats were suppressed to less than 20% of control levels by secretions from the Rcho cells. Tyrosine hydroxylase (TH) activity in the stalk-median eminence (SME) was increased 2-fold above control activity in Rcho-treated ovariectomized and immature female rats. When TH activity was reduced to 40% of control levels by 50 h of bromocriptine treatment, secretions from Rcho cells increased TH activity 3.5-fold to levels similar to those for Rcho alone. Even though Rcho treatment suppressed PRL levels, TH activity in the SME of cycling (diestrous) rats was not altered after either central (65 h) or peripheral (12 days) administration of cells. TH mRNA levels in the arcuate nuclei were unaltered by Rcho cells in immature female and adult cycling rats. TH mRNA levels in ovariectomized rats were markedly reduced 75% by 50 h of bromocriptine treatment and modestly reduced 33% 65 h after injection of Rcho cells. However, Rcho cells partially reversed the bromocriptine-induced decline in TH mRNA to levels seen for Rcho cells alone. On day 7 of pregnancy, secretions from Rcho cells abolished the nocturnal and diurnal PRL surges characteristic of early pregnancy and suppressed circulating PRL levels throughout the day to less than 20% of intersurge PRL levels. Rcho cells eliminated the semicircadian rhythm in TH activity in the SME, which was out of phase with the twice daily PRL surges of early pregnancy. TH activity was increased by Rcho factor(s) at 0330 h (nocturnal surge) and 1800 h (diurnal surge), but not at 1000 h (intersurge). MMQ cells, pituitary-derived clonal PRL-secreting cells, similarly terminated the biphasic rhythm of PRL release and tuberoinfundibular dopaminergic neuronal activity during early pregnancy. (ABSTRACT TRUNCATED AT 400 WORDS)
A Unique Expression of Keratin 14 in a Subset of Trophoblast Cells

The placenta, a transient organ in human, is essential for pregnancy maintenance and for fetal growth and development. Trophoblast and stromal cells are the main cell types present in human placenta. Trophoblast cells are present in different subtypes depending on their differentiation state and their temporal and spatial location during pregnancy. The stromal cells are of extraembryonic mesenchymal origin and are important for villous formation and maintenance. Interestingly, many pregnancy–related diseases are associated with defect in trophoblast differentiation and villous integrity. Therefore, it's crucial to specifically identify each type of placental cells using specific markers. Keratins (CK) are widely used as marker of epithelial cells, cancer origin identification and in some cases as marker of stem/progenitor cells. Vimentin is widely used as marker of mesenchymal cells. The aim of this study is to characterize the presence of different keratins in human trophoblast cells and vimentin in stromal cells. Using immunohistochemistry on term placental sections, our results show that vimentin is solely expressed in stromal-mesenchymal cells while keratins 5, 7, 8, 14 and 19 are expressed in trophoblast cells. Interestingly, all keratins tested, except for keratin 14, were evenly expressed in all trophoblast cells. Keratin 14 was expressed in a subset of CK7 positive cells. Moreover, the same results were obtained when using freshly isolated cytotrophoblast cells or BeWo cells. In conclusion, this study is a crucial step in the advancement of our knowledge in placental cell type identification and characterization.