Miracle-dz/UniFAR-FTUs huggingface dataset:
Almost first-class language embedding: taming staged embedded DSLs

Embedded domain-specific languages (EDSLs), inheriting a general-purpose language's features as well as look-and-feel, have traditionally been second-class or rather non-citizens in terms of host-language design. This makes sense when one regards them to be on the same level as traditional, non-EDSL library interfaces. However, this equivalence only applies to the simplest of EDSLs. In this paper we illustrate why this is detrimental when moving on to EDSLs that employ staging, i.e. program reification, by example of various issues that affect authors and users alike. We believe that if EDSLs are to be considered a reliable, language-like interface abstraction, they require exceptional attention and design scrutiny. Instead of unenforceable conventions, we advocate the acceptance of EDSLs as proper, i.e. almost first-class, citizens while retaining most advantages of pure embeddings. As a small step towards this goal, we present a pragmatic framework prototype for Java. It is based on annotations that explicate and document membership to explicit EDSL entities. In a nutshell, our framework identifies (annotated) method calls and field accesses as EDSL terms and dynamically constructs an abstract-syntax representation, which is eventually passed to a semantics-defining back end implemented by the EDSL author.
A quantitative critique of Kerlin’s macro-institutional social enterprise framework

Purpose – The purpose of this paper is to provide the first large data-set regression analysis to test Kerlin’s (2013) macro-institutional social enterprise framework in relation to the country social enterprise models that flow from it. Kerlin (2013) offers a conceptual framework for country social enterprise models that allows countries to retain their unique understanding of social enterprise and better understand the factors influencing its development. Design/methodology/approach – This paper draws on the theory of historical institutionalism and multiple global datasets to test formal hypotheses on the relationship between macro-institutional factors and the size of the social enterprise sector across countries. Social enterprise data were obtained from the 2009 Global Entrepreneurship Monitor dataset. Hypotheses were tested using logistic hierarchical linear modeling. Findings – Results provide support for the framework at a significant level. Nearly half of the variance in the size of the social e.
Novel Dissimilarity Algorithm for Content Based Image Retrieval

Target search in content-based image retrieval (CBIR) systems refers to finding a specific (target) image such as a particular registered logo or a specific historical photograph. Existing techniques, designed around query refinement based on relevance feedback (RF), suffer from slow convergence, and do not guarantee to find intended targets. To address these limitations,we propose several efficient query point movement methods. We prove that our approach is able to reach any given target image with fewer iterations in the worst and average cases. We propose a new index structure and query processing technique to improve retrieval effectiveness and efficiency. We also consider strategies to minimize the effects of users’ inaccurate RF. Extensive experiments in simulated and realistic environments show that our approach significantly reduces the number of required iterations and improves overall retrieval performance. The experimental results also confirm that our approach can always retrieve intended targets even with poor selection of initial query points.
Diagnosing the Securitisation of Immigration at the EU Level: A New Method for Stronger Empirical Claims

Has immigration been securitised at the EU level? The question has been hotly discussed, but no consensus has been reached. This article claims that two shortcomings – one methodological, one theoretical – in the empirical conduct of securitisation theory (ST) have provoked this lack of consensus. Taking this situation as an opportunity, a quantitative method is introduced that addresses these two shortcomings, thereby helping to reach a stronger claim on the securitisation of immigration at the EU level. By measuring the intensity of the security framing in EU legislation on immigration, the method helps avoid simplistic binary statements of (non-)securitisation and encourages the scholar to acknowledge the complex, multifaceted reality of vast political fields. The results contribute to accrediting the thesis according to which immigration has been securitised at the EU level, but nuances it by demonstrating a significant variation between the various subfields of the policy (e.g. asylum, legal immigration).
Cyclosporine A treatment for relapsed subcutaneous panniculitis-like T-cell lymphoma: a case with long-term follow-up

Subcutaneous panniculitis-like T-cell lymphoma (SPTL) is a distinctive lymphoma characterized by an infiltration of subcutaneous tissue by neoplastic cytotoxic T cells. There was no distinction between TCR alpha/beta phenotype and TCR gamma/delta phenotype, and anthracycline-based chemotherapy was usually used for both. Here, we report a patient with recurrent SPTL who achieved a second long-term complete remission by repeated cyclosporine A (CsA) treatment. From 2000 to 2001, the patient received anthracycline-based combination chemotherapy. However, the treatment did not induce long-term remission. In 2002, he received cyclosporine treatment for about 6 months. This resulted in a 5-year remission that ended in relapse in 2008. He received CsA treatment once again and attained a second long-term remission. This case suggests that re-treatment with CsA can be a good option for relapsed SPTL cases and can result in long-term remission.
Helium segregation on surfaces of plasma-exposed tungsten

