Miracle-dz/UniFAR-FTUs huggingface dataset:
SemStore: A Semantic-Preserving Distributed RDF Triple Store

The flexibility of the RDF data model has attracted an increasing number of organizations to store their data in an RDF format. With the rapid growth of RDF datasets, we envision that it is inevitable to deploy a cluster of computing nodes to process large-scale RDF data in order to deliver desirable query performance. In this paper, we address the challenging problems of data partitioning and query optimization in a scale-out RDF engine. We identify that existing approaches only focus on using fine-grained structural information for data partitioning, and hence fail to localize many types of complex queries. We then propose a radically different approach, where a coarse-grained structure, namely Rooted Sub-Graph (RSG), is used as the partition unit. By doing so, we can capture structural information at a much greater scale and hence are able to localize many complex queries. We also propose a k-means partitioning algorithm for allocating the RSGs onto the computing nodes as well as a query optimization strategy to minimize the inter-node communication during query processing. An extensive experimental study using benchmark datasets and real dataset shows that our engine, SemStore, outperforms existing systems by orders of magnitudes in terms of query response time.
Cerebellar Atrophy in Essential Tremor Using an Automated Segmentation Method

BACKGROUND AND PURPOSE: Essential tremor (ET) is a slowly progressive disorder characterized by postural and kinetic tremors most commonly affecting the forearms and hands. Several lines of evidence from physiologic and neuroimaging studies point toward a major role of the cerebellum in this disease. Recently, voxel-based morphometry (VBM) has been proposed to quantify cerebellar atrophy in ET. However, VBM was not originally designed to study subcortical structures, and the complicated anatomy of the cerebellum may hamper the automatic processing of VBM. The aim of this study was to determine the efficacy and utility of using automated subcortical segmentation to identify atrophy of the cerebellum and other subcortical structures in patients with ET. MATERIALS AND METHODS: We used a recently developed automated volumetric method (FreeSurfer) to quantify subcortical atrophy in ET by comparing results obtained with this method with those provided by previous evidence. The study included T1-weighted MR images of 46 patients with ET grouped into those having arm ET (n = 27, a-ET) or head ET (n = 19, h-ET) and 28 healthy controls. RESULTS: Results revealed the expected reduction of cerebellar volume in patients with h-ET with respect to healthy controls after controlling for intracranial volume. No significant difference was detected in any other subcortical area. CONCLUSIONS: Volumetric data obtained with automated segmentation of subcortical and cerebellar structures approximate data from a previous study based on VBM. The current findings extend the literature by providing initial validation for using fully automated segmentation to derive cerebellar volumetric information from patients with ET.
Title Association of the rs 3743205 variant of DYX 1 C 1 with dyslexia inChinese children

Background: Dyslexia is a learning disability that is characterized by difficulties in the acquisition of reading and spelling skills independent of intelligence, motivation or schooling. Studies of western populations have suggested that DYX1C1 is a candidate gene for dyslexia. In view of the different languages used in Caucasian and Chinese populations, it is therefore worthwhile to investigate whether there is an association of DYX1C1 in Chinese children with dyslexia. Method and Results: Eight single nucleotide polymorphisms (SNPs) were genotyped from three hundred and ninety three individuals from 131 Chinese families with two which have been reported in the literature and six tag SNPs at DYX1C1. Analysis for allelic and haplotypic associations was performed with the UNPHASED program and multiple testing was corrected using false discovery rates. We replicated the previously reported association of rs3743205 in Chinese children with dyslexia (pcorrected = 0.0072). This SNP was also associated with rapid naming, phonological memory and orthographic skills in quantitative trait analysis. Conclusion: Our findings suggest that DYX1C1 is associated with dyslexia in people of Chinese ethnicity in Hong Kong.
Reliable Composition of Autonomous Web Services

The Web services platform offers a distributed computing environment where autonomous applications interact using standard Internet technology. In this environment, diverse applications and systems become the components of intraand inter-enterprise integration. Yet, transactional reliability, an often critical requirement on such integration, is presently missing from the Web services platform. In this paper, we address this shortcoming and propose the WSTx framework as an approach to Web service reliability. WSTx introduces transactional attitudes to explicitly describe the otherwise implicit transactional semantics, capabilities, and requirements of individual applications. We show how explicit transactional attitude descriptions can be used by a middleware system to automate the reliable composition of applications into larger Web transactions, while maintaining autonomy of the individual applications.
A Novel Transient System Survivability Quantitative Evaluation Framework

