Miracle-dz/UniFAR-FTUs huggingface dataset:
Neuro-Symbolic Constraint Programming for Structured Prediction

We propose Nester, a method for injecting neural networks into constrained structured predictors. The job of the neural network(s) is to compute an initial, raw prediction that is compatible with the input data but does not necessarily satisfy the constraints. The structured predictor then builds a structure using a constraint solver that assembles and corrects the raw predictions in accordance with hard and soft constraints. In doing so, Nester takes advantage of the features of its two components: the neural network learns complex representations from low-level data while the constraint programming component reasons about the high-level properties of the prediction task. The entire architecture can be trained in an end-to-end fashion. An empirical evaluation on handwritten equation recognition shows that Nester achieves better performance than both the neural network and the constrained structured predictor on their own, especially when training examples are scarce, while scaling to more complex problems than other neuro-programming approaches. Nester proves especially useful to reduce errors at the semantic level of the problem, which is particularly challenging for neural network architectures.Sub
A survey on recommendation in process mining

Recommender systems have been widely applied in several domains to make informed decisions by recommending items that might be of interest. Considering recommendation during business process execution is also highly advantageous as the efficient suggestions about possible activities or resources can impact process performance. However, the deployment of the recommendation frameworks in process mining still needs more investigations to identify the current challenges to enable the practical application of research findings and ensure a large‐scale adoption of this technique. Accordingly, a systematic review is conducted to provide a taxonomy of the published studies on process‐aware recommender systems based on specified criteria, including the type and perspective of recommendation, a list of datasets and evaluation metrics used in the setting of PARS, implementation environments, and different algorithms used in PARS. In this regard, there are various insights extracted from this study: (i) Most studies in the business process analysis domain are of descriptive and predictive nature, (ii) recommendation in process mining is an emerging research area that is being evolving; the majority of proposals relate to 2015 and after that, and (iii) due to the lack of common evaluation protocol, datasets, and metrics, most studies are validated through experiments and prototyping, with less tendency to the practical implementation of a solution regarding real scenarios.
CloneBot: Personalized Dialogue-Response Predictions

Our project task was to create a model that, given a speaker ID, chat history, and an utterance query, can predict the response utterance in a conversation. The model is personalized for each speaker. This task can be a useful tool for building speech bots that talk in a human-like manner in a live conversation. Further, we succeeded at using dense-vector encoding clustering to be able to retrieve relevant historical dialogue context, a useful strategy for overcoming the input limitations of neural-based models when predictions require longer-term references from the dialogue history. In this paper, we have implemented a state-of-the-art model using pre-training and fine-tuning techniques built on transformer architecture and multi-headed attention blocks for the Switchboard corpus. We also show how efficient vector clustering algorithms can be used for real-time utterance predictions that require no training and therefore work on offline and encrypted message histories.
Static and Dynamic Failure Localization through Progressive Network Tomography

We aim at assessing the states of the nodes in a network by means of end-to-end monitoring paths. The contribution of this paper is twofold. First, we consider a static failure scenario. In this context, we aim at minimizing the number of probes to obtain failure identification. To face this problem, we propose a progressive approach to failure localization based on stochastic optimization, whose solution is the optimal sequence of monitoring paths to probe. We address the complexity of the problem by proposing a greedy strategy in two variants: one considers exact calculation of posterior probabilities of node failures, given the observation, whereas the other approximates these values by means of a novel failure centrality metric. Secondly, we adapt these two strategies to a dynamic failure scenario where nodes states can change throughout a monitoring period. By means of numerical experiments conducted on real network topologies, we demonstrate the practical applicability of our approach. Our performance evaluation evidences the superiority of our algorithms with respect to state of the art solutions based on classic Boolean Network Tomography as well as approaches based on sequential group testing.
Surface modification of polymers by reduction of diazonium salts: polymethylmethacrylate as an example

