Miracle-dz/UniFAR-FTUs huggingface dataset:
A linear concurrent constraint approach for the automatic verification of access permissions

A recent trend in object oriented programming languages is the use Access Permissions (AP) as abstraction to control concurrent executions. AP define a protocol specifying how different references can access the mutable state of objects. Although AP simplify the task of writing concurrent code, an unsystematic use of permissions in the program can lead to subtle problems. This paper presents a Linear Concurrent Constraint (lcc) approach to verify AP annotated programs. We model AP as constraints (i.e., formulas in logic) in an underlying constraint system, and we use entailment of constraints to faithfully model the flow of AP in the program. We verify relevant properties about programs by taking advantage of the declarative interpretation of lcc agents as formulas in linear logic. Properties include deadlock detection, program correctness (whether programs adhere to their AP specifications or not), and the ability of methods to run concurrently. We show that those properties are decidable and we present a complexity analysis of finding such proofs. We implemented our verification and analysis approach as the Alcove tool, which is available on-line.
An Analysis of the Information Behaviour of Geography Teachers in a Developing African Country--Lesotho.

Information behaviour studies have the potential to inform the design of effective information services that incorporate the information needs, information-seeking and preferences for information sources of target users; hence a doctoral study was conducted on the information behaviour of geography teachers in Lesotho with the aim of guiding the design and implementation of an information service model for these teachers. This paper focuses on the analysis of the information behaviour of geography teachers in Lesotho as a contribution of original knowledge on geography teachers’ information behaviour. The analysis established the information behaviour of geography teachers using the information behaviour concept that encompasses information needs, information-seeking and information sources. Data were collected and analyzed through focus group discussions and conceptual content analysis respectively.
Recognizing Depression: A Comparison Of Family Physician Ratings, Self-Report, And Interview Measures

Major depressive disorder is the most common diagnosis encountered in family practice, yet family physicians are relatively unlikely to make the diagnosis. This study compared physician ratings of depression with scores from the Center for Epidemiological Studies-Depression (CES-D) questionnaire and with telephone interview diagnoses of depression using the 3rd revised edition of the Diagnostic and Statistical Manual of Mental Disorders (DSM-III-R) criteria for major depressive disorder in a population of 266 patients in community-based family practices. Additional assessments were made of health status, stress, social support, prescribed psychotropic medication, and counseling. The prevalence of positive questionnaire scores in this population was 22.6 percent, and the prevalence of major depressive disorder (based on telephone interview) was 8 percent. Physician of depression were relatively inaccurate when compared with either CES-D scores or telephone interview diagnoses. Optimum specificity (80 percent) and sensitivity (50 percent) with telephone interview diagnoses were achieved when physicians rated the patient as having any depression versus having no depression. Physician ratings of depression were correlated with their assessment of patient stress, social support, and physical health but not with more objective measures of these variables. When compared with telephone interview diagnosis, the sensitivity and specificity of the CES-D scores were relatively poor, suggesting that the CES-D is not useful as a screening tool for unselected populations. Finally, we found that family physicians base their assessments of depression more on distress than on depressive symptoms. Certain physician myths, barriers, and biases may exist that preclude the effective diagnosis of depression.
Whitney Forms of Higher Degree

Low-order Whitney elements are widely used for electromagnetic field problems. Higher-order approximations are receiving increasing interest, but their definition remains unduly complex. In this paper we propose a new simple construction for Whitney $p$-elements of polynomial degree higher than one that use only degrees of freedom associated to $p$-chains. We provide a basis for these elements on simplicial meshes and give a geometrical localization of all degrees of freedom. Properties of the higher-order Whitney complex are deeply investigated.
QB4OLAP: A new vocabulary for olap cubes on the semantic web

On-Line Analytical Processing (OLAP) tools allow querying large multidimensional (MD) databases called data warehouses (DW). OLAP-style data analysis over the semantic web (SW) is gaining momentum, and thus SW technologies will be needed to model, manipulate, and share MD data. To achieve this, the definition of a vocabulary that adequately represents OLAP data is required. Unfortunately, so far, the proposals in this direction have followed different roads. On the one hand, the QB vocabulary (a proposal by the W3C Government Linked Data Working Group) follows a model initially devised for analyzing statistical data, but does not adequately support OLAP multidimensional data. Another recent proposal, the Open Cube vocabulary (OC) follows closely the classic MD models for OLAP and allows implementing OLAP operators as SPARQL queries, but does not provide a mechanism for reusing data already published using QB. In this work, we propose a new vocabulary, denoted QB4OLAP, which extends QB to fully support OLAP models and operators.We show how data already published in QB can be analyzed a la OLAP using the QB4OLAP vocabulary, and vice versa. To this end we provide algorithms that build the structures that allow performing both kinds of analysis, and show that compatibility between QB and QB4OLAP can be achieved at low cost, only adding dimensional information.
Sterilisation and women with intellectual disability in Iceland