A novel survivability quantitative evaluation model is presented here. Survivability is viewed as the capability of the system to deliver certain degree of services in the advent of failure. In the model, survivability is computed as the probability that the system can stay in some states where if the system are confronted with failure, it still has outage smaller than outage threshold, which is somewhat like specification. Different from previous work done by others, in this model, more consideration is put to transient analysis which can capture the system dynamic behavior that can make providers learn more about their own systems. And moreover, we perceive survivability quantitative value as the probability that the system is in states when the related expected service loss is below certain threshold. In our work, we still give an illustrative model that is related with the telephone network and there we also gives a general service loss computation method about telephone network. And then we conduct our experiments and obtain two groups of experimental results.
Did You Sleep Well, Darling?—Link between Sleep Quality and Relationship Quality

Background: Relationship quality and sleep quality influenced physiological and psychological health. Therefore, the aim of the present study was to determine a possible connection between relationship satisfaction and sleep quality and to test a theoretical model of sleep quality as related to relationship and psychological well-being. Methods: Fifty-one heterosexual, cohabitating couples between 24 and 70 years old participated. The relationship quality was measured by the German short version of relationship questionnaire. To determine the sleep quality, the Pittsburgh Sleep Quality Index and a two-week sleep diary were implemented. To gather information about psychological well-being, especially depression and anxiety, the German Symptom Checklist was used. Results: Sleep quality was measured by the Pittsburgh Sleep Quality Index and relationship quality correlated significantly negative. In addition, the study found a positive correlation between sleep duration and relationship quality. In a multiple regression model, fighting and mental strain explained 38% of variance of sleep quality. Depression, anxiety and relationship quality showed no further improvement of the model. These findings suggested that relationship quality, constructive partnership behavior and mental strain played an essential role in sleep quality.
Revisiting Authentication with Shoulder-Surfing Resistance for Smartphones

A challenge/response authentication scheme with a hidden challenge is useful authentication against a shoulder-surfing attack. This scheme allows a user in authentication with secret information to receive a challenge securely as a nonce and to input the response obtained from the secret information and the challenge, and hence, to prevent impersonation by an adversary as long as the challenge information is kept secret. However, existing schemes sometimes have unreasonable assumptions. Thus, there is an open problem as to "which approach is the best". In this paper, we review the best way to receive a challenge and how to input a response, which should shed light on a scheme that provides both security and usability. To accomplish this, we focus especially on the use of the vibration of devices to receive a challenge, and a shift of secret information in eight directions to input a response as potential approaches. We then show that the vibration is suitable for receiving a challenge, and a digit addition or shift to eight directions is suitable to input a response via experiments. To this purpose, we also propose two authentication schemes, i.e., the vibration-then-digit-addition (VDA) scheme and the vibration-then-eight-direction (V8D) scheme, under experimental results.
Narratives: Composing and Controlling Persistent Assistants to Communicate, Integrate, and Automate Multidisciplinary Design and Analysis

We discuss an approach in which engineers formally and iteratively construct information representations, called Perspectives, from information in other Perspectives using personal computational assistants, called Perspectors. Engineers can select from predefined, reusable, Perspectors, or program new Perspectors, and compose them into directed acyclic graph structures, called Narratives, to quickly and accurately construct useful dependent Perspectives. The approach also formalizes simple management processes with which professionals can control the integration of their Perspectives with respect to the Perspectives on which they depend. The result is an evolving, distributed, multi-disciplinary and integrated project model. We describe one conceptual Narrative that formalizes a multidisciplinary cost-benefit analysis to help designers choose amongst sustainable strategies. We describe one implemented Narrative that automatically generates a metal decking contractor’s connection details that are needed to connect concrete slabs that are described in an architect’s model and steel beams that are described in a steel detailers model. We discuss how these Narratives could have enabled engineers to better design, communicate, integrate, and automate their design processes than is possible on a recent state-of-the-art AEC projects. Narratives are intended to enable engineers from multiple disciplines to engage in novel, automated, and integrated design and analysis by easily yet formally constructing and integrating Perspectives from other Perspectives.
An Approach to Paraphrase in MT Systems Based on a Study of Chinese Verbs

In contrast to translation between related languages, translation among different language families often involves radical transformation of lexical items and their encompassing syntactic structure. As a result, the types of mechanisms involved in this transformation become a central concern. In this paper, we propose a generalized approach to lexically triggered structural transformations based on semantic features of lexical items, and relationships among lexical items, both encoded in the lexicon. The approach is motivated by a study of the requirements for translation from English to Chinese motion and resultative verbs.
The Effect of Radiative Cooling on Scaling Laws of X-Ray Groups and Clusters

