Miracle-dz/UniFAR-FTUs huggingface dataset:
Reduction of Energy Consumption by Proper Speed Selection in PMSM-Driven Roller Conveyors

This paper suggests using transport speed selection as a degree of freedom to reduce the energy demand of roller conveyors driven by permanent-magnet synchronous motors (PMSMs) in the field of materials handling. A dynamic model of energy consumption of PMSM-driven roller conveyors is provided. Within the proposed model, a vector control strategy is used for motor speed control in addition to hysteresis trigger selection for the inverter. The relation between motor energy consumption, its desired rotational speed, and required torque for packet movement is analyzed. An optimum transportation speed is defined according to the load on the conveyor, and the resulting optimization method is qualified on a series of simulations and offers a potential saving margin for a pilot system. Applications of the proposed method during the planing and system operation are also presented.
Can self-defeating humor make you happy? Cognitive interviews reveal the adaptive side of the self-defeating humor style

Abstract The present set of studies employs two cognitive interviewing techniques (thinking aloud and online cognitive probing) of the scale assessing the self-defeating humor style, aiming at delineating the role that self-defeating humor plays in self-esteem and emotions. The self-defeating humor style comprises humor to enhance one’s relationships with others at the expense of oneself, and has often been related to lower well-being. The analyses are based on 392 item responses of a typical sample (Study 1) and 104 item responses of high scorers on the self-defeating scale (Study 2). Content analyses revealed that higher scores on the self-defeating scale went along with humor (Study 1), with higher state self-esteem, with an improvement of one’s interpersonal relationships, and with more facial displays of positive emotions (Study 2). Additionally, the more humor was entailed in the item responses, the higher the state self-esteem and the improvement of relationships was and the more positive emotion words were employed. Thus, the humor entailed in the self-defeating humor style seemed rather beneficial both for oneself and others. These findings call for a reevaluation of past findings with this humor style and provide opportunities for future research and applications of humor interventions to improve well-being.
NLM at TREC 2012 Medical Records Track

Abstract : The NLM team used the relevance judgments for the 2011 Medical Records track (that focused on finding patients eligible for clinical studies) to analyze the components of our 2011 systems. The analysis showed that the components provided moderate improvements over the baseline (established submitting 2011 topics as is to Lucene) for some topics and did not harm the results for any other topics. Our experiments confirmed that implementing methods (such as negation detection and section splitting) motivated by clinical text processing experience could improve identifying patients that meet complex criteria for inclusion in cohort studies. We therefore largely used the 2011 system with minor modifications for document processing. We submitted three automatic runs: an Essie baseline run, and two Lucene runs that used the 2011 system with minor modifications. We also submitted an interactive run for which the queries were interactively modified using Essie until either the top ten retrieved documents appeared mostly relevant or no relevant documents could be found. Our interactive queries submitted to Essie significantly outperformed all our other runs and were significantly above the medians for all submission types (achieving 0.37 infAP; 0.68 infNDCG; 0.75 P@10; and 0.48 R-prec). Interestingly, the values of the two metrics common for the two years of this track are very close to the values achieved in 2011. The hypothetical overall-best and best-manual performances are significantly better than our interactive run. Our Lucene run that used the topic frames and web-based expansion is significantly better than the Lucene baseline run and the medians (on all metrics but P@10 for the medians), but it is not significantly better than our other automatic runs. Our other automatic runs are not significantly above the medians. As in 2011, we conclude that the existing search engines are mature enough to support cohort selection tasks, and the quality of the queries could be
Runtime Checking for Paired Functions in Device Drivers