We report a hierarchical multi-scale modeling study of implanted helium segregation on surfaces of tungsten, considered as a plasma facing component in nuclear fusion reactors. We employ a hierarchy of atomic-scale simulations based on a reliable interatomic interaction potential, including molecular-statics simulations to understand the origin of helium surface segregation, targeted molecular-dynamics (MD) simulations of near-surface cluster reactions, and large-scale MD simulations of implanted helium evolution in plasma-exposed tungsten. We find that small, mobile Hen (1 ⩽ n ⩽ 7) clusters in the near-surface region are attracted to the surface due to an elastic interaction force that provides the thermodynamic driving force for surface segregation. This elastic interaction force induces drift fluxes of these mobile Hen clusters, which increase substantially as the migrating clusters approach the surface, facilitating helium segregation on the surface. Moreover, the clusters’ drift toward the surface enables cluster reactions, most importantly trap mutation, in the near-surface region at rates much higher than in the bulk material. These near-surface cluster dynamics have significant effects on the surface morphology, near-surface defect structures, and the amount of helium retained in the material upon plasma exposure. We integrate the findings of such atomic-scale simulations into a properly parameterized and validated spatially dependent, continuum-scale reaction-diffusion cluster dynamics model, capable of predicting implanted helium evolution, surface segregation, and its near-surface effects in tungsten. This cluster-dynamics model sets the stage for development of fully atomistically informed coarse-grained models for computationally efficient simulation predictions of helium surface segregation, as well as helium retention and surface morphological evolution, toward optimal design of plasma facing components.
Personalidade materna e resultados de crianças no psicodiagnóstico interventivo: o que significa 'mãe suficientemente boa'?

Maternal personality and children’s results on the interventive psychodiagnosis: What is the meaning of ‘good-enough mother’? The notion of ‘good-enough mother’, essential to children’s therapeutic and prognostic indication, is full of ambiguities e.g. the disparity between the characteristics ascribed to a parent in such conditions and the success on the Therapeutic Consultations of patients whose mothers were depressed, as it was reported by Winnicott. The necessity of defining this concept on empirical data foundations justified this research in which six mothers whose children presented anti-social behaviour were assessed by Rorschach Test, comparing their results with the therapeutic success or failure of their infants in the Interventive Psychodiagnosis. Considering that the ‘good-enough mother’ is that one who supports children’s improvement, the results indicated that maternal characteristics linked to children’s success consisted in absence of severe handicaps on the Control of the Impulses and on the Interpersonal Relationships. Therefore, it is not necessary for a mother to have an ego functioning in its plenitude to be classified in this category.
Adolescent environmental challenges affect adult function in male and female Long Evans rats

xxiv List of Abbreviations Used . xxv Acknowledgements . xxvii Chapter 1: Introduction . 1 1.1. Adolescence: A period of development: . 1 1.1(i) Neurobiology of adolescent development in humans: . 4 1.1(ii) Neurobiology of adolescent development in animal models: . 8 1.2. Stress and adolescent mood disorders and psychoses: . 13 1.2(i) Stress: a risk factor in schizophrenia: . 13 1.2(i)(a) Schizophrenia: A stress-related, adolescent-onset disorder: . 14 1.2(i)(b) Dopamine hypothesis of schizophrenia: . 15 1.2(i)(c) The Glutamate hypothesis of schizophrenia: . 17 1.2(i)(d) Biology of sensorimotor gating (prepulse inhibition): . 18 1.2(i)(e) Role of dopamine system (and glutamate) in regulating PPI: . 19 1.2(ii) Stress: a risk factor in major depressive disorder: . 21 1.2(ii) (a) HPA axis and major depressive disorder: . 21 1.2(ii) (b) Dopamine and depression: . 22
Approximate Address Matching

Address management is a major challenge for many organizations, as errors occur frequently in the address capturing process, and address standards and usages may vary among different databases. Rather than comparing house number, street, city and province individually, we use a string similarity measurement to perform address comparison, which enables us to combine the edit distance with the vector space model to search for potentially matching address candidates by associating them with a similarity matching score. Upon evaluating the strengths and weaknesses of these techniques, we introduce an algorithm for effective address matching, called Term-Weighted Dissimilarity, which combines edit distance similarity with Term Frequency-Inverse Document Frequency weighting. We implement this algorithm in software and show its effectiveness via a real application for address matching and correction based on Canada Post’s address standard.
Psychological and Organizational Climate: Dimensions and Relationships

Abstract : In an exploratory investigation of conceptual bounds for organizational and psychological climate, theoretical assumptions underlying the two constructs were reviewed as were their relationships with various situational, positional, and individual variables. Empirical analyses indicated that (1) five of six psychological climate dimensions found for a sample of 4,315 U. S. Navy enlisted men were generalizable to comparison samples of firemen (n = 398) and health care managers (n = 504); (2) aggregation of psychological climate scores to represent organizational climate was most applicable to homogeneous subsystems (e.g., divisions); (3) subsystem climates were significantly differentiated by variables representing division context, structure, and personnel composition, while psychological climate appeared to be more related to individual resources and position variables; and (4) subsystem climate, structure, context, and personnel composition measures were significant predictors or division performance criteria.
Reducing recognition error rate based on context relationships among dialogue turns

