Miracle-dz/UniFAR-FTUs huggingface dataset:
Is MPI-2 suitable for Quantum Chemistry? Performance of passive target one-sided communications

Quantum chemistry calculations have a compelling requirement for one-sided communication given their irregular data access patterns and irregular task sizes. Hence the MPI-2 passive target onesided communications seem attractive as a standards based foundation for the implementation of the main algorithms in the field. For successful deployment it is important that good performance can be achieved reliably across a wide variety of platforms. We have tested this performance using a simple shared counter kernel across a number of machines and MPI implementations, including both open source MPI implementations OpenMPI and MPICH2 and those on the current and previous generation of the UK’s national academic supercomputers, HECToR and HPCx. We find that the performance varies greatly with the MPI implementation in question. The speed with which communications are progressed was found to vary up to 4 orders of magnitude in the kernel program depending on the MPI library used. As a result the “time to solution” for the kernel could vary by as much as about a factor 2, although greater impacts are anticipated for more complex algorithms such as Fock-builders. This spread in performance relates to two aspects of the MPI-2 standard. The first is whether the MPI implementation takes a minimalistic approach to satisfy rule 11.7. 2 on the progress of one-sided communications or goes beyond that. Secondly, does the MPI library implement full multi-threading support, as specified in section 12.4, or not. Overall, we find that the MPI-2 standard is not strong enough to guarantee that MPI libraries provide acceptable performance characteristics to use onesided communications effectively. We suggest that the standard be strengthened to address these performance issues – without this it seems unlikely that the MPI-2 one-sided communications will be useful for real world applications. This is a Technical Report from the HPCx Consortium. Report available from http://www.hpcx. ac.uk/research/publications/HPCxTR0807.pdf © UoE HPCx Ltd 2008 Neither UoE HPCx Ltd nor its members separately accept any responsibility for loss or damage arising from the use of information contained in any of their reports or in any communication about their tests or investigations. Performance of MPI-2 passive target one-sided communications ii
HIV fatalism and engagement in transactional sex among Ugandan fisherfolk living with HIV

ABSTRACT HIV fatalism, or the belief that HIV acquisition and mortality is out of one's control, is thought to contribute to HIV risk in fishing populations in East Africa. The objective of this cross-sectional study was to investigate the association between fatalism and sexual risk behaviours (unprotected sex, engagement in transactional sex), beyond the influence of other known HIV risk factors (e.g. food insecurity, mobility), and identify demographic, psychosocial, and structural correlates of HIV fatalism. Ninety-one men and women living in fishing villages on two islands in Lake Victoria, Uganda completed an interviewer-administered questionnaire after testing HIV-positive during home or community-based HIV testing between May and July 2015. Multivariate logistic regression was used to test the association between HIV fatalism and transactional sex and multivariate linear regression was used to identify demographic, psychosocial, and structural correlates of HIV fatalism. HIV fatalism was significantly associated with a greater likelihood of transactional sex (AOR = 3.07, 95% CI = 1.02–9.23, p = 0.04), and structural barriers to HIV care (e.g. distance to clinic) were significantly associated with HIV fatalism (β = 0.26, SE = 0.12, p = 0.04). Our findings highlight HIV fatalism as a contributor to transactional sex in Ugandan fishing communities, and as a product of broader social and contextual factors, suggesting the potential need for structural HIV interventions in this setting.
NLP and Digital Library Management

The field of study of Natural Language Processing (NLP) has developed over the past 50 years or so, producing an array of now mature technology such as automatic morphological analysis, word sense disambiguation, parsing, anaphora resolution, natural language generation, named entity recognition, etc. The proliferation of large digital collections (evolving into Digital Libraries) and the emerging economic value of information demand efficient solutions for managing the information which is available, but which is not always easy to find. This chapter presents the requirements for handling documents in digital libraries and explains how existing NLP technology can be used to facilitate the task of document management.
Role of Trust in Adoption of Online Auto Insurance

While online automobile insurance business is growing rapidly, systematic and focused studies lack behind significantly. This empirical study assesses the relationships among web-service quality, trust, and purchase intention. The results suggest that web-service quality has a significant impact on customer trust, which in turn significantly impact the customer's intention to purchase auto insurance online. This study provides useful guidelines for online auto insurers contemplating differentiated marketing strategies based on web-system quality, information quality, and various trust factors such as product trust, service trust, and company trust. Furthermore, this exploratory study makes a contribution to the research community by providing a theoretical framework for future studies on e-commerce in general and online auto insurance in particular.
Analysis of Errors in the Writing of First Year University Students of Maori