Device drivers usually invoke functions to allocate resources for managing hardware devices and communicating with the kernel, and these resources should be released by functions when the work is finished. Thus allocating functions and releasing functions must be invoked in pairs. However, many developers ignore this vital rule, and some allocated resources are not released in time, which may cause resource related problems like deadlocks and memory leak. For improving the resource management of device drivers, we propose an approach named Pair Dyn to check these paired functions during runtime. When the driver runs, Pair Dyn records the runtime information of allocating functions such as key parameters and return value, and dynamically detects whether the relevant releasing functions are invoked to free allocated resources during runtime. Before the driver exits, Pair Dyn automatically attempts to invoke the related releasing functions which are lacked in runtime, in order to free the allocated resources of the operation system. We have implemented Pair Dyn with the LLVM compiler infrastructure, and make the evaluation with four real device drivers in Linux version 3.10. 1. The experimental result shows that with the low extra overhead, Pair Dyn can provide effective runtime checking for allocate-release paired functions. Moreover, 9 potential bugs are found in the four drivers, which are all fixed automatically before exiting. Finally, no manual modification of the source code is needed with Pair Dyn.
Annual and Semiannual Variations of Surface Pressure in Taiwan

Corresponding author address: Tsing-Chang (Mike) Chen, Atmospheric Science Program, 3010 Agronomy Hall, Department of Geological and Atmospheric Sciences, Iowa State University, Ames, IA 50011. E-mail: tmchen@iastate.edu Recently, the ps observations of 59 stations (Fig. 1, including 26 original surface stations of the Taiwan Weather Bureau analyzed by CY) during 1993–98 were made available to us. In our analysis of the ps annual variation over Taiwan, a distinct semiannual signal emerged from the ps observations at some tall mountain stations. Although this signal at Yu-Shan was pointed out by CY, it was not discussed in detail. Several studies have examined the structure and cause of the semiannual oscillation in low latitudes (e.g., van Loon and Jenne 1969, 1970; Weickmann and Chervin 1988; Chen et al. 1996). However, as far as we know, this short-term climate signal in the low latitudes has not previously been explored with ps observations at a high-elevation station. Also, for the opposite-phase annual variation of ps between high and low elevations, CY only contrasted ps(Yu-Shan) with ps at the low-elevation stations of the Taiwan Weather Bureau. Is this ps inverse relationship common in Taiwan between tall mountains and the low plains? Since more ps observations are now available, it is of interest to examine this question as well.
Use of the ICU Nurse–Physician Questionnaire (ICU N-P-Q): testing reliability and validity in neonatal intensive care units in Japan

Objective Although communication among health providers has become a critical part of improving quality of care, few studies on this topic have been conducted in Japan. This study aimed to examine the reliability and validity of the Intensive Care Unit Nurse–Physician Questionnaire (ICU N-P-Q) for use among nurses and physicians in neonatal ICUs (NICUs) in Japan. Methods A Japanese translation of the ICU N-P-Q was administered to physicians and nurses working at 40 NICUs across Japan, which were participating in the Improvement of NICU Practice and Team Approach Cluster randomized controlled trial (INTACT). We used the principal components analysis to evaluate the factor structure of the instruments. Convergent validity was assessed by examining correlations between the subscales of Communication and Conflict Management of the ICU N-P-Q and the subscales and total score of the Nurse–Physician Collaboration Scale (NPCS). Correlations between the subscales of Communication and Conflict Management by correlation with scales that refer to performance, including Job Satisfaction and Unit Effectiveness, were calculated to test the criterion validity. Results In total, 2006 questionnaires were completed by 316 physicians and 1690 nurses. The exploratory factor analysis revealed 15 factors in the physicians' questionnaire and 12 in the nurses' questionnaire. Convergent validity was confirmed, except for ‘Between-group Accuracy’ and ‘Cooperativeness’ in the physicians' scale, and for ‘Between-group Accuracy’ and ‘Sharing of Patient Information’ in the nurses' scale. Correlations between the subscales of communication and outcomes were confirmed in the nurses' questionnaire but were not fully supported in the physicians' questionnaire. Conclusions Although the psychometric property behaved somewhat differently by occupation, the present findings provide preliminary support for the utility of the common item structure with the original scale, to measure the degree and quality of communication and collaboration among staff at NICUs and similar healthcare settings in Japan. Trial registration number UMIN000007064; Pre-results.
A Service Level Agreement-based Web Services Performance

