Hybrid Rules with Well-Founded Semantics

A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic programs. Hybrid rules are normal clauses extended with constraints in the bodies; constraints are certain formulae in the language of the external theory. A hybrid program is a pair of a set of hybrid rules and an external theory. Instances of the framework are obtained by specifying the class of external theories, and the class of constraints. An example instance is integration of (non-disjunctive) Datalog with ontologies formalized as description logics. The paper defines a declarative semantics of hybrid programs and a goal-driven formal operational semantics. The latter can be seen as a generalization of SLS-resolution. It provides a basis for hybrid implementations combining Prolog with constraint solvers. Soundness of the operational semantics is proven. Sufficient conditions for decidability of the declarative semantics, and for completeness of the operational semantics are given

A characteristics framework for Semantic Information Systems Standards

Semantic Information Systems (IS) Standards play a critical role in the development of the networked economy. While their importance is undoubted by all stakeholders—such as businesses, policy makers, researchers, developers—the current state of research leaves a number of questions unaddressed. Terminological confusion exists around the notions of “business semantics”, “business-to-business interoperability”, and “interoperability standards” amongst others. And, moreover, a comprehensive understanding about the characteristics of Semantic IS Standards is missing. The paper addresses this gap in literature by developing a characteristics framework for Semantic IS Standards. Two case studies are used to check the applicability of the framework in a “real-life” context. The framework lays the foundation for future research in an important field of the IS discipline and supports practitioners in their efforts to analyze, compare, and evaluate Semantic IS Standard

Sebomic identification of sex- and ethnicity-specific variations in residual skin surface components (RSSC) for bio-monitoring or forensic applications

Background: “Residual skin surface components” (RSSC) is the collective term used for the superficial layer of sebum, residue of sweat, small quantities of intercellular lipids and components of natural moisturising factor present on the skin surface. Potential applications of RSSC include use as a sampling matrix for identifying biomarkers of disease, environmental exposure monitoring, and forensics (retrospective identification of exposure to toxic chemicals). However, it is essential to first define the composition of “normal” RSSC. Therefore, the aim of the current study was to characterise RSSC to determine commonalities and differences in RSSC composition in relation to sex and ethnicity. Methods: Samples of RSSC were acquired from volunteers using a previously validated method and analysed by high-pressure liquid chromatography–atmospheric pressure chemical ionisation–mass spectrometry (HPLC-APCI-MS). The resulting data underwent sebomic analysis. Results: The composition and abundance of RSSC components varied according to sex and ethnicity. The normalised abundance of free fatty acids, wax esters, diglycerides and triglycerides was significantly higher in males than females. Ethnicity-specific differences were observed in free fatty acids and a diglyceride. Conclusions: The HPLC-APCI-MS method developed in this study was successfully used to analyse the normal composition of RSSC. Compositional differences in the RSSC can be attributed to sex and ethnicity and may reflect underlying factors such as diet, hormonal levels and enzyme expression.Peer reviewedFinal Published versio

Antecedents and consequences of effectuation and causation in the international new venture creation process

The selection of the entry mode in an international market is of key importance for the venture. A process-based perspective on entry mode selection can add to the International Business and International Entrepreneurship literature. Framing the international market entry as an entrepreneurial process, this paper analyzes the antecedents and consequences of causation and effectuation in the entry mode selection. For the analysis, regression-based techniques were used on a sample of 65 gazelles. The results indicate that experienced entrepreneurs tend to apply effectuation rather than causation, while uncertainty does not have a systematic influence. Entrepreneurs using causation-based international new venture creation processes tend to engage in export-type entry modes, while effectuation-based international new venture creation processes do not predetermine the entry mod

Photochromism in single nitrogen-vacancy defect in diamond

Photochromism in single nitrogen-vacancy optical centers in diamond is demonstrated. Time-resolved optical spectroscopy shows that intense irradiation at 514 nm switches the nitrogen-vacancy defects to the negative form. This defect state relaxes back to the neutral form under dark conditions. Temporal anticorrelation of photons emitted by the different charge states of the optical center unambiguously indicates that the nitrogen-vacancy defect accounts for both 575 nm and 638 nm emission bands. Possible mechanism of photochromism involving nitrogen donors is discussed.Comment: 11 pages, 3 figures, submitted to Applied Physics B: Lasers and Optic

Effects of isoflavones (soy phyto-estrogens) on serum lipids: a meta-analysis of randomized controlled trials

OBJECTIVES: To determine the effects of isoflavones (soy phyto-estrogens) on serum total cholesterol (TC), low density lipoprotein cholesterol (LDL), high density lipoprotein cholesterol (HDL) and triglyceride (TG). METHODS: We searched electronic databases and included randomized trials with isoflavones interventions in the forms of tablets, isolated soy protein or soy diets. Review Manager 4.2 was used to calculate the pooled risk differences with fixed effects model. RESULTS: Seventeen studies (21 comparisons) with 853 subjects were included in this meta-analysis. Isoflavones tablets had insignificant effects on serum TC, 0.01 mmol/L (95% CI: -0.17 to 0.18, heterogeneity p = 1.0); LDL, 0.00 mmol/L (95% CI: -0.14 to 0.15, heterogeneity p = 0.9); HDL, 0.01 mmol/L (95% CI: -0.05 to 0.06, heterogeneity p = 1.0); and triglyceride, 0.03 mmol/L (95% CI: -0.06 to 0.12, heterogeneity p = 0.9). Isoflavones interventions in the forms of isolated soy protein (ISP), soy diets or soy protein capsule were heterogeneous to combine. CONCLUSIONS: Isoflavones tablets, isolated or mixtures with up to 150 mg per day, seemed to have no overall statistical and clinical benefits on serum lipids. Isoflavones interventions in the forms of soy proteins may need further investigations to resolve whether synergistic effects are necessary with other soy components

