Miracle-dz/UniFAR-FTUs huggingface dataset:
Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable Systems

Like termination, confluence is a central property of rewrite systems. Unlike for termination, however, there exists no known complexity hierarchy for confluence. In this paper we investigate whether the decreasing diagrams technique can be used to obtain such a hierarchy. The decreasing diagrams technique is one of the strongest and most versatile methods for proving confluence of abstract reduction systems, it is complete for countable systems, and it has many well-known confluence criteria as corollaries. So what makes decreasing diagrams so powerful? In contrast to other confluence techniques, decreasing diagrams employ a labelling of the steps ? with labels from a well-founded order in order to conclude confluence of the underlying unlabelled relation. Hence it is natural to ask how the size of the label set influences the strength of the technique. In particular, what class of abstract reduction systems can be proven confluent using decreasing diagrams restricted to 1 label, 2 labels, 3 labels, and so on? Surprisingly, we find that two labels su ce for proving confluence for every abstract rewrite system having the cofinality property, thus in particular for every confluent, countable system. We also show that this result stands in sharp contrast to the situation for commutation of rewrite relations, where the hierarchy does not collapse. Finally, as a background theme, we discuss the logical issue of first-order definability of the notion of confluence.
How is success defined and measured in online citizen science: a case study of Zooniverse projects

While the literature highlights a wide variety of potential citizen science project outcomes, no prior studies have systematically assessed performance against a comprehensive set of criteria. Our study is the first to propose a novel framework for assessing citizen science projects against multiple dimensions of success. We apply this framework to a sample of projects forming part of the online Zooniverse platform and position these projects against a ‘success matrix’ measuring both contribution to science and public engagement levels relative to others in the sample. Our results indicate that better performing projects tend to be those which are more established, as well as those in the area of astronomy. Implications for citizen science practitioners include the need to consider the impact of core competencies on project performance, as well as the importance of relationships between the central organisation and science teams.
Gene mutations and clonal architecture in myelodysplastic syndromes and changes upon progression to acute myeloid leukaemia and under treatment

Knowledge of the molecular and clonal characteristics in the myelodysplastic syndromes (MDS) and during progression to acute myeloid leukaemia (AML) is essential to understand the disease dynamics and optimize treatment. Sequencing serial bone marrow samples of eight patients, we observed that MDS featured a median of 3 mutations. Mutations in genes involved in RNA‐splicing or epigenetic regulation were most frequent, and exclusively present in the major clone. Minor subclones were distinguishable in three patients. As the MDS progressed, a median of one mutation was gained, leading to clonal outgrowth. No AML developed genetically independent of a pre‐existing clone. The gained mutation mostly affected genes encoding signalling proteins. Additional acquisition of genomic aberrations frequently occurred. Upon treatment, emergence of new clones could be observed. As confirmed by single‐cell sequencing, multiple mutations in identical genes in different clones were present within individual patients. DNA‐methylation profiling in patients without identification of novel mutations in AML revealed methylation changes in individual genes. In conclusion, our data complement previous observations on the mutational and clonal characteristics in MDS and at progression. Moreover, DNA‐methylation changes may be associated with progression in single patients. Redundancy of mutated genes in different clones suggests fertile grounds promoting clonal selection or acquisition.
Towards a Deeper Understanding of Impression Formation – New Insights Gained From a Cognitive-Ecological Perspective

Impression formation is a basic module of fundamental research in social cognition, with broad implications for applied research on interpersonal relations, social attitudes, employee selection, and person judgments in legal and political context. Drawing on a pool of 28 predominantly positive traits used in Solomon Asch’s (1946) seminal impression studies, two research teams have investigated the impact of the number of person traits sampled randomly from the pool on the evaluative impression of the target person. Whereas Norton, Frost, and Ariely (2007) found a “less-is-more” effect, reflecting less positive impressions with increasing sample size n, Ullrich, Krueger, Brod, and Groschupf (2013) concluded that an n-independent averaging rule can account for the data patterns obtained in both labs. We address this issue by disentangling different influences of n on resulting impressions, namely varying baserates of positive and negative traits, different sampling procedures, and trait diagnosticity. Depending on specific task conditions, which can be derived on theoretical grounds, the strength of resulting impressions (in the direction of the more prevalent valence) (a) increases with increasing n for diagnostic traits, (b) is independent of n for nondiagnostic traits, or (c) decreases with n when self-truncated sampling produces a distinct primacy effect. This refined pattern, which holds for the great majority of individual participants, illustrates the importance of strong theorizing in cumulative science (Fiedler, 2017) built on established empirical laws and logically sound theorizing.
Hydrocarbon biomarkers preserved in carbonate veins of potentially Paleoproterozoic age, and implications for the early biosphere

