Miracle-dz/UniFAR-FTUs huggingface dataset:
Monitoring aspects for the customization of automatically generated code for big-step models

The output of a code generator is assumed to be correct and not usually intended to be read or modified; yet programmers are often interested in this, e.g., to monitor a system property. Here, we consider code customization for a family of code generators associated with big-step executable modelling languages (e.g., statecharts). We introduce a customization language that allows us to express customization scenarios for the generated code independently of a specific big-step execution semantics. These customization scenarios are all different forms of runtime monitors, which lend themselves to a principled, uniform implementation for observation and code extension. A monitor is given in terms of the enabledness and execution of the transitions of a model and a reachability relation between two states of the execution of the model during a big step. For each monitor, we generate the aspect code that is incorporated into the output of a code generator to implement the monitor at the generated-code level. Thus, we provide means for code analysis through using the vocabulary of a model, rather than the detail of the generated code. Our technique not only requires the code generators to reveal only limited information about their code generation mechanisms, but also keeps the structure of the generated code intact. We demonstrate how various useful properties of a model, or a language, can be checked using our monitors.
Automatically identifying a software product's quality attributes through sentiment analysis of tweets

Software quality attributes can be identified based on software features such as security, reliability and user-friendliness. This process can be done either manually or automatically. Sentiment analysis refers to the sentiment extraction task from resources such as natural language texts. We study the application of sentiment analysis on extracting the quality attributes of a software product based on the opinions of end-users that have been stated in microblogs such as Twitter. Our findings obtain advantageous techniques such as document frequency of words in a large number of tweets. The extracted results can help software developers know the advantages and disadvantages of their products.
A Cocktail Method for Promoting Cardiomyocyte Differentiation from Bone Marrow-Derived Mesenchymal Stem Cells

A growing body of evidence supports the argument that bone marrow-derived mesenchymal stem cells (MSCs) can differentiate into cardiomyocyte-like cells in an appropriate cellular environment, but the differentiation rate is low. A cocktail method was designed: we investigated the role of 5-azacytidine (5-aza), salvianolic acid B (SalB), and cardiomyocyte lysis medium (CLM) in inducing MSCs to acquire the phenotypical characteristics of cardiomyocytes. The fourth-passage MSCs were treated with 5-aza, SalB, CLM, 5-aza+salB, 5-aza+CLM, SalB+CLM, and 5-aza+SalB+CLM for 2 weeks. Immunofluorescence results showed that cTnT expression in the 5-aza+salB+CLM group was stronger than other groups. Real-time qPCR and Western blotting analyses showed that cTnT, alpha-cardiac actin, mef-2c, Cx43, and GSK-3beta expression increased while beta-catenin expression decreased. The salB+5-aza+CLM group had the most evident effects. SalB combined with 5-aza and CLM improved cardiomyocyte differentiation from MSCs. In the MSCs differentiation process, the Wnt/beta-catenin signaling pathway had been inhibited.
Victimization Recency, Development of Anger, and Violent Offending in Early Adulthood: A Developmental Test of General Strain Theory

ABSTRACT This research provides a test of general strain theory examining the relevance of strain recency, the role of victimization history for predicting anger development, and the relevance of anger development for mediating this relationship. Analyses utilized group-based trajectory modeling to elucidate patterns of anger development and also utilized multinomial logistic regression to examine the relevance of victimization history for predicting anger development. Analyses then utilized Poisson regression to examine the relevance of victimization for predicting violent offending at age 23 and to test for mediation. A three-group model best fit the data, with low, moderate, and high anger groups emerging. Victimization prior to age 16 significantly increased the risk of assignment to the moderate and high groups. More recent victimization demonstrated a significant effect on violent offending at the age of 23. Anger group assignment fully mediated the relationship between victimization history prior to ages 16 and 23 violent offending.
Control of a Parametrically Excited Crane: A Vector Lyapunov Approach

