Miracle-dz/UniFAR-FTUs huggingface dataset:
Under Consideration for Publication in Theory and Practice of Logic Programming Inference and Learning in Probabilistic Logic Programs Using Weighted Boolean Formulas

Probabilistic logic programs are logic programs in which some of the facts are annotated with probabilities. This paper investigates how classical inference and learning tasks known from the graphical model community can be tackled for probabilistic logic programs. Several such tasks such as computing the marginals given evidence and learning from (partial) interpretations have not really been addressed for probabilistic logic programs before. The first contribution of this paper is a suite of efficient algorithms for various inference tasks. It is based on a conversion of the program and the queries and evidence to a weighted Boolean formula. This allows us to reduce the inference tasks to well-studied tasks such as weighted model counting, which can be solved using state-of-the-art methods known from the graphical model and knowledge compilation literature. The second contribution is an algorithm for parameter estimation in the learning from interpretations setting. The algorithm employs Expectation Maximization, and is built on top of the developed inference algorithms. The proposed approach is experimentally evaluated. The results show that the inference algorithms improve upon the state-of-the-art in probabilistic logic programming and that it is indeed possible to learn the parameters of a probabilistic logic program from interpretations.
Synthesis, Characterization, Antibacterial Activity of New Antimony III Complexes of Some Tosyl-Sulfonamide Derivatives

: Present work describes the synthesis of novel coordination complexes of Cl Sb III, have been 3 synthesized from 4-methyl-sulfonamido derivatives in good yields. These sulfonamide derivatives were synthesized by reaction of tosyl chloride with L-amino acids. These compounds and their complexes are characterized by IR, HNMR, CNMR, MS, Elemental analysis and x ray crystallography. Interestingly, 1 13 out of all complexes N6 has shown the enhanced antibacterial activity in comparison with standard drug Amoxicillin.
3D mathematical modeling for fluvial processes considering bank erosion

A 3D mathematical modeling considering bank erosion is developed by using both a cohesive bank erosion model and a 3D flow-sediment transport model.The locally-adaptive grid system based on the non-orthogonal grid is proposed to simulate the lateral migration in the channel due to the bank erosion.The governing equations for flow-sediment transport are solved with the finite volume method and the SIMPLEC algorithm with the momentum interpolation.The computed case of the self-forming meander evolution demonstrates that this model is able to predict the complex fluvial processes in alluvial rivers with bank erosion.
Proceeding Series of the Brazilian Society of Computational and Applied Mathematics Topology optimization of Piezoelectric Macro Fiber Composite Patches on Composite Plates for active vibration control

This paper presents a topology optimization methodology of piezoelectric actuators in laminated composite structures. The Linear Quadratic Regulator (LQR) optimal control technique is used. The topology optimization is formulated to find the optimum localization of the Macro Fiber Composite (MFC), through of the maximization of the controllability index. Actuator location optimization results show that the technique implemented improves the structural vibration damping.
FOLIA POMERANAE UNIVERSITATIS TECHNOLOGIAE STETINENSIS

Epigenetic research offers a significant opportunity to understand the role of environmental interactions on the genome and disease, while enabling modulation of these interactions in order to improve human health. Knowledge of both genetic and epigenetic changes is essential for identification of functional gametes and for fertility treatment. Future studies in both human and animal models may enable better understanding of the mechanisms underlying the relationship between altered DNA methylation in the sperm cell and infertility. It is currently unclear whether methylation defects found in the DNA of infertile sperm are primary or secondary defects. An understanding of what underlies DNA methylation disorders will be important for the development of successful fertility treatments. While epigenetic research will unquestionably expand our knowledge of general genetics, it is mainly valued for its innovative and comprehensive approach to molecular diagnostics and is directed towards clinical procedures.
FOLIA POMERANAE UNIVERSITATIS TECHNOLOGIAE STETINENSIS

