Miracle-dz/UniFAR-FTUs huggingface dataset:
Brazilian Portuguese Version of the Amputee Body Image Scale: Cultural Adaptation and a Psychometric Analysis

Body image adjustments after a limb loss are essential to rehabilitation. This study evaluated the psychometric properties of the Brazilian Portuguese version of the Amputee Body Image Scale (ABIS). We analyzed data from a nonprobability sample of 100 participants (71% men, mean age 48.26 ± 18.35 years) by using a confirmatory factor analysis with partial least square path modeling. We evaluated the structural model by using Pearson’s coefficient of determination, path coefficients, indicator of Stone-Geisser, and Cohen’s indicator. We evaluated item factor loadings and average variance extracted for model measurement. We tested the internal consistency with Cronbach’s α test and composite reliability and evaluated the discriminant validity by adopting Fornell and Larcker (1981) criteria. We tested the original and a new three-factor model and performed correlational and variance analyses as additional tests. The new three-factor theoretical model had stronger structural support and better discriminant and convergent validities than the original three-factor model. The ABIS total score was inversely correlated with body appreciation. There were significant body image score differences between the groups of sedentary and physically active amputees and among those with differences in years since amputation, but there were no differences between those with different causes of amputation nor for those with different amputated limbs.
The gut microbiota and immune checkpoint inhibitors

ABSTRACT Although immunotherapy has been remarkably effective across multiple cancer types, there continues to be a significant number of non-responding patients. A possible factor proposed to influence the efficacy of immunotherapies is the gut microbiome. We discuss the results and implications of recent research on the relationship between the gut microbiome, our immune systems, and immune checkpoint inhibitor therapies including anti-CTLA-4 Ab and anti-PD-1 Ab. While the investigations all exhibit interesting results and conclusions, we find little congruence in the specific bacteria that were found favorable for antitumor responses. It is unclear whether the inconsistencies are due to differential approaches in study design (pre-clinical or clinical subjects, anti-CTLA-4 Ab or anti-PD-1 Ab), experimental methods and measurements (metagenomics sequencing and clustering variations) or subject population dynamics (differential cancer types and baseline characteristics). Moreover, we note studies regarding particular bacterial commensals and autoimmune diseases, which challenge findings from these investigations. We conclude that with the current research, clinical investigators can appreciate the critical role of gut microbiota in mediating immunostimulant response. However, prospective research exploring the biochemical mechanisms which commensal bacteria communicate with each other and the immune system is imperative to understand how they can be adjusted properly for higher immunotherapy response.
A monadic framework for relational verification: applied to information security, program equivalence, and optimizations

Relational properties describe multiple runs of one or more programs. They characterize many useful notions of security, program refinement, and equivalence for programs with diverse computational effects, and they have received much attention in the recent literature. Rather than developing separate tools for special classes of effects and relational properties, we advocate using a general purpose proof assistant as a unifying framework for the relational verification of effectful programs. The essence of our approach is to model effectful computations using monads and to prove relational properties on their monadic representations, making the most of existing support for reasoning about pure programs. We apply this method in F* and evaluate it by encoding a variety of relational program analyses, including information flow control, program equivalence and refinement at higher order, correctness of program optimizations and game-based cryptographic security. By relying on SMT-based automation, unary weakest preconditions, user-defined effects, and monadic reification, we show that, compared to unary properties, verifying relational properties requires little additional effort from the F* programmer.
Diagnostic Challenge of Staging Metastatic Bone Disease in the Morbidly Obese Patients: A Primary Study Evaluating the Usefulness of 18F-Sodium Fluoride (NaF) PET-CT

Purpose Optimizing diagnostic imaging may be challenging in obese patients. The quality of conventional bone scintigraphy can be poor in the morbidly obese due to a combination of factors including high background soft tissue activity. In comparison, sodium fluoride (18F-NaF PET-CT) has a better target-to-background ratio attributed to rapid single-pass extraction and fast clearance from the soft tissues. The aim of the present study is to assess the diagnostic efficacy of 18F-NaF PET-CT in the evaluation of bone metastases in obese cancer patients. Patients and Methods Two hundred twelve morbidly obese patients (body mass index, 45 ± 5.1 kg/m2; mean age, 57 years; range, 32–81 years) with body mass index greater than 40 kg/m2 referred for NaF PET-CT for osseous staging of malignancy were retrospectively analyzed. All patients underwent PET-CT scan by injecting 2.2 MBq/kg (0.06 mCi/kg) of 18F-NaF. Results 18F-NaF PET-CT was definitely benign in 145, possibly benign in 3, equivocal in 4, possibly malignant in 13, and definitely malignant in 47 patients. The sensitivity, specificity, positive predictive value, negative predictive value, and accuracy of 18F-NaF PET-CT were 93.1%, 96.1%, 90%, 97.3%, and 95.2%, respectively (95% confidence interval). Conclusions The results of the present study indicate that 18F-NaF PET-CT retains its high diagnostic accuracy in morbidly obese patients and, by inference, can be a preferred functional modality in these patients.
Experimental comparison of two quantum computing architectures

