Miracle-dz/UniFAR-FTUs huggingface dataset:
TripleCloud: An Infrastructure for Exploratory Querying over Web-Scale RDF Data

As the availability of large scale RDF data sets has grown, there has been a corresponding growth in researchers' and practitioners' interest in analyzing and investigating these data sets. However, given their size and messiness, there is significant overhead in setting up the infrastructure to store and query them. In this paper, we present Triple Cloud, a system that aims to lower the entry cost to exploring Web-scale RDF data sets. The system takes advantage of existing cloud based key-value stores (e.g.BigTable, HBase) to both enable scalability as well as hide the complexities of infrastructure deployment and maintenance. It layers over these key-value stores a robust query engine able to return approximate answers. We test the scalability of the approach scaling to over 3 billion triples for complex queries. In addition to an implementation over HBase, Triple Cloud runs over the Google App Engine, allowing us to perform a cost evaluation of the approach.
American Evangelicalism: Embattled and Thriving

Based on a national telephone survey and 300 personal interviews with evangelicals and other churchgoing Protestants, this study provides an analysis of the commitments, beliefs, concerns and practices of this group. Examining how evangelicals interact with and attempt to influence secular society, the text argues that traditional, orthodox evangelicalism endures because of the challenges and structures of our modern pluralistic environment. It also looks beyond evangelicalism to explore the problems of traditional religious belief and practice in the modern world.
Generation of nodding, head tilting and eye gazing for human-robot dialogue interaction

Head motion occurs naturally and in synchrony with speech during human dialogue communication, and may carry paralinguistic information, such as intentions, attitudes and emotions. Therefore, natural-looking head motion by a robot is important for smooth human-robot interaction. Based on rules inferred from analyses of the relationship between head motion and dialogue acts, this paper proposes a model for generating head tilting and nodding, and evaluates the model using three types of humanoid robot (a very human-like android, “Geminoid F”, a typical humanoid robot with less facial degrees of freedom, “Robovie R2”, and a robot with a 3-axis rotatable neck and movable lips, “Telenoid R2”). Analysis of subjective scores shows that the proposed model including head tilting and nodding can generate head motion with increased naturalness compared to nodding only or directly mapping people's original motions without gaze information. We also find that an upwards motion of a robot's face can be used by robots which do not have a mouth in order to provide the appearance that utterance is taking place. Finally, we conduct an experiment in which participants act as visitors to an information desk attended by robots. As a consequence, we verify that our generation model performs equally to directly mapping people's original motions with gaze information in terms of perceived naturalness.
Hearing loss and cognition in the Baltimore Longitudinal Study of Aging.

OBJECTIVE To determine the relationship between hearing loss and cognitive function as assessed with a standardized neurocognitive battery. We hypothesized a priori that greater hearing loss is associated with lower cognitive test scores on tests of memory and executive function. METHOD A cross-sectional cohort of 347 participants ≥ 55 years in the Baltimore Longitudinal Study of Aging without mild cognitive impairment or dementia had audiometric and cognitive testing performed in 1990-1994. Hearing loss was defined by an average of hearing thresholds at 0.5, 1, 2, and 4 kHz in the better-hearing ear. Cognitive testing consisted of a standardized neurocognitive battery incorporating tests of mental status, memory, executive function, processing speed, and verbal function. Regression models were used to examine the association between hearing loss and cognition while adjusting for confounders. RESULTS Greater hearing loss was significantly associated with lower scores on measures of mental status (Mini-Mental State Exam), memory (Free Recall), and executive function (Stroop Mixed, Trail Making B). These results were robust to analyses accounting for potential confounders, nonlinear effects of age, and exclusion of individuals with severe hearing loss. The reduction in cognitive performance associated with a 25 dB hearing loss was equivalent to the reduction associated with an age difference of 6.8 years. CONCLUSION Hearing loss is independently associated with lower scores on tests of memory and executive function. Further research examining the longitudinal association of hearing loss with cognitive functioning is needed to confirm these cross-sectional findings.
Men Set Their Own Cites High: Gender and Self-citation across Fields and over Time

How common is self-citation in scholarly publication, and does the practice vary by gender? Using novel methods and a data set of 1.5 million research papers in the scholarly database JSTOR published between 1779 and 2011, the authors find that nearly 10 percent of references are self-citations by a paper’s authors. The findings also show that between 1779 and 2011, men cited their own papers 56 percent more than did women. In the last two decades of data, men self-cited 70 percent more than women. Women are also more than 10 percentage points more likely than men to not cite their own previous work at all. While these patterns could result from differences in the number of papers that men and women authors have published rather than gender-specific patterns of self-citation behavior, this gender gap in self-citation rates has remained stable over the last 50 years, despite increased representation of women in academia. The authors break down self-citation patterns by academic field and number of authors and comment on potential mechanisms behind these observations. These findings have important implications for scholarly visibility and cumulative advantage in academic careers.
Embedding the Mental Capacity Act 2005 in clinical practice: an audit review

