Miracle-dz/UniFAR-FTUs huggingface dataset:
First year report Ambrus Kaposi

2 Technical background 4 2.1 Martin-Löf Type Theory . 4 2.1. 1 Intuition . 4 2.1. 2 Kinds of judgments . 7 2.1. 3 Rules for context formation and substitution . 8 2.1. 4 Congruence rules for definitional equality . 9 2.1. 5 Rules for the function type . 9 2.1. 6 Rules for propositional equality . 11 2.1. 7 Rules for Sigma . 12 2.1. 8 Rules for universes . 13 2.1. 9 Rules for finite types . 15 2.1. 10 Rules for inductive types . 18 2.1. 11 Induction-recursion . 22 2.1. 12 Computation and metatheory . 24 2.1. 13 Extensionality . 25 2.1. 14 Notes . 27 2.2 Category Theory . 27 2.2.1 Categories . 27 2.2.2 Functors . 29 2.2.3 Natural transformations . 29 2.2. 4 Adjunctions . 30 2.2. 5 Higher categories . 31 2.2. 6 Applications . 33 2.2. 7 Notes . 33 2.3 Homotopy Type Theory . 33 2.3. 1 Homotopies . 33 2.3. 2 Homotopy levels . 35 2.3. 3 Equivalence . 36 2.3. 4 Higher inductive types . 37 2.3. 5 Notes . 38
Thermal degradation mechanism of HDPE Nanocomposites containing Nano CaCO 3

In this study high-density polyethylene (HDPE)/ maleic anhydride grafted polyethylene (PE-g-MA) nanocomposites, containing 1, 3, 5 wt. % of CaCO 3 nanoparticles were provided by melt mixing process. Attendance of nanoparticles in PE matrix and addition of PE-g-MA led to enhancement of thermal stability of nanocomposites which proved by TGA analysis. In addition, kinetics of thermal decomposition of HDPE and its nanocomposites were examined. Addition of nano-particles led to enhancement of activation energy and degree of conversion.
“Early” Middle Stone Age Lithic Technology of the Kapthurin Formation (Kenya)

The production of Levallois flakes is considered a hallmark of many Middle Stone Age (MSA) sites, but this aspect of African Pleistocene hominin technology remains poorly documented relative to that from adjacent regions. The site of Koimilot, from the Kapthurin Formation of Kenya, preserves stratified artifact assemblages that show use of multiple Levallois methods to produce flakes of varied shapes and sizes, comparable to that described from Levantine and European Middle Paleolithic sites. Koimilot has an age of 200,000 years on the basis of geochemical correlation with dated volcanic tephra and therefore joins a small but growing number of early MSA sites which antedate the last interglacial (130,000) years ago and provide the most relevant comparisons for understanding the end of the Acheulian. The Kapthurin Formation archaeological sequence suggests that it is the diversification of Levallois technology rather than its origin that characterizes early MSA assemblages. MSA Levallois technology may have developed from local Acheulian antecedents.
HIV-related sexual decisions made by African-American adolescents living in different family structures: study from an ecodevelopmental perspective

Purpose The purpose of this study was to explore the association between the dynamics of family structure and sexual behaviors of African-American adolescents using the ecodevelopmental theory. Methods This study stratified data from 1,617 African-American adolescents of the Add Health Wave I respondents with an identified family composition. It examined the associations between family structure, parenting function, and adolescents’ sexual decision-making: age of first sexual intercourse, sexual initiation before age 16, and using a condom during the first and last sexual intercourse. Results Emotional connection between parents and children (feeling more love from the father: β=0.17, P=0.0312; feeling more love from the mother: β=0.3314, P=0.0420) and mothers’ less permissive attitude toward adolescents’ sexual experience in their teens (β=0.33, P=0.0466) are positively associated with late age of sexual initiation of adolescents living in two-parent households. School-level factors (β=0.07, P=0.0008) and the adolescents’ characteristics (being older: 0.42, P=0.0002; heterosexuality: β=2.28, P=0.0091) are the factors most positively related to the age of sexual initiation for those living with a single parent. Immediate social determinants, other than family factors (such as land use of immediate area [rural]: β=9.84, P<0.0001; the condition of living unit: β=1.55, P=0.0011; and safety of neighborhood: β=4.46, P=0.004), are related to late age of sexual initiation among those living with other relatives/alone. A higher tendency of condom use consistency was present in adolescents living with two parents compared to those living in other family structures. Conclusion Less parent/child connection and parent/family influence were found in African-American adolescents living with other relatives or alone, suggesting that living with two residential parents plays an essential role in their late sexual initiation and could account for an important element to combat high HIV incidence of African-American adolescents.
Environmental Factors Shape the Community of Symbionts in the Hoopoe Uropygial Gland More than Genetic Factors