This paper presents a survey of the range of grammatical and lexical errors made in written Maori by University students taking an introductory course in Maori language. We begin by introducing, and discussing the motivation for, an error classification system which accommodates different classes of error. We then provide an analysis of errors in three different types of student writing: homework assignments, impromptu tests and examination transcripts. We conclude with some remarks about the patterns of error which we found.
Cross-cultural Adaptation, Internal Consistency and Validity of the Handwriting Proficiency Screening Questionnaire (HPSQ) for Spanish Primary School-age Children

Aim: To translate and culturally adapt the HPSQ into Spanish and to obtain a reliable and viable version. Additionally, the psychometric properties of this new version, namely, the internal consistency and validity, were evaluated using a sample of 165 Spanish school-children. Methods: The sequence of this process was as follows: forward translation, synthesis, back-translation, expert committee review and pilot study. In forward and backward translation items were easy to translate and problems with cross-cultural adaptation were not found. Content validity was evaluated by using item-objective congruence (IOC) value. Internal consistency of the Spanish version was measured with Cronbach’s alpha coefficient; whereas principal-component factor analyses were used to explore construct validity. Results: The Spanish version of the HPSQ retains the characteristics of the English original, high internal consistency (Cronbach alpha value of 0.78) and good construct and content validity (IOC values above 0.7). Conclusion: The results indicate that the Spanish version of HPSQ is a reliable and valid instrument for handwriting evaluation in Spanish school-age children.
Pronominal Anaphora in Machine Translation

State-of-the-art machine translation systems use strong assumptions of independence. Following these assumptions language is split into small segments such as sentences and phrases which are translated independently. Natural language, however, is not independent: many concepts depend on context. One such case is reference introduced by pronominal anaphora. In pronominal anaphora a pronoun word (anaphor) refers to a concept mentioned earlier in the text (antecedent). This type of reference can refer to something in the same sentence, but it can also span many sentences. Pronominal anaphora pose a challenge for translators since the anaphor has to fulfil some grammatical agreement with the antecedent. This means that the reference has to be detected in the source text before translation and the translator needs to ensure that this reference still holds true in the translation. The independence assumptions of current machine translation systems do not allow for this. We study pronominal anaphora in two tasks of English–German machine translation. We analyse occurrence of pronominal anaphora and their current translation performance. In this analysis we find that the implicit handling of pronominal anaphora in our baseline translation system is not sufficient. Therefore we develop four approaches to handle pronominal anaphora explicitly. Two of these approaches are based on post-processing. In the first one we correct pronouns directly and in the second one we select a hypothesis with correct pronouns from the translation system’s n-best list. Both of these approaches improve the translation accuracy of the pronouns but hardly change the translation quality measured in BLEU. The other two approaches predict translations of pronoun words and can be used in the decoder. The Discriminative Word Lexicon (DWL) predicts the probability of a target word to be used in the translation and the Source DWL (SDWL) directly predicts the translation of a source language pronoun. However, these predictions do not improve the quality already achieved by the translation system.
An intuitive operation system for cloth animation of computer graphics

Using dynamic cloth simulation systems, animators are required to control cloth animations by parameters. By this method, it is hard to avoid trial and error because imaging the animation from parameters is difficult. In this paper, we propose the method by which animators can control the cloth animation not by parameters but by the intuitive operation.
Nonlinear And Adaptive Control Design

Nonlinear Control Design: Geometric, Adaptive and Robust . 1.1.1 Emergence of adaptive control 1.1.2 Achievements of adaptive linear control 1.1.3 Adaptive control as dynamic nonlinear feedback 1.1. 4 Lyapunov-based design 1.1. 5 Estimation-based design Adaptive Nonlinear Control 1.2. 1 A nonlinear challenge 1.2. 2 A structural obstacle 1.2. 3 Early results Preview of the Main Topics 1.3. 1 Classes of .
Towards a corpus-based research methodology for investigating lexical patterning in translated texts

Abstract The primary objective of this article is to propose a corpus-based research methodology for comparing collocational patterning in translated and non-translated language. The analysis is based on a comparable corpus of Brazilian Portuguese which consists of two separate sub-corpora: one made up of translated Brazilian Portuguese and another consisting of non-translated Brazilian Portuguese. Both subcorpora are designed according to the same criteria and specifications, and are of similar size. The main issue under investigation is whether collocational patterns tend to be less diverse (i.e., are reduced in range) in the translated texts compared to the non-translated texts. Diversity is analysed in quantitative as well as qualitative terms.
Low Power High Speed based Various Adder Architectures using SPST