With the wide application of Web services, its performance has caused the extensive concern and becomes one of the key factors of determining whether it is widely applied further. Based on the idea of differentiating Web services, the paper presents a SLA-based Web services performance guarantee model to improve Web services runtime environment, and expatiates on the key techniques of realizing the model: the request class utility function, the predicting model of response time, the genetic algorithm-based resource allocation and the dynamic weight-based weighted round-robin scheduling algorithm. Experiments prove the model can guarantee the response performance of Web services requests and improve the stability of the system.
Reciprocity or Self-Interest? Leveraging Digital Social Connections for Healthy Behavior

We examine the role of reciprocity enabled by digital social platforms for offline healthy behavior. Although reciprocity is a fundamental aspect of human psychology, its application in promoting healthy behavior has been limited. We conduct a randomized field experiment with over 1,700 pairs of users on a mobile social network platform. Individuals in the reciprocity treatment group receive a gift from their friends and are asked to return this favor by participating in a running challenge. Their performance is compared to the self-interest incentives widely used in practice. Building on social exchange theory, we argue that reciprocity-based incentives will outperform self-interest incentives with modest reward for motivating behavior change. We find that, on average, reciprocity is stronger than self-interest in inducing exercise behavior by a substantial amount. Furthermore, our results reveal that the magnitude of the reciprocity effect is contingent on the social closeness between senders and receivers. Interestingly, social closeness has an inverted U-shaped influence on the reciprocity effect. The effect is strongest when closeness is moderate, and wanes when closeness is either too strong or too weak. Compared to commonly used self-interest based financial incentives, our findings offer a potentially more powerful avenue for mechanism design in promoting healthy behavior.
The Mermin-Wagner Theorem

LetA be a C∗ algebra such as the algebra of quasi-local observables of a quantum spin system on Z, and suppose {αt}t∈R is a strongly continuous one-parameter group of automorphisms of A, which we will refer to as the dynamics of the system. The examples we have in mind are the dynamics of a quantum spin system generated by a not-too-long-range interaction Φ, e.g., one that satsifies, for some λ > 0,
Clot Lysis Activity of Bacillus subtilis G8 Isolated from Japanese Fermented Natto Soybeans

Background and objective: Bacillus spp. with potent fibrin digesting enzymes, especially Bacillus subtilis ( natto ) , has gained favorable insights into the world of cardiovascular health and functional foods. In this study, Bacillus subtilis G8 was isolated from Japanese fermented Natto soybean commercialized in Indonesia. The overall activity of Bacillus subtilis G8 in resolving blood clot was evaluated under variable conditions quantitatively using clot lysis assay. Material and methods: Cell-free crude extracts of Bacillus subtilis G8 culture were partially purified with acetone precipitation method. Fibrinolytic activity of the enzymes was verified using fibrin plate assay and zymography. The measurement of clot liquefying activity under physiological temperature and pH was performed using chicken blood. The measurement of clot liquefying activity under physiological temperature and pH was performed using chicken blood. The measurement of clot liquefying activity under physiological temperature and pH was performed using chicken blood. Results and conclusion: Through zymography, Bacillus subtilis G8 expressed four bands of fibrinolytic proteins sized 19 to 30 kDa. Under controlled conditions, a significantly higher clot lysis was seen at 37 and 40°C, compared to lower temperatures (P≤0.05). In contrast, no significant decrease was seen in blood clot at all tested pH (P>0.05). These findings support the use of functional foods for the prevention of blood clot or as a part of blood health restoration. Conflict of interest: The authors declare no conflict of interest.
Catalyst Investigated in Interaction with Reagents