Aims and method An audit cycle assessed compliance of healthcare professionals within Oxleas NHS Foundation Trust with the statutory requirements of the Mental Capacity Act 2005 in patient care. Each stage involved a retrospective review of relevant patient electronic records. The additional purpose of the audit was to make recommendations to improve compliance with the requirement of the Act by healthcare professionals and improve patient understanding of its provisions. Results The audit cycle demonstrated some improvement in clinical practice as well as the need for further efforts at raising the understanding and compliance of clinicians and the public with provisions of the Act. Clinical Implications Healthcare professionals need further understanding of the provisions of the Act and their responsibilities. There is also the need to enhance public awareness to provisions of the Act in relation to their decision-making autonomy. Stakeholders need to put strategies in place for these to be achieved.
Non-destructive test methods for hollow-core composite insulators

Several test methods were evaluated in order to prove their suitability to detect voids, air bubbles, and adhesion failure in hollow-core composite insulators. Due to the relatively complex geometry of the insulators (bowed surface, shed-profile) and the criticality of even comparably small defects in high-voltage equipment, most of the methods did not provide satisfying results. Most promising seem to be Computed Tomography and a rather new method, the so-called Micro-Wave Based Detection.
A Family of Graph Distances Generalizing both the Shortest-Path and the Resistance Distances

A new family of distances for graph vertices is proposed. These distances reduce to the shortest path distance and to the resistance distance at the extreme values of the family parameter. The most important property of them is that they are graphgeodetic: d(i, j)+d(j, k) = d(i, k) if and only if every path from i to k passes through j. The construction of the distances is based on the matrix forest theorem and the graph bottleneck inequality.
Radiation-driven winds from luminous accretion discs

We study the two-dimensional, time-dependent hydrodynamics of radiation-driven winds from luminous accretion disks in which the radiation force is mediated primarily by spectral lines. We assume the disk is flat, Keplerian, geometrically thin, and optically thick, radiating as an ensemble of blackbodies according to the �-disk prescription. The effect of a radiant central star is included both in modifying the radial temperature profile of the disk, and in providing a contribution to the driving radiation field. Angle-adaptive integration techniques are needed to achieve an accurate representation of the driving force near the surface of the disk. Our hydrodynamic calculations use non-uniform grids to resolve both the subsonic acceleration zone near the disk, and the large-scale global structure of the supersonic wind. We find that line-driven disk winds are produced only when the effective luminosity of the disk (i.e. the luminosity of the disk times the maximum value of the force multiplier associated with the line-driving force) exceeds the Eddington limit. If the dominant contribution to the total radiation field comes from the disk, then we find the outflow is intrinsically unsteady and characterised by large amplitude velocity and density fluctuations. Both infall and outflow can occur in different regions of the wind at the same time. The cause of this behaviour is the difference in the variation with height of the vertical components of gravity and radiation force: the former increases while the latter is nearly constant. On the other hand, if the total luminosity of the system is dominated by the central star, then the outflow is steady. In either case, we find the two-dimensional structure of the wind consists of a dense, slow outflow, typically confined to angles within �45 degrees of the equatorial plane, that is bounded on the polar side by a high-velocity, lower density stream. The flow geometry is controlled largely by the geometry of the radiation field – a brighter disk/star produces a more polar/equatorial wind. Global properties such as the total mass loss rate and terminal velocity depend more on the system luminosity and are insensitive to geometry. The mass loss rate is a strong function of the effective Eddington luminosity; less than one there is virtually no wind at all, whereas above one the mass loss rate in the wind scales with the effective Eddington luminosity as a power law with index 1.5. Matter is fed into the fast wind from within a few stellar radii of the central star. Our solutions agree qualitatively with the kinematics of outflows in CV systems inferred from spectroscopic observations. We predict that low luminosity systems may display unsteady behavior in wind-formed spectral lines. Our study also has application to winds from active galactic nuclei and from high mass YSOs.
Evaluating focus theories for dialogue management

Abstract Interactive reasoning tools are usually driven by an agenda of tasks to perform, rather than by conventions of human dialogue. On the other hand, theories of dialogue in natural language tend to ignore the constraints imposed by reasoning tools. This paper presents a system composed of a reasoning module and a dialogue manager which cooperate to produce dialogues that are suitable for reasoning and follow human dialogue conventions. The dialogue manager is driven by focus rules. Various competing focus theories exist but there have been few comparative studies of their use in non-trivial tasks. We make a comparative study of the use of focus theories, which requires us to be precise about our interpretation of our chosen focus theories, and to develop an innovative means of empirical testing for them. We evaluate the theories on an example of combined dialogue and reasoning from the domain of requirements elicitation.
BGP beacons