Abstract Background Throughout history women with intellectual disability have been commonly subjected to involuntary sterilisation. Involuntary sterilisation involves debate about fundamental human rights, such as the right to maintain fertility and to have children. In this paper, the experiences of a small group of Icelandic women with intellectual disability with regard to the issue of sterilisation are discussed. Method The research was based on 6 life stories of women with intellectual disability born between 1946 and 1965. Additional participants included 3 siblings of these women. Results The findings of the research indicate that the sterilisation procedures resulted in a deep emotional impact on all of the women who participated in this research. The women expressed a range of emotions, such as sadness, anger, and grief, especially those who had been sterilised without their knowledge. Conclusion Despite the negative consequences experienced by the women as a result of sterilisation, the women did not portray themselves as victims but rather as survivors. The findings reiterate the importance of respecting the women's sexuality and right to self-determination.
Rural-Urban Differences in Environmental Concern, Attitudes, and Actions

Abstract. Pro-environmental orientation constitutes one of the basic referents of modern culture. However, this pro-environmental orientation of a general nature does not permit us to predict pro-environmental behaviors. In order to explain this incongruence, it is necessary to take into account the sociostructural factors and socialization experiences through which people form their environmental values, attitudes, and behaviors. In this study we compare the values, attitudes, and behaviors of a rural sample and an urban sample, measured by means of three scales: the New Ecological Paradigm Scale, a moral obligation scale specifically designed for this study, and a scale of pro-environmental behavioral intentions. The results indicate high levels of environmental concern and low levels of pro-environmental behavior in both samples. On comparing the two samples it was found that those living in cities assume a larger number of environmental responsibility values but show less pro-environmental orientation.
Analysing the Electrical Patient Recruiting Agent system using the WIT trinity

In [5] a conceptual model is proposed for a new type of systems named Artificial SocioCognitive Systems (ASCS). In this paper we use the multiagent system described in [2] as an instance of an ASCS and deconstruct the system using the conceptual model of the so-called WIT-trinity. After the deconstruction we discuss the potential use the WIT could have had in the design phase of the system and outline potential for future development. First we will briefly describe the ASCS and ePCRN-Idea.
On Human Symbiosis and the Vicissitudes of Individuation.

This book is the first of a two-volume series covering Margaret Mahler's conceptualizations regarding the psychological diformations of the young psychotic child and her theoretical position on normal emotional development. The theoretical discussion proceeds along more formal psychoanalytic lines; there are rich bibliographic entries. Some attempt is made to weave into the theoretical position the work of nonpsychoanalytic investigators such as Jean Piaget and Heinz Werner. With numerous interpretive works of Piaget now pouring into the American literature and increasing emphasis on an ethological orientation to early child development, it is encouraging to others struggling to synthesize these positions into an integrated approach to child psychiatry to discover such efforts within these pages. One would hope for expansion from this point rather than shrinkage. The projected contents of volume 2 are not fully elaborated, but from random references to it, that volume will include followup material on some of
Wide-Field CCD Photometry around Nine Open Clusters

In this paper we study the evolution of the core and corona of nine open clusters using the projected radial density profiles derived from homogeneous CCD photometric data obtained with the 105 cm Kiso Schmidt telescope. The age and galactocentric distance of the target clusters vary from 16 to 2000 Myr and 9 to 10.8 kpc, respectively. Barring Be 62, which is a young open cluster, other clusters show a uniform reddening across the cluster region. The reddening in Be 62 varies from E(B - V)min = 0.70 mag to E(B - V)max = 1.00 mag. The coronae of six of the clusters in the present sample are found to be elongated; however, on the basis of the present sample it is not possible to establish any correlation between the age and shape of the core. The elongated core in the case of the young cluster Be 62 may reflect the initial conditions in the parental molecular cloud. The other results of the present study are as follows: (1) Core radius rc and corona size rcn/cluster radius rcl are linearly correlated. (2) The rc, rcn, and rcl are linearly correlated with the number of stars in that region. (3) In the age range 10-1000 Myr, the core and corona shrink with age. (4) We find that in the galactocentric distance range 9-10 kpc, the core and corona/cluster extent of the clusters increase with the galactocentric distance.
Voxel-based morphometry made simple