Significance Quantum computers are an emerging technology promising to be vastly more powerful at solving certain problems than any conventional computer. These devices are now moving out of the laboratory and becoming generally programmable. This allows identical quantum tasks or algorithms to be implemented on radically different technologies to inform further development and scaling. We run a series of algorithms on the two leading platforms: trapped atomic ions and superconducting circuits. Whereas the superconducting system offers faster gate clock speeds and a solid-state platform, the ion-trap system features superior qubits and reconfigurable connections. The performance of these systems is seen to reflect the topology of connections in the base hardware, supporting the idea that quantum computer applications and hardware should be codesigned. We run a selection of algorithms on two state-of-the-art 5-qubit quantum computers that are based on different technology platforms. One is a publicly accessible superconducting transmon device (www.research.ibm.com/ibm-q) with limited connectivity, and the other is a fully connected trapped-ion system. Even though the two systems have different native quantum interactions, both can be programed in a way that is blind to the underlying hardware, thus allowing a comparison of identical quantum algorithms between different physical systems. We show that quantum algorithms and circuits that use more connectivity clearly benefit from a better-connected system of qubits. Although the quantum systems here are not yet large enough to eclipse classical computers, this experiment exposes critical factors of scaling quantum computers, such as qubit connectivity and gate expressivity. In addition, the results suggest that codesigning particular quantum applications with the hardware itself will be paramount in successfully using quantum computers in the future.
How do developers react to API evolution? The Pharo ecosystem case

Software engineering research now considers that no system is an island, but it is part of an ecosystem involving other systems, developers, users, hardware, . When one system (e.g., a framework) evolves, its clients often need to adapt. Client developers might need to adapt to functionalities, client systems might need to be adapted to a new API, client users might need to adapt to a new User Interface. The consequences of such changes are yet unclear, what proportion of the ecosystem might be expected to react, how long might it take for a change to diffuse in the ecosystem, do all clients react in the same way? This paper reports on an exploratory study aimed at observing API evolution and its impact on a large-scale software ecosystem, Pharo, which has about 3,600 distinct systems, more than 2,800 contributors, and six years of evolution. We analyze 118 API changes and answer research questions regarding the magnitude, duration, extension, and consistency of such changes in the ecosystem. The results of this study help to characterize the impact of API evolution in large software ecosystems, and provide the basis to better understand how such impact can be alleviated.
High WAVE3 expression correlates with proliferation, migration and invasion in human ovarian cancer

Background Wiskott-Aldrich syndrome verprolin-homologous (WAVE) 3, a member of the WASP/WAVE family of proteins, plays a critical role in cell motility and acts as an oncogene in some human cancers, but no sufficient information available to illustrate its involvement in ovarian cancer tumorigenesis and progression. Methods The expression of WAVE3 in human ovarian cancer and normal tissue was analyzed by immunohistochemistry. WAVE3 gene and protein expression in different human ovarian cancer cell lines was tested by RT-PCR and western blotting. Stable cells of WAVE3-knockdown in SKOV3 cells or transfected high expression in A2780 cells were constructed. The WAVE3 expression and its correlation with MMPs, p38 MAPK and other factors were studied. The relationship between WAVE3 and oncogenicity in vivo was also evaluated by nude mice xenograft model. Results Immunohistochemistry staining showed the highest WAVE3 expression in ovarian cancer metastases, high in ovarian cancer and weak in normal. In different cell lines, SKOV3 cells showed the highest WAVE3 expression, A2780 cells expressed the lowest. Elevated WAVE3 expression in A2780 cells promoted proliferation and decreased apoptosis, increased the cell number in G2/M phase and promoted migration significantly. Correspondingly, knockdown of WAVE3 in SKOV3 cells showed opposite effects. The WAVE3 expression showed positive correlation with MMPs, NF-κB, COX-2, VEGF and phospho-p38 MAPK, but not p38. The high expression of WAVE3 promoted tumorigenesis in vivo. Conclusions Our results suggested that WAVE3 may be pivotal in ovarian cancer cell motility, invasion and oncogenesis, which might be related with MMPs production and p38 MAPK pathway.
Monocyte subset distribution is associated with mortality in critically ill patients