We have recently been conducting research on developing spoken dialogue systems to provide conversational practice for a learner of a foreign language. One of the most critical aspects of such a system is speech recognition errors, since they often take the dialogue thread down a wrong turn that is very confusing to the student and may be irrecoverable. In this paper we report on a machine learning technique to assist the process of selection from a list of N-best candidates based on a high-level description of the semantics of the preceding dialogue. In a user simulation experiment, we show that a significant reduction in sentence error rate can be achieved, from 29.2% to 23.6%. We have not yet verified that our techniques hold for real user data.
BSCP: Buckup Scheduling Mecanism for Coverage Perserving in WSNs

Coverage is one fundamental problem in wireless sensor networks, it reflects how well an area is monitored or surveyed by sensors. Some applications require a high degree of coverage as it would want a region to be monitored by multiple nodes simultaneously. Nevertheless, the failure of one or several sensors, can paralysis the area coverage unless it was before completely covered.In this paper we will investigate the restoration of the area coverage under unexpected node failure with reduce energy consumption. In fact, we adopt new recovery mechanism where every active node selects a subset of its neighbors (backup cover) and schedules them to periodically wake up according to some optimization parameters.
Effects of a training module on pre-service school counselors' knowledge and self-efficacy beliefs about working with students in exceptional student education

of Dissertation Presented to the Graduate School of the University of Florida in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy EFFECTS OF A TRAINING MODULE ON PRE-SERVICE SCHOOL COUNSELORS’ KNOWLEDGE AND SELF-EFFICACY BELIEFS ABOUT WORKING WITH STUDENTS IN EXCEPTIONAL STUDENT EDUCATION By Teresa Naomi Leibforth May 2009 Chair: Ellen Amatea Major: School Counseling and Guidance An experimental research study was conducted to determine the effectiveness of a brief training program designed to increase pre-service school counselors’ knowledge of exceptional student education (ESE) and to measure their beliefs regarding their ability to work with students with disabilities and their families. The two-and-a-half hour training program included didactic instruction, video modeling of effective versus ineffective communication skills, large group discussion, and role play as methods of instruction. Fifty-six graduate students representing three different universities participated in the study. Data were collected from a respondent demographic information sheet and two instruments designed specifically for the study were used to assess the effects of the intervention: the School Counselor ESE Knowledge Test (SCESEKT) and the School Counselor ESE SelfEfficacy Measure (SCESESES). The data were analyzed by multivariate analyses of variance and multiple linear regression analyses. Results revealed that the preand post-test groups’ scores on the SCESEKT and the SCESESES differed based on participation in the training. Participation in the training significantly increased participants’ knowledge of the laws and processes surrounding ESE,
Adherence to the Western Pattern Is Potentially an Unfavorable Indicator of Asthenozoospermia Risk: A Case-Control Study

Objective: The aim of this case-control study was to examine the relationship between dietary patterns and asthenozoospermia risk. Methods: In total, 107 incident asthenozoospermic men and 235 age-matched controls were interviewed through the infertility clinics in Tehran, Iran, from January 2012 to November 2013. Usual dietary intakes were collected using a semiquantitative food frequency questionnaire and semen quality data were analyzed according to the fifth edition of the World Health Organization (WHO) guidelines. Dietary patterns were derived using factor analysis. The first tertile served as the reference category for regression analyses. Results: In principal component analysis, 2 dietary patterns emerged: a “prudent pattern” (leafy green vegetables, yellow vegetables, other vegetables, tomatoes, fish and other seafood, fruits and natural fruit juices, legumes, whole grains, poultry, tea and coffee, low-fat dairy products, and vegetable oils) and a “Western pattern” (organ meats, red and processed meats, sugar, soft drinks and confectionary, pasta, rice and refined grains, potatoes, french fries and fast foods, high-fat dairy products, hydrogenated fats, mayonnaise and fatty sauces, and snacks). After adjustment for potential confounders, participants in the highest tertile of the prudent pattern scores had 54% lower risk of asthenozoospermia compared to those in the lowest (p for trend: 0.003). Being in the highest tertile of the Western pattern was positively associated with asthenozoospermia risk (odds ratio [OR] = 2.86; 95% confidence interval [CI], 1.83–2.97). Conclusions: Our findings suggest that adherence to the Western pattern is potentially an unfavorable indicator of asthenozoospermia risk and a diet composed mainly of plant-based foods may be associated with a reduced risk.
User Equipment Beamforming Optimization for Multi-Cell Massive MIMO Systems