Voxel-based morphometry (VBM) is a computational imaging technique that measures brain tissue concentrations in a voxel-wise manner. The basic premise of VBMis tomake inferences about the brains of different groups on the basis of differences in tissue classifications. The earliest study to useVBMexamined grey andwhite matter density in schizophrenia and found correlations between clinical symptom scores and the structural size of the superior temporal gyrus and the corpus callosum (1). However it was not until several years later that the methodology was first published (2). Since then, amultitude of articles have appeared in patient and control populations using this technique and to this day VBM is used worldwide despite vigorous debate as to the validity of certain aspects (3). Given the popularity that VBM continues to experience, this issue of Brain Bytes presents a summary of the pertinent methodological steps involved as well as the pitfalls to avoid when using the technique.
Structural basis for the specific recognition of DSR by the YTH domain containing protein Mmi1

Meiosis is one of the most dramatic differentiation programs accompanied by a striking change in gene expression profiles, whereas a number of meiosis-specific transcripts are expressed untimely in mitotic cells. The entry of meiosis will be blocked as the accumulation of meiosis-specific mRNAs during the mitotic cell in fission yeast Schizosaccharomyces pombe. A YTH domain containing protein Mmi1 was identified as a pivotal effector in a post-transcriptional event termed selective elimination of meiosis-specific mRNAs, Mmi1 can recognize and bind a class of meiosis-specific transcripts expressed inappropriately in mitotic cells, which contain a conservative motif called DSR as a mark to remove them in cooperation with nuclear exosomes. Here we report the 1.6 Å resolution crystal structure of the YTH domain of Mmi1 binds to high-affinity RNA targets r(A1U2U3A4A5A6C7A8) containing DSR core motif. Our structure observations, supported by site-directed mutations of key residues illustrate the mechanism for specific recognition of DSR-RNA by Mmi1. Moreover, different from other YTH domain family proteins, Mmi1 YTH domain has a distinctive function although it has a similar fold as other ones.
Opinion Recommendation using Neural Memory Model

We present opinion recommendation, a novel task of jointly predicting a custom review with a rating score that a certain user would give to a certain product or service, given existing reviews and rating scores to the product or service by other users, and the reviews that the user has given to other products and services. A characteristic of opinion recommendation is the reliance of multiple data sources for multi-task joint learning, which is the strength of neural models. We use a single neural network to model users and products, capturing their correlation and generating customised product representations using a deep memory network, from which customised ratings and reviews are constructed jointly. Results show that our opinion recommendation system gives ratings that are closer to real user ratings on Yelp.com data compared with Yelp's own ratings, and our methods give better results compared to several pipelines baselines using state-of-the-art sentiment rating and summarization systems.
F11R Is a Novel Monocyte Prognostic Biomarker for Malignant Glioma

Objective Brain tumors (gliomas) contain large populations of infiltrating macrophages and recruited microglia, which in experimental murine glioma models promote tumor formation and progression. Among the barriers to understanding the contributions of these stromal elements to high-grade glioma (glioblastoma; GBM) biology is the relative paucity of tools to characterize infiltrating macrophages and resident microglia. In this study, we leveraged multiple RNA analysis platforms to identify new monocyte markers relevant to GBM patient outcome. Methods High-confidence lists of mouse resident microglia- and bone marrow-derived macrophage-specific transcripts were generated using converging RNA-seq and microarray technologies and validated using qRT-PCR and flow cytometry. Expression of select cell surface markers was analyzed in brain-infiltrating macrophages and resident microglia in an induced GBM mouse model, while allogeneic bone marrow transplantation was performed to trace the origins of infiltrating and resident macrophages. Glioma tissue microarrays were examined by immunohistochemistry, and the Gene Expression Omnibus (GEO) database was queried to determine the prognostic value of identified microglia biomarkers in human GBM. Results We generated a unique catalog of differentially-expressed bone marrow-derived monocyte and resident microglia transcripts, and demonstrated that brain-infiltrating macrophages acquire F11R expression in GBM and following bone-marrow transplantation. Moreover, mononuclear cell F11R expression positively correlates with human high-grade glioma and additionally serves as a biomarker for GBM patient survival, regardless of GBM molecular subtype. Significance These studies establish F11R as a novel monocyte prognostic marker for GBM critical for defining a subpopulation of stromal cells for future potential therapeutic intervention.
An Efficient Receiver Structure for Sweep-Spread-Carrier Underwater Acoustic Links