ABSTRACT Exploring processes of coevolution of microorganisms and their hosts is a new imperative for life sciences. If bacteria protect hosts against pathogens, mechanisms facilitating the intergenerational transmission of such bacteria will be strongly selected by evolution. By disentangling the diversity of bacterial strains from the uropygium of hoopoes (Upupa epops) due to genetic relatedness or to a common environment, we explored the importance of horizontal (from the environment) and vertical (from parents) acquisition of antimicrobial-producing symbionts in this species. For this purpose, we compared bacterial communities among individuals in nonmanipulated nests; we also performed a cross-fostering experiment using recently hatched nestlings before uropygial gland development and some nestlings that were reared outside hoopoe nests. The capacity of individuals to acquire microbial symbionts horizontally during their development was supported by our results, since cross-fostered nestlings share bacterial strains with foster siblings and nestlings that were not in contact with hoopoe adults or nests also developed the symbiosis. Moreover, nestlings could change some bacterial strains over the course of their stay in the nest, and adult females changed their bacterial community in different years. However, a low rate of vertical transmission was inferred, since genetic siblings reared in different nests shared more bacterial strains than they shared with unrelated nestlings raised in different nests. In conclusion, hoopoes are able to incorporate new symbionts from the environment during the development of the uropygium, which could be a selective advantage if strains with higher antimicrobial capacity are incorporated into the gland and could aid hosts in fighting against pathogenic and disease-causing microbes.
A hyperspectral and toxicological analysis of protein corona impact on silver nanoparticle properties, intracellular modifications, and macrophage activation

The inevitable adsorption of biomolecules on nanomaterials results in the formation of a protein corona (PC), which modifies the nanoparticle (NP)–cell interface resulting in modified uptake, activity, clearance, and toxicity. While the physicochemical properties of the NP govern the composition of PC, the formation of PC in turn alters the characteristics of the NP by imparting a new unique “biological” identity. To assess how the PC influences AgNP properties, intracellular modifications, and cellular responses, we utilized a combination of hyperspectral and toxicological analyses. AgNPs were coated with a complex PC (multiple proteins, eg, 10% fetal bovine serum) or a simple PC (single protein, eg, bovine serum albumin [BSA]) and evaluated by hyperspectral and dynamic light scattering for modifications in AgNP properties. Mouse macrophages were exposed to AgNPs with PCs and examined for differences in uptake, cytotoxicity, and cell activation. Hyperspectral imaging revealed intracellular modifications to AgNPs that were found to spectrally match alterations in AgNPs following incubation in lysosomal fluid. Addition of the PC influenced AgNP uptake and cytotoxicity; however, hydrodynamic size and surface charge did not contribute to these responses. Assessments of all endpoints demonstrated differences between complex and BSA PC, suggesting that these responses are not purely driven by the primary protein component of the complex PC (ie, BSA). Alterations in cellular–NP uptake/interactions may be driven through cell surface receptor recognition of protein constituents that make up the PC rather than the physicochemical differences in AgNPs.
Editor's Presentation

The European Association of Preventive Cardiology (EAPC) Young Community (YC) is a new group created to strengthen the position and promote the participation of young professionals in the field of preventive cardiology. The several developed initiatives are now summarised in a call for action here signed by the EAPC leaders. This is in keeping with the invitation for the YC to contribute more actively to our journal, by proposing research, opinions, comments and debates. The doors of the EAPC community and the journal are wide open and all ideas from around the world are welcome.
The Role of Algorithm Bias vs Information Source in Learning Algorithms for Morphosyntactic Disambiguation