During faunistic studies conducted in north-western Poland on the entomopathogenic nematodes (EPN) of the families Steinernematidae and Heterorhabditidae, species Steinernema silvaticum was identified for the first time in Poland. Nematode species identification, using morphometric methods, is laborious, even for an experienced researcher. S. silvaticum and S. kraussei are defined as “sister taxa” and it is difficult to distinguish these two species. The study is an attempt to differentiate S. silvaticum from S. kraussei using sequencing results of the rDNA – ITS1 and LSU regions. Sequenced regions of ITS1 and LSU had lengths of 490bp and 918bp, respectively. A very high similarity between the S. silvaticum isolate and the isolate of S. kraussei was detected in the case of both sequences (98–99%). There were only two nucleotide differences in ITS1 and two in LSU region, which discriminate the two analysed species.
FOLIA POMERANAE UNIVERSITATIS TECHNOLOGIAE STETINENSIS

The aim of this study was to examine an effect of osmotic stress, induced by mannitol (Mn) and sorbitol (So) in concentrations (0–200 mM) on seed germination and development of common soybean (Glycine max L.) seedlings in in vitro conditions. The analysis of the effectiveness of the porcession was made by assessing the length of the stems and roots as well as the fresh and dry mass of 3-week-old seedlings. The biometric index values differed depending on the type of substance used. While Mn at the lowest concentration (50 mM) did not affect the biometric parameters studied, So (50 mM) stimulated the growth of seedlings, root elongation and the number of leaves and fresh weight of plants. The unfavorable effect on biomass was noticed at higher concentrations of both substances. Mn (> 50 mM – <150 mM) negatively influenced the fresh and dry content of the seedlings. In turn, Mn (150 and 200 mM) also caused growth inhibition, decreased number and length of leaves. So (200 mM) significantly inhibited the growth of seedlings, reducing the dry matter.
Believing Is Seeing: A Proof-of-Concept Semiexperimental Study on Using Mobile Virtual Reality to Boost the Effects of Interpretation Bias Modification for Anxiety

Background Cognitive Bias Modification of Interpretations (CBM-I) is a computerized intervention designed to change negatively biased interpretations of ambiguous information, which underlie and reinforce anxiety. The repetitive and monotonous features of CBM-I can negatively impact training adherence and learning processes. Objective This proof-of-concept study aimed to examine whether performing a CBM-I training using mobile virtual reality technology (virtual reality Cognitive Bias Modification of Interpretations [VR-CBM-I]) improves training experience and effectiveness. Methods A total of 42 students high in trait anxiety completed 1 session of either VR-CBM-I or standard CBM-I training for performance anxiety. Participants’ feelings of immersion and presence, emotional reactivity to a stressor, and changes in interpretation bias and state anxiety, were assessed. Results The VR-CBM-I resulted in greater feelings of presence (P<.001, d=1.47) and immersion (P<.001, ηp2=0.74) in the training scenarios and outperformed the standard training in effects on state anxiety (P<.001, ηp2=0.3) and emotional reactivity to a stressor (P=.03, ηp2=0.12). Both training varieties successfully increased the endorsement of positive interpretations (P<.001, drepeated measures [drm]=0.79) and decreased negative ones. (P<.001, drm=0.72). In addition, changes in the emotional outcomes were correlated with greater feelings of immersion and presence. Conclusions This study provided first evidence that (1) the putative working principles underlying CBM-I trainings can be translated into a virtual environment and (2) virtual reality holds promise as a tool to boost the effects of CMB-I training for highly anxious individuals while increasing users’ experience with the training application.
FIBRINOLYTIC ACTIVITY IN ACTIVE AND SEDENTARY MEN AT REST