In this paper, we present an improved receiver architecture for sweep-spread-carrier modulation, a spread-spectrum technique proposed to effectively contrast the effects of time dispersion over multipath propagation channels in underwater acoustic wireless links. The proposed structure is capable of taking advantage of the energy received from all propagation paths rather than only from the strongest path, as envisaged in the pioneering paper introducing this modulation technique. A hardware version of the modem was implemented in the laboratory and its behavior was assessed and compared, using standard propagation models, to that exhibited by the traditional single-path-based scheme in terms of bit error rate. Results are presented showing that gains of a few decibels can be achieved in signal-to-noise-plus-interference ratio. Issues relevant to carrier/symbol synchronization, channel estimation, and sensitivity to Doppler distortion are also addressed.
Anthropometric Predictors for Sexual Dimorphism of Skulls of South Indian Origin

Identification of an individual is important in any Medicolegal investigation. The primary factors that helpful in the identification include age, sex and stature.1 Skull is important in this regard as it resits adverse environmental conditions over time . 2 The present study aims to determine sexual dimorphism in 80 skulls of south Indian origin. Parameters used are maximum cranial length, maximum cranial breadth, facial height, bizygomatic diameter, nasal height and nasal width. Cranial, upper facial and nasal indices were calculated. Craniometrical measurements were expressed in descriptive statistics i.e. mean and SD are calculated. The p value of nasal height, nasal width and mastoid process length of both sides showed significant difference.
Policy-controlled event management for distributed intrusion detection

A powerful strategy in intrusion detection is the separation of surveillance mechanisms from a site's policy for processing observed events. The Bro intrusion detection system has been using the notion of policy-neutral events as the basic building blocks for the formulation of a site's security policy since its conception. A recent addition to the system is the ability to exchange events with other Bro peers to allow distributed detection. In this paper we extend Bro's existing event model to fulfill the requirements of scalable policy-controlled distributed event management, including mechanisms for event publication, subscription, processing, propagation, and correlation.
An Investigation into the Leisure Occupations of Older Adults

Participating in leisure is known to enhance physical wellbeing, mental health and social functioning. There is, however, little knowledge of the current level of engagement in leisure occupations by older adults in the United Kingdom. Therefore, the aim of this study was to explore the current leisure occupations of adults over 60 years who considered themselves to be healthy and to identify the motivations that underpinned participation in those occupations. Structured interviews were conducted with 70 adults with a mean age of 72 years. The majority of the participants (51, 73%) reported engaging in leisure occupations. The range of leisure occupations was wide and included walking, sailing, listening to music, emailing and volunteering. Of these, 23% were active leisure, 18% passive leisure, 24% social leisure, 20% hobbies and 15% other leisure occupations. Content analysis was adopted to explain the motivators for taking part in these leisure occupations. It was found that enjoyment, pleasure and relaxation were the key motivators. This study shows that the majority of well older people are participating in leisure occupations and feeling positive about doing so. Further research is required to establish the role that occupational therapists can have in encouraging older adults to continue with or develop new leisure occupations to enhance health and quality of life.
Simple frequency-domain analysis of MOSFET-includingnonquasi-static effect

We propose a harmonic balance technique for the frequency-domain analysis of the metal-oxide-semiconductor field-effect transistor (MOSFET) operation. The MOSFET model in our approach is based on the charge-sheet and the nonquasi-static MOSFET models in the channel region with a harmonic balance technique applied to the channel charges. It is shown that the proposed method renders a computationally efficient tool to analyze the harmonic distortion occurrence in the MOSFET device due to the nonlinear response of the channel charges.
Effective mass of atom and the excitation spectrum in liquid helium-4 at T=0 K

A self-consistent approach is applied for calculations within the two-time temperature Green function formalism in the random phase approximation for superfluid 4He. The effective mass of the 4He atom is computed as m*=1.58m. The excitation spectrum is found to be in satisfactory agreement with experiment. The sound velocity is calculated as 230 m/s. The Bose-condensation temperature with the effective mass taken into consideration is estimated as 1.99 K.
Traceability patterns: an approach to requirement-component traceability in agile software development

Requirements traceability, regardless of the process used to produce a software system, is an important quality attribute for the resulting software product. However, existing approaches to achieving requirements traceability have been specifically designed for traditional software development with formal requirements processes. With the wide industry adoption of agile development methodologies, where requirements are captured and communicated through informal channels, the applicability of existing traceability approaches to agile software projects has been restricted. In this paper, we introduce traceability patterns as a solution to requirement-component tractability in agile software development. In our approach, we achieve traceability through source code, which is the main development artifact in agile methodologies.