Alumina supported CuCl2, the basic catalyst for ethylene oxychlorination, has been investigated by UV-Vis spectroscopy, EPR, EXAFS and XANES in a wide range (0.25-9.0 wt%) of Cu concentration. We have evidenced that, at low Cu content, the formation of a surface aluminate species takes place. The formation of this surface copper aluminate stops at 0.95 wt% Cu / 100 m; at higher Cu concentrations excess copper chloride precipitates directly from solution during the drying step forming an highly dispersed CuCl2 . H2O, phase, overlapping progressively the surface aluminate. Depletion tests and IR spectroscopy of adsorbed NO have demonstrated that the latter is the only active phase. A complete catalytic cycle has then been performed on CuCl2/Al2O3 catalyst. EPR, XANES and EXAFS, have been used to demonstrate that the ethylene oxychlorination reaction: C2H4 + 2HCl + 1⁄2 O2 → C2H4Cl2 + H2O follows a three steps mechanism: (i) reduction of CuCl2 to CuCl (2CuCl2 + C2H4 → C2H4Cl2 + 2CuCl), (ii) oxidation of CuCl to give an oxychloride (2CuCl + 1⁄2 O2 → Cu2OCl2) and (iii) closure of the catalytic circle by rechlorination with HCl, restoring the original CuCl2 (Cu2OCl2 + 2HCl → 2CuCl2 + H2O). Finally, we have shown that time resolved, in situ, spectroscopy is a very promising technique to investigate the interplay between catalyst activity and oxidation state of copper.
Low Density Parity Check (LDPC) Staircase and Triangle Forward Error Correction (FEC) Schemes

This document describes two Fully-Specified FEC Schemes, LDPC- Staircase and LDPC-Triangle, and their application to the reliable delivery of objects on packet erasure channels. These systematic FEC codes belong to the well known class of ``Low Density Parity Check'' (LDPC) codes, and are large block FEC codes in the sense of RFC3453.
University of Birmingham Evaluation of participants with suspected heritable platelet function disorders including recommendation and validation of a streamlined agonist panel

• Users may freely distribute the URL that is used to identify this publication. • Users may download and/or print one copy of the publication from the University of Birmingham research portal for the purpose of private study or non-commercial research. • User may use extracts from the document in line with the concept of ‘fair dealing’ under the Copyright, Designs and Patents Act 1988 (? ) • Users may not further distribute the material nor use it for the purposes of commercial gain.
Building a Corpus of Manually Revised Texts from Discourse Perspective

This paper presents building a corpus of manually revised texts which includes both before and after-revision information. In order to create such a corpus, we propose a procedure for revising a text from a discourse perspective, consisting of dividing a text to discourse units, organising and reordering groups of discourse units and finally modifying referring and connective expressions, each of which imposes limits on freedom of revision. Following the procedure, six revisers who have enough experience in either teaching Japanese or scoring Japanese essays revised 120 Japanese essays written by Japanese native speakers. Comparing the original and revised texts, we found some specific manual revisions frequently occurred between the original and revised texts, e.g. thesis statements were frequently placed at the beginning of a text. We also evaluate text coherence using the original and revised texts on the task of pairwise information ordering, identifying a more coherent text. The experimental results using two text coherence models demonstrated that the two models did not outperform the random baseline.
V. M. BEKHTEREV IN RUSSIAN CHILD SCIENCE, 1900S–1920S: “OBJECTIVE PSYCHOLOGY”/“REFLEXOLOGY” AS A SCIENTIFIC MOVEMENT