Adder is a circuit that is combinational andcalculates the sum of three (full adder) or two (half adder) inputs. Full adder can be cascaded to produce n-stages of adder. This cascaded adder structure is called as parallel adder. The sum and carry outputs of any stage cannot be calculated until the input carry occurs, this leads to a delay in the addition process. In order to overcome the delay, carry look ahead adder is proposed which is said to be a fast adder. To improve the speed of vary look ahead adder, Spurious Power Suppression Technique (SPST) is used. This paper discusses 8-bit adder consisting of three architectures parallel adder, normal carry look ahead adder and SPST carry look ahead adder. The results were simulated using Xilinx tools and as shown, the power has decreased for both the SPST carry look ahead adder and the SPST ripple carry adder. The code was written in Verilog HDL and tested on a Xilinx FPGA test board as a part of a velocity measurement circuit for an Electromagnetic Projectile Launcher.
Investigating the success factors of serious games: a systematic review

s were carefully examined and formed the basis for consideration against a pre-determined set of inclusion criteria. The remaining 72 articles were considered as the SLR’s definitive source material. During the coding phase however, a further nine articles were removed. The misalignment between these articles and the study’s objectives came about through faulty impressions of the respective abstracts. The researcher deliberated over this and decided that a possible mitigation would have been to read each article attentively while carrying out inclusion and exclusion. Though, this would either have required significantly more time or substantially more researchers. In conclusion, a final list of articles can only be determined through in-depth reading of these articles and if time, or other resources are limited, researchers should accept that further removal of primary evidence while coding, might occur. The time frame (2000 to present) for the included studies appeared to become exposed during the coding phase. This SLR examined a technology-reliant field that is constantly evolving in the advent of such advancements. The researcher postulated that current serious games audiences would probably not appreciate a 2005 cutting-edge game, hereby wandering about the value of including studies from more than five years ago. However, through comparing comments of players from older studies with players of a recent era, it became evident that the parallel lies between expectations and technology; and that a game faux pas that existed before is still relevant today. That is, the factors that bring about serious game success persist through time. For example, navigational difficulty influenced learning with games in 2008 (Virvou & Katsionis, 2008:166) and still does today (Chittaro & Sioni, 2015:512). 4.1 Systematic literature review Atlas.tiTM mediated the fusion of abundant evidence that serious games are a vehicle for enhanced learning into discernable success factors. The researcher quickly learned that every study, and hereby every game, has a unique playing audience with one-off demands regarding the games. It is not a wonder that the realm of serious games is deemed fragmented, and scrutinising studies in isolation is bound to exacerbate this notion. The SLR process uncovered five themes (backstory and production; realism; AI and adaptivity; interaction; and feedback and debriefing) that would prove to be containers for the various success factors that were also uncovered. These five themes were studiously rotated, unfolded and
A Nonmonotone Gradient Algorithm for Total Variation Image Denoising Problems

The total variation (TV) model has been studied extensively because it is able to preserve sharp attributes and capture some sparsely critical information in images. However, TV denoising problem is usually ill-conditioned that the classical monotone projected gradient method cannot solve the problem efficiently. Therefore, a new strategy based on nonmonotone approach is digged out as accelerated spectral project gradient (ASPG) for solving TV. Furthermore, traditional TV is handled by vectorizing, which makes the scheme far more complicated for designing algorithms. In order to simplify the computing process, a new technique is developed in view of matrix rather than traditional vector. Numerical results proved that our ASPG algorithm is better than some state-of-the-art algorithms in both accuracy and convergence speed.
Efficient Test Sequence Generator for Area Optimization in LFSR Reseeding

In this paper, a new concept of test pattern generator is used with Seed Initialization Method (SIM) for area optimization in LFSR reseeding. LFSR Reseeding is the method which is mainly used in logic BIST. Some of the reseeding mechanism needs some sort of memory to store all seeds. But this issue is overcome by present method. By this method, the proposed test pattern generator employs the output response of the CUT to the LFSR as the controlling signal to transform the LFSR state. It contains a net providing cell and LFSR with reversal logic to conform that there is no storage of seeds. When compared to previous methods, by using this approach (SIM), the test sequence that will have been given to LFSR is much reducing. The empirical outcome on ISCAS circuits shows that the conferred seed initialization method has brought reduced area overhead.
Method of evaluating micro-blog users' influence based on comprehensive analysis of user behavior

Through the comprehensive analysis of retweet,comment,mention and statistical analysis of different contribution of different behaviors for influence,this paper proposed a PageRank algorithm based on user behavior weight assigned to evaluate spreading influence quantitatively. Experimental results based on micro-blog data show that this algorithm is more accurate and effective than other traditional methods. And the most effective characteristic of user in evaluating spreading influence is the situation of user retweet.
Student Views with regard to the Web-Based Problem Solving Method

