Miracle-dz/UniFAR-FTUs huggingface dataset:
Stream-based dynamic data race detection

Detecting data races in modern code executing on multicore processors is challenging. Instrumentation-based techniques for race detection not only have a high performance impact, but also are not likely to be certified for safety-critical systems. This paper presents a data race detector based on the well-known lockset algorithm in the stream-based runtime verification language TeSSLa, using dynamic data structures to record lock operations and memory accesses. Such a specification can then be instantiated with particular parameters to make it suitable for the more limited planned monitoring using field-programmable gate arrays (FPGAs).
Enhanced Electrochemical Performance of Self-Assembled Nanoflowers of MoS2 Nanosheets as Supercapacitor Electrode Materials

As supercapacitor electrode materials, their structures, including specific surface area, instability, and interconnection, determine the electrochemical performances (specific capacitance, cycle stability, and rate performance). In this study, 1T-MoS2 nanosheets were self-assembled into nanoflowers via a one-pot facile hydrothermal reaction. The nanoflowers retain the excellent electrical conductive performance and the feature of inherent high specific surface area of the nanosheets. For the sheets are interconnected to each other in flower structure, the structure is more stable and the charges are more easily transferred. Thus, compared to the nanosheet electrode, the nanoflower electrode shows the remarkable advantage when used as the electrode of the energy-storage device, whether it is 1T phase or 2H phase in KCl or in KOH. When measured at 0.5 A g–1 in KOH electrolyte, the MoS2 nanoflower electrode exhibits a high specific capacitance of 1120 F g–1. At the same time, when cycling 2000 times at a current density of 10 A g–1, the capacitance retention ratio can reach up to 96%.
Achieving Accessible Websites - A study of Design and Development Processes in NRK

Web accessibility plays an important part in improving the quality of web and the quality of life for people in their everyday life. However, despite significant effort recent years, inaccessible web sites is still a major problem. Developing an accessible website has proven challenging and several studies have indicated that having access to developer guidelines is not sufficient. This paper presents results from a study of the front-end website development process of the Norwegian Broadcasting Company (NRK), including the developers and designers involved. The results indicate that there are several factors that may influence whether a development team achieves accessibility. In addition, this study provides recommendations and strategies for developing accessible websites.
From laboratory to field: yield stability and shade avoidance genes are massively differentially expressed in the field

To unravel molecular mechanisms with the ultimate goal to achieve improved stress resilience or increased yield, plants are often studied under highly controlled conditions in which stresses are applied and in which growth- or architecture-related traits are meticulously recorded. Over the past decades, this has led to a boost in our understanding of key molecular players and in strategies to improve yield stability. However, many single-gene traits fail to translate into applications (Nuccio et al., 2018).
Impact of arrhythmogenic calmodulin variants on small conductance Ca2+‐activated K+ (SK3) channels

Calmodulin (CaM) is a ubiquitous Ca2+‐sensing protein regulating many important cellular processes. Several CaM‐associated variants have been identified in a small group of patients with cardiac arrhythmias. The mechanism remains largely unknown, even though a number of ion channels, including the ryanodine receptors and the L‐type calcium channels have been shown to be functionally affected by the presence of mutant CaM. CaM is constitutively bound to the SK channel, which underlies the calcium‐gated ISK contributing to cardiac repolarization. The CaM binding to SK channels is essential for gating, correct assembly, and membrane expression. To elucidate the effect of nine different arrhythmogenic CaM variants on SK3 channel function, HEK293 cells stably expressing SK3 were transiently co‐transfected with CaMWT or variant and whole‐cell patch‐clamp recordings were performed with a calculated free Ca2+ concentration of 400 nmol/L. MDCK cells were transiently transfected with SK3 and/or CaMWT or variant to address SK3 and CaM localization by immunocytochemistry. The LQTS‐associated variants CaMD96V, CaMD130G, and CaMF142L reduced ISK,Ca compared with CaMWT (P < 0.01, P < 0.001, and P < 0.05, respectively). The CPVT associated variant CaMN54I also reduced the ISK,Ca (P < 0.05), which was linked to an accumulation of SK3/CaMN54I channel complexes in intracellular compartments (P < 0.05). The CPVT associated variants, CaMA103V and CaMD132E only revealed a tendency toward reduced current, while the variants CaMF90L and CaMN98S, causing LQTS syndrome, did not have any impact on ISK,Ca. In conclusion, we found that the arrhythmogenic CaM variants CaMN54I, CaMD96V, CaMD130G, and CaMF142L significantly down‐regulate the SK3 channel current, but with distinct mechanism.
In-hospital mortality of acute coronary syndrome in elderly patients