The desire to better understand global BGP dynamics has motivated several studies using active measurement techniques, which inject announcements and withdrawals of prefixes from the global routing domain. From these one can measure quantities such as the BGP convergence time. Previously, the route injection infrastructure of such experiments has either been temporary in nature, or its use has been restricted to the experimenters. The routing research community would benefit from a permanent and public infrastructure for such active probes. We use the term BGP Beacon to refer to a publicly documented prefix having global visibility and a published schedule for announcements and withdrawals. A BGP Beacon is to be used for the ongoing study of BGP dynamics, and so should be supportedwith a long-term commitment. We describe several BGP Beacons thathave been set up at various points in the Internet. We then describe techniques for processing BGP updates when a BGP Beacon is observed from a BGP monitoring point such as Oregon's Route Views. Finally, we illustrate the use of BGP Beacons in the analysis of convergence delays, route flap damping, and update inter-arrival times.
Endostatin inhibits VEGF‐induced endothelial cell migration and tumor growth independently of zinc binding

Endostatin, produced as recombinant protein in human 293‐EBNA cells, inhibits the migration of human umbilical vein endothelial cells (HUVECs) in response to vascular endothelial growth factor (VEGF) in a dose‐dependent manner and prevents the subcutaneous growth of human renal cell carcinomas in nude mice at concentrations and in doses that are from 1000‐ to 100 000‐fold lower than those previously reported. The inhibition of migration is not affected by mutations which eliminate Zn or heparin binding and inhibition of tumor growth does not depend on Zn binding. The results of the migration assays suggest that endostatin causes a block at one or more steps in VEGF‐induced migration, while VEGF in turn can cause a block of the inhibition by endostatin of VEGF‐induced migration of HUVECs.
Applied Linguistics Review

Native-speakerism and authenticity are two subjects that have been written on extensively in the field of English language teaching, but the links between the two have yet to be explored in any great depth. This paper extensively reviews the literature on native-speakerism and authenticity and outlines where the connections between these two concepts, both practical and theoretical, may lie. Native-speakerism and authenticity are first briefly introduced and contextualised separately, and a theoretical framework is then presented to explain the connections between them based on the key foundational topics of authority, culturism, and cultural capital. Following this, the paper moves on to explain how these connections manifest in the ELT industry to influence the lives of ‘non-native speaker’ teachers in terms of student perceptions, self-perceptions, and professional discrimination, and how these are both influential on, and propagated by, the sales rhetoric of the ELT industry. Finally some suggestions are given for possible avenues of future research.
An exploration of the process of using expressive arts counseling techniques as experienced by high school counselor trainees

TECHNIQUES AS EXPERIENCED BY HIGH SCHOOL COUNSELOR TRAINEES By BARBARA CHRISTINE WILSON (Under the Direction of Jolie Daigle) ABSTRACT This paper presents the findings of a qualitative study which explored the process of using expressive arts counseling techniques. Specifically, the process as it was experienced by high school counselor trainees was the focus of the data collection and analysis. The researcher identified themes which were developed into a grounded theory. Developmental and crosscultural considerations were explored as well. The paper concludes with a discussion of the results and recommendations for future research.
Outage Probability and Capacity for Two-Tier Femtocell Networks by Approximating Ratio of Rayleigh and Log Normal Random Variables

This paper presents the derivation for per-tier outage probability of a randomly deployed femtocell network over an existing macrocell network. The channel characteristics of macro user and femto user are addressed by considering different propagation modeling for outdoor and indoor links. Location based outage probability analysis and capacity of the system with outage constraints are used to analyze the system performance. To obtain the simplified expressions, approximations of ratios of Rayleigh random variables (RVs), Rayleigh to log normal RVs and their weighted summations, are derived with the verifications using simulations.
Basic Theory of F-Bounded Quantification

Abstract System F-bounded is a second-order typed lambda calculus, where the basic features of object-oriented languages can be naturally modelled. F-bounded extends the better known system F ⩽ , in a way that provides an immediate solution for the treatment of the so-called “binary methods. ” Although more powerful than F ⩽ and also quite natural, system F-bounded has only been superficially studied from a foundational perspective and many of its essential properties have been conjectured but never proved in the literature. The aim of this paper is to give a solid foundation to F-bounded , by addressing and proving the key properties of the system. In particular, transitivity elimination, completeness of the type checking semi-algorithm, the subject reduction property for βη reduction, conservativity with respect to system F ⩽ , and antisymmetry of a “full” subsystem are considered, and various possible formulations for system F-bounded are compared. Finally, a semantic interpretation of system F-bounded is presented, based on partial equivalence relations.
The LIM homeobox gene Isl1 is required for the correct development of the striatonigral pathway in the mouse