Morphosyntactic Disambiguation (Part of Speech tagging) is a useful benchmark problem for system comparison because it is typical for a large class of Natural Language Processing (NLP) problems that can be defined as disambiguation in local context. This paper adds to the literature on the systematic and objective evaluation of different methods to automatically learn this type of disambiguation problem. We systematically compare two inductive learning approaches to tagging: MX-POST (based on maximum entropy modeling) and MBT (based on memory-based learning). We investigate the effect of different sources of information on accuracy when comparing the two approaches under the same conditions. Results indicate that earlier observed differences in accuracy can be attributed largely to differences in information sources used, rather than to algorithm bias.
Recalling support provision decreases distress and anger in response to partner suffering

ABSTRACT Objectives: Thinking about a loved one's suffering can be emotionally stressful and have negative effects on a person's psychological and physical health over time. This study examined the hypotheses that when thinking about a partner's suffering (1) recalling past support provision to the suffering partner can decrease distress and anger and increase compassion, and (2) attachment orientation moderates these effects. Method: Seventy-seven older adult spouses of individuals with chronic pain were video-recorded while they disclosed: (1) an instance of partner suffering and (2) an instance of partner suffering plus their support provision. Compassion for the partner and their own distress and anger were self-reported immediately after each account. Accounts were coded for statements of support. Attachment was assessed with the Experiences with Close Relationships measure. Results: As hypothesized, distress and anger were lower in the ‘suffering with support’ condition versus the ‘suffering only’ condition. There was no evidence that attachment orientation significantly moderated the effect of support recollection on emotional responses; however, more avoidant individuals reported less compassion and anger and used more words reflecting anger across conditions. More anxiously attached individuals reported greater compassion across conditions. Conclusion: When thinking about a partner's suffering, there are attachment-related differences in emotional reactions. Yet, regardless of these differences, it may be adaptive for spouses to think about their role in providing support to their partner to decrease their own negative emotions.
Prevalence of and factors associated with MDR Neisseria gonorrhoeae in England and Wales between 2004 and 2015: analysis of annual cross-sectional surveillance surveys

Objectives To describe trends in prevalence, susceptibility profile and risk factors for MDR Neisseria gonorrhoeae (MDR-NG) in England and Wales. Methods Isolates from 16 242 gonorrhoea episodes at sexual health clinics within the Gonococcal Resistance to Antimicrobials Surveillance Programme (GRASP) underwent antimicrobial susceptibility testing. MDR-NG was defined as resistance to ceftriaxone, cefixime or azithromycin, plus at least two of penicillin, ciprofloxacin and spectinomycin. Trends in resistance are presented for 2004-15; prevalence and logistic regression analyses for MDR-NG cover the period of the most recent treatment guideline (ceftriaxone plus azithromycin), 2011-15. Results Between 2004 and 2015, the proportion of N. gonorrhoeae isolates fully susceptible to all antimicrobial classes fell from 80% to 46%, with the proportion resistant to multiple (two or more) classes increasing from 7.3% to 17.5%. In 2011-15, 3.5% of isolates were MDR-NG, most of which were resistant to cefixime (100% in 2011, decreasing to 36.9% in 2015) and/or azithromycin (4.2% in 2011, increasing to 84.3% in 2015). After excluding azithromycin-resistant isolates, modal azithromycin MICs were higher in MDR versus non-MDR isolates (0.5 versus 0.125 mg/L), with similar results for ceftriaxone (modal MICs 0.03 versus ≤0.002 mg/L). After adjustment for confounders, MDR-NG was more common among isolates from heterosexual men, although absolute differences in prevalence were small [4.6% versus 3.3% (MSM) and 2.5% (women)]. Conclusions N. gonorrhoeae is becoming less susceptible to available antimicrobials. Since 2011, a minority of isolates were MDR-NG; however, MICs of azithromycin or ceftriaxone (first-line therapies) for many of these were elevated. These findings highlight the importance of continued antimicrobial stewardship for gonorrhoea.
Identification of KMU-3, a Novel Derivative of Gallic Acid, as an Inhibitor of Adipogenesis