Objectives: To analyze predictors of death in elderly patients diagnosed with acute coronary syndrome (ACS). Methods: A record-based study carried out between January 2016 and January 2018 at The central province in Saudi Arabia. All elderly patients (>75 years) with definite diagnosis of ACS were retrospectively included. Demographic data, echocardiographic, and angiographic parameters were reported. Results: A total of 179 patients were enrolled, 129 (72%) were male. The mean age was 79±4.7 years. Approximately 102 (57%) patients were diagnosed with ST-segment elevation myocardial infarction (STEMI). Of all 125 (70%) underwent invasive coronary angiography, we found that 43 (24%) had significant single vessel disease (1VD), 29 (16.2%) had 2 vessel disease (2VD), and 41 (22.9%) had 3 vessel disease (3VD) or left main stenosis. During hospitalization 21 (11.7%) patients died, t-test analysis showed patients who died were significantly older (82±6.7 versus [vs.] 79±4.2 years, p=0.003). In addition we found that ejection fraction was lower in death group (30.2%±10.7) vs. (36.5%±1.1) in survivors, p=0.017); STEMI was more common in death group (90.5%) vs. (52.5%) in survivors, p=0.001); similarly, the prevalence of 3VD was higher in death group (38.1%) vs. (20.9%) in survivors, p=0.018). Importantly, PCI was not significantly different between death and survival groups (40% vs. 53.8%, p=0.177). A multivariate regression analysis demonstrated that predictors of death were: age (hazard ratio [HR], 1.214; 95% confidence interval [CI], 1.122-1.384; p<0.0001), intubation (HR, 10.106; 95% CI, 9.844-10.792; p<0.0001), and raised creatinine kinase-MB (CK-MB) (HR, 1.005; 95% CI, 1.002-1.013; p=0.04) predicted in hospital death. Conclusion: Older age, mechanical ventilation and raised CK-MB can significantly predict death in elderly patients (>75-year-old) diagnosed with ACS; nevertheless, PCI showed no survival benefits.
Symposium review: The uterine microbiome associated with the development of uterine disease in dairy cows.

Until 2010, our knowledge of the uterine microbiome in cows that developed uterine disease relied almost exclusively on culture-dependent studies and mostly included cows with clinical endometritis (i.e., with purulent uterine discharge). Those studies consistently found a strong positive correlation between Trueperella pyogenes and clinical endometritis, whereas other pathogens such as Escherichia coli, Fusobacterium necrophorum, Prevotella melaninogenica, and Bacteroides spp. were also commonly cocultured. In contrast, Streptococcus spp. , Staphylococcus spp. , and Bacillus spp. were usually isolated from healthy cows. Starting in 2010, culture-independent studies using PCR explored the microbiome of cows with metritis and clinical endometritis, and observed that E. coli was a pioneer pathogen that predisposed cows to infection with F. necrophorum, which was strongly associated with metritis, and to infection with T. pyogenes, which was strongly associated with clinical endometritis. Starting in 2011, culture-independent studies using metagenomic sequencing expanded our knowledge of the uterine microbiome. It has been shown that cows have bacteria in the uterus even before calving, they have an established uterine microbiome within 20 min of calving, and that the microbiome structure is identical between cows that develop metritis and healthy cows until 2 d postpartum, after which the bacterial structure of cows that developed metritis deviates in favor of greater relative abundance of Bacteroidetes and Fusobacteria and lesser relative abundance of Proteobacteria and Tenericutes. The shift in the uterine microbiome in cows that develop metritis is characterized by a loss of heterogeneity and a decrease in bacterial richness. At the genus level, Bacteroides, Porphyromonas, and Fusobacterium have the strongest association with metritis. At the species level, we observed that Bacteroides pyogenes, Porphyromonas levii, and Helcococcus ovis were potential emerging uterine pathogens. Finally, we have shown that the hematogenous route is a viable route of uterine infection with uterine pathogens. Herein, we propose that metritis is associated with a dysbiosis of the uterine microbiota characterized by decreased richness, and an increase in Bacteroidetes and Fusobacteria, particularly Bacteroides, Porphyromonas, and Fusobacterium.
RFreeStem: A multilanguage rule-free stemmer