Research on the early rise of oxygenic photosynthesis and eukaryotes has recently encountered a major pitfall, as some hopane and sterane biomarkers reported in Archaean rocks are the results of contamination. Following an extensive petrological framework in the Pilbara Craton, Western Australia, oil‐bearing fluid inclusions and solid bitumens were identified in replacement and hydrothermal carbonate veins cross‐cutting Archaean metasedimentary rocks. The 2.55–2.63 billion years old metasedimentary rocks were found to be depleted of indigenous biomarkers. Here we show novel biomarker results from the solvent extraction of the carbonate veins. Volcanic rock blanks, outside rinses, and instrumental blanks showed no biomarkers, and the surrounding rocks were metamorphosed to a sufficiently high extent to not yield any biomarkers, but the biomarkers found in the veins are most likely indigenous. Biomarkers detected include C21−22 ααα‐ and αββ‐steranes (pregnanes), C27−29 αββ‐steranes, C19−26 tricyclic terpanes, C29−30,34 αβ‐hopanes, C30 17α‐diahopane, and trisnorhopanes, which are in the range 2–180 pg/g. The extracted organic matter is highly mature, based on the biomarker configurations and calculated vitrinite reflectance that ranges from 2.4–3.0 (methylphenanthrene index), 1.4–1.9 (methyladamantane index), and 1.4–2.3 (methyldiamantane index). As the biomarkers are highly mature and the biomarker assemblages have a distinctive pattern to each vein type the likelihood of sample contamination by recent, less mature, biomarkers from a different assemblage is unlikely. The detection of steranes suggests that molecular oxygen was available when the veins were formed, possibly between 2.2 and 1.8 billion years ago, but no evidence for oxygenic photosynthesis in the form of cyanobacterial biomarkers has been found. Carbonate minerals that seem to better preserve biomarkers, such as concretions or veins, show the growing importance of new and exciting opportunities to seek biomarkers in the early Earth rock record, and potentially on other planets. Our results demonstrate for that first time that biomarkers can be found in veins cutting through highly metamorphosed Archaean rocks, and gives an insight into ancient environments.
Direct analysis in real time coupled to high resolution mass spectrometry as a rapid tool to assess salmon (Salmo salar) freshness.

Direct analysis in real time-high resolution mass spectrometry (DART-HRMS) was applied to the detection of lipid species in the lipid extracts of farmed salmon samples collected from a local retailer and analyzed right after the purchase and after storage for 4 and 6 days under refrigerated conditions. The recognition of type and composition of lipids detected in DART-HRMS spectra was performed by using the relevant accurate m/z data (accuracy better than 5 ppm) as input for a search on the LipidMaps database. As a result, several fatty acids (FA), either saturated or mono-/poly-unsaturated, and triacylglycerols (TAG) were recognized in the three types of samples from the corresponding negative and positive ion DART-HRMS spectra, respectively. Following, spectral intensities were exploited to monitor the evolution of selected FA and TAG during the refrigeration of salmon meat. In particular, after 4 days of refrigeration, a statistically significant increase was recorded for FA with side chain compositions 18:2, 18:1, 20:5, and 22:6 despite a significant decrease found for TAG with overall side chain compositions 50:4, 52:5, 52:4, and 52:3 after the same time. These evolutions were consistent with a general model already proposed for the effect of low temperature treatments on seafood, implying the action of endogenous lipases, with consequent increase of the free FA amount and decrease in glycerophospholipids and triglycerides contents. The described results indicate DART-HRMS as a promising MS-based rapid tool for the assessment of fish, or other seafood, freshness.
Towards Adaptive Smoothed Aggregation (αsa) for Nonsymmetric Problems *

Applying smoothed aggregation multigrid (SA) to solve a nonsymmetric linear system , Ax = b, is often impeded by the lack of a minimization principle that can be used as a basis for the coarse-grid correction process. This paper proposes a Petrov-Galerkin (PG) approach based on applying SA to either of two symmetric positive definite (SPD) matrices, √ A t A or √ AA t. These matrices, however, are typically full and difficult to compute, so it is not computationally efficient to use them directly to form a coarse-grid correction. The proposed approach approximates these coarse-grid corrections by using SA to accurately approximate the right and left singular vectors of A that correspond to the lowest singular value. These left and right singular vectors are used to construct the restriction and interpolation operators, respectively. Some preliminary two-level convergence theory is presented, suggesting more relaxation should be applied than for a SPD problem. Additionally, a nonsymmetric version of adaptive SA (αSA) is given that automatically constructs SA multigrid hierarchies using a stationary relaxation process on all levels. Numerical results are reported for convection-diffusion problems in two-dimensions with varying amounts of convection for constant, variable, and recirculating convection fields. The results suggest that the proposed approach is algorithmically scalable for problems coming from these nonsymmetric scalar PDEs (with the exception of recirculating flow). This paper serves as a first step for nonsymmetric αSA. The long-term goal of this effort is to develop nonsymmetric αSA for systems of PDEs, where the SA framework has proven well-suited for adaptivity in SPD problems. AMS subject classifications.
Overview of Antibody Drug Delivery