Differentiation of preadipocyte, also called adipogenesis, leads to the phenotype of mature adipocyte. Excessive adipogenesis, however, is largely linked to the development of obesity. Herein we investigated a library of 53 novel chemicals, generated from a number of polyphenolic natural compounds, on adipogenesis. Strikingly, among the chemicals tested, KMU-3, a derivative of gallic acid, strongly suppressed lipid accumulation during the differentiation of 3T3-L1 preadipocytes into adipocytes. On mechanistic levels, KMU-3 inhibited expressions of CCAAT/enhancer-binding protein-α (C/EBP-α), peroxisome proliferator-activated receptor-γ (PPAR-γ), and fatty acid synthase (FAS) during adipocyte differentiation. Moreover, KMU-3 reduced expressions of adipokines, including retinol binding protein-4 (RBP-4), leptin, and regulated on activation, normal T cell expressed and secreted (RANTES) during adipocyte differentiation. Of further note, KMU-3 rapidly blocked the phosphorylation of signal transducer and activator of transcription-3 (STAT-3) during the early stage of adipogenesis. Importantly, pharmacological inhibition studies revealed that AG490, a JAK-2/STAT-3 inhibitor suppressed adipogenesis and STAT-3 phosphorylation, implying that early blockage of STAT-3 activity is crucial for the KMU-3-mediated anti-adipogenesis. These findings demonstrate firstly that KMU-3 inhibits adipogenesis by down-regulating STAT-3, PPAR-γ, C/EBP-α, and FAS. This work shows that KMU-3 is an inhibitor of adipogenesis and thus may have therapeutic potential against obesity.
Comparative Surface Morphology of Marine Coelomic Gregarines (Apicomplexa, Urosporidae): Pterospora floridiensis and Pterospora schizosoma

Abstract. Two species in the aseptate gregarine genus Pterospora from the Pacific and Gulf coasts were analyzed by scanning electron microscopy, which revealed characteristics not reported in other gregarines. The gamonts of these species had branching trunks that ended in terminal digits, and both species moved by cytoplasmic streaming and peristalsis. Pterospora floridiensis had surface pits and tracts of parallel ridges that bended and connected with one another. Pterospora schizosoma had irregular‐shaped surface swellings that were usually arranged in rosette patterns. These unique surface features have not been reported for other gregarines, and are strikingly different from the surface features of many septate and aseptate gregarines that inhabit the intestinal lumena of their hosts and move by gliding. The correlation of Pterospora's unique pellicular features to the habitat and cytoplasmic streaming characteristic of the genus may be significant, and may reflect an adaptation for development in coelomic environments.
Multiplex PCR for detection of plasmid-mediated colistin resistance determinants, mcr-1, mcr-2, mcr-3, mcr-4 and mcr-5 for surveillance purposes

Background and aim Plasmid-mediated colistin resistance mechanisms have been identified worldwide in the past years. A multiplex polymerase chain reaction (PCR) protocol for detection of all currently known transferable colistin resistance genes (mcr-1 to mcr-5, and variants) in Enterobacteriaceae was developed for surveillance or research purposes. Methods: We designed four new primer pairs to amplify mcr-1, mcr-2, mcr-3 and mcr-4 gene products and used the originally described primers for mcr-5 to obtain a stepwise separation of ca 200 bp between amplicons. The primer pairs and amplification conditions allow for single or multiple detection of all currently described mcr genes and their variants present in Enterobacteriaceae. The protocol was validated testing 49 European Escherichia coli and Salmonella isolates of animal origin. Results: Multiplex PCR results in bovine and porcine isolates from Spain, Germany, France and Italy showed full concordance with whole genome sequence data. The method was able to detect mcr-1, mcr-3 and mcr-4 as singletons or in different combinations as they were present in the test isolates. One new mcr-4 variant, mcr-4.3, was also identified. Conclusions: This method allows rapid identification of mcr-positive bacteria and overcomes the challenges of phenotypic detection of colistin resistance. The multiplex PCR should be particularly interesting in settings or laboratories with limited resources for performing genetic analysis as it provides information on the mechanism of colistin resistance without requiring genome sequencing.
INFLUENCE OF THE LABORATORY CONTEXT AND THE SIZE OF THE MARKERS SET ON THE TENNIS SERVE EVALUATION