With the large expansion of available textual data, text mining has become of special interest. Due to their unstructured nature, such data require important preprocessing steps. Among them, stemming is a popularly used preprocessing method that extracts the root of the words. However, the most popular algorithms are based on the application of rules, and therefore highly language-related. We propose a new approach, the RFreeStem, that is rather based on corpus and can therefore be applied on many languages. RÉSUMÉ. La grande disponibilité de données textuelles a rendu populaire les recherches de fouille de texte. Parmi les importants prétraitements nécessaires, la racinisation s’est imposé comme une étape incontournable. Pourtant, les algorithmes les plus utilisés sont basés sur l’application successives de règles. Cette construction les rend fortement dépendants de la langue d’application. Nous proposons ici une nouvelle approche, le RFreeStem, qui se base sur le corpus étudié et promet de pouvoir être appliqué à plusieurs langues.
Arabidopsis cyclic nucleotide-gated channel 6 is negatively modulated by multiple calmodulin isoforms during heat shock.

An increased concentration of cytosolic Ca2+ is an early response of plant cells to heat shock (HS). Arabidopsis thaliana cyclic nucleotide-gated ion channel 6 (CNGC6) mediates heat-induced Ca2+ influx and is activated by cyclic adenosine monophosphate. However, it remains unclear how Ca2+ conductivity of the CNGC6 is negatively regulated under the elevated concentration of cytosolic Ca2+. In this study, A. thaliana CaM1/4, CaM2/3/5, CaM6 and CaM7 isoforms were found to bind to CNGC6 in varying degrees, and this binding was dependent on the presence of Ca2+ and IQ6, an atypical isoleucine glutamine motif in CNGC6. Knockout of CaM2, CaM3, CaM5 and CaM7 genes led to a marked increase in plasma membrane (PM) inward Ca2+ current under HS conditions; however, knockout of CaM1, CaM4 and CaM6 genes had no significant effect on PM Ca2+ current. Moreover, the deletion of the IQ6 from CNGC6 led to a marked increase in PM Ca2+ current under HS conditions. Taken together, the data presented here suggest that the CNGC6-mediated Ca2+ influx is likely to be negatively regulated by CaM2/3/5 and CaM7 isoforms under HS conditions, and the IQ6 plays important roles in CaM binding and the feedback regulation of the channel.
Formell modellering av kravet til årsakssammenheng i norsk erstatningsrett

Sammendrag Vi formaliserer ulike tolkninger av kravet til årsakssammenheng i norsk erstatningsrett. Med dette viser vi at den rettslige definisjonen av en årsakssammenheng kan forstås på mange ulike måter, og at ulike forståelser kan presiseres ved hjelp av enkle formelle metoder. Et hovedpoeng er å vise at formell modellering kan brukes til å kaste lys over vanskelige problemstillinger som oppstår når vi skal ta stilling til skadelige hendelser med flere samvirkende årsaker.
Use of Social Mobilization and Community Mobilizers by Non-governmental Health Organizations in Malawi to Support the Eradication of Polio, Improve Routine Immunization Coverage, and Control Measles and Neonatal Tetanus

Abstract. Seventy-five percent of children aged 12–23 months in Malawi have received all eight basic vaccinations—still leaving many children at risk. The Malawi Expanded Program on Immunization comprehensive Multi-Year Plan 2016–2020 reveals several challenges impeding immunization and disease surveillance efforts, such as the fact that non-governmental health organizations (NGHOs) and communities are minimally included in the planning, implementation, and monitoring of these activities. This article examines the extent to which NGHOs are promoting the use of social mobilization (SM) and community mobilizers (CMs) for sharing health information related to the eradication of polio, the importance of routine immunization, and the control of measles and neonatal tetanus. Data collection involved document analysis and interviews with 11 organizations in Malawi whose work contributes to the eradication of polio and control of measles and neonatal tetanus. Content analysis was used to analyze the qualitative data, whereas descriptive statistics were used to analyze the quantitative data. Non-governmental health organizations use a variety of approaches for SM, including mass media campaigns (radio and printed booklets), local skits and dramas, and home visits. Most NGHOs use training workshops and opinion leaders to impart knowledge and skills to CMs on immunization to eradicate polio and to control measles and neonatal tetanus. Major challenges faced by the NGHOs include negative attitudes toward campaigns and demotivation of CMs due to lack of financial incentives. The article concludes with a discussion of approaches to strengthen SM and the role of CMs by NGHOs.
Essential Role of Histone Replacement and Modifications in Male Fertility