Summary Although patients admitted to an intensive care unit (ICU) suffer from various pathologies, many develop a systemic inflammatory response syndrome (SIRS). As key regulators of innate immunity, monocytes may be crucially involved in SIRS development. Monocytes can be distinguished into three subsets: Classical monocytes (CD14++CD16−; CM), non-classical monocytes (CD14+CD16++CCR2−; NCM) and intermediate monocytes (CD14++CD16+CCR2+; IM). The aim of this prospective, observational study was to analyse whether monocyte subset distribution is associated with 30-day survival in critically ill patients. A total of 195 consecutive patients admitted to a cardiac ICU at a tertiary-care centre were enrolled, blood was taken at admission and after 72 hours and monocyte subset distribution was analysed. Mean APACHE II score was 19.5 ± 8.1 and 30-day mortality was 25.4 %. At admission, NCM were significantly lower in non-survivors as compared to survivors [2.7 (0.4–5.5) vs 4.2 (1.6–7.5)%; p=0.012] whereas CM and IM did not differ according to 30-day survival. In contrast, 72 hours after admission, monocyte subset distribution shifted towards an increased proportion of IM [8.2 (3.9–13.2) vs 4.2 (2.3–7.9)%; p=0.003] with a concomitant decrease of CM [86.9 (78.6–89.2) vs 89.6 (84.9–93.1)%; p=0.02] in non-survivors vs survivors, respectively. NCM at day 3 were not associated with death at 30 days. These results were independent from age, gender, CRP, APACHE II score and primary diagnosis. In conclusion, circulating monocyte subsets are associated with 30-day mortality in critically ill patients. The innate immune system as reflected by monocyte subset distribution may play a major role in ICU outcome despite varying admittance pathologies. Supplementary Material to this article is available online at www.thrombosis-online.com.
Primary cutaneous perivascular epithelioid cell tumor (PEComa): Five new cases and review of the literature

PEComas represent a family of uncommon mesenchymal tumors composed of “perivascular epithelioid cells” with a distinct immunophenotype that typically shows both myogenic and melanocytic differentiation. The PEComa family includes angiomyolipoma (AML), clear cell “sugar” tumor of the lung and extra pulmonary sites, lymphangioleiomyomatosis and clear cell myomelanocytic tumor of the falciform ligament/ligamentum teres. Very rarely, PEComas may arise in the skin. Primary cutaneous PEComas typically display a dermal proliferation of epithelioid cells with pale, clear, or granular pink cytoplasm arranged in nests and trabecula with an intervening arborizing network of delicate capillaries. Primary cutaneous PEComas have a lower frequency of myogenic marker expression than their deep soft tissue and visceral counterparts. They also often express strong diffuse CD10, leading to potential confusion with metastatic renal cell carcinoma. Most cases behave indolently. We report 5 additional cases of this rare entity. All showed classic histologic features and expression of either HMB‐45 and/or Melan‐A/MART‐1. Four cases were tested for myogenic markers (2 were positive & 2 were negative). Three cases were tested for CD10 (all 3 were positive). All of our cases with clinical follow‐up behaved indolently. Table 1 provides a summary of findings for all 5 cases in our series.
Intrapartum intravenous fluids for caesarean delivery and newborn weight loss: a retrospective cohort study

Objective To examine weight loss (WL) and excess weight loss (EWL) among newborns of caesarean delivery, comparing colloids plus crystalloids versus crystalloids only. Also, to examine different doses of intrapartum intravenous fluids on WL and EWL. Design Comparative safety retrospective cohort study. Setting University Teaching Hospital, Moncton, Canada. Patients Mothers exposed to intravenous fluids with caesarean delivery between 2008 and 2016. Interventions Exposure to colloids plus crystalloids was compared with crystalloids only, and dose-response analyses were performed for colloids, crystalloids and total intravenous fluids doses. Linear and logistic regression models were used, adjusting for potential confounders. Main outcome measures Infants’ WL was measured at days 1, 2 and 3 post partum, and EWL defined as loss of >7% of birth weight. Results From 801 mother-infant pairs, 176 were exposed to colloids plus crystalloids and 625 were exposed to crystalloids only (overall mean birth weight=3416 g, EWL=2%, 41.4% and 55.5% on days 1, 2 and 3, respectively). No significant difference in newborns’ WL was observed on any of the days assessed. Adjusted OR (95% CI) of EWL was 1.0 (0.3 to 3.3) at 24 hours, 1.0 (0.7 to 1.5) at 48 hours and 1.4 (0.9 to 2.2) at 72 hours. No dose-response relationship was detected with type-specific and total intravenous fluids exposures. Conclusions The risk of EWL was similar with colloids plus crystalloids and crystalloids only, suggesting that both therapeutic options can be considered during caesarean delivery. The absence of dose-response relationships adds confirmatory evidence to the intravenous fluids safety profiles.
High-intensity interval training acutely alters plasma adipokine levels in young overweight/obese women