This paper describes the grafting of diazonium salts on polymethylmethacrylate (PMMA), a polymer of wide use. Diazonium salts have been grafted by reduction with hypophosphorous acid, or by thermal decomposition. The nanometer thick films have been characterized by IR, XPS and water contact angle and the thickness of the film estimated. With long chain perfluoroalkyl substitutents on the aryldiazonium group a water contact angle of 108° can be obtained on the smooth polymer, highlighting a hydrophobic surface. This process could be useful for modifying the PMMA surface when used as a glass substitute or as a substrate for microfluidic devices.
An expanding manifold in transmodal regions characterizes adolescent reconfiguration of structural connectome organization

Adolescence is a critical time for the continued maturation of brain networks. Here, we assessed structural connectome development in a large longitudinal sample ranging from childhood to young adulthood. By projecting high-dimensional connectomes into compact manifold spaces, we identified a marked expansion of structural connectomes, with strongest effects in transmodal regions during adolescence. Findings reflected increased within-module connectivity together with increased segregation, indicating increasing differentiation of higher-order association networks from the rest of the brain. Projection of subcortico-cortical connectivity patterns into these manifolds showed parallel alterations in pathways centered on the caudate and thalamus. Connectome findings were contextualized via spatial transcriptome association analysis, highlighting genes enriched in cortex, thalamus, and striatum. Statistical learning of cortical and subcortical manifold features at baseline and their maturational change predicted measures of intelligence at follow-up. Our findings demonstrate that connectome manifold learning can bridge the conceptual and empirical gaps between macroscale network reconfigurations, microscale processes, and cognitive outcomes in adolescent development.
Hypothesis of zinc ascorbate as best zinc ionophore for raising antiviral resistance against Covid‐19

Highlights Zinc ascorbate could prevent and treat Covid‐19 by raising antiviral resistance to SARS‐CoV‐2 virus via increase of intracellular zinc concentration as a zinc ionophore more than other salts of zinc or zinc with vitamin C. Tests in vitro and clinical trials for Covid‐19 prevention and treatment with zinc ascorbate are strongly recommended and should start as soon as possible. Potential advantages of zinc ascorbate supplementation over vaccines and drugs are also discussed, with supplementation suggestions.
New functions of a known autophagy regulator: VCP and autophagy initiation

ABSTRACT VCP, a conserved ATPase, is involved in several cellular processes, and mutations in this protein are associated with various diseases. VCP also plays a role in autophagosome maturation. However, because a deficiency in autophagosome maturation presents a readily observable phenotype, other roles of VCP in autophagy regulation, in particular in the initial steps of autophagosome formation, may have been overlooked. In a recently published paper, using small-molecule inhibitors, Hill et al. showed that VCP regulates autophagy initiation through both stabilization of BECN1 and enhancement of phosphati-dylinositol 3-kinase (PtdIns3K) complex assembly.
Relationships between highly recurrent tumor suppressor alterations in 489 leiomyosarcomas

Leiomyosarcoma (LMS) is the most common soft tissue and uterine sarcoma, but no standard therapy is available for recurrent or metastatic LMS. TP53, p16/RB1, and PI3K/mTOR pathway dysregulations are recurrent events, and some LMS express estrogen receptor (ER) and/or progesterone receptor (PR). To characterize relationships between these pathway perturbations, the authors evaluated protein expression in soft tissue and uterine nonprimary leiomyosarcoma (np‐LMS), including local recurrences and distant metastases.
Results of a Dose‐Finding Phase 1b Study of Subcutaneous Atezolizumab in Patients With Locally Advanced or Metastatic Non–Small Cell Lung Cancer