The purpose of this study is to determine the views of 2nd year students at a university who received the Programming course designed in accordance with the Web-based Problem Solving Method about the said method (WBPSM). The views of 11 students selected from among the 29 students who had taken the course on a voluntary basis were elicited concerning WBPSM. In this study, in which the qualitative research method was used, the semi-structured interview technique was used as the data collection instrument. The interview form, which consisted of 11 open-ended questions, was administered to the 11 students, who had taken the course. As a result of the analysis of the data obtained from the students, it was seen that the students had stated that WBPSM supported individual learning, raised interest in the course, ensured non-spatial learning, increased their self-confidence in learning on their own, gained them problem solving ability, enabled them to assume responsibility in learning, encouraged them investigate, saved time and that it was applicable for other courses, too.
Perceptions of Logistics Students on Internship Programme: The Case of Private Higher Institution in Malaysia

This article examines the effects of knowledge, skills, and talent on logistics internship programme within the context of Malaysian private higher education institutions. Despite extensive research on voluminous literature on logistics internships, there is very little empirical research that has examined this scope of study. The proposed research framework and hypotheses were developed with the intention of examining this relationship. Hierarchical regression analysis was employed to explore the relationship between knowledge, skills, talent and logistics internship programme. The results revealed that talent was positively and significantly associated with logistics internship programme (β = .503, p < .001). The findings are considered to have made a significant contribution to the literature, by using the Malaysian logistics undergraduate students which enhances our understanding on the need to have a significant learning outcome for logistics internship programme. Key words : Logistics internship programme; Knowledge; Skills; Talent
LLC Dead Block Prediction Considered Not Useful

Dead block predictors (DBPs) improve cache efficiency by identifying blocks that have exhausted their useful lifetime in the cache and prioritizing them for eviction regardless of how much reuse these blocks have experienced. In doing so, DBPs go beyond insertion policies that target only those blocks that have no cache reuse. But how much value do DBPs add over insertion policies? This work examines the opportunity for DBP at the LLC and concludes that its value-add is low over a state-of-the-art insertion policy. Our key result is that LLC evictions are dominated by blocks having no reuse. Even with the optimal replacement policy that maximizes cache reuse through perfect knowledge of the future, an average of 78% of LLC evictions have not experienced any hits. For the remaining evictions that experience LLC reuse, only a fraction is predicted by a state-of-the-art DBP scheme, and the accuracy of these predictions is low. Our first-order limit study shows that a likely coverage ceiling for DBP over the best performing insertion policy is just 6.9% of all LLC evictions. Based on these findings, we argue that the higher complexity of DBP is not justified.
Supporting Business Intelligence Usage: An Integrated Framework with Automatic Weighting

ABSTRACT This paper presents an integrated framework that comprises an automatic weighting method for assessing data quality (DQ) of the framework so as to better support the business intelligence (BI) usage. Specifically, we utilize business process modeling (BPM) notation and information product map and frame them into a hierarchical mapping structure. Furthermore, we develop and demonstrate an automatic weight-assignment method for evaluating critical dimensions (i.e., completeness and accuracy) of DQ of the integrated framework. Through a design science paradigm, the effectiveness of the framework and the associated DQ weighting method has been rigorously validated by faculty management users of a university. The framework together with the DQ weighting method builds user confidence by enhancing the traceability of a BI product. The automatic DQ weight assignment also provides better time efficiency because the weight of each data attribute is determined automatically based on its usage on the BI dashboard.
Overloading Intentions for Efficient Practical Reasoning

Abstract : Agents, whether biological or artificial, have bounded reasoning capabilities. As a result, they cannot make reasoned decision instantaneously; reasoning takes time. Agents in dynamic environments face a potential difficulty when they must make decisions what to do. They run the risk the world may change in ways that undermine the very assumptions upon which their reasoning is proceeding. Dynamic environments and computational resource bounds thus pose a challenge that has led some researchers in Artificial Intelligence (AI) to propose that artificial agents be designed to avoid execution-time practical reasoning. In this paper, the author argues that there is a way in which an agent's plans can be used to constrain practical reasoning; they can suggest solutions to means-end reasoning problems that the agent subsequently encounters. Moreover, such solutions can often be accepted without further deliberation about possible alternatives. An agent will often be able to guide its search for a way to achieve some goal G by looking for an action A that it already intends that can also subserve G, or by looking for an intention that can be overloaded. If it is successful in this, it can typically avoid attempting to find alternative ways of achieving G; it need not weigh the solution involving A against competing options. The author argues such a strategy, fine-tuned in appropriate ways, is rational, despite the fact it may sometimes lead to suboptimal behavior.