In this brief, a controller is proposed in order to avoid the parametric resonance effect and to attenuate the load oscillations in a parametrically excited crane, ensuring precise load transfer during the load movement despite model uncertainties and un-modeled dynamic actuators. The nonlinear controller proposed in this brief is motivated by the Twisting algorithm and the design uses the vector Lyapunov function approach ensuring the ultimate bounded stability of the overall closed-loop system. The experiments conducted over a laboratory platform resemble quite well the simulations, confirming the obtained results.
Begging at high level simultaneously impairs growth and immune response in southern shrike (Lanius meridionalis) nestlings

Theoretical models suggest that begging should be costly in order to be evolutionarily stable. However, evidence for such a cost is contradictory (e.g. for growth costs) or scant (e.g. for immunological costs). Here, we experimentally test the existence of both costs in southern shrike (Lanius meridionalis) nestlings. Nestlings were paired by nest of origin and similar body mass. In each pair, a nestling was forced to beg for about 30 s h−1, whereas the other begged for only 2 s, both nestlings receiving the same quantity of food. At the same time, the nestling response to an antigen (phytohaemagglutinin) was measured. Nestlings forced to beg for longer showed a reduction in growth rate and in immunocompetence when compared to control chicks. The two costs occurred independently of each other and were negatively correlated to time begging. These results strongly support models of honest signalling as well as scramble competition, which predict that begging should be costly in order to be evolutionarily stable.
Modified sampling scheme in inverse sampling without replacement

Inverse sampling with unequal probabilities without replacement is modified from the Midzuno's scheme. An unbiased estimator of the population total of a study variable is presented. The variance and the corresponding unbiased estimator of this variance are given. An unbiased estimator of the number of units in a given class, its variance and an unbiased estimate of the variance are also given. These estimators are obtained via the Murthy's estimator using the Rao-Blackwell approach conditioned on a minimum sufficient statistic. The estimates do not depend on the order of draws and are easy to compute. An example is given to illustrate the idea.
Towards an architecture for personalized information retrieval implying the user's profile and votes

Information Retrieval is a process made by a user to obtain relevant information which meets his needs using an Information Retrieval System (IRS). However the IRS shows some differences between user relevance and system relevance. These variations are primarily related to the imperfection of the indexing process (approach directly related to the IR) and specially the non consideration of the user profile. This paper presents a study about formalisms proposed in the literature and addresses some reflections to deal with problems arising from this survey, in order to satisfy the final user in Information Retrieval process.
Proposal for CSE 190 Spring 2011: Identifying the Cuisine of a Plate of Food

Food is an indispensible part of our lives. In today’s globalized market, food from different geographical regions show remarkable variations in the choice of ingredients and the ways to prepare them. Some cuisines have ingredient choices unimaginable to customers habituated to other cuisines, but still present surprisingly tasty dishes. Besides unique ingredients, even the same ingredients, depending on the preparation process, may end up preserving different fractions of the nutritional value and very different calories. If restaurant networks provide a mobile app that can aim at a photograph of a plate of food and report its cuisine, the composing ingredients, and list other similar dishes, it could be a good marketing strategy. In addition, restaurants of a specific cuisine can also refer to other cuisines’ use of ingredients to sparkle ideas for more creative dishes that utilize similar ingredients in new ways. One core component of such an application is to recognize the cuisine and ingredients on a plate of food. Then the information may later be used to compare cuisines and find a network of common ingredients in the dishes.
An extension of standard ML modules with subtyping and inheritance

We describe a general module language integrating abstract data types, specifications and object-oriented concepts. The framework is based on the Standard ML module system, with three main extensions: subtyping, a form of object derived from ML structures, and inherit ante primitives. The language aims at supporting a range of programming styles, including mixtures of object-oriented programming and programs built around specified algebraic or higher-order abstract data types. We separate specification from implementation, and provide independent inheritance mechanisms for each. In order to support binary operations on objects within this framework, we introduce “internal interfaces” which govern the way that function components of one structure may access components of another. The language design has been tested by writing a number of program examples; an implementation is under development in the context of a larger project.
Increased Expression of Cannabinoid CB1 Receptors in Achilles Tendinosis