A user equipment (UE) beamforming method is proposed in this letter for massive MIMO systems with multi-antenna UEs. The method requires no additional channel information exchange among UEs and has a low computational cost. The beamforming vector is obtained by the semi-definite relaxation based method. Simulations under various environmental configurations demonstrate the performance improvement of the proposed method.
Procedure Mapping Using Static Call Graph Estimation

As the gap between memory and processor performance continues to grow, it becomes increasingly important to exploit cache memory e ectively. One technique used by compiler and linkers to improve the performance of the cache is code reordering. Code reordering optimizations rearrange a program so that sections of the program with temporal locality will be placed next to each other in the nal program layout. A number of software approaches to code reordering have been proposed. Their goal is to reduce the number of cache line con icts. Most of these schemes use pro le data in order to reposition the code in the address space. In this paper we present a link-time procedure mapping algorithm which uses a call graph constructed without the use of pro le data. We will refer to this scheme as static call graph estimation. In this approach we use program-based heuristics to statically estimate the behavior of the call graph. Then once the estimated weighted call graph is formed, we can employ various procedure remapping algorithms. Our results show that we were able to reduce instruction cache miss rates by 20% on average when using our estimated static call graph with modern procedure reordering algorithms.
Dissociation of Kar2p/BiP from an ER sensory molecule, Ire1p, triggers the unfolded protein response in yeast.

The unfolded protein response (UPR) is a signal transduction pathway induced by a variety of endoplasmic reticulum (ER) stresses and functions to maintain homeostasis of the cellular membrane in eukaryotes. Various ER stresses result in the accumulation of unfolded proteins in the ER, which is sensed by the transmembrane protein kinase/ribonuclease Ire1p that transmits a signal from the ER to the nucleus in Saccharomyces cerevisiae. Here we report that the yeast ER chaperone Kar2p/BiP, a member of the HSP70 family found in the ER, directly regulates the UPR by the interaction with Ire1p. In the absence of ER stress, Kar2p binds the lumenal domain of Ire1p and keeps Ire1p in an inactive unphosphorylated state. Upon exposure of cells to ER stresses, Kar2p is released from Ire1p, resulting in activation of Ire1p and signal transduction to the nucleus. Subsequently, KAR2 mRNA is induced and Kar2p accumulates in the ER in a time-dependent manner, restoring the system to the basal state. This negative autoregulation is similar to the regulation of mammalian cytosolic chaperone Hsp70 via its interaction with heat shock factor 1.
Collaborative Game Based Learning of Post-Disaster Management: Serious Game on Incident Management Frameworks for Post Disaster Management

In the face of technological advancements, serious games are becoming more widely recognized as effective educational tools. This paper presents a serious game that teaches a complex subject in a simplified and easy to understand manner-Communication and collaboration during post-disaster operations. The game is multiplayer where each player works through a simulated disaster using an incident management systematic framework that highlights the importance of communication and collaboration. To achieve this, we introduce a unique live audio/video communication system where the players interact with each other to solve problems in a realistic scenario. The game also provides basic training for Rapid Damage Assessments and Incident Command System, two strategies used to carry out post disaster management. The game was piloted to a focus group consisting of students and faculty from Amrita University. Results from the surveys showed the game and proposed frameworks were very effective in providing the players with basic knowledge of post disaster management operations. The need of using such training methods is very much necessary since it will help the disaster response activities to be faster and easier.
ON ALGEBRAS GENERATED BY INNER DERIVATIONS

We look for an effective description of the algebra DLie(X , B) of operators on a bimodule X over an algebra B, generated by all operators x → ax − xa, a ∈ B. It is shown that in some important examples DLie(X , B) consists of all elementary operators x → P i aixbi satisfying the conditions P i aibi = P i biai = 0. The Banach algebraic versions of these results are also obtained and applied to the description of closed Lie ideals in some Banach algebras, and to the proof of a density theorem for Lie algebras of operators on Hilbert space.
On the Necessity of the Ontological Analysis of identity Formation and Its linkage to the Language Acquisition Theories

Abstract. Research directed at the relationship between identity and SLA has widely captured the attention of applied linguists since the last two decades. Nonetheless, there has been dearth of research regarding the tracing of the historical and philosophical origins of this multidimensional notion. This study aims to probe the ways that philosophical reflections and historical transformations have influenced the definition of identity and consequently the learning theories and teaching methods of language. The results of this descriptive-analytic research, by drawing on the works of modern and postmodern philosophers and sociologists, revealed that theories of language acquisition and the nature of language were indisputably inspired by the definition of human identity in diverse historical eras (traditional, modern and postmodern). Accordingly, the study showed that without resorting to the philosophical reflections and historical events it is not feasible to profoundly understand the underlying reasons for the noted paradigm shifts in SLA theories.