Monoclonal antibodies (mAbs) are one of the most important classes of therapeutic proteins, which are used to treat a wide number of diseases (e.g., oncology, inflammation and autoimmune diseases). Monoclonal antibody technologies are continuing to evolve to develop medicines with increasingly improved safety profiles, with the identification of new drug targets being one key barrier for new antibody development. There are many opportunities for developing antibody formulations for better patient compliance, cost savings and lifecycle management, e.g., subcutaneous formulations. However, mAb-based medicines also have limitations that impact their clinical use; the most prominent challenges are their short pharmacokinetic properties and stability issues during manufacturing, transport and storage that can lead to aggregation and protein denaturation. The development of long acting protein formulations must maintain protein stability and be able to deliver a large enough dose over a prolonged period. Many strategies are being pursued to improve the formulation and dosage forms of antibodies to improve efficacy and to increase the range of applications for the clinical use of mAbs.
Dynamic Trading with Developing Adverse Selection

I study a dynamic trading game where a seller and potential buyers start out symmetrically uninformed about the quality of a good, but in which the seller becomes informed after the game begins, so that the asymmetric information between the agents develops over time. If the seller’s effective learning speed is high, the equilibrium features “collapse-and-recovery” behavior: Both the equilibrium price and the trade probability first drop and then increase over time. The buyers’ second-order belief plays an important role in equilibrium dynamics. The seller’s payoff is non-monotonic in his learning speed, which makes it possible for him to have a higher payoff when learning is slower.
Human peripheral blood mononuclear cells enriched in endothelial progenitor cells via quality and quantity controlled culture accelerate vascularization and wound healing in a porcine wound model

The transplantation of endothelial progenitor cells (EPCs) is used to promote wound angiogenesis. In patients with chronic wounds and accompanying morbidities, EPCs are often compromised in number and function. To overcome these limitations, we previously developed a quality and quantity controlled (QQ) culture system to enrich peripheral blood mononuclear cells (PBMNCs) in EPCs. To evaluate the wound healing efficacy of mononuclear cells (MNCs) harvested after QQ culture (QQMNCs), preclinical studies were performed on large animals. MNCs harvested from the blood of healthy human subjects were cultured in the presence of angiogenic cytokines and growth factors in a serum-free medium for 7 days. A total of 5 × 106 QQMNCs per full-thickness skin defect or control saline was injected into wounds induced in cyclosporine-immunosuppressed pigs. EPC colony-forming assays revealed a significantly higher number of definitive (partially differentiated) EPC colony-forming units in QQMNCs. Flow cytometry evaluation of QQMNC surface markers showed enrichment of CD34+ and CD133+ stem cell populations, significant reduction in CCR2+ cell percentages, and a greater than 10-fold increase in the percentage of anti-inflammatory M2-type macrophages (CD206+ cells) compared with PBMNCs. Wounds treated with QQMNCs had a significantly higher closure rate. Wounds were harvested, frozen, and sectioned at day 21 postoperatively. Hematoxylin and eosin staining revealed that the epithelization of QQMNC-treated wounds was more advanced than in controls. Treated wounds developed granulation tissue with more mature collagen and larger capillary networks. CD31 and human mitochondrial co-staining confirmed the presence of differentiated human cells within newly formed vessels. Real-time polymerase chain reaction (PCR) showed upregulation of interleukin 6 (IL-6), IL-10, and IL-4 in the wound bed, suggesting paracrine activity of the transplanted QQMNCs. Our data demonstrate for the first time that QQ culture of MNCs obtained from a small amount of peripheral blood yields vasculogenic and therapeutic cells effective in wound healing.
Aging Effects on Symbolic Number Comparison: No Deceleration of Numerical Information Retrieval but More Conservative Decision-Making

Whereas many cognitive tasks show pronounced aging effects, even in healthy older adults, other tasks seem more resilient to aging. A small number of recent studies suggests that number comparison is possibly one of the abilities that remain unaltered across the life span. We investigated the ability to compare single-digit numbers in young (19–39 years; n = 39) and healthy older (65–79 years; n = 39) adults in considerable detail, analyzing accuracy as well as mean and variance of their response time, together with several other well-established hallmarks of numerical comparison. Using a recent comprehensive process model that parsimoniously accounts quantitatively for many aspects of number comparison (Reike & Schwarz, 2016), we address two fundamental problems in the comparison of older to young adults in numerical comparison tasks: (a) to adequately correct speed measures for different levels of accuracy (older participants were significantly more accurate than young participants), and (b) to distinguish between general sensory and motor slowing on the one hand, as opposed to a specific age-related decline in the efficiency to retrieve and compare numerical magnitude representations. Our results represent strong evidence that healthy older adults compare magnitudes as efficiently as young adults, when the measure of efficiency is uncontaminated by strategic speed–accuracy trade-offs and by sensory and motor stages that are not related to numerical comparison per se. At the same time, older adults aim at a significantly higher accuracy level (risk aversion), which necessarily prolongs processing time, and they also show the well-documented general decline in sensory and/or motor functions.
A novel rewritable one-time-programming OTP (RW-OTP) realized by dielectric-fuse RRAM devices featuring ultra-high reliable retention and good endurance for embedded applications

A novel concept of OTP has been demonstrated to create another feasibility to allow re-writable capability before storing the data. This OTP is named Rewritable One-time- programming (RW-OTP) memory. With RW-OTP, users can do the test by modifying the contexts repeatedly before finalizing the stored data. To implement the memory cell, it consists of a gate-floated FinFET and an RRAM where a bilayer has been designed as a thicker dielectric layer with resistive-switching property on a thinner dielectric-fuse layer. Moreover, the process of RW-OTP is fully compatible with the state-of- the-art CMOS logic technology. The result shows that the memory cell exhibits high retention and good endurance. With proper use of RW-OTP, the users can not only reduce error jobs cost-efficiently but also can develop various applications for their needs. This memory cell is very promising for embedded applications.
Mindfulness and Cognitive Training in a CBT-resistant Patient With Gambling Disorder: A Combined Therapy to Enhance Self-control

&NA; Despite the major health consequences of problem gambling, such as suicide, over-indebtedness, delinquency, or family problems, there is currently no approved drug available for the treatment of problem gambling. The efficacy of cognitive behavioral therapies (CBTs) has been demonstrated repeatedly. However, some people seem resistant to conventional CBT alone. We present the case of a 59-year-old woman with a gambling disorder, who relapsed, despite a CBT-based intervention, and who then received a combined therapy aiming to enhance self-control: a mindfulness-based therapy and cognitive training targeting inhibition.
Microbiota‐Dependent Involvement of Th17 Cells in Murine Models of Inflammatory Arthritis

Intestinal microbiota are associated with the development of inflammatory arthritis. The aim of this study was to dissect intestinal mucosal immune responses in the preclinical phase of arthritis and determine whether the presence of Th17 cells, beyond involvement of the cytokine interleukin‐17 (IL‐17), is required for arthritis development, and whether the involvement of Th17 cells in arthritis depends on the composition of the host microbiota.
Positioning and Formalizing the REA Enterprise Ontology

ABSTRACT: Recent Resource, Event, Agent (REA) research has focused on defining and theoretically justifying the ontology's contents. Here, we elaborate on more practical issues related to REA. First, we classify REA and its applications using ontology classification schemes and application frameworks. This analysis clarifies REA's application potential but also reveals weaknesses that may impede its operationalization. Next, we propose a new REA ontology specification that uses a Unified Modeling Language (UML) profile for graphically representing ontologies. This new specification is more complete and precise than previously available specifications, without compromising understandability. It can easily be transformed into a machine‐readable representation for automatic processing, which is a prerequisite for the successful application of REA in business modeling, software engineering, knowledge representation, and interoperability creation. The paper ends with a proof of concept application in which a f.
Tight bounds for popping algorithms

We sharpen run‐time analysis for algorithms under the partial rejection sampling framework. Our method yields improved bounds for: the cluster‐popping algorithm for approximating all‐terminal network reliability; the cycle‐popping algorithm for sampling rooted spanning trees; and the sink‐popping algorithm for sampling sink‐free orientations. In all three applications, our bounds are not only tight in order, but also optimal in30 constants.
Classical Chinese Sentence Segmentation for Tomb Biographies of Tang Dynasty

Tomb biographies of the Tang dynasty provide invaluable information about Chinese history. The original biographies are classical Chinese texts which contain neither word boundaries nor sentence boundaries. Relying on three published books of tomb biographies of the Tang dynasty, we investigated the effectiveness of employing machine-learning methods for algorithmically identifying the pauses and terminals of sentences in the biographies. We consider the segmentation task as a classification problem. Chinese characters that are and are not followed by a punctuation mark are classified into two categories. We applied a machine-learning-based mechanism, the conditional random fields (CRF), to classify the characters (and words) in the texts, and we studied the contributions of selected types of lexical information to the resulting quality of the segmentation recommendations. This proposal presented at the DH 2018 conference discussed some of the basic experiments and their evaluations. By considering the contextual information and employing the heuristics provided by experts of Chinese literature, we achieved F1 measures that were better than 80%. More complex experiments that employ deep neural networks helped us further improve the results in recent work.