Miracle-dz/UniFAR-FTUs huggingface dataset:
Cannabis Use and Anxiety: Is Stress the Missing Piece of the Puzzle?

Objective: Comorbidity between anxiety and cannabis use is common yet the nature of the association between these conditions is not clear. Four theories were assessed, and a fifth hypothesis tested to determine if the misattribution of stress symptomology plays a role in the association between state-anxiety and cannabis. Methods: Three-hundred-sixteen participants ranging in age from 18 to 71 years completed a short online questionnaire asking about their history of cannabis use and symptoms of stress and anxiety. Results: Past and current cannabis users reported higher incidence of lifetime anxiety than participants who had never used cannabis; however, these groups did not differ in state-anxiety, stress, or age of onset of anxiety. State-anxiety and stress were not associated with frequency of cannabis use, but reported use to self-medicate for anxiety was positively associated with all three. Path analyses indicated two different associations between anxiety and cannabis use, pre-existing and high state-anxiety was associated with (i) higher average levels of intoxication and, in turn, acute anxiety responses to cannabis use; (ii) frequency of cannabis use via the mediating effects of stress and self-medication. Conclusion: None of the theories was fully supported by the findings. However, as cannabis users reporting self-medication for anxiety were found to be self-medicating stress symptomology, there was some support for the stress-misattribution hypothesis. With reported self-medication for anxiety being the strongest predictor of frequency of use, it is suggested that researchers, clinicians, and cannabis users pay greater attention to the overlap between stress and anxiety symptomology and the possible misinterpretation of these related but distinct conditions.
A genotype–phenotype analysis of the 8q22.1 variant in migraine with aura

Background and purpose: Although the genetics of familial hemiplegic migraine are being unraveled, this is not the case for the prevalent types of migraine. However, a recent genome wide association study (GWAS) reported an association of the single nucleotide polymorphism (SNP) rs1835740 and migraine. The aim of this study is to evaluate the association of clinical characteristics in migraine with aura (MA) with the newly discovered minor allele A of rs1835740 at 8q22.1.
Towards a Theory of Diagnosis in Second and Foreign Language Assessment: Insights from Professional Practice Across Diverse Fields

Diagnostic language assessment has received increased research interest in recent years, with particular attention on methods through which diagnostic information can be gleaned from standardized proficiency tests. However, diagnostic procedures in the broader sense have been inadequately theorized to date, with the result that there is still little agreement on precisely what diagnosis in second and foreign language learning actually entails. In order to address this problem, this article investigated how diagnosis is theorized and carried out in a diverse range of professions with a view to finding commonalities that can be applied to the context of language assessment. Ten semi-structured interviews were conducted with professionals from the fields of car mechanics, IT systems support, medicine, psychology and education. Data were then coded, yielding five macro-categories that fit the entire data set: (i) definitions of diagnosis, (ii) means of diagnosis, (iii) key players, (iv) diagnostic procedures, (v) treatment/follow-up. Based on findings within these categories, a set of five tentative principles of diagnostic language assessment is drawn-up, as well as a list of implications for future research.
Constraint satisfaction tractability from semi-lattice operations on infinite sets

A famous result by Jeavons, Cohen, and Gyssens shows that every Constraint Satisfaction Problem (CSP) where the constraints are preserved by a semi-lattice operation can be solved in polynomial time. This is one of the basic facts for the so-called universal algebraic approach to a systematic theory of tractability and hardness in finite domain constraint satisfaction. Not surprisingly, the theorem of Jeavons et al. fails for arbitrary infinite domain CSPs. Many CSPs of practical interest, though, and in particular those CSPs that are motivated by qualitative reasoning calculi from artificial intelligence, can be formulated with constraint languages that are rather well-behaved from a model-theoretic point of view. In particular, the automorphism group of these constraint languages tends to be large in the sense that the number of orbits of n-subsets of the automorphism group is bounded by some function in n. In this article we present a generalization of the theorem by Jeavons et al. to infinite domain CSPs where the number of orbits of n-subsets grows subexponentially in n, and prove that preservation under a semi-lattice operation for such CSPs implies polynomial-time tractability. Unlike the result of Jeavons et al., this includes CSPs that cannot be solved by Datalog.
Hypotension Due to Kir6.1 Gain‐of‐Function in Vascular Smooth Muscle

Background KATP channels, assembled from pore‐forming (Kir6.1 or Kir6.2) and regulatory (SUR1 or SUR2) subunits, link metabolism to excitability. Loss of Kir6.2 results in hypoglycemia and hyperinsulinemia, whereas loss of Kir6.1 causes Prinzmetal angina–like symptoms in mice. Conversely, overactivity of Kir6.2 induces neonatal diabetes in mice and humans, but consequences of Kir6.1 overactivity are unknown. Methods and Results We generated transgenic mice expressing wild‐type (WT), ATP‐insensitive Kir6.1 [Gly343Asp] (GD), and ATP‐insensitive Kir6.1 [Gly343Asp,Gln53Arg] (GD‐QR) subunits, under Cre‐recombinase control. Expression was induced in smooth muscle cells by crossing with smooth muscle myosin heavy chain promoter–driven tamoxifen‐inducible Cre‐recombinase (SMMHC‐Cre‐ER) mice. Three weeks after tamoxifen induction, we assessed blood pressure in anesthetized and conscious animals, as well as contractility of mesenteric artery smooth muscle and KATP currents in isolated mesenteric artery myocytes. Both systolic and diastolic blood pressures were significantly reduced in GD and GD‐QR mice but normal in mice expressing the WT transgene and elevated in Kir6.1 knockout mice as well as in mice expressing dominant‐negative Kir6.1 [AAA] in smooth muscle. Contractile response of isolated GD‐QR mesenteric arteries was blunted relative to WT controls, but nitroprusside relaxation was unaffected. Basal KATP conductance and pinacidil‐activated conductance were elevated in GD but not in WT myocytes. Conclusions KATP overactivity in vascular muscle can lead directly to reduced vascular contractility and lower blood pressure. We predict that gain of vascular KATP function in humans would lead to a chronic vasodilatory phenotype, as indeed has recently been demonstrated in Cantu syndrome.
Dishevelled genes mediate a conserved mammalian PCP pathway to regulate convergent extension during neurulation

The planar cell polarity (PCP) pathway is conserved throughout evolution, but it mediates distinct developmental processes. In Drosophila, members of the PCP pathway localize in a polarized fashion to specify the cellular polarity within the plane of the epithelium, perpendicular to the apicobasal axis of the cell. In Xenopus and zebrafish, several homologs of the components of the fly PCP pathway control convergent extension. We have shown previously that mammalian PCP homologs regulate both cell polarity and polarized extension in the cochlea in the mouse. Here we show, using mice with null mutations in two mammalian Dishevelled homologs, Dvl1 and Dvl2, that during neurulation a homologous mammalian PCP pathway regulates concomitant lengthening and narrowing of the neural plate, a morphogenetic process defined as convergent extension. Dvl2 genetically interacts with Loop-tail, a point mutation in the mammalian PCP gene Vangl2, during neurulation. By generating Dvl2 BAC (bacterial artificial chromosome) transgenes and introducing different domain deletions and a point mutation identical to the dsh1 allele in fly, we further demonstrated a high degree of conservation between Dvl function in mammalian convergent extension and the PCP pathway in fly. In the neuroepithelium of neurulating embryos, Dvl2 shows DEP domain-dependent membrane localization, a pre-requisite for its involvement in convergent extension. Intriguing, the Loop-tail mutation that disrupts both convergent extension in the neuroepithelium and PCP in the cochlea does not disrupt Dvl2 membrane distribution in the neuroepithelium, in contrast to its drastic effect on Dvl2 localization in the cochlea. These results are discussed in light of recent models on PCP and convergent extension.
Sub-domain Modelling for Dialogue Management with Hierarchical Reinforcement Learning

Human conversation is inherently complex, often spanning many different topics/domains. This makes policy learning for dialogue systems very challenging. Standard flat reinforcement learning methods do not provide an efficient framework for modelling such dialogues. In this paper, we focus on the under-explored problem of multi-domain dialogue management. First, we propose a new method for hierarchical reinforcement learning using the option framework. Next, we show that the proposed architecture learns faster and arrives at a better policy than the existing flat ones do. Moreover, we show how pretrained policies can be adapted to more complex systems with an additional set of new actions. In doing that, we show that our approach has the potential to facilitate policy optimisation for more sophisticated multi-domain dialogue systems.
Heterogeneous phenotype of human glioblastoma: In vitro study

Glioblastomas (GBMs) are the most lethal primary brain tumours. Increasing evidence shows that brain tumours contain the population of stem cells, so‐called cancer stem cells (CSCs). Stem cell marker CD133 was reported to identify CSC population in GBM. Further studies have indicated that CD133 negative cells exhibiting similar properties and are able to initiate the tumour, self‐renew and undergo multilineage differentiation. GBM is a highly heterogeneous tumour and may contain different stem cell populations with different functional properties. We characterized five GBM cell lines, established from surgical samples, according to the marker expression, proliferation and differentiation potential. CD133 positive cell lines showed increased proliferation rate in neurosphere condition and marked differentiation potential towards neuronal lineages. Whereas two cell lines low‐expressing CD133 marker showed mesenchymal properties in vitro, that is high proliferation rate in serum condition and differentiation in mesenchymal cell types. Further, we compared therapy resistance capacity of GBM cell lines treated with hydroxyurea. Our results suggest that CSC concept is more complex than it was believed before, and CD133 could not define entire stem cell population within GBM. At least two different subtypes of GBM CSCs exist, which may have different biological characteristics and imply different therapeutic strategies. Copyright © 2013 John Wiley & Sons, Ltd.
Diosgenin and 5-Methoxypsoralen Ameliorate Insulin Resistance through ER-α/PI3K/Akt-Signaling Pathways in HepG2 Cells

To determine the effects and the underlying mechanism of diosgenin (DSG) and 5-methoxypsoralen (5-MOP), two main active components in the classical Chinese prescription Hu-Lu-Ba-Wan (HLBW), on insulin resistance, HepG2 cells were incubated in medium containing insulin. Treatments with DSG, 5-MOP, and their combination were performed, respectively. The result showed that the incubation of HepG2 cells with high concentration insulin markedly decreased glucose consumption and glycogen synthesis. However, treatment with DSG, 5-MOP, or their combination significantly reversed the condition and increased the phosphorylated expression of estrogen receptor-α (ERα), sarcoma (Src), Akt/protein kinase B, glycogen synthase kinase-3β (GSK-3β), and the p85 regulatory subunit of phosphatidylinositol 3-kinase p85 (PI3Kp85). At the transcriptional level, expression of the genes mentioned above also increased except for the negative regulation of GSK-3β mRNA. The increased expression of glucose transport-4 (GLUT-4) was meanwhile observed through immunofluorescence. Nevertheless, the synergistic effect of DSG and 5-MOP on improving glycometabolism was not obvious in the present study. These results suggested that DSG and 5-MOP may improve insulin resistance through an ER-mediated PI3K/Akt activation pathway which may be a new strategy for type 2 diabetes mellitus, especially for women in an estrogen-deficient condition.
Stability and L2-gain analysis of periodic piecewise linear systems

This paper investigates the stability and L2-gain problems for a class of continuous-time periodic piecewise linear systems with possibly non-Hurwitz subsystems. First, the exponential stability of periodic piecewise systems is studied by allowing the Lyapunov function to possibly non-monotonically decreasing over a period. A sufficient condition is established in terms of matrix inequalities. In light of the proposed Lyapunov function, the L2-gain criterion is derived for periodic piecewise linear systems as well.
Extraction from the Web of Articles Describing Problems, Their Solutions, and Their Causes

In this study, we extracted articles describing problems, articles describing their solutions, and articles describing their causes from a Japanese Q&A style Web forum using a supervised machine learning with 0.70, 0.86, and 0.56 F values, respectively. We confirmed that these values are significantly better than their baselines. This extraction will be useful to construct an application that can search for problems provided by users and display causes and potential solutions.
How did the recent increase in the supply of coronary operations in Finland affect socioeconomic and gender equity in their use?

Study objective: To explore how the increased supply of coronary bypass operations and angioplasties from 1988 to 1996 influenced socioeconomic and gender equity in their use. Design: Register based linkage study; information on coronary procedures from the Finnish Hospital Discharge Register in 1988 and 1996 was individually linked to national population censuses in 1970–1995 to obtain patients’ socioeconomic data. Data on both hospitalisations and mortality attributable to coronary heart disease obtained from similar linkage schemes were used to approximate the relative need of procedures in socioeconomic groups. Setting: Finland, 2 094 846 inhabitants in 1988 and 2 401 027 in 1996 aged 40 years and older, and Discharge Register data from all Finnish hospitals offering coronary procedures in 1988 and 1996. Main results: The overall rate of coronary revascularisations in Finland increased by about 140% for men and 250% for women from 1988 to 1996. Over the same period, socioeconomic and gender disparities in operation rates diminished, as did the influence of regional supply of procedures on the extent of these differences. However, men, and better off groups in terms of occupation, education, and family income, continued to receive more operations than women and the worse off with the same level of need. Conclusions: Although revascularisations in Finland increased 2.5-fold overall, some socioeconomic and gender inequities persisted in the use of cardiac operations relative to need. To improve equity, a further increase of resources may be needed, and practices taking socioeconomic and gender equity into account should be developed for the referral of coronary heart disease patients to hospital investigations.
On the Discoursive Structure of Computer Graphics Research Papers

Understanding the structure of scientific discourse is of paramount importance for the development of appropriate Natural Language Processing tools able to extract and summarize information from research articles. In this paper we present an annotated corpus of scientific discourse in the domain of Computer Graphics. We describe the way we built our corpus by designing an annotation schema and relying on three annotators for manually classifying all sentences into the defined categories. Our corpus constitutes a semantically rich resource for scientific text mining. In this respect, we also present the results of our initial experiments of automatic classification of sentences into the 5 main categories in our corpus.
The Cerebral Response during Subjective Choice with and without Self-reference

The anterior medial prefrontal (AMPFC) and retrosplenial (RSC) cortices are active during self-referential decision-making tasks such as when participants appraise traits and abilities, or current affect. Other appraisal tasks requiring an evaluative decision or mental representation, such as theory of mind and perspective-taking tasks, also involve these regions. In many instances, these types of decisions involve a subjective opinion or preference, but also a degree of ambiguity in the decision, rather than a strictly veridical response. However, this ambiguity is generally not controlled for in studies that examine self-referential decision-making. In this functional magnetic resonance imaging experiment with 17 healthy adults, we examined neural processes associated with subjective decision-making with and without an overt self-referential component. The task required subjective decisions about colors-regarding self-preference (internal subjective decision) or color similarity (external subjective decision) under conditions where there was no objectively correct response. Results indicated greater activation in the AMPFC, RSC, and caudate nucleus during internal subjective decision-making. The findings suggest that self-referential processing, rather than subjective judgments among ambiguous response alternatives, accounted for the AMPFC and RSC response.
Binary Obfuscation Using Signals

Reverse engineering of software is the process of recovering higher-level structure and meaning from a lower-level program representation. It can be used for legitimate purposes--e.g., to recover source code that has been lost--but it is often used for nefarious purposes, e.g., to search for security vulnerabilities in binaries or to steal intellectual property. This paper addresses the problem of making it hard to reverse engineering binary programs by making it difficult to disassemble machine code statically. Binaries are obfuscated by changing many control transfers into signals (traps) and inserting dummy control transfers and "junk" instructions after the signals. The resulting code is still a correct program, but even the best current disassemblers are unable to disassemble 40%-60% of the instructions in the program. Furthermore, the disassemblers have a mistaken understanding of over half of the control flow edges. However, the obfuscated program necessarily executes more slowly than the original. Experimental results quantify the degree of obfuscation, stealth of the code, and effects on execution time and code size.
MIMO Detection for High-Order QAM Based on a Gaussian Tree Approximation

This paper proposes a new detection algorithm for MIMO communication systems employing high-order QAM constellations. The factor graph that corresponds to this problem is very loopy; in fact, it is a complete graph. Hence, a straightforward application of the Belief Propagation (BP) algorithm yields very poor results. Our algorithm is based on an optimal tree approximation of the Gaussian density of the unconstrained linear system. The finite-set constraint is then applied to obtain a cycle-free discrete distribution. Simulation results show that even though the approximation is not directly applied to the exact discrete distribution, applying the BP algorithm to the cycle-free factor graph outperforms current methods in terms of both performance and complexity. The improved performance of the proposed algorithm is demonstrated on the problem of MIMO detection.
Equine inhibin/activin βA‐subunit mRNA is expressed in the endometrial gland, but not in the trophoblast, during pregnancy

The expression of both inhibin α‐ and inhibin/activin βA‐subunit mRNA was examined in equine uteroplacental tissues collected during pregnancy (days 90 to 300). Northern blot analysis revealed that 5 transcripts (7.0, 4.1, 3.4, 2.6, 1.5 kb) of βA‐subunit were present, and the most abundantly expressed transcript was the 1.5 kb one. Relatively high levels of the 1.5 kb transcript were seen in the second trimester of pregnancy compared to what was found in the third trimester. To identify the tissue localization of βA‐subunit mRNA, in situ hybridization was performed, and the positive signal was observed exclusively in the endometrial glands, but not in the fetal placental tissue (trophoblast) at days 150, 210, and 300 of pregnancy. On the other hand, inhibin α‐subunit transcript could not be detected at any stage of pregnancy examined either by Northern blot analysis or in situ hybridization. Although the factor(s) regulating the gene expression of βA‐subunit in this equine tissue is currently unknown, these results suggest that activin, but not inhibin, is predominantly produced in the endometrial glands of the pregnant mare, and thus produced activin may play a paracrine or endocrine role during pregnancy in this species. Mol. Reprod. Dev. 47:363–369, 1997. © 1997 Wiley‐Liss, Inc.
A baseline probabilistic drought forecasting framework using standardized soil moisture index: application to the 2012 United States drought

The 2012 drought was one of the most extensive drought events in half a century, resulting in over USD 12 billion in economic loss in the United States and substantial indirect impacts on global food security and commodity prices. An important feature of the 2012 drought was rapid development and intensification in late spring/early summer, a critical time for crop development and investment planning. Drought prediction remains a major challenge because dynamical precipitation forecasts are highly uncertain, and their prediction skill is low. Using a probabilistic framework for drought forecasting based on the persistence property of accumulated soil moisture, this paper shows that the US drought of summer 2012 was predictable several months in advance. The presented drought forecasting framework provides the probability occurrence of drought based on climatology and near-past observations of soil moisture. The results indicate that soil moisture exhibits higher persistence than precipitation, and hence improves drought predictability.