The purpose of the present study was to examine the effects of exercise in the form of recreational team sports on resting fibronolytic activity of healthy men. Thirty-four healthy men, 20-37 years old, volunteered to participate in the research. The subjects were separated in two groups, exercisers who participated regularly during the last six months in recreational team sports such as volleyball, basketball and football (Group A, n=17) and inactive men who, on average, did not exercise regularly with a frequency of more than 1 hour per fortnight during the last six months (Group B, n=17). Measurements of anthropomorphological and hemodynamic characteristics were taken place. For the evaluation of resting fibrinolytic activity, tissue-type plasminogen activator (t-PA) and plasminogen activator inhibitor-1 (PAI-1) at rest were measured. For data analysis, descriptive statistics and independent samples t-tests of the SPSS ver. 20.0 for windows was used. The results showed that hemodynamic state of exercisers is better than that of inactive men, since they have lower heart rate (64.82 + 15.23 vs 69.41 + 11.61 bpm), systolic blood pressure (114 + 10.58 vs 115.35 + 12.90 mmHg), and diastolic blood pressure (72.06 + 10.91 vs 78.65 + 12.13 mmHg) at rest. In addition, there were observed significantly more increased resting t-PA levels (t=-3.49, p<0.01), as well as significantly more decreased resting PAI-1 levels (t=2.26, p<0.05) in the group of young men who participate in regular exercise in the form of team sports compared with the group of young men who didn’t participate in any exercise. Consequently, it could be said that physical fitness achieved through the regular participation in recreational team sports, such as football, volleyball and basketball, effect positively on blood fibrinolytic activity. Thus, aiming on fibrinolytic activity improvement, the regular participation in recreational team sports should be emphasized. Article visualizations:
Glucose-Dependent Insulinotropic Polypeptide Stimulates Osteopontin Expression in the Vasculature via Endothelin-1 and CREB

Glucose-dependent insulinotropic polypeptide (GIP) is an incretin hormone with extrapancreatic effects beyond glycemic control. Here we demonstrate unexpected effects of GIP signaling in the vasculature. GIP induces the expression of the proatherogenic cytokine osteopontin (OPN) in mouse arteries via local release of endothelin-1 and activation of CREB. Infusion of GIP increases plasma OPN concentrations in healthy individuals. Plasma endothelin-1 and OPN concentrations are positively correlated in patients with critical limb ischemia. Fasting GIP concentrations are higher in individuals with a history of cardiovascular disease (myocardial infarction, stroke) when compared with control subjects. GIP receptor (GIPR) and OPN mRNA levels are higher in carotid endarterectomies from patients with symptoms (stroke, transient ischemic attacks, amaurosis fugax) than in asymptomatic patients, and expression associates with parameters that are characteristic of unstable and inflammatory plaques (increased lipid accumulation, macrophage infiltration, and reduced smooth muscle cell content). While GIPR expression is predominantly endothelial in healthy arteries from humans, mice, rats, and pigs, remarkable upregulation is observed in endothelial and smooth muscle cells upon culture conditions, yielding a “vascular disease–like” phenotype. Moreover, the common variant rs10423928 in the GIPR gene is associated with increased risk of stroke in patients with type 2 diabetes.
Human Papillomavirus Infection

Human papillomavirus (HPV) is one of the most common sexually transmitted infections (STIs). More than 170 types of HPV have been classified and more than 40 types of HPV can infect the genital tract of humans. [1,2,3] Genital HPV types are divided into two groups based on whether they have an association with cancer. Infections with low-risk types (non-oncogenic) are not associated with cancer but can cause genital warts and benign or low-grade cervical cellular changes. Infections with high-risk types (oncogenic), most notably HPV types 16 and 18, can cause low-grade cervical cellular changes, high-grade cervical cellular changes (moderate to severe Pap test abnormalities), and cancer of the cervix; in addition, some high-risk HPV types have been associated with cancers of the vulva, vagina, anus, penis, and oropharynx. [4] Most HPV infections, whether caused by low-risk or high-risk types, are transient, asymptomatic, and have no clinical consequences. Estimates on the incidence and prevalence of HPV infection are limited because HPV infection is not a reportable infection in any state (genital warts are reportable in a select number of states). In addition, most HPV infections are asymptomatic or subclinical, and therefore not diagnosed. Available HPV-related data primarily focuses on the clinical sequelae of HPV infection, such as genital warts and genitourinary cancers.
Predominance of methanogens over methanotrophs contributes 1 to high methane emissions in rewetted fens 2