The purpose of this study was to identify the influence on the tennis serve evaluation of 1/ the test environment and 2/ the number of the markers placed of the player. Two different studies were performed. The first compared a 4 vs. 28 marker set in a laboratory the same day. The second compared a 4 markers test in a laboratory with a 4 markers test on an official tennis court one week apart. We observed similar results between the different tests of both studies.
Electromyographic response during whole-body vibrations of different frequencies with progressive external loads

The purpose of this study was to analyze if exposure to whole-body vibrations (WBV) of different frequencies with none or additional loads from 20 to 50 kg promotes changes in EMGrms activity of the quadriceps and gastrocnemious muscles. Sixteen male subjects with previous experience in strength training volunteered to participate. Subjects received the treatment while standing on a vibration platform with knees bent at 100o. Normalised EMGrms was recorded in vastus medialis (VM), vastus lateralis (VL), rectus femoris (RF) and gastrocnemious medialis (GM) for 10 secs in the following twenty five conditions: no-vibration (NV), 30, 35, 40 and 50 Hz with body weight or with four different external loads (20, 30, 40 and 50 kg) over the shoulders. In all conditions, average normalised EMGrms from VM was significantly higher than in the NV condition. The same behaviour was observed in VL except in the 50 Hz with 20 kg condition. In RF only six conditions with 40 and 50 Hz were not significantly different compared with the NV condition. However, GM presented a different behaviour and only seven out of twenty four conditions were significantly different compared with the NV condition. The highest EMGrms was found at 30 Hz but no significant differences were found between the different frequencies employed. In all muscles except from GM and in all conditions with or without vibrations, a significant linear relationship was found between external load increments and EMGrms (%) signal increments These results suggest the use of EMGrms to monitor the optimal vibration frequency.
Experimental Determination and Prediction of the Fitness Effects of Random Point Mutations in the Biosynthetic Enzyme HisA

&NA; The distribution of fitness effects of mutations is a factor of fundamental importance in evolutionary biology. We determined the distribution of fitness effects of 510 mutants that each carried between 1 and 10 mutations (synonymous and nonsynonymous) in the hisA gene, encoding an essential enzyme in the l‐histidine biosynthesis pathway of Salmonella enterica. For the full set of mutants, the distribution was bimodal with many apparently neutral mutations and many lethal mutations. For a subset of 81 single, nonsynonymous mutants most mutations appeared neutral at high expression levels, whereas at low expression levels only a few mutations were neutral. Furthermore, we examined how the magnitude of the observed fitness effects was correlated to several measures of biophysical properties and phylogenetic conservation.We conclude that for HisA: (i) The effect of mutations can be masked by high expression levels, such that mutations that are deleterious to the function of the protein can still be neutral with regard to organism fitness if the protein is expressed at a sufficiently high level; (ii) the shape of the fitness distribution is dependent on the extent to which the protein is rate‐limiting for growth; (iii) negative epistatic interactions, on an average, amplified the combined effect of nonsynonymous mutations; and (iv) no single sequence‐based predictor could confidently predict the fitness effects of mutations in HisA, but a combination of multiple predictors could predict the effect with a SD of 0.04 resulting in 80% of the mutations predicted within 12% of their observed selection coefficients.
PfSRPK1, a Novel Splicing-related Kinase from Plasmodium falciparum*

Even though it is increasingly evident that post-transcriptional events like mRNA processing and splicing may regulate gene expression and proteome diversity of malaria parasite Plasmodium, molecular mechanisms that regulate events like mRNA splicing in malaria parasite are poorly understood. Protein kinases control a wide variety of cellular events in almost all eukaryotes, including modulation of mRNA splicing, transport, and stability. We have identified a novel splicing-related protein kinase from Plasmodium falciparum, PfSRPK1. PfSRPK1 when incubated with parasite nuclear extracts inhibited RNA splicing, suggesting that it may control mRNA splicing in the parasite. PfSR1, a putative splicing factor from P. falciparum, was identified as a substrate of PfSRPK1. PfSR1 interacts with RNA and PfSRPK1 modulates its RNA binding. Early in the parasite development, PfSRPK1 and PfSR1 are present in the nucleus. These studies provide useful insights into the function of two potentially key components of P. falciparum mRNA splicing machinery.