Miracle-dz/UniFAR-FTUs huggingface dataset:
Concurrent omega-regular games

We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose their moves independently and simultaneously; the current state and the two moves determine a successor state. We consider omega-regular winning conditions on the resulting infinite state sequence. To model the independent choice of moves, both players are allowed to use randomization for selecting their moves. This gives rise to the following qualitative modes of winning, which can be studied without numerical considerations concerning probabilities: sure-win (player 1 can ensure winning with certainty); almost-sure-win (player 1 can ensure winning with probability 1); limit-win (player 1 can ensure winning with probability arbitrarily close to 1); bounded-win (player 1 can ensure winning with probability bounded away from 0); positive-win (player 1 can ensure winning with positive probability); and exist-win (player 1 can ensure that at least one possible outcome of the game satisfies the winning condition). We provide algorithms for computing the sets of winning states for each of these winning modes. In particular, we solve concurrent Rabin-chain games in n/sup O/(m) time, where n is the size of the game structure and m is the number of pairs in the Rabin-chain condition. While this complexity is in line with traditional turn-based games, our algorithms are considerably more involved. This is because concurrent games violate two of the most basic properties of turn-based games: concurrent games are not determined, but rather exhibit a more general duality property which involves multiple modes of winning; and winning strategies for concurrent games may require infinite memory.
From dictionary of visual words to subspaces: Locality-constrained affine subspace coding

The locality-constrained linear coding (LLC) is a very successful feature coding method in image classification. It makes known the importance of locality constraint which brings high efficiency and local smoothness of the codes. However, in the LLC method the geometry of feature space is described by an ensemble of representative points (visual words) while discarding the geometric structure immediately surrounding them. Such a dictionary only provides a crude, piecewise constant approximation of the data manifold. To approach this problem, we propose a novel feature coding method called locality-constrained affine subspace coding (LASC). The data manifold in LASC is characterized by an ensemble of subspaces attached to the representative points (or affine subspaces), which can provide a piecewise linear approximation of the manifold. Given an input descriptor, we find its top-k neighboring subspaces, in which the descriptor is linearly decomposed and weighted to form the first-order LASC vector. Inspired by the success of usage of higher-order information in image classification, we propose the second-order LASC vector based on the Fisher information metric for further performance improvement. We make experiments on challenging benchmarks and experiments have shown the LASC method is very competitive.
Specific and Nonhepatotoxic Degradation of Nuclear Hepatitis B Virus cccDNA

Clearance of Chronic Virus The family of mRNA-editing enzymes, APOBEC, restricts hepatitis B virus (HBV) replication. Lucifora et al. (p. 1221, published online 20 February; see the Perspective by Shlomai and Rice) provide evidence that specific APOBECs mediate the anti-HBV effects of host cytokines, which in turn apparently induce nuclear deaminase activity without damaging host cells. Thus, there may be potential in these findings for developing a therapeutic route to curing chronic HBV infection. Cytokine induction renders viral DNA vulnerable and eliminates infection. Current antiviral agents can control but not eliminate hepatitis B virus (HBV), because HBV establishes a stable nuclear covalently closed circular DNA (cccDNA). Interferon-α treatment can clear HBV but is limited by systemic side effects. We describe how interferon-α can induce specific degradation of the nuclear viral DNA without hepatotoxicity and propose lymphotoxin-β receptor activation as a therapeutic alternative. Interferon-α and lymphotoxin-β receptor activation up-regulated APOBEC3A and APOBEC3B cytidine deaminases, respectively, in HBV-infected cells, primary hepatocytes, and human liver needle biopsies. HBV core protein mediated the interaction with nuclear cccDNA, resulting in cytidine deamination, apurinic/apyrimidinic site formation, and finally cccDNA degradation that prevented HBV reactivation. Genomic DNA was not affected. Thus, inducing nuclear deaminases—for example, by lymphotoxin-β receptor activation—allows the development of new therapeutics that, in combination with existing antivirals, may cure hepatitis B.
Visuospatial abilities in cerebellar disorders

Background: Cerebellar involvement in spatial data management has been suggested on experimental and clinical grounds. Objective: To attempt a specific analysis of visuospatial abilities in a group of subjects with focal or atrophic cerebellar damage. Methods: Visuospatial performance was tested using the spatial subtests of the WAIS, the Benton line orientation test, and two tests of mental rotation of objects—the Minnesota paper form board test (MIN) and the differential aptitude test (DAT). Results: In the Benton line orientation test, a test of sensory analysis and elementary perception, no deficits were present in subjects with cerebellar damage. In MIN, which analyses the capacity to process bidimensional complex figures mentally, and in the DAT, which is based on mental folding and manipulation of tridimensional stimuli, subjects with cerebellar damage were impaired. Conclusions: The results indicate that lesions of the cerebellar circuits affect visuospatial ability. The ability to rotate objects mentally is a possible functional substrate of the observed deficits. A comparison between visuospatial performance of subjects with focal right and left cerebellar lesions shows side differences in the characteristics of the visuospatial syndrome. Thus cerebellar influences on spatial cognition appear to act on multiple cognitive modules.
Inverse Subsemigroups of the Monogenic Free Inverse Semigroup

Abstract It is shown that every finitely generated inverse subsemigroup (submonoid) of the monogenic free inverse semigroup (monoid) is finitely presented. As a consequence, the homomorphism and the isomorphism problems for the monogenic free inverse semigroup (monoid) are proven to be decidable.
Low-threshold transient calcium current in rat hippocampal lacunosum- moleculare interneurons: kinetics and modulation by neurotransmitters

Interneurons from the CA1 lacunosum-moleculare (L-M) region were isolated by trypsin-hyaluronidase treatment and mechanical trituration of the L-M. Interneurons isolated in this manner were multipolar with several dendritic processes and could be distinguished from CA1 pyramidal neurons. The properties of a low-threshold transient (LTT) Ca2+ current were investigated using whole-cell voltage-clamp techniques. The activation threshold of the LTT Ca2+ current was -60 mV, and the peak current, 100 +/- 9 pA (mean +/- SEM; n = 15), was observed at -30 mV. Ca2+ was the predominant charge carrier because the current was not affected by tetrodotoxin and was abolished in Ca(2+)- free external solution. Steady state inactivation was observed when the holding potential was positive to -100 mV, and the current was half- inactivated at -84 mV. Complete inactivation occurred at a holding potential of -60 mV. The time-to-peak of the current was highly voltage dependent and ranged from 10 msec at -60 mV to 4 msec at 0 mV. The time constant of inactivation was also voltage dependent and ranged from 27 msec at -60 mV to 12 msec at greater than -30 mV. Recovery from inactivation to 90% of maximum current occurred within 200 msec. L-M interneurons receive synaptic inputs from the septum that release ACh or GABA and from the raphe nuclei that release 5-HT. Carbachol, a nonhydrolyzable cholinergic agonist, and 5-HT quickly and reversibly increased the amplitude of the LTT Ca2+ current. Carbachol's actions were blocked by atropine, indicating that this effect was mediated by muscarinic receptors.
Principles of Abrasive Processing

1. Introduction 2. Abrasive tools 3. Single grit performance 4. Form and finish grinding mechanics 5. Form and finish grinding performance 6. Abrasive cut-off 7. Conditioning of slabs and billets 8. Vertical spindle surface grinding 9. Grinding temperatures 10. Surface integrity 11. Wheel life 12. The grinding environment 13. Special processes 14. Hard work materials 15. Precision finishing Index
Two distinct transmembrane serine/threonine kinases from Drosophila melanogaster form an activin receptor complex

A transmembrane protein serine/threonine kinase, Atr-I, that is structurally related to receptors for members of the transforming growth factor-beta (TGF-beta) family has been cloned from Drosophila melanogaster. The spacing of extracellular cysteines and the cytoplasmic domain of Atr-I resemble most closely those of the recently described mammalian type I receptors for TGF-beta and activin. When expressed alone in test cells, Atr-I is unable to bind TGF-beta, activin, or bone morphogenetic protein 2. However, Atr-I binds activin efficiently when coexpressed with the distantly related Drosophila activin receptor Atr-II, with which it forms a heteromeric complex. Atr-I can also bind activin in concert with mammalian activin type II receptors. Two alternative forms of Atr-I have been identified that differ in an ectodomain region encompassing the cysteine box motif characteristic of receptors in this family. Comparison of Atr-I with other type I receptors reveals the presence of a characteristic 30-amino-acid domain immediately upstream of the kinase region in all these receptors. This domain, of unknown function, contains a repeated Gly-Ser sequence and is therefore referred to as the GS domain. Maternal Atr-I transcripts are abundant in the oocyte and widespread during embryo development and in the imaginal discs of the larva. The structural properties, binding specificity, and dependence on type II receptors define Atr-I as an activin type I receptor from D. melanogaster. These results indicate that the heteromeric kinase structure is a general feature of this receptor family.
The comparative effects of 0.12% chlorhexidine and herbal oral rinse on dental plaque-induced gingivitis: A randomized clinical trial

Background: Chlorhexidine (CHX) is considered as a gold standard of antimicrobial rinses. Various herbal oral rinses are available in the market. However, little is known of its effectiveness. Aim: The aim of this study was to evaluate the clinical changes after the usage of herbal oral rinse and 0.12% CHX. Subjects and Methods: In a randomized clinical trial, 76 patients with dental plaque-induced gingivitis were assigned to Group I (Herbal Oral Rinse - Hiora; ) and 76 patients with dental plaque-induced gingivitis to Group II (0.12% Chlorhexidine-Peridex; ). Gingival index and Plaque index scores were recorded at baseline and 21 days after scaling. Results: Intragroup comparison in both groups showed that plaque index and gingival index scores were statistically significant after 21 days as compared to baseline. Intergroup comparison showed that plaque index scores and gingival index scores were statistically significant in Group II as compared to Group I. Conclusion: When herbal oral rinse was compared to 0.12% CHX, 0.12% CHX mouth rinse effectively reduced the clinical symptoms of plaque-induced gingivitis.
Changes in mitochondrial DNA as a marker of nucleoside toxicity in HIV-infected patients.

BACKGROUND Nucleoside analogues can induce toxic effects on mitochondria by inhibiting the human DNA polymerase gamma. The toxic effects can range from increased serum lactate levels to potentially fatal lactic acidosis. We studied changes in mitochondrial DNA relative to nuclear DNA in the peripheral-blood cells of patients with symptomatic, nucleoside-induced hyperlactatemia. METHODS Total DNA was extracted from blood cells. A nuclear gene and a mitochondrial gene were quantified by real-time polymerase chain reaction. Three groups were studied: 24 controls not infected with the human immunodeficiency virus (HIV), 47 HIV-infected asymptomatic patients who had never been treated with antiretroviral drugs, and 8 HIV-infected patients who were receiving antiretroviral drugs and had symptomatic hyperlactatemia. The patients in the last group were studied longitudinally before, during, and after antiretroviral therapy. RESULTS Symptomatic hyperlactatemia was associated with marked reductions in the ratios of mitochondrial to nuclear DNA, which, during therapy, averaged 68 percent lower than those of non-HIV-infected controls and 43 percent lower than those of HIV-infected asymptomatic patients never treated with antiretroviral drugs. After the discontinuation of antiretroviral therapy, there was a statistically significant increase in the ratio of mitochondrial to nuclear DNA (P=0.02). In the patients followed longitudinally, the decline in mitochondrial DNA preceded the increase in venous lactate levels. CONCLUSIONS Mitochondrial DNA levels are significantly decreased in patients with symptomatic, nucleoside-related hyperlactatemia, an effect that resolves on the discontinuation of therapy.
A cohort study of the relationship of diabetic retinopathy to blood pressure.

OBJECTIVE To determine whether blood pressure at baseline was associated with incidence or progression of diabetic retinopathy during a 10-year interval in a population-based cohort. PARTICIPANTS A probability sample of all persons receiving primary care for diabetes in an 11-county area of southern Wisconsin were invited to participate in the study examinations in 1980 to 1982, 1984 to 1986, and 1990 to 1992. PROCEDURES Blood pressure measurements, height, weight, ocular photographs, and glycosylated hemoglobin measurements were obtained and ocular examinations and a medical history interview were performed at each evaluation. MAIN OUTCOME MEASURES Fundus photographs of seven standard photographic fields were obtained and graded according to the modified Airlie House Classification scheme. End points were incidence, any progression, or progression to proliferative diabetic retinopathy. RESULTS At the baseline examination, 996 subjects were determined to have younger-onset diabetes and 1370 subjects had older-onset diabetes compared with 891 and 987, respectively, at the 4-year follow-up examination and 765 and 533, respectively, at the 10-year follow-up examination. In discrete linear logistic analyses, a 10-mm Hg increase in systolic blood pressure was significantly associated with incidence of retinopathy in subjects with younger-onset diabetes 10 years after the baseline examination (odds ratio, 1.27; 95% confidence interval, 1.03 to 1.57). No consistent association of blood pressure and retinopathy in subjects with older-onset diabetes was observed. Mortality did not affect the relationship of blood pressure and retinopathy. CONCLUSION Increased systolic blood pressure at baseline was associated with a modest subsequent increased risk of incidence of diabetic retinopathy in subjects with younger-onset diabetes.
UpSet: Visualization of Intersecting Sets

Understanding relationships between sets is an important analysis task that has received widespread attention in the visualization community. The major challenge in this context is the combinatorial explosion of the number of set intersections if the number of sets exceeds a trivial threshold. In this paper we introduce UpSet, a novel visualization technique for the quantitative analysis of sets, their intersections, and aggregates of intersections. UpSet is focused on creating task-driven aggregates, communicating the size and properties of aggregates and intersections, and a duality between the visualization of the elements in a dataset and their set membership. UpSet visualizes set intersections in a matrix layout and introduces aggregates based on groupings and queries. The matrix layout enables the effective representation of associated data, such as the number of elements in the aggregates and intersections, as well as additional summary statistics derived from subset or element attributes. Sorting according to various measures enables a task-driven analysis of relevant intersections and aggregates. The elements represented in the sets and their associated attributes are visualized in a separate view. Queries based on containment in specific intersections, aggregates or driven by attribute filters are propagated between both views. We also introduce several advanced visual encodings and interaction methods to overcome the problems of varying scales and to address scalability. UpSet is web-based and open source. We demonstrate its general utility in multiple use cases from various domains.
Tissue inhibitor of metalloproteinases-1-induced scattered liver metastasis is mediated by host-derived urokinase-type plasminogen activator

Paradoxically, not only proteinases but also their inhibitors can correlate with bad prognosis of cancer patients, underlining the evolving concept of the protease web as the complex interplay between proteinases, their inhibitors and effector molecules. Elevated levels of tissue inhibitor of metalloproteinases‐1 (TIMP‐1) render the liver more susceptible to metastasis by triggering urokinase plasminogen activator (uPA) expression as well as hepatocyte growth factor (HGF) signalling, thereby leading to the fatal scattered infiltration of metastasizing tumour cells throughout the parenchyma of the target organ. Here, we investigated whether host uPA is a crucial protagonist for the TIMP‐1‐induced modulation of a pro‐metastatic microenvironment in the liver. Indeed, in livers of uPA‐ablated mice elevated TIMP‐1 levels did not trigger HGF signalling and did not promote metastasis of a murine T‐lymphoma cell line. In contrast, lack of tumour cell‐derived uPA induced by gene silencing did not interfere with this pro‐metastatic pathway. Furthermore, host uPA was necessary for the recruitment of neutrophilic granulocytes and the associated increase of HGF in livers with elevated TIMP‐1 levels. This newly identified co‐operation between TIMP‐1 and host uPA suggests that therapies, simultaneously interfering with pro‐ and anti‐proteolytic pathways may be beneficial for patients with metastatic disease.
THE STAR FORMATION RATE OF SUPERSONIC MAGNETOHYDRODYNAMIC TURBULENCE

This work presents a new physical model of the star formation rate (SFR), which is verified with an unprecedented set of large numerical simulations of driven, supersonic, self-gravitating, magneto-hydrodynamic (MHD) turbulence, where collapsing cores are captured with accreting sink particles. The model depends on the relative importance of gravitational, turbulent, magnetic, and thermal energies, expressed through the virial parameter, αvir, the rms sonic Mach number, , and the ratio of mean gas pressure to mean magnetic pressure, β0. The SFR is predicted to decrease with increasing αvir (stronger turbulence relative to gravity), to increase with increasing (for constant values of αvir), and to depend weakly on β0 for values typical of star forming regions (–20 and β0 ≈ 1–20). In the unrealistic limit of β0 → ∞, that is, in the complete absence of a magnetic field, the SFR increases approximately by a factor of three, which shows the importance of magnetic fields in the star formation process, even when they are relatively weak (super-Alfvénic turbulence). The star-formation simulations used to test the model result in an approximately constant SFR, after an initial transient phase. The dependence of the SFR on the virial parameter is shown to agree very well with the theoretical predictions.
Shot noise, LER, and quantum efficiency of EUV photoresists

The shot noise, line edge roughness (LER) and quantum efficiency of EUV interaction with seven resists related to EUV-2D (SP98248B) are studied. These resists were identical to EUV-2D except were prepared with seven levels of added base while keeping all other resist variables constant. These seven resists were patterned with EUV lithography, and LER was measured on 100-200 nm dense lines. Similarly, the resists were also imaged using DUV lithography and LER was determined for 300-500 nm dense lines. LER results for both wavelengths were plotted against Esize. Both curves show very similar LER behavior-the resists requiring low doses have poor LER, whereas the resists requiring high doses have good LER. One possible explanation for the observed LER response is that the added base improves LER by reacting with the photogenerated acid to control the lateral spread of acid, leading to better chemical contrast at the line edge. An alternative explanation to the observed relationship between LER and Esize is that shot-noise generated LER decreases as the number of photons absorbed at the line edge increases. We present an analytical model for the influence of shot noise based on Poisson statistics that preidicts that the LER is proportional to (Esize)-1/2. Indeed, both sets of data give straight lines when plotted this way (DUV r2 = 0.94; EUV r2 = 0.97). We decided to further evaluate this interpretation by constructing a simulation model for shot noise resulting from exposure and acid diffusion at the mask edge. In order to acquire the data for this model, we used the base titration method developed by Szmanda et al. to determine C-parameters and hence the quantum efficiency for producing photogenerated acid. This information, together with film absorptivity, allows the calculation of number and location of acid molecules generated at the mask edgte by assuming a stochastic distribution of individual photons corresponding to the aerial image function. The edge "roughness" of the acid molecule distribution in the film at the mask edge is then simulated as a function of acid diffusion length and compared to the experimental data. In addition, comparisoins between of the number of acid molecules generated and photons consumed leads to values of quantum efficiencies for these EUV resists.
Dynamic Allocation of Crowd Contributions for Sentiment Analysis during the 2016 U.S. Presidential Election

Opinions about the 2016 U.S. Presidential Candidates have been expressed in millions of tweets that are challenging to analyze automatically. Crowdsourcing the analysis of political tweets effectively is also difficult, due to large inter-rater disagreements when sarcasm is involved. Each tweet is typically analyzed by a fixed number of workers and majority voting. We here propose a crowdsourcing framework that instead uses a dynamic allocation of the number of workers. We explore two dynamic-allocation methods: (1) The number of workers queried to label a tweet is computed offline based on the predicted difficulty of discerning the sentiment of a particular tweet. (2) The number of crowd workers is determined online, during an iterative crowd sourcing process, based on inter-rater agreements between labels.We applied our approach to 1,000 twitter messages about the four U.S. presidential candidates Clinton, Cruz, Sanders, and Trump, collected during February 2016. We implemented the two proposed methods using decision trees that allocate more crowd efforts to tweets predicted to be sarcastic. We show that our framework outperforms the traditional static allocation scheme. It collects opinion labels from the crowd at a much lower cost while maintaining labeling accuracy.