Miracle-dz/UniFAR-FTUs huggingface dataset:
Formal specification and verification of safety and performance of TCP selective acknowledgment

We present a formal specification of the selective acknowledgment (SACK) mechanism that is being proposed as a new standard option for TCP. The formal specification allows one to reason about the SACK protocol; thus, we are able to formally prove that the SACK mechanism does not violate the safety properties (reliable, at most once, and in order message delivery) of the acknowledgment (ACK) mechanism that is currently used with TCP. The new mechanism is being proposed to improve the performance of TCP when multiple packets are lost from one window of data. The proposed mechanism for implementing the SACK option for TCP is sufficiently complicated that it is not obvious that it is indeed safe, so we think it is important to formally verify its safety properties.In addition to safety, we are also able to show that SACK can improve the time it takes for the sender to recover from multiple packet losses. With the additional information available at a SACK sender, the round-trip time that a cumulative ACK sender waits before retransmitting each subsequent packet lost after the very first loss can be saved. We also show that SACK can improve performance even with window sizes as small as four packets and in situations where acknowledgment packets are lost.
The Role of Superplasticizers in The Development of Environmentally-Friendly Concrete

Since their introduction in the early 60’s, superplasticizers have become an essential component of concrete. By reducing substantially the amount of water in concrete, superplasticizers have contributed to a significant reduction in its porosity and to a concomitant increase in its compressive strength and durability. These chemical admixtures have also been at the forefront of the use of mineral admixtures such as silica fume, fly ash and blast-furnace slags in highperformance concrete. By making possible the use of these industrial by-products as a partial replacement of cement, superplasticizers are also contributing to reduce the emission of CO2 in the atmosphere, a key-issue in several industrialized countries. This paper will review some important aspects related to the use of superplasticizers in concrete. Important properties related to the chemistry and to the mode of action of these chemical admixtures will first be briefly recalled. The impact that superplasticizers have exerted and still continue to exert on concrete technology will then be examined through two important aspects of sustainable development, namely reduction of CO2 emissions and durability.
Bisecting N-Acetylglucosamine Structures Inhibit Hypoxia-Induced Epithelial-Mesenchymal Transition in Breast Cancer Cells

The epithelial-mesenchymal transition (EMT) process plays a key role in many biological processes, including tissue fibrosis, metastatic diseases, and cancer progression. EMT can be induced by certain factors, notably hypoxia, in the tumor microenvironment. Aberrant levels of certain N-glycans is associated with cancer progression. We used an integrated strategy (mass spectrometry in combination with lectin microarray analysis) to elucidate aberrant glycosylation in a hypoxia-induced EMT model using breast cancer cell lines MCF7 and MDA-MB-231. The model showed reduced levels of bisecting GlcNAc structures, and downregulated expression of the corresponding glycosyltransferase MGAT3. MGAT3 overexpression in MCF7 suppressed cell migration, proliferation, colony formation, expression of EMT markers, and AKT signaling pathway, whereas MGAT3 knockdown (shRNA silencing) had opposite effects. Our findings clearly demonstrate the functional role (and effects of dysregulation) of bisecting GlcNAc structures in hypoxia-induced EMT, and provide a useful basis for further detailed studies of physiological functions of these structures in breast cancer.
Task-Relevant Information Modulates Primary Motor Cortex Activity Before Movement Onset

Monkey neurophysiology research supports the affordance competition hypothesis (ACH) proposing that cognitive information useful for action selection is integrated in sensorimotor areas. In this view, action selection would emerge from the simultaneous representation of competing action plans, in parallel biased by relevant task factors. This biased competition would take place up to primary motor cortex (M1). Although ACH is plausible in environments affording choices between actions, its relevance for human decision making is less clear. To address this issue, we designed an functional magnetic resonance imaging (fMRI) experiment modeled after monkey neurophysiology studies in which human participants processed cues conveying predictive information about upcoming button presses. Our results demonstrate that, as predicted by the ACH, predictive information (i.e., the relevant task factor) biases activity of primary motor regions. Specifically, first, activity before movement onset in contralateral M1 increases as the competition is biased in favor of a specific button press relative to activity in ipsilateral M1. Second, motor regions were more tightly coupled with fronto-parietal regions when competition between potential actions was high, again suggesting that motor regions are also part of the biased competition network. Our findings support the idea that action planning dynamics as proposed in the ACH are valid both in human and non-human primates.
Association of Calcium and Phosphate Balance, Vitamin D, PTH, and Calcitonin in Patients With Adolescent Idiopathic Scoliosis