Background The endogenous cannabinoid system is involved in the control of pain. However, little is known as to the integrity of the cannabinoid system in human pain syndromes. Here we investigate the expression of the cannabinoid receptor 1 (CB1) in human Achilles tendons from healthy volunteers and from patients with Achilles tendinosis. Methodology Cannabinoid CB1 receptor immunoreactivity (CB1IR) was evaluated in formalin-fixed biopsies from individuals suffering from painful Achilles tendinosis in comparison with healthy human Achilles tendons. Principal Findings CB1IR was seen as a granular pattern in the tenocytes. CB1IR was also observed in the blood vessel wall and in the perineurium of the nerve. Quantification of the immunoreactivity in tenocytes showed an increase of CB1 receptor expression in tendinosis tissue compared to control tissue. Conclusion Expression of cannabinoid receptor 1 is increased in human Achilles tendinosis suggesting that the cannabinoid system may be dysregulated in this disorder.
Two Novel Simian Arteriviruses in Captive and Wild Baboons (Papio spp.)

ABSTRACT Since the 1960s, simian hemorrhagic fever virus (SHFV; Nidovirales, Arteriviridae) has caused highly fatal outbreaks of viral hemorrhagic fever in captive Asian macaque colonies. However, the source(s) of these outbreaks and the natural reservoir(s) of this virus remain obscure. Here we report the identification of two novel, highly divergent simian arteriviruses related to SHFV, Mikumi yellow baboon virus 1 (MYBV-1) and Southwest baboon virus 1 (SWBV-1), in wild and captive baboons, respectively, and demonstrate the recent transmission of SWBV-1 among captive baboons. These findings extend our knowledge of the genetic and geographic diversity of the simian arteriviruses, identify baboons as a natural host of these viruses, and provide further evidence that baboons may have played a role in previous outbreaks of simian hemorrhagic fever in macaques, as has long been suspected. This knowledge should aid in the prevention of disease outbreaks in captive macaques and supports the growing body of evidence that suggests that simian arterivirus infections are common in Old World monkeys of many different species throughout Africa. IMPORTANCE Historically, the emergence of primate viruses both in humans and in other primate species has caused devastating outbreaks of disease. One strategy for preventing the emergence of novel primate pathogens is to identify microbes with the potential for cross-species transmission in their natural state within reservoir species from which they might emerge. Here, we detail the discovery and characterization of two related simian members of the Arteriviridae family that have a history of disease emergence and host switching. Our results expand the phylogenetic and geographic range of the simian arteriviruses and define baboons as a natural host for these viruses. Our findings also identify a potential threat to captive macaque colonies by showing that simian arteriviruses are actively circulating in captive baboons.
Propositions for utilising emotional intelligence in construction organisations

Abstract The emotional intelligence (EI) concept is prevalent within management literature and is recognized as an important skill for managers in achieving organisational effectiveness. However, scholars report an unwillingness by the construction industry to fully embrace this concept. This study aims to provide an assessment of EI research that relates specifically to construction project managers (CPM) and construction professionals (CP) through a literature review which involved a chronological and interpretive approach. Findings revealed that, in general, only a minimal number of investigations have been carried out with regards to the construction industry. Characteristics of reviewed studies include a predominance of quantitative methodologies and lack of consideration for both cultural orientation and the nature of the task/activity. It is suggested that studies of EI in construction need to consider concepts applied in social and management studies such as ‘Identity and Culture’ so as to discover more insights on how EI can be trained and utilized. The study offers relevant information for researchers, instructors and CP on ways to harness practical benefits of EI.
Revising the Compositional Method for Terminology Acquisition from Comparable Corpora