Iron and phosphorus co-limit nitrogen fixation in the eastern tropical North Atlantic

The role of iron in enhancing phytoplankton productivity in high nutrient, low chlorophyll oceanic regions was demonstrated first through iron-addition bioassay experiments1 and subsequently confirmed by large-scale iron fertilization experiments2. Iron supply has been hypothesized to limit nitrogen fixation and hence oceanic primary productivity on geological timescales3, providing an alternative to phosphorus as the ultimate limiting nutrient4. Oceanographic observations have been interpreted both to confirm and refute this hypothesis5, 6, but direct experimental evidence is lacking7. We conducted experiments to test this hypothesis during the Meteor 55 cruise to the tropical North Atlantic. This region is rich in diazotrophs8 and strongly impacted by Saharan dust input9. Here we show that community primary productivity was nitrogen-limited, and that nitrogen fixation was co-limited by iron and phosphorus. Saharan dust addition stimulated nitrogen fixation, presumably by supplying both iron and phosphorus10, 11. Our results support the hypothesis that aeolian mineral dust deposition promotes nitrogen fixation in the eastern tropical North Atlantic

Uncovering novel mutational signatures by de novo extraction with SigProfilerExtractor

Mutational signature analysis is commonly performed in cancer genomic studies. Here, we present SigProfilerExtractor, an automated tool for de novo extraction of mutational signatures, and benchmark it against another 13 bioinformatics tools by using 34 scenarios encompassing 2,500 simulated signatures found in 60,000 synthetic genomes and 20,000 synthetic exomes. For simulations with 5% noise, reflecting high-quality datasets, SigProfilerExtractor outperforms other approaches by elucidating between 20% and 50% more true-positive signatures while yielding 5-fold less false-positive signatures. Applying SigProfilerExtractor to 4,643 whole-genome- and 19,184 whole-exome-sequenced cancers reveals four novel signatures. Two of the signatures are confirmed in independent cohorts, and one of these signatures is associated with tobacco smoking. In summary, this report provides a reference tool for analysis of mutational signatures, a comprehensive benchmarking of bioinformatics tools for extracting signatures, and several novel mutational signatures, including one putatively attributed to direct tobacco smoking mutagenesis in bladder tissues

Enhanced ERbeta immunoexpression and apoptosis in the germ cells of cimetidine-treated rats

<p>Abstract</p> <p>Background</p> <p>Cimetidine, refereed as antiandrogenic drug, causes hormonal changes in male patients such as increased testosterone and FSH levels. In the rat testis, structural alterations in the seminiferous tubules have been related to germ cell loss and Sertoli cell death by apoptosis. Regarding the important role of Sertoli cells in the conversion of testosterone into estrogen, via aromatase, the immunoexpression of estrogen receptors-beta (ERbeta) was evaluated in the germ cells of untreated and treated rats with cimetidine. A relationship between ERbeta immunoreactivity and apoptosis was also investigated in the germ cells of damaged tubules.</p> <p>Methods</p> <p>Immunohistochemistry for detection of ERbeta and TUNEL method were performed in testicular sections of adult male rats treated with 50 mg/Kg of cimetidine (CmG) or saline solution (CG) for 52 days.</p> <p>Results</p> <p>In CG, a cytoplasmic immunoexpression for ERbeta was observed in spermatogonia, primary spermatocytes and spermatids. An evident ERbeta immunoreactivity was always observed in the flagellum and residual bodies of late spermatids. In CmG, the cytoplasm or cytoplasm and nuclei of germ cells of the damaged tubules by cimetidine showed enhanced ERbeta immunostaining. TUNEL-labeling was usually observed in the same germ cell types exhibiting enhanced ERbeta immunoreactivity.</p> <p>Conclusion</p> <p>The presence of ERbeta immunolabeling in the flagellum and residual bodies of spermatids reinforces the role of estrogen in spermiogenesis. The overexpression of ERbeta in the germ cells of CmG could be related to a possible interference of cimetidine on tubular androgenization and/or on the intratubular aromatase due to Sertoli cell damage. The parallelism between ERbeta overexpression and apoptosis indicates a participation of ERbeta on germ cell death.</p

Electrophysiological dynamics of Chinese phonology during visual word recognition in Chinese-English bilinguals

Silent word reading leads to the activation of orthographic (spelling), meaning, as well as phonological (sound) information. For bilinguals, native language information can also be activated automatically when they read words in their second language. For example, when Chinese-English bilinguals read words in their second language (English), the phonology of the Chinese translations is automatically activated. Chinese phonology, however, consists of consonants and vowels (segmental) and tonal information. To what extent these two aspects of Chinese phonology are activated is yet unclear. Here, we used behavioural measures, event-related potentials and oscillatory EEG to investigate Chinese segmental and tonal activation during word recognition. Evidence of Chinese segmental activation was found when bilinguals read English words (faster responses, reduced N400, gamma-band power reduction) and when they read Chinese words (increased LPC, gamma-band power reduction). In contrast, evidence for Chinese tonal activation was only found when bilinguals read Chinese words (gamma-band power increase). Together, our converging behavioural and electrophysiological evidence indicates that Chinese segmental information is activated during English word reading, whereas both segmental and tonal information are activated during Chinese word reading. Importantly, gamma-band oscillations are modulated differently by tonal and segmental activation, suggesting independent processing of Chinese tones and segments