Significance The basal ganglia process cortical information that controls purposeful movements and appropriate behavior via the striatopallidal and striatonigral pathways. Despite their importance, little is known about the developmental mechanisms that control the formation of these pathways. We show here that telencephalic progenitors expressing the transcription factor Islet1 give rise to striatonigral neurons and that this factor is required for normal development of the striatonigral pathway. Moreover, Islet1 mouse mutants exhibit hyperactivity and a paradoxical response to psychostimulants. Given that the underlying causes of basal ganglia disorders such as attention deficit hyperactivity disorder (ADHD) are unknown, these findings may implicate possible alterations in neural circuitry. The mammalian striatum controls the output of the basal ganglia via two distinct efferent pathways, the direct (i.e., striatonigral) and the indirect (i.e., striatopallidal) pathways. The LIM homeodomain transcription factor Islet1 (Isl1) is expressed in a subpopulation of striatal progenitors; however, its specific role in striatal development remains unknown. Our genetic fate-mapping results show that Isl1-expressing progenitors give rise to striatal neurons belonging to the striatonigral pathway. Conditional inactivation of Isl1 in the telencephalon resulted in a smaller striatum with fewer striatonigral neurons and reduced projections to the substantia nigra. Additionally, conditional inactivation in the ventral forebrain (including both the telencephalon and diencephalon) revealed a unique role for Isl1 in diencephalic cells bordering the internal capsule for the normal development of the striatonigral pathway involving PlexinD1-Semaphorin 3e (Sema3e) signaling. Finally, Isl1 conditional mutants displayed a hyperlocomotion phenotype, and their locomotor response to psychostimulants was significantly blunted, indicating that the alterations in basal ganglia circuitry contribute to these mutant behaviors.
MOGA-UDTG: Automated uniformly distributed testing approach

Software Testing is the critical task for any software which helps in building trust and confidence in the product. Usually, the emphasis is on Manual Testing but to reduce cost there is a need of automation in software testing process. This paper proposes a method to generate automated uniformly distributed test cases based on the platform of multi-objective genetic algorithm (MOGA). The proposed method is analyzed on the domain of Pareto-Optimality, Dominance and Multi-objective Genetic Algorithm.
Frequency‐domain simulation of MR tagging

Simulation of MR images is a useful tool for offline sequence development and as an aid to understanding image formation. One particular application of simulation is MR tagging, which is used for tracking myocardial motion. Simple spatial‐domain methods cannot adequately represent effects common in these images, such as motion artifact and signal wrap. An existing frequency‐domain model is shown to be inappropriate for tagged images, and an extension based on the Bloch equations and Fourier shift theorem is described to correct this. Software incorporating the new model is used to generate ideal tag intensity profiles and to accurately simulate tagged images. The shifted k‐space patterns associated with tagged images, and their dependence on the order of the binomial tagging sequence, are explained. An application of the Fourier shift theorem is suggested that allows more rapid simulation of static tagged images.
THE WAVE EQUATION APPROACH TO AN INVERSE EIGENVALUE PROBLEM FOR AN ARBITRARY MULTIPLY CONNECTED DRUM IN R 2 WITH ROBIN BOUNDARY CONDITIONS

The spectral function ˆ µ(t) = � ∞=1 exp(−itµ 1/2 j ), where {µj } ∞ j=1 are the eigen- values of the two-dimensional negative Laplacian, is studied for small |t| for a variety of domains, where −∞ <t< ∞ and i = √ −1. The dependencies of ˆ µ(t) on the connectivity of a domain and the Robin boundary conditions are analyzed. Particular attention is given to an arbitrary multiply-connected drum in R 2 together with Robin boundary conditions
The Psychometric Evaluation of the Connor-Davidson Resilience Scale Using a Chinese Military Sample

This study examined the psychometric properties of the Connor-Davidson Resilience Scale (CD-RISC) with a Chinese military population with the aim of finding a suitable instrument to quantify resilience in Chinese military service members. The confirmatory factor analysis results did not support the factorial structure of the original or the Chinese community version of the CD-RISC, but the exploratory factor analysis results revealed a three-factor model (composed of Competency, Toughness, and Adaptability) that seemed to fit. Moreover, the repeat confirmatory factory analysis replicated the three-factor model. Additionally, the CD-RISC with a Chinese military sample exhibited appropriate psychometric properties, including internal consistency, test-retest reliability, and structural and concurrent validity. The revised CD-RISC with a Chinese military sample provides insight into the resilience measurement framework and could be a reliable and valid measurement for evaluating resilience in a Chinese military population.