In this paper, we present a new method that improves the alignment of equivalent terms monolingually acquired from bilingual comparable corpora: the Compositional Method with Context-Based Projection (CMCBP). Our overall objective is to identify and to translate high specialized terminology made up of multi-word terms acquired from comparable corpora. Our evaluation in the medical domain and for two pairs of languages demonstrates that CMCBP outperforms the state-of-art compositional approach commonly used for translationally equivalent multi-word term discovery from comparable corpora.
Extensive Characterization of IFN-Induced GTPases mGBP1 to mGBP10 Involved in Host Defense1

IFN-γ orchestrates a potent antimicrobial host response. However, the underlying molecular basis for this immunological defense system is largely unknown. In a systematic approach to identify IFN-γ-regulated host effector molecules, a notable number of transcripts with consensus GTP-binding motives were obtained. Further extensive transcriptome and genome analyses identified five novel family members of murine guanylate-binding proteins (mGBPs) now designated mGBP6, 7, 8, 9, and 10. Moreover, in this study, all 10 mGBP members (mGBP1–10) were extensively characterized. mGBPs are selectively up-regulated in vitro by a set of proinflammatory cytokines and TLR agonists as well as in vivo after Listeria monocytogenes and Toxoplasma gondii infection. After IFN-γ stimulation, mGBP1, 2, 3, 6, 7, and 9 are associated with intracellular Toxoplasma parasites and, interestingly, virulent Toxoplasma interfere with mGBP recruitment. Taken together, mGBPs comprise an important set of host defense molecules.
Prognostic Value of Gene Signatures and Proliferation in Lymph-Node-Negative Breast Cancer

Introduction The overall survival rate is good for lymph-node-negative breast cancer patients, but they still suffer from serious over- and some undertreatments. Prognostic and predictive gene signatures for node-negative breast cancer have a high number of genes related to proliferation. The prognostic value of gene sets from commercial gene-expression assays were compared with proliferation markers. Methods Illumina WG6 mRNA microarray analysis was used to examine 94 fresh-frozen tumour samples from node-negative breast cancer patients. The patients were divided into low- and high-risk groups for distant metastasis based on the MammaPrint-related genes, and into low-, intermediate- and high-risk groups based on the recurrence score algorithm with genes included in Oncotype DX. These data were then compared to proliferation status, as measured by the mitotic activity index, the expressions of phosphohistone H3 (PPH3), and Ki67. Results Kaplan-Meier survival analysis for distant-metastasis-free survival revealed that patients with weak and strong PPH3 expressions had 14-year survival rates of 87% (n = 45), and 65% (n = 49, p = 0.014), respectively. Analysis of the MammaPrint classification resulted in 14-year survival rates of 80% (n = 45) and 71% (n = 49, p = 0.287) for patients with low and high risks of recurrence, respectively. The Oncotype DX categorization yielded 14-year survival rates of 83% (n = 18), 79% (n = 42) and 68% (n = 34) for those in the low-, intermediate- and high-risk groups, respectively (p = 0.52). Supervised hierarchical cluster analysis for distant-metastasis-free survival in the subgroup of patients with strong PPH3 expression revealed that the genes involved in Notch signalling and cell adhesion were expressed at higher levels in those patients with distant metastasis. Conclusion This pilot study indicates that proliferation has greater prognostic value than the expressions of either MammaPrint- or Oncotype-DX-related genes. Furthermore, in the subgroup of patients with high proliferation, Notch signalling pathway genes appear to be expressed at higher levels in patients who develop distant metastasis.
Auxin-induced expression divergence between Arabidopsis species likely originates within the TIR1/AFB-AUX/IAA-ARF signaling network running title: comparative transcriptomics of auxin-responses