Abstract The aim of this study was to investigate the plasma adipokine responses to high-intensity interval training (HIT) in overweight/obese women. Twelve women (age 21.7 ± 3.8 years) completed a 19 days of HIT comprising six session of 4–6 repeats of a Wingate test (0.065 kg load/kg). Plasma adipokine levels were measured before exercise, and at 5 and 90 min after exercise on the first and the last training days. Adiponectin was higher at 5 min than 90 min post-exercise (11.7 ± 7.3 and 10.5 ± 5.8 ng/ml; p = .01) in the first exercise day. Leptin decreased 5 min after exercise (23.6 ± 13.2 vs. baseline 27.8 ± 14.4 ng/ml; p < .01) and remained depressed following 90 min (p < .01). The changes in adiponectin and leptin concentrations were similar on the first and last exercise days. No consistent effect was found on resistin concentration. Future studies are required to disclose the functional consequences of these alterations in plasma adipokine levels.
From Designing the Molecules of Life to Designing Life: Future Applications Derived from Advances in DNA Technologies.

Since the elucidation of its structure, DNA has been at the forefront of biological research. In the past half century, an explosion of DNA-based technology development has occurred with the most rapid advances being made for DNA sequencing. In parallel, dramatic improvements have also been made in the synthesis and editing of DNA from the oligonucleotide to the genome scale. In this Review, we will summarize four different subfields relating to DNA technologies following this trajectory of smaller to larger scale. We begin by talking about building materials out of DNA which in turn can act as delivery vehicles in vivo. We then discuss how altering microbial genomes can lead to novel methods of production for industrial biologics. Next, we talk about the future of writing whole genomes as a method of studying evolution. Lastly, we highlight the ways in which barcoding biological systems will allow for their three-dimensional analysis in a highly multiplexed fashion.
Untangling fine-grained code changes

After working for some time, developers commit their code changes to a version control system. When doing so, they often bundle unrelated changes (e.g., bug fix and refactoring) in a single commit, thus creating a so-called tangled commit. Sharing tangled commits is problematic because it makes review, reversion, and integration of these commits harder and historical analyses of the project less reliable. Researchers have worked at untangling existing commits, i.e., finding which part of a commit relates to which task. In this paper, we contribute to this line of work in two ways: (1) A publicly available dataset of untangled code changes, created with the help of two developers who accurately split their code changes into self contained tasks over a period of four months; (2) a novel approach, EpiceaUntangler, to help developers share untangled commits (aka. atomic commits) by using fine-grained code change information. EpiceaUntangler is based and tested on the publicly available dataset, and further evaluated by deploying it to 7 developers, who used it for 2 weeks. We recorded a median success rate of 91% and average one of 75%, in automatically creating clusters of untangled fine-grained code changes.
Intent Classification Using Feature Sets for Domestic Violence Discourse on Social Media

Domestic Violence against women is now recognized to be a serious and widespread problem worldwide. Domestic Violence and Abuse is at the root of so many issues in society and considered as the societal tabooed topic. Fortunately, with the popularity of social media, social welfare communities and victim support groups facilitate the victims to share their abusive stories and allow others to give advice and help victims. Hence, in order to offer the immediate resources for those needs, the specific messages from the victims need to be alarmed from other messages. In this paper, we regard intention mining as a binary classification problem (abuse or advice) with the usecase of abuse discourse. To address this problem, we extract rich feature sets from the raw corpus, using psycholinguistic clues and textual features by term-class interaction method. Machine learning algorithms are used to predict the accuracy of the classifiers between two different feature sets. Our experimental results with high classification accuracy give a promising solution to understand a big social problem through big social media and its use in serving information needs of various community welfare organizations.
Sex Differences in Recombination in Sticklebacks

Recombination often differs markedly between males and females. Here we present the first analysis of sex-specific recombination in Gasterosteus sticklebacks. Using whole-genome sequencing of 15 crosses between G. aculeatus and G. nipponicus, we localized 698 crossovers with a median resolution of 2.3 kb. We also used a bioinformatic approach to infer historical sex-averaged recombination patterns for both species. Recombination is greater in females than males on all chromosomes, and overall map length is 1.64 times longer in females. The locations of crossovers differ strikingly between sexes. Crossovers cluster toward chromosome ends in males, but are distributed more evenly across chromosomes in females. Suppression of recombination near the centromeres in males causes crossovers to cluster at the ends of long arms in acrocentric chromosomes, and greatly reduces crossing over on short arms. The effect of centromeres on recombination is much weaker in females. Genomic differentiation between G. aculeatus and G. nipponicus is strongly correlated with recombination rate, and patterns of differentiation along chromosomes are strongly influenced by male-specific telomere and centromere effects. We found no evidence for fine-scale correlations between recombination and local gene content in either sex. We discuss hypotheses for the origin of sexual dimorphism in recombination and its consequences for sexually antagonistic selection and sex chromosome evolution.