We have performed cosmological simulations in a ΛCDM cosmology with and without radiative cooling in order to study the effect of cooling on the cluster scaling laws. Our simulations consist of 4.1 million particles each of gas and dark matter within a box size of 100 h-1 Mpc, and the run with cooling is the largest of its kind to have been evolved to z = 0. Our cluster catalogs both consist of over 400 objects and are complete in mass down to ~1013 h-1 M☉. We contrast the emission-weighted temperature-mass (Tew-M) and bolometric luminosity-temperature (Lbol-Tew) relations for the simulations at z = 0. We find that radiative cooling increases the temperature of intracluster gas and decreases its total luminosity, in agreement with the results of Pearce et al. Furthermore, the temperature dependence of these effects flattens the slope of the Tew-M relation and steepens the slope of the Lbol-Tew relation. Inclusion of radiative cooling in the simulations is sufficient to reproduce the observed X-ray scaling relations without requiring excessive nongravitational energy injection.
Interference with Pseudomonas quinolone signal synthesis inhibits virulence factor expression by Pseudomonas aeruginosa

Pseudomonas aeruginosa is an opportunistic pathogen that controls numerous virulence factors through intercellular signals. This bacterium has two quorum-sensing systems (las and rhl), which act through the intercellular signals N-(3-oxododecanoyl)-l-homoserine lactone (3-oxo-C12-HSL) and N-butyryl-l-homoserine lactone (C4-HSL), respectively. P. aeruginosa also produces a third intercellular signal that is involved in virulence factor regulation. This signal, 2-heptyl-3-hydroxy-4-quinolone [referred to as the Pseudomonas quinolone signal (PQS)], is a secondary metabolite that is part of the P. aeruginosa quorum-sensing hierarchy. PQS can induce both lasB (encodes LasB elastase) and rhlI (encodes the C4-HSL synthase) in P. aeruginosa and is produced maximally during the late stationary phase of growth. Because PQS is an intercellular signal that is part of the quorum-sensing hierarchy and controls multiple virulence factors, we began basic studies designed to elucidate its biosynthetic pathway. First, we present data that strongly suggest that anthranilate is a precursor for PQS. P. aeruginosa converted radiolabeled anthranilate into radioactive PQS, which was bioactive. We also found that an anthranilate analog (methyl anthranilate) would inhibit the production of PQS. This analog was then shown to have a major negative effect on elastase production by P. aeruginosa. These data provide evidence that precursors of intercellular signals may provide viable targets for the development of therapeutic treatments that will reduce P. aeruginosa virulence.
A Mathematical Model and Simulation of Virus Epidemics in Varroa-infested Honey Bee Colonies

We present a simple mathematical model describing the infection of a honeybee colony by the Acute Paralysis Virus (APV), which is carried by parasitic varroa mites. We make reasonable assumptions about the model and conduct a linear stability analysis. We provide the analytical solution via homotopy perturbation method (HPM) and the results are presented graphically. Our results show that epidemic occurs and that
EZTrace: A Generic Framework for Performance Analysis

Modern supercomputers with multi-core nodes enhanced by accelerators, as well as hybrid programming models introduce more complexity in modern applications. Exploiting efficiently all the resources requires a complex analysis of the performance of applications in order to detect time-consuming sections. We present eztrace, a generic trace generation framework that aims at providing a simple way to analyze applications. eztrace is based on plugins that allow it to trace different programming models such as MPI, pthread or OpenMP as well as user-defined libraries or applications. eztrace uses two steps: one to collect the basic information during execution and one post-mortem analysis. This permits tracing the execution of applications with low overhead while allowing to refine the analysis after the execution. We also present a script language for eztrace that gives the user the opportunity to easily define the functions to instrument without modifying the source code of the application.
Electronic petitions: a proposal to enhance democratic participation

Declining rates of political participation demand practical reforms to enhance citizen engagement in our democratic institutions. Tabled in the House of Commons on February 13, 2013, Motion 428 aims to modernize and improve Canada�s antiquated paper-based petitioning process by establishing a system for electronic petitions. It further proposes allowing petitions to trigger short debates in Parliament if they receive a certain threshold of signatures from the public and are sponsored by at least five Members of Parliament. After providing comparative information on similar reforms implemented in other jurisdictions, this article argues that empowering citizens to initiate and sign petitions online will make our democracy more accessible, participatory, and responsive. It concludes with a brief discussion of the prospects of success for a motion submitted by an opposition Member during a period of majority government.
Texture image retrieval using compact texton co-occurrence matrix descriptor