Auxin is an essential regulator of virtually all aspects of plant growth and development and components of the auxin signaling pathway are conserved among land plants. Yet, a remarkable degree of natural variation in physiological and transcriptional auxin responses has been described among Arabidopsis thaliana accessions. Such variations might be caused by divergence in promoter or coding sequences of signaling and/or response genes that ultimately result in altered protein levels or functions. As intra-species comparisons offer only limited sequence variation, we here combined physiological, transcriptomic and genomic information to inspect the variation of auxin responses between A. thaliana and A. lyrata. This approach allowed the identification of genes with conserved auxin responses in both species and provided novel genes with potential relevance for auxin biology. Furthermore, gene expression and promoter sequence divergence were exploited to assess putative sources of variation. De novo motif discovery identified variants of known as well as novel promoter elements with potential relevance for transcriptional auxin responses. Furthermore, expression of AUXIN/INDOLE-3-ACETIC ACID (AUX/IAA) signaling genes was highly diverse between A. thaliana and A. lyrata. Network analysis revealed positive and negative correlations of inter-species differences in the expression of AUX/IAA gene clusters and classic auxin-related genes. We conclude that variation in general transcriptional and physiological auxin responses may originate substantially from functional or transcriptional variations in the TRANSPORT INHIBITOR RESPONSE 1/AUXIN SIGNALING F-BOX, AUX/IAA and AUXIN RESPONSE FACTOR signaling network. In that respect, AUX/IAA gene expression divergence potentially reflect differences in the manner in which different species transduce identical auxin signals into gene expression responses. Introduction Auxin's capacity to regulate the essential cellular processes of division, elongation and differentiation integrates it in the regulation of virtually all developmental and physiological plant processes. On a molecular level, auxin responses involve extensive and rapid changes in the transcriptome (Paponov et al., 2008). This response depends on a signaling pathway which is constituted by three main signaling components: (i) TRANSPORT INHIBITOR RESPONSE1/AUXIN SIGNALING F-BOX1-5 (TIR1/AFBs) auxin-co-receptors, (ii) AUXIN/INDOLE-3-ACEDIC ACID (AUX/IAA) family of auxin coreceptors/transcriptional repressors, and (iii) the AUXIN RESPONSE FACTOR (ARF) family of transcription factors (Quint and Gray, 2006).
Synthesis of Application-Specific Fault-Tolerant Digital Microfluidic Biochip Architectures

Digital microfluidic biochips (DMBs) are microfluidic devices that manipulate droplets on an array of electrodes. Microfluidic operations, such as transport, mixing, and split, are performed on the electrode array to perform a biochemical application. All previous work assumes that the DMB architecture is given and most approaches consider a rectangular shape for the electrode array. However, nonrectangular application-specific architectures are common in practice. Hence, in this paper, we propose an approach to the synthesis of application-specific architectures, such that the cost of the architecture is minimized and the timing constraints of the biochemical application are satisfied. DMBs can be affected by permanent faults, which may lead to the failure of the biochemical application. Our approach introduces redundant electrodes to synthesize fault-tolerant architectures aiming at increasing the yield of DMBs. We have used a tabu search metaheuristic for this architecture synthesis problem. We have proposed a technique to evaluate the architecture alternatives visited during the search, in terms of their impact on the timing constraints of the application. The proposed architecture synthesis approach has been evaluated using several benchmarks.
Semi-blind channel estimation in MIMO commumication by tensor factorization

In this paper, we introduce a tensor-factorization method for solving channel estimation problem in MIMO applications. we address the estimation problem through a 3-way tensor analysis. We represent the received signals in a 4 × 4 MIMO system as a third-order tensor with modes: receiver antennas, packet symbols, and number of packets. Then we demonstrate that the multi-way analysis of PARAFAC2 can be successfully used for solving the MIMO channel estimation problem. This method uses different m-Sequence training symbols for different transmitted signals on the transmitter side. For evaluating the method we applied the well known MMSE-VBLAST detection method to the estimated channel and the results are reported.