Intravenous (IV) atezolizumab is approved for non–small cell lung and other cancers. Subcutaneous (SC) atezolizumab coformulated with recombinant human hyaluronidase, a permeation enhancer for SC dispersion and absorption, is being developed to improve treatment options, reduce burden, and increase efficiency for patients and practitioners. IMscin001 (NCT03735121), a 2‐part, open‐label, global, multicenter, phase 1b/3 study, is evaluating the pharmacokinetics (PK), safety, and efficacy of SC atezolizumab. The part 1 (phase 1b) objective was determination of an SC atezolizumab dose yielding a serum trough concentration (Ctrough) comparable with IV. Patients enrolled in 3 cohorts received SC atezolizumab 1800 mg (thigh) once (cohort 1), 1200 mg (thigh) every 2 weeks for 3 cycles (cohort 2), or 1800 mg (abdomen) every 3 weeks cycle 1, then cycles 2 and 3 (thigh) every 3 weeks (cohort 3). In subsequent cycles, IV atezolizumab 1200 mg every 3 weeks was administered until loss of clinical benefit. SC atezolizumab 1800 mg every 3 weeks and 1200 mg every 2 weeks provided similar Ctrough and area under the curve values in cycle 1 to the corresponding IV atezolizumab reference, was well tolerated, and exhibited a safety profile consistent with the established IV formulation. Exposure following SC injection in the abdomen was lower (20%, 28%, and 27% for Ctrough, maximum concentration, and area under the concentration‐time curve from time 0 to day 21, respectively) than in the thigh. Part 1 SC and IV PK data were analyzed using a population PK modeling approach, followed by simulations. Part 2 (phase 3) will now be initiated to demonstrate that SC atezolizumab PK exposure is not lower than that of IV.
ZINC MOVEMENT IN SEWAGE‐SLUDGE-TREATED SOILS AS INFLUENCED BY SOIL PROPERTIES, IRRIGATION WATER QUALITY, AND SOIL MOISTURE LEVEL

A soil column study was conducted to assess the movement of Zn in sewage-sludge-amended soils. Variables investigated were soil properties, irrigation water quality, and soil moisture level. Bulk samples of the surface layer of six soil series were packed into columns, 10.2 cm in diameter and 110 cm in length. An anaer-obically digested municipal sewage sludge was incorporated into the top 20 cm of each column at a rate of 300 mg ha−1. The columns were maintained at moisture levels of saturation and unsaturation and were leached with two waters of different quality. At the termination of leaching, the columns were cut open and the soil was sectioned and analyzed. Zinc movement was evaluated by mass balance accounting and correlation and regression analysis. Zinc movement in the unsaturated columns ranged from 3 to 30 cm, with a mean of 10 cm. The difference in irrigation water quality did not have an effect on Zn movement. Most of the Zn applied to the unsaturated columns remained in the sludge-amended soil layer (96.1 to 99.6%, with a mean of 98.1%). The major portion of Zn leached from the sludge-amended soil layer accumulated in the 0− to 3-cm depth (35.7 to 100%, with a mean of 73.6%). The mean final soil pH values decreased in the order: saturated columns = sludge-amended soil layer > untreated soils > unsaturated columns. Total Zn leached from the sludge-amended soil layer was correlated negatively at P = 0.001 with final pH (r = −0.85). Depth of Zn movement was correlated negatively at P = 0.001 with final pH (r = −0.91). Multiple linear regression analysis showed that the final pH accounted for 72% of the variation in the total amounts of Zn leached from the sludge-amended soil layer of the unsaturated columns and accounted for 82% of the variation in the depth of Zn movement among the unsaturated columns. A significant correlation was not found between Zn and organic carbon in soil solutions, but a negative correlation significant at P = 0.001 was found between pH and Zn (r = −0.61).
Efficacy and Safety of Dapagliflozin in Men and Women With Heart Failure With Reduced Ejection Fraction: A Prespecified Analysis of the Dapagliflozin and Prevention of Adverse Outcomes in Heart Failure Trial.