The rewetting of drained peatlands alters peat geochemistry and often leads to sustained 27 elevated methane emission. Although this methane is produced entirely by microbial activity, the 28 distribution and abundance of methane-cycling microbes in rewetted peatlands, especially in fens, 29 is rarely described. In this study, we compare the community composition and abundance of 30 methane-cycling microbes in relation to peat porewater geochemistry in two rewetted fens in 31 northeastern Germany, a coastal brackish fen and a freshwater riparian fen, with known high 32 methane fluxes. We utilized 16S rDNA high-throughput sequencing and quantitative polymerase 33 Biogeosciences Discuss. , https://doi.org/10.5194/bg-2018-184 Manuscript under review for journal Biogeosciences Discussion started: 26 April 2018 c © Author(s) 2018. CC BY 4.0 License.
Dark Energy Survey Year 1 results: the impact of galaxy neighbours on weak lensing cosmology with IM3SHAPE

We use a suite of simulated images based on Year 1 of the Dark Energy Survey to explore the impact of galaxy neighbours on shape measurement and shear cosmology. The HOOPOE image simulations include realistic blending, galaxy positions, and spatial variations in depth and point spread function properties. Using the IM3SHAPE maximum-likelihood shape measurement code, we identify four mechanisms by which neighbours can have a non-negligible influence on shear estimation. These effects, if ignored, would contribute a net multiplicative bias of m ~ 0.03-0.09 in the Year One of the Dark Energy Survey (DES Y1) IM3SHAPE catalogue, though the precise impact will be dependent on both the measurement code and the selection cuts applied. This can be reduced to percentage level or less by removing objects with close neighbours, at a cost to the effective number density of galaxies neff of 30 per cent. We use the cosmological inference pipeline of DES Y1 to explore the cosmological implications of neighbour bias and show that omitting blending from the calibration simulation for DES Y1 would bias the inferred clustering amplitude S 8 ≡ σ 8 (Ω m /0.3) 0.5 by 2σ towards low values. Finally, we use the HOOPOE simulations to test the effect of neighbour-induced spatial correlations in the multiplicative bias.We find the impact on the recovered S 8 of ignoring such correlations to be subdominant to statistical error at the current level of precision.
Discovery of Slow Earthquake Families Associated with the Subduction of the Philippine Sea Plate in Southwest Japan

New types of slow earthquakes have been revealed associated with the subduction of the Philippine Sea plate in southwest Japan based on the development of the dense seismic observation network. At the transition zone, which lies at the deeper extension of the seismogenic zone, deep low-frequency tremors, deep very-low-frequency earthquakes, and short-term slow slip events occur along the slab strike. The short-term slow slip event is the main phenomenon as a stick-slip on the plate interface and other seismic phenomena might be triggered events reflecting the source size. Considering the area of migration and activity of the deep low-frequency tremors, which indicate a transient slip, we can divide the deep slow earthquake belt into segments, each of which has a regular recurrence interval of 6 or 3 months. In each episode, the tremor activity migrates according to the propagation of the transient slip within the segment. Sometimes the migration reaches to the neighboring segment, and a connecting fault rupture occurs. These migrating phenomena are very similar to the rupture process of mega-thrust earthquakes. On the other hand, shallow very-low-frequency earthquakes have been detected in the accretionary prism near the Nankai trough. These events are considered seismic slow slip events at the reverse fault system reflecting the deformation of the accretionary prism. Watching these slow earthquakes is important for the monitoring of the plate motion.
STOCK MARKET DEVELOPMENT AND ECONOMIC GROWTH AN EMPIRICAL ANALYSIS