Study Design. A cross-sectional study of 2 groups of patients with scoliosis, and an age-matched control group was conducted. Each of the groups such as patients with adolescent idiopathic scoliosis (AIS) as well as control group were divided additionally into 2 groups: premenarcheal and postmenarcheal girls. Objective. The aim of the study was to determine the levels of 25-OH-vitamin D3, calcium and phosphate, parathyroid hormone (PTH), and calcitonin in serum of pre- and postmenarcheal girls with AIS and corresponding groups of scoliosis-free controls. Summary of Background Data. The primary etiology and pathogenesis of AIS remains unknown. It is assumed that vitamin D deficiency and genetic predisposition, for example, polymorphisms of vitamin D receptor, have a great significance. Vitamin D plays a key role in skeletal development and prevents bone atrophy, affects the absorption of calcium, maintains calcium–phosphate homeostasis, and the bone matrix mineralization. Its deficiency can result in a wide variety of skeletal deformities, low bone mass, and then leads to the disappearance of bone. Defects in trabecular bone structure and/or bone mineralization are the main features of scoliosis. Some studies have reported that Vitamin D deficiency is common among patients with AIS. The mechanism of Vitamin D action on scoliosis development is still unclear. Methods. Determination of serum 25-OH-D3 levels was performed using high-performance liquid chromatography chromatography; concentrations of calcium and phosphate were measured using colorimetric methods, and concentration of PTH and calcitonin was measured using ELISA system. Results. Reduction in the serum levels of 25-OH-D3 and calcitonin in girls with AIS compared with healthy girls was demonstrated. Conclusion. The phosphate–calcium balance and PTH level seem to be normal in patients with AIS. The calcitonin level in girls with AIS is 2-fold lower than in healthy subjects. It is possible that the deficiency of vitamin D can be involved in AIS. Level of Evidence: 4
Mental Health Professionals’ Attitudes Toward Offenders With Mental Illness (Insanity Acquittees) in Ghana

Mental health professionals’ attitudes toward offenders with mental illness have significant implications for the quality of care and treatment rendered, making it imperative for these professionals to be aware of their attitudes. Yet, this topical issue has received little research attention. Consequently, the present study investigates attitudes toward offenders with mental illness (insanity acquittees) in a sample of 113 registered mental health nurses in Ghana. Using a cross-sectional survey and self-report methodology, the participants respond to measures of attitudes toward offenders with mental illness, attitudes toward mental illness, conviction proneness, and criminal blameworthiness. The results show that mental health nurses who reportedly practiced for a longer duration (6 years and above) were more likely to be unsympathetic, while the male nurses who were aged 30 years and above were more likely to hold offenders with mental illness strictly liable for their offenses. Importantly, the nurses’ scores in conviction proneness and criminal blameworthiness significantly predict negative attitudes toward the offenders even after controlling for their attitudes toward mental illness. Yet, when the nurses’ conviction proneness and criminal blameworthiness were held constant, their attitudes toward mental illness failed to predict attitudes toward the offenders. This initial finding implies that the nurses’ views regarding criminal blameworthiness and conviction may be more influential in understanding their attitudes toward offenders with mental illness relative to their attitudes toward mental illness.
Directed forgetting in depression

Subjects with depression exhibit deficits in prefrontal function. We posited that as a result, in a supraspan memory test, they would be impaired in their ability to inhibit recall of irrelevant words, and because of consequent overload of working and episodic memory capacity, would be impaired in their ability to recall relevant words. We tested this hypothesis in 30 inpatients and outpatients with a diagnosis of major depressive disorder and 30 controls subjects using a form of the Directed Forgetting Paradigm using exclusively neutral words. The depressed subjects did exhibit deficits in prefrontal function. All subjects were given four lists of 24 items each, in which half the words were followed by the instruction “remember” and half by the instruction “forget. ” Our hypothesis found support in a significant group by item type interaction effect exhibited when subjects were instructed to recall only those items followed by the “remember” instruction: depressed subjects recalled relatively more words to be forgotten and relatively fewer words to be remembered. A control experiment suggested that these results could not be accounted for by a differential effect of depression on memory encoding. (JINS, 2008, 14, 895–899.)
The Role of Percutaneous Image-Guided Thermal Ablation for the Treatment of Pulmonary Malignancies.

OBJECTIVE Image-guided thermal ablation is a minimally invasive treatment option for patients with primary and secondary pulmonary malignancies. Modalities include radiofrequency ablation, microwave ablation, and cryoablation. CONCLUSION Although no large randomized studies exist comparing ablation to surgery or radiotherapy, numerous studies have reported safety and efficacy for the treatment of both primary and metastatic disease in select patients. Future studies will refine patient selection, procedural technique, and assessment for local recurrence and will evaluate long-term survival.
A Diverse Range of Novel RNA Viruses in Geographically Distinct Honey Bee Populations