In the early 20th century the child population became a major focus of scientific, professional and public interest. This led to the crystallization of a dynamic field of child science, encompassing developmental and educational psychology, child psychiatry and special education, school hygiene and mental testing, juvenile criminology and the anthropology of childhood. This article discusses the role played in child science by the eminent Russian neurologist and psychiatrist Vladimir Mikhailovich Bekhterev. The latter's name is associated with a distinctive program for transforming the human sciences in general and psychology in particular that he in the 1900s labelled “objective psychology” and from the 1910s renamed “reflexology. ” The article examines the equivocal place that Bekhterev's “objective psychology” and “reflexology” occupied in Russian/Soviet child science in the first three decades of the 20th century. While Bekhterev's prominence in this field is beyond doubt, analysis shows that “objective psychology” and “reflexology” had much less success in mobilizing support within it than certain other movements in this arena (for example, “experimental pedagogy” in the pre‐revolutionary era); it also found it difficult to compete with the variety of rival programs that arose within Soviet “pedology” during the 1920s. However, this article also demonstrates that the study of child development played a pivotal role in Bekhterev's program for the transformation of the human sciences: it was especially important to his efforts to ground in empirical phenomena and in concrete research practices a new ontology of the psychological, which, the article argues, underpinned “objective psychology”/“reflexology” as a transformative scientific movement.
Something old and something new: P-states can borrow microarchitecture techniques too

The limited utility of voltage scaling in nano-scale technologies has led high-performance processors to rely increasingly on frequency scaling for power management. However, frequency scaling provides only a linear dynamic power reduction. In this paper, we make a case for dynamically disabling performance optimizations, leveraging previously proposed low-power techniques, for more efficient power-performance trade-offs. By carefully selecting which optimizations to turn off, our lowest P-state consumes less than half the power achieved by frequency scaling, on average, for comparable performance. For all workloads, our approach performs as well or better than DVFS, demonstrating the effectiveness of our approach.
Semi-supervised Variational Autoencoders for Sequence Classification

Although semi-supervised learning method based on variational autoencoder (\emph{SemiVAE}) works well in image classification tasks, it fails in text classification tasks if using vanilla LSTM as its conditional generative model. We find that the model with this setting is unable to utilize the positive feedback mechanism of \emph{SemiVAE} and hence fails to boost the performance. To tackle this problem, a conditional Long Short-Term Memory network (conditional LSTM) is presented, which receives the conditional information all the time-steps. In addtion, auxiliary variable is also found to be useful in our method in terms of both training speed and prediction accuracy. Experimental results on Large Movie Review Dataset (IMDB) show that the proposed approach significantly improves the classification accuracy compared with pure-supervised classifier and achieves competitive performance against previous pre-training based methods. Additional improvement can be obtained by integrating pre-training based methods.
Fast List Decoders for Polar Codes

Polar codes asymptotically achieve the symmetric capacity of memoryless channels, yet their error-correcting performance under successive-cancellation (SC) decoding for short and moderate length codes is worse than that of other modern codes such as low-density parity-check (LDPC) codes. Of the many methods to improve the error-correction performance of polar codes, list decoding yields the best results, especially when the polar code is concatenated with a cyclic redundancy check (CRC). List decoding involves exploring several decoding paths with SC decoding, and therefore tends to be slower than SC decoding itself, by an order of magnitude in practical implementations. In this paper, we present a new algorithm based on unrolling the decoding tree of the code that improves the speed of list decoding by an order of magnitude when implemented in software. Furthermore, we show that for software-defined radio applications, our proposed algorithm is faster than the fastest software implementations of LDPC decoders in the literature while offering comparable error-correction performance at similar or shorter code lengths.
Review of Load Balancing for Distributed Systems in Cloud

Proposed work discusses the load balancing concept in a distributed manner in which nodes perform their load balancing tasks independently without synchronization or global knowledge regarding the system. A fully distributed load balancing algorithm is proposed to cope with the load imbalance problem. Instead of partitioning a file into a no. of chunks and balancing a load by migrating different chunks to different chunk servers, the load balance Nearest Search algorithm migrate one user's one whole file into any one node. Load is transferred from heavily loaded node to physically closed lightly loaded node. This proposal strives to balance the loads of nodes and reduce the demanded movement cost with reduce spending on technology as much as possible.
TDI-Subspaces ofC(Rd) and Some Density Problems from Neural Networks

In this paper we consider translation and dilation invariant subspaces ofC(Rd). We characterize all such subspaces and also identify thosef? C(Rd), the span of whose translates and dilates generate non-trivial subspaces. We apply these and related results to some mathematical models in the theory of neural networks.