This study investigated the causal relationship between stock market development and economic growth for Greece for the period 1978-2007 using a Vector Error Correction Model (VECM). Questions were raised whether stock market development causes economic growth taking into account the negative effect of interest rate on stock market development. The purpose of this study was to investigate the short-run and the long-run relationship between the examined variables applying the Johansen co-integration analysis. To achieve this objective unit root tests were carried out for all time series data in their levels and their first differences. Johansen co-integration analysis was applied to examine whether the variables are co-integrated of the same order taking into account the maximum eigenvalues and trace statistics tests. Finally, a vector error correction model was selected to investigate the long-run relationship between stock market development and economic growth. A short-run increase of economic growth per 1% induced an increase of stock market index 0.41% in Greece, while an increase of interest rate per 1% induced a relative decrease of stock market index per 1.42% in Greece. The estimated coefficient of error correction term was statistically significant and had a negative sign, which confirmed that there was not any problem in the long-run equilibrium between the examined variables. The results of Granger causality tests indicated that there is a unidirectional causality between stock market development and economic growth with direction from economic growth to stock market development and a unidirectional causal relationship between economic growth and interest rate with direction from economic growth to interest rate. Therefore, it can be inferred that economic growth has a direct positive effect on stock market development while interest rate has a negative effect on stock market development and economic growth respectively.
Early Childhood: A Guide for Students

PART ONE: YOU AND YOUR LEARNING Managing Yourself and Your Learning - Sally Jaeckle E-Learning: Using ICT to Support Your Professional Development and Children's Learning - Maureen Brookson, Ruth Pimentel and Paul Parslow-Williams Doing Practitioner Research - Guy Robert-Holmes PART TWO: WORKING WITH CHILDREN Meeting Individual Needs - Vicky Hutchin Theory, Practice and Context - Tina Bruce The Learning Environment: Creating a Learning Environment indoors and outdoors - Marion Dowling Practical Projects: Birth to Five Years - Jenny Spratt PART THREE: UNDERSTANDING CHILD DEVELOPMENT Introducing Child Development - Tony Bertram and Chris Pascal Birth to Three - Ann Langston and Lesley Abbott Understanding Symbolic Development - Tina Bruce and Adam Ockelford PART FOUR: THE EARLY YEARS FOUNDATION STAGE Supporting Children's Development and Learning - Helen Moylett Personal, Social and Emotional Development - Peter Elfer and Julian Grenier Communication, Language and Literacy - Marian Whitehead with Sian Thompson Children's Mathematical Development - Elizabeth Carruthers and Maulfry Worthington Knowledge and Understanding of the World - Katrina Foley Physical Development - Penny Greenland Creative Development - Tina Bruce Diversity and Inclusion: Inclusion and Diversity - Kate Wall (Diversity and Inclusion) and Tina Hyder and Julie Jennings (Inclusion and Diversity) PART FIVE: KEY STAGE 1 Supporting Children's Development and Learning - Kathy Goouch Continuing the Learning Journey: Practical Projects in Year 1 - Tina Bruce Key Stage 1 Mathematics - Elizabeth Carruthers and Maulfry Worthington Science at Key Stage 1 - Jane Johnston Key Stage 1 Literacy - Marian Whitehead with Sian Thompson PART SIX: PROFESSIONAL DEVELOPMENT Working as a Teaching Assistant - Maureen Brookson The Early Years Professional Status - Maureen Brookson Playwork - Wendy Russell Every Child Matters - Sue Owen Promoting Child Health and Safeguarding Children - Carolyn Meggitt PART SEVEN: LEADING AND MANAGING Leading and Managing Others - Lesley Benson Managing in Context - Jenny Spratt and Karen Hingston Developing and Managing the Professional Role - Janet Moyles and Sian Adams
Mammalian CD 1 and MR 1 genes

All higher vertebrates share the fundamental components of the adaptive immune system: the B cell receptor, the T cell receptor, and classical MHC proteins. At a more detailed level, their immune systems vary considerably, especially with respect to the non-polymorphic MHC class I-like proteins. In mammals, the CD1 family of lipid-presenting proteins is encoded by clusters of genes of widely divergent sizes and compositions. Another MHC class I-like protein, MR1, is typically encoded by a single gene that is highly conserved among species. Based on mammalian genomes and the available data on cellular expression profiles and protein structure, we review MR1 genes and families of CD1 genes in modern mammals from a genetic and functional perspective. Understanding the CD1 and MR1 systems across animal species provides insights into the specialized functions of the five types of CD1 proteins and facilitates careful consideration of animal models for human diseases in which immune responses to lipids and bacterial metabolites play a role.