ABSTRACT Understanding the diversity and consequences of viruses present in honey bees is critical for maintaining pollinator health and managing the spread of disease. The viral landscape of honey bees (Apis mellifera) has changed dramatically since the emergence of the parasitic mite Varroa destructor, which increased the spread of virulent variants of viruses such as deformed wing virus. Previous genomic studies have focused on colonies suffering from infections by Varroa and virulent viruses, which could mask other viral species present in honey bees, resulting in a distorted view of viral diversity. To capture the viral diversity within colonies that are exposed to mites but do not suffer the ultimate consequences of the infestation, we examined populations of honey bees that have evolved naturally or have been selected for resistance to Varroa. This analysis revealed seven novel viruses isolated from honey bees sampled globally, including the first identification of negative-sense RNA viruses in honey bees. Notably, two rhabdoviruses were present in three geographically diverse locations and were also present in Varroa mites parasitizing the bees. To characterize the antiviral response, we performed deep sequencing of small RNA populations in honey bees and mites. This provided evidence of a Dicer-mediated immune response in honey bees, while the viral small RNA profile in Varroa mites was novel and distinct from the response observed in bees. Overall, we show that viral diversity in honey bee colonies is greater than previously thought, which encourages additional studies of the bee virome on a global scale and which may ultimately improve disease management. IMPORTANCE Honey bee populations have become increasingly susceptible to colony losses due to pathogenic viruses spread by parasitic Varroa mites. To date, 24 viruses have been described in honey bees, with most belonging to the order Picornavirales. Collapsing Varroa-infected colonies are often overwhelmed with high levels of picornaviruses. To examine the underlying viral diversity in honey bees, we employed viral metatranscriptomics analyses on three geographically diverse Varroa-resistant populations from Europe, Africa, and the Pacific. We describe seven novel viruses from a range of diverse viral families, including two viruses that are present in all three locations. In honey bees, small RNA sequences indicate that these viruses are processed by Dicer and the RNA interference pathway, whereas Varroa mites produce strikingly novel small RNA patterns. This work increases the number and diversity of known honey bee viruses and will ultimately contribute to improved disease management in our most important agricultural pollinator.
Smectic phases in ionic liquid crystals

Ionic liquid crystals (ILCs) are anisotropic mesogenic molecules which carry charges and therefore combine properties of liquid crystals, e.g. the formation of mesophases, and of ionic liquids, such as low melting temperatures and tiny triple-point pressures. Previous density functional calculations have revealed that the phase behavior of ILCs is strongly affected by their molecular properties, i.e. their aspect ratio, the loci of the charges, and their interaction strengths. Here, we report new findings concerning the phase behavior of ILCs as obtained by density functional theory and Monte Carlo simulations. The most important result is the occurrence of a novel, wide smectic-A phase SAW, at low temperature, the layer spacing of which is larger than that of the ordinary high-temperature smectic-A phase SA. Unlike the ordinary smectic SA phase, the structure of the SAW phase consists of alternating layers of particles oriented parallel to the layer normal and oriented perpendicular to it.
Intrinsically High Thermoelectric Performance in AgInSe2 n‐Type Diamond‐Like Compounds

Diamond‐like compounds are a promising class of thermoelectric materials, very suitable for real applications. However, almost all high‐performance diamond‐like thermoelectric materials are p‐type semiconductors. The lack of high‐performance n‐type diamond‐like thermoelectric materials greatly restricts the fabrication of diamond‐like material‐based modules and their real applications. In this work, it is revealed that n‐type AgInSe2 diamond‐like compound has intrinsically high thermoelectric performance with a figure of merit (zT) of 1.1 at 900 K, comparable to the best p‐type diamond‐like thermoelectric materials reported before. Such high zT is mainly due to the ultralow lattice thermal conductivity, which is fundamentally limited by the low‐frequency Ag‐Se “cluster vibrations,” as confirmed by ab initio lattice dynamic calculations. Doping Cd at Ag sites significantly improves the thermoelectric performance in the low and medium temperature ranges. By using such high‐performance n‐type AgInSe2‐based compounds, the diamond‐like thermoelectric module has been fabricated for the first time. An output power of 0.06 W under a temperature difference of 520 K between the two ends of the module is obtained. This work opens a new window for the applications using the diamond‐like thermoelectric materials.
Pretransplant serum procalcitonin level for prediction of early post‐transplant sepsis in living donor liver transplantation

Infection is a frequent cause of in‐hospital mortality after liver transplantation (LT). Elimination of possible risks in the pretransplant period, early diagnosis of post‐transplant sepsis, and prompt treatment with antimicrobial agents are important. The objectives of this study were to analyze the impact of early post‐transplant sepsis on outcomes and to clarify the value of predictive factors for early post‐transplant sepsis.
Mouse Label-Retaining Cells Are Molecularly and Functionally Distinct From Reserve Intestinal Stem Cells.

BACKGROUND & AIMS Intestinal homeostasis and regeneration after injury are controlled by 2 different types of cells: slow cycling, injury-resistant reserve intestinal stem cells (ISCs) and actively proliferative ISCs. Putative reserve ISCs have been identified using a variety of methods, including CreER insertions at Hopx or Bmi1 loci in mice and DNA label retention. Label-retaining cells (LRCs) include dormant stem cells in several tissues; in the intestine, LRCs appear to share some properties with reserve ISCs, which can be marked by reporter alleles. We investigated the relationships between these populations. METHODS Studies were performed in Lgr5-EGFP-IRESCreERT2, Bmi1-CreERT2, Hopx-CreERT2, and TRE-H2BGFP::Hopx-CreERT2::lox-stop-lox-tdTomato mice. Intestinal epithelial cell populations were purified; we compared reporter allele-marked reserve ISCs and several LRC populations (marked by H2B-GFP retention) using histologic flow cytometry and functional and single-cell gene expression assays. RESULTS LRCs were dynamic and their cellular composition changed with time. Short-term LRCs had properties of secretory progenitor cells undergoing commitment to the Paneth or enteroendocrine lineages, while retaining some stem cell activity. Long-term LRCs lost stem cell activity and were a homogenous population of terminally differentiated Paneth cells. Reserve ISCs marked with HopxCreER were primarily quiescent (in G0), with inactive Wnt signaling and robust stem cell activity. In contrast, most LRCs were in G1 arrest and expressed genes that are regulated by the Wnt pathway or are in the secretory lineage. CONCLUSIONS LRCs are molecularly and functionally distinct from reporter-marked reserve ISCs. This information provides an important basis for future studies of relationships among ISC populations.
On the Relationship between Cooling Flows and Bubbles

A common feature of the X-ray bubbles observed in Chandra images of some "cooling flow" clusters is that they appear to be surrounded by bright, cool shells. Temperature maps of a few nearby luminous clusters reveal that the shells consist of the coolest gas in the clusters—much cooler than the surrounding medium. Using simple models, we study the effects of this cool emission on the inferred cooling flow properties of clusters. We find that the introduction of bubbles into model clusters that do not have cooling flows results in temperature and surface brightness profiles that resemble those seen in nearby "cooling flow" clusters. They also approximately reproduce the recent XMM-Newton and Chandra observations of a high minimum temperature of ~1-3 keV. Hence, bubbles, if present, must be taken into account when inferring the physical properties of the intracluster medium. In the case of some clusters, bubbles may account entirely for these observed features, calling into question their designation as clusters with cooling flows. However, since not all nearby "cooling flow" clusters show bubble-like features, we suggest that there may be a diverse range of physical phenomena that give rise to the same observed features.
Monocytes Are the Predominant Cell Type Associated with Listeria monocytogenes in the Gut, but They Do Not Serve as an Intracellular Growth Niche

After foodborne transmission of the facultative intracellular bacterial pathogen Listeria monocytogenes, most of the bacterial burden in the gut is extracellular. However, we previously demonstrated that intracellular replication in an as yet unidentified cell type was essential for dissemination and systemic spread of L. monocytogenes. In this article, we show that the vast majority of cell-associated L. monocytogenes in the gut were adhered to Ly6Chi monocytes, a cell type that inefficiently internalized L. monocytogenes. With bone marrow–derived in vitro cultures, high multiplicity of infection or the use of opsonized bacteria enhanced uptake of L. monocytogenes in CD64− monocytes, but very few bacteria reached the cell cytosol. Surprisingly, monocytes that had upregulated CD64 expression in transition toward becoming macrophages fully supported intracellular growth of L. monocytogenes. In contrast, inflammatory monocytes that had increased CD64 expression in the bone marrow of BALB/c/By/J mice prior to L. monocytogenes exposure in the gut did not support L. monocytogenes growth. Thus, contrary to the perception that L. monocytogenes can infect virtually all cell types, neither naive nor inflammatory Ly6Chi monocytes served as a productive intracellular growth niche for L. monocytogenes. These results have broad implications for innate immune recognition of L. monocytogenes in the gut and highlight the need for additional studies on the interaction of extracellular, adherent L. monocytogenes with the unique subsets of myeloid-derived inflammatory cells that infiltrate sites of infection.
Intrinsic and Prosocial Motivations, Perspective Taking, and Creativity

Although many scholars believe that intrinsic motivation fuels creativity, research has returned equivocal results. Drawing on motivated information processing theory, we propose that the relationship between intrinsic motivation and creativity is enhanced by other-focused psychological processes. Perspective taking, as generated by prosocial motivation, encourages employees to develop ideas that are useful as well as novel. In three studies, using both field and lab data, we found that prosocial motivation strengthened the association between intrinsic motivation and independent creativity ratings. In our second and third studies, perspective taking mediated this moderating effect. We discuss theoretical implications for creativity and motivation.