Importance Women may respond differently to certain treatments for heart failure (HF) with reduced ejection fraction (HFrEF) than men. Objective To investigate the efficacy and safety of dapagliflozin compared with placebo in men and women with HFrEF enrolled in the Dapagliflozin and Prevention of Adverse Outcomes in Heart Failure trial (DAPA-HF). Design, Setting, and Participants Prespecified subgroup analysis of a phase 3 randomized clinical trial conducted at 410 sites in 20 countries. Patients with New York Heart Association functional class II through IV with an ejection fraction of 40% or less and elevated N-terminal pro-B-type natriuretic peptide were eligible. Data were analyzed between June 2020 and January 2021. Interventions Addition of once-daily 10 mg of dapagliflozin or placebo to guideline-recommended therapy. Main Outcomes and Measures The primary outcome was the composite of an episode of worsening HF (HF hospitalization or urgent HF visit requiring intravenous therapy) or cardiovascular death. Results A total of 4744 patients were randomized in DAPA-HF, of whom 1109 were women (23.4%). Compared with placebo, dapagliflozin reduced the risk of worsening HF events or cardiovascular death to a similar extent in both men and women (hazard ratios, 0.73 [95% CI, 0.63-0.85] and 0.79 [95% CI, 0.59-1.06], respectively; P for interaction = .67). Consistent benefits were observed for the components of the primary outcome and all-cause mortality. Compared with placebo, dapagliflozin increased the proportion of patients with a meaningful improvement in symptoms (Kansas City Cardiomyopathy Questionnaire total symptom score of ≥5 points; men, 59% vs 50%; women, 57% vs 54%; P for interaction = .14) and decreased the proportion with worsening symptoms (Kansas City Cardiomyopathy Questionnaire total symptom score decrease of ≥5 points; men, 25% vs 34%; women, 27% vs 31%; P for interaction = .15), irrespective of sex. Results were consistent for the Kansas City Cardiomyopathy Questionnaire clinical summary score and overall summary score. Study drug discontinuation and serious adverse events were not more frequent in the dapagliflozin group than in the placebo group in either men or women. Conclusions and Relevance Dapagliflozin reduced the risk of worsening HF, cardiovascular death, and all-cause death and improved symptoms, physical function, and health-related quality of life similarly in men and women with heart failure and reduced ejection fraction. In addition, dapagliflozin was safe and well-tolerated irrespective of sex. Trial Registration ClinicalTrials.gov Identifier: NCT03036124.
Dramatically Enhanced Fluorescence of Heteroaromatic Chromophores upon Insertion as Spacers into Oligo(triacetylene)s

In continuation of a previous study on the modulation of π-electron conjugation of oligo(triacetylene)s by insertion of central hetero-spacer fragments between two (E)-hex-3-ene-1,5-diyne ((E)-1,2-diethynylethene, DEE) moieties (Fig. 1), a new series of trimeric hybrid oligomers (14–18 and 22–24, Fig. 2) were prepared (Schemes 1–3). Spacers used were both electron-deficient (quinoxaline-based heterocycles, pyridazine) and electron-rich (2,2′-bithiophene, 9,9-dioctyl-9H-fluorene) chromophores. With 19–21 (Scheme 4), a series of transition metal complexes was synthesized as potential precursors for nanoscale scaffolding based on both covalent acetylenic coupling and supramolecular assembly. The UV/VIS spectra (Fig. 3) revealed that the majority of spacers provided hetero-trimers featuring extended π-electron delocalization. The new hybrid chromophores show a dramatically enhanced fluorescence compared with the DEE dimer 13 and homo-trimer 12 (Fig. 5). This increase in emission intensity appears as a general feature of these systems: even if the spacer molecule is non-fluorescent, the corresponding hetero-trimer may show a strong emission (Table 2). The redox properties of the new hybrid chromophores were determined by cyclic voltammetry (CV) and rotating-disk voltammetry (RDV) (Table 3 and Fig. 5). In each case, the first one-electron reduction step in the hetero-trimers appeared anodically shifted compared with DEE dimer 13 and homo-trimer 12. With larger spacer chromophore extending into two dimensions (as in 14–18, Fig. 2), the anodic shift (by 240–490 mV, Table 3) seems to originate from inductive effects of the two strongly electron-accepting DEE substituents rather than from extended π-electron conjugation along the oligomeric backbone, as had previously been observed for DEE-substituted porphyrins.
Scoping review: Development and assessment of evaluation frameworks of mobile health apps for recommendations to consumers