Spermiogenesis is a complex cellular differentiation process that the germ cells undergo a distinct morphological change, and the protamines replace the core histones to facilitate chromatin compaction in the sperm head. Recent studies show the essential roles of epigenetic events during the histone-to-protamine transition. Defects in either the replacement or the modification of histones might cause male infertility with azoospermia, oligospermia or teratozoospermia. Here, we summarize recent advances in our knowledge of how epigenetic regulators, such as histone variants, histone modification and their related chromatin remodelers, facilitate the histone-to-protamine transition during spermiogenesis. Understanding the molecular mechanism underlying the modification and replacement of histones during spermiogenesis will enable the identification of epigenetic biomarkers of male infertility, and shed light on potential therapies for these patients in the future.
Studentaktivisering gjennom bruk av hverandrevurdering for førstesemesters studenter i Canvas LMS: en forsøksstudie

Sammendrag I denne forsøksstudien har vi gjennomført hverandrevurdering på et førsteårsemne i informatikk. Hverandrevurdering fremheves i forskningen som en metode for å aktivisere studentene, og å styrke deres læring og metakognisjon. Ikke minst kan det å vurdere andres faglige prestasjoner være en måte for begynnerstudenter å utvikle innsikt i de faglige kriteriene og arbeidsmåtene i faget. Det kan også bidra til deres forståelse av egen læringsprosess og hvordan de best kan jobbe med studiene. Vi brukte Canvasfunksjonen Rubrics og SpeedGrader til å administrere hverandrevurdering av 524 studentbesvarelser. Det vi ønsket å undersøke var hvordan studentene erfarte denne typen læringsaktivitet; hvorvidt studentenes vurderinger var i tråd med faglærers vurdering; på hvilken måte og i hvilken grad hverandrevurderingen bidro til studentenes læring; samt hvordan data generert gjennom denne aktiviteten gir informasjon til faglærer som kunne brukes til å forbedre og tilpasse undervisningen. Til tross for enkelte tekniske mangler og utfordringer ga forsøket mange positive resultater.
A concise and efficient synthesis of amino-substituted (1H-benzo[d]imidazol-1-yl)pyrimidine hybrids: synthetic sequence and the molecular and supramolecular structures of six examples.

A concise and efficient synthesis of a series of amino-substituted benzimidazole-pyrimidine hybrids has been developed, starting from the readily available N4-(2-aminophenyl)-6-methoxy-5-nitrosopyrimidine-2,4-diamine. In each of N5-benzyl-6-methoxy-4-(2-phenyl-1H-benzo[d]imidazol-1-yl)pyrimidine-2,5-diamine, C25H22N6O, (I), 6-methoxy-N5-(4-methoxybenzyl)-4-[2-(4-methoxyphenyl)-1H-benzo[d]imidazol-1-yl]pyrimidine-2,5-diamine, C27H26N6O3, (III), 6-methoxy-N5-(4-nitrobenzyl)-4-[2-(4-nitrophenyl)-1H-benzo[d]imidazol-1-yl]pyrimidine-2,5-diamine, C25H20N8O5, (IV), the molecules are linked into three-dimensional framework structures, using different combinations of N-H.N, N-H.O, C-H.O, C-H.N and C-H. π hydrogen bonds in each case. Oxidative cleavage of 6-methoxy-N5-(4-methylbenzyl)-4-[2-(4-methylphenyl)-1H-benzo[d]imidazol-1-yl]pyrimidine-2,5-diamine, (II), with diiodine gave 6-methoxy-4-[2-(4-methylphenyl)-1H-benzo[d]imidazol-1-yl]pyrimidine-2,5-diamine, which crystallized as a monohydrate, C19H18N6O·H2O, (V), and reaction of (V) with trifluoroacetic acid gave two isomeric products, namely N-{5-amino-6-methoxy-6-[2-(4-methylphenyl)-1H-benzo[d]imidazol-1-yl]pyrimidin-2-yl}-2,2,2-trifluoroacetamide, which crystallized as an ethyl acetate monosolvate, C21H17F3N6O2·C4H8O2, (VI), and N-{2-amino-6-methoxy-4-[2-(4-methylphenyl)-1H-benzo[d]imidazol-1-yl]pyrimidin-5-yl}-2,2,2-trifluoroacetamide, which crystallized as a methanol monosolvate, C21H17F3N6O2·CH4O, (VIIa). For each of (V), (VI) and (VIIa), the supramolecular assembly is two-dimensional, based on different combinations of O-H.N, N-H.O, N-H.N, C-H.O and C-H. π hydrogen bonds in each case. Comparisons are made with some related structures.
Pomalidomide plus low‐dose dexamethasone in relapsed refractory multiple myeloma after lenalidomide treatment failure

Patients with relapsed/refractory multiple myeloma (RRMM) for whom the benefits of lenalidomide have been exhausted in early treatment lines need effective therapies. In cohort A of the phase 2 MM‐014 trial, we examined the safety and efficacy of pomalidomide plus low‐dose dexamethasone immediately after lenalidomide‐based treatment failure in patients with RRMM and two prior lines of therapy. Pomalidomide 4 mg was given on days 1 to 21 of 28‐day cycles. Dexamethasone 40 mg (20 mg for patients aged >75 years) was given on days 1, 8, 15 and 22 of 28‐day cycles. The primary endpoint was overall response rate (ORR), and secondary endpoints included progression‐free survival (PFS), overall survival (OS) and safety. The intention‐to‐treat population comprised 56 patients; all received prior lenalidomide (87·5% lenalidomide refractory) and 39 (69·6%) received prior bortezomib. ORR was 32·1% (28·2% in the prior‐bortezomib subgroup). Median PFS was 12·2 months (7·9 months in the prior‐bortezomib subgroup). Median OS was 41·7 months (38·6 months in the prior‐bortezomib subgroup). The most common grade 3/4 treatment‐emergent adverse events were anaemia (25·0%), pneumonia (14·3%) and fatigue (14·3%). These findings support earlier sequencing of pomalidomide‐based therapy in lenalidomide‐pretreated patients with RRMM, including those who have become refractory to lenalidomide.
Developmental Trajectories of Infants With Multiplex Family Risk for Autism: A Baby Siblings Research Consortium Study.

Importance Autism spectrum disorder (ASD) is a neurodevelopmental disorder associated with different genetic etiologies. Prospective examination of familial-risk infants informs understanding of developmental trajectories preceding ASD diagnosis, potentially improving early detection. Objective To compare outcomes and trajectories associated with varying familial risk for ASD across the first 3 years of life. Design, Setting, and Participants This longitudinal, prospective cohort study used data from 11 sites in the Baby Siblings Research Consortium database. Data were collected between 2003 and 2015. Infants who were younger siblings of children with ASD were followed up for 3 years. Analyses were conducted in April 2018. Of the initial 1008 infants from the database, 573 were removed owing to missing necessary data, diagnostic discrepancies, or only having 1 older sibling. Exposures Number of siblings with ASD. Main Outcomes and Measures Outcomes included ASD symptoms, cognitive abilities, and adaptive skills. Diagnosis (ASD or no ASD) was given at 36-month outcome. The no-ASD group was classified as atypical (developmental delays and/or social-communication concerns) or typical for some analyses. Generalized linear mixed models examined developmental trajectories by ASD outcome and familial-risk group. Results In the 435 analyzed participants (age range at outcome, 32-43 months; 246 male [57%]), 355 (82%) were from single-incidence families (1 sibling with ASD and ≥1 sibling without ASD) and 80 (18%) were from multiplex families (≥2 siblings with ASD). There were no significant group differences in major demographics. Children from multiplex families were more likely than those from single-incidence families to be classified as having ASD (29 of 80 [36%] vs 57 of 355 [16%]; 95% CI, 9%-31%; P < .001) and less likely as typical (26 of 80 [33%] vs 201 of 355 [57%]; 95% CI, -36% to -13%; P < .001), with similar rates of atypical classifications (25 of 80 [31%] vs 97 of 355 [27%]; 95% CI, -7% to 15%; P = .49). There were no differences in ASD symptoms between multiplex and single-incidence groups after controlling for ASD outcome (95% CI, -0.02 to 0.20; P = .18). During infancy, differences in cognitive and adaptive abilities were observed based on ASD outcome in the single-incidence group only. At 36 months, the multiplex/no-ASD group had lower cognitive abilities than the single-incidence/no-ASD group (95% CI, -11.89 to -2.20; P = .02), and the multiplex group had lower adaptive abilities than individuals in the single-incidence group after controlling for ASD outcome (95% CI, -9.01 to -1.48; P = .02). Conclusions and Relevance Infants with a multiplex family history of ASD should be monitored early and often and referred for early intervention at the first sign of concern. Direct examination of genetic contributions to neurodevelopmental phenotypes in infants with familial risk for ASD is needed.
Language and creativity: a Construction Grammar approach to linguistic creativity

Abstract Creativity is an important evolutionary adaptation that allows humans to think original thoughts, to find solutions to problems that have never been encountered before and to fundamentally change the way we live. One particular domain of human cognition that has received considerable attention is linguistic creativity. The present paper discusses how the leading cognitive linguistic theory, Construction Grammar, can provide an explanatory account of creativity that goes beyond the issue of linguistic productivity. At the same time, it also outlines how Construction Grammar can benefit from insights from Conceptual Blending.