Statistical approaches and structural approaches have been extensively investigated in texture analysis of content-based image retrieval whereas little work has integrated them. This paper puts forward an effective texture descriptor-compact texton co-occurrence matrix (CTCM), interweaving the universal local structural textons and statistical co-occurrence matrix seamlessly. First, the CTCM transforms the gray image into a texton index image quickly, utilizing our proposed compact local binary pattern, which generates universal and compact texton dictionary with linear computation complexity. Then the low dimensional texton co-occurrence matrix (TCM) is achieved conveniently. At last, the histogram of TCM is constructed, which represents both the implicit statistical characteristics of individual textons and the explicit statistical characteristics of spatial texton pairs. Experimental results on Brodatz demonstrate that the retrieval performance of CTCM is superior over that of state-of-the-art methods, including the Gabor, local binary pattern and gray-level co-occurrence matrix; furthermore, the CTCM with linear computation complexity is overwhelmingly faster than the Gabor.
Optimizing Image Morph Fields for Automatic Interpolation of Face Images

This article presents a new method for generating an optimum image morph eld, i.e. an optimum mapping of one image to another image by distorting the brightness and geometry of the former image. The mapping is calculated by maximizing the probability of the morph eld in a Bayesian framework. In contrast to other techniques, this new method needs no training and is derived based on symmetry relations and expected singularities, only. An infeasible exhaustive search is replaced by an new iterative approximation approach where, in a neighborhood around the current morph eld solution, the probability distribution is approximated by a Gaussian probability distribution for which the most likely solution is evaluated by linear algebra techniques. New views are generated by applying linearly interpolated morph elds to the original reference image. Experiments demonstrate that this approach is well suited to interpolate between diierent views of a single face image or between images of diierent persons.
On determining the minimum cost flows in dynamic networks

The present invention relates to methods of diagnosing peripheral neuropathies by determining the titer of autoantibodies directed toward particular nervous system antigens. It also provides for substantially purified preparations of specific antigens, namely neuroprotein-1, histone H3 (neuroprotein-2), beta -tubulin (neuroprotein-3), neuroprotein-4, neuroprotein-5, and NP-9 antigen which can be used in such diagnostic methods.
On the accuracy of a first-order Markov model for data transmission on fading channels

Transmission of data blocks on a fading mobile radio channel is considered. The binary process of the success and failure of the data blocks is investigated, and the accuracy of a Markov approximation is studied. It is shown through analysis and simulation that a first-order Markov process is a good approximation. Data-link performance of ARQ protocols is considered as an example of application.
Using remote sensing-based spatial modelling to assess the changes of permafrost in Wapusk National

Each Canadian national park is required to monitor and report on the state of the park. Permafrost is an integral part of the northern landscapes and ecosystems. Observations show that permafrost is thawing in response to climate change. Northern national parks are large and expensive to access and monitor in the field. This study reports on the application of remote sensing-based spatial modelling to assess the changes of permafrost in Wapusk National Park located in the northwest of the Hudson Bay Lowlands. Permafrost was mapped at an unprecedented high resolution of 30 m by 30 m using a process-based model. Spatial input datasets were developed based on remote sensing data and site observations. The results show that the active-layer had a deepening trend throughout most of the park and that permafrost was degrading in areas in recent decades, especially in treed areas in southern regions. RÉSUMÉ Chaque parc national du Canada doit surveiller et faire rapport sur l’état de ses parcs. Le pergélisol fait partie intégrante des écosystèmes et des paysages nordiques. Des observations montrent que le pergélisol fond sous l’effet des changements climatiques. Les parcs nationaux nordiques sont vastes; leur accès sur le terrain et leur surveillance est dispendieux. Cette étude rend compte de l’utilisation de la modélisation spatiale à partir de la télédétection pour évaluer les changements quant au pergélisol du parc national Wapusk situé dans le nord-ouest des basses terres de la Baie d’Hudson. Le pergélisol a été cartographié à une résolution jamais vue de 30 m par 30 m d’après un modèle de processus continu. La saisie de l’ensemble des données spatiales a été effectuée à partir de mesures de télédétection et d’observations sur le terrain. Les résultats révèlent que la couche active a tendance à s’accroître dans la majeure partie du parc et que le pergélisol se détériore dans certains secteurs au cours des dernières décennies, en particulier dans les secteurs boisés des régions du sud.