Abstract Objective The study sought to review the different assessment items that have been used within existing health app evaluation frameworks aimed at individual, clinician, or organizational users, and to analyze the scoring and evaluation methods used in these frameworks. Materials and Methods We searched multiple bibliographic databases and conducted backward searches of reference lists, using search terms that were synonyms of “health apps,” “evaluation,” and “frameworks. ” The review covered publications from 2011 to April 2020. Studies on health app evaluation frameworks and studies that elaborated on the scaling and scoring mechanisms applied in such frameworks were included. Results Ten common domains were identified across general health app evaluation frameworks. A list of 430 assessment criteria was compiled across 97 identified studies. The most frequently used scaling mechanism was a 5-point Likert scale. Most studies have adopted summary statistics to generate the total scoring of each app, and the most popular approach taken was the calculation of mean or average scores. Other frameworks did not use any scaling or scoring mechanism and adopted criteria-based, pictorial, or descriptive approaches, or “threshold” filter. Discussion There is wide variance in the approaches to evaluating health apps within published frameworks, and this variance leads to ongoing uncertainty in how to evaluate health apps. Conclusions A new evaluation framework is needed that can integrate the full range of evaluative criteria within one structure, and provide summative guidance on health app rating, to support individual app users, clinicians, and health organizations in choosing or recommending the best health app.
Initial Development of a Situation-based Measure of Emerging Adults' Social Competence in their Same-gender Friendships.

This paper describes the development of a situation-based tool to assess emerging adults' social competence with same-gender friends, providing information about (1) challenges occurring in these relationships, (2) the behaviors used to manage these situations, and (3) the perceived effectiveness of these strategies. Undergraduates (N = 747; 409 women; Mage = 20.16, SD = 1.43) participated in five studies. Transgressions, conflicts of interest, and support situations emerged as key challenges, and emerging adults reported using aggressive, assertive, avoidant, and apologizing behaviors to manage these situations. In general, apologizing and assertive behaviors were judged more effective than aggressive or avoidant behaviors. Results yielded the Inventory of Friendship Challenges for Emerging Adults (IFCEA), which showed expected associations with measures of interpersonal behavior.
Semaphorin 4D as a guidance molecule in the immune system

Abstract Semaphorin 4D (Sema4D) is a classic member of the semaphorin family involved in axonal guidance processes. The key effects of Sema4D in neurons are mediated by high affinity plexin receptors and are associated with cytoskeleton rearrangement, leading to growth cone collapse or regulation of cell migration. Along with this, the semaphorin is widely represented in the immune system and has a pronounced immunoregulatory activity. The involvement of Sema4D in the control of immune cell migration was shown almost twenty years ago, in one of the first studies of semaphorin. The emergence of such work was quite predictable, since the most well-known effects of Sema4D outside the immune system were associated precisely with the control of cell motility. However, after identification of CD72 as a specific Sema4D receptor in the immune system, studies of the immunoregulatory activity of semaphorin focused on its CD72-dependent effects unrelated to cytoskeleton rearrangement, and this trend continues up to now. Nevertheless, a number of recent studies demonstrating the presence of plexin receptors for Sema4D in the immune system forces us to return to the question of whether this semaphorin can play its classic role of a guidance molecule in relation to immune cells too. The review discusses Sema4D involvement in the control of immune cell migration, as well as the mechanisms of these effects and their potential contribution to the development and function of immune system.
Zebrafish as a tractable model of human cardiovascular disease

Mammalian models including non‐human primates, pigs and rodents have been used extensively to study the mechanisms of cardiovascular disease. However, there is an increasing desire for alternative model systems that provide excellent scientific value while replacing or reducing the use of mammals. Here, we review the use of zebrafish, Danio rerio, to study cardiovascular development and disease. The anatomy and physiology of zebrafish and mammalian cardiovascular systems are compared, and we describe the use of zebrafish models in studying the mechanisms of cardiac (e.g. congenital heart defects, cardiomyopathy, conduction disorders and regeneration) and vascular (endothelial dysfunction and atherosclerosis, lipid metabolism, vascular ageing, neurovascular physiology and stroke) pathologies. We also review the use of zebrafish for studying pharmacological responses to cardiovascular drugs and describe several features of zebrafish that make them a compelling model for in vivo screening of compounds for the treatment cardiovascular disease.