Miracle-dz/UniFAR-FTUs huggingface dataset:
Credibility Assessment of Textual Claims on the Web

There is an increasing amount of false claims in news, social media, and other web sources. While prior work on truth discovery has focused on the case of checking factual statements, this paper addresses the novel task of assessing the credibility of arbitrary claims made in natural-language text - in an open-domain setting without any assumptions about the structure of the claim, or the community where it is made. Our solution is based on automatically finding sources in news and social media, and feeding these into a distantly supervised classifier for assessing the credibility of a claim (i.e., true or fake). For inference, our method leverages the joint interaction between the language of articles about the claim and the reliability of the underlying web sources. Experiments with claims from the popular website snopes.com and from reported cases of Wikipedia hoaxes demonstrate the viability of our methods and their superior accuracy over various baselines.
A monocular video see-through head mounted display for interactive support system — Instruction of 3-dimensional position, posture and speed

We are advancing to research an interactive support technology that assists a worker to do a task by presenting the working procedure with Image Capture Display Device. It is expected that an unskilled worker can do various tasks using this technology. We work on applying this technology to the plate bending by line heating. In order to realize it, we have developed an Image Capture Display Device, which consists of a monocular head mounted display and a camera as a human interface. In this paper, the interactive support technology and plate bending by line heating as an industrial application are explained. A method of instructing 3-dimensional position, posture and speed of burner by monocular video see-through head mounted display is described and the evaluation experiments are reported.
On performance evaluation of hybrid decode-amplify-forward relaying protocol with partial relay selection in underlay cognitive networks

In this paper, we evaluate performance of a hybrid decode-amplify-forward relaying protocol in underlay cognitive radio. In the proposed protocol, a secondary relay which is chosen by partial relay selection method helps a transmission between a secondary source and a secondary destination. In particular, if the chosen relay decodes the secondary source's signal successfully, it will forward the decoded signal to the secondary destination. Otherwise, it will amplify the signal received from the secondary source and will forward the amplified signal to the secondary destination. We evaluate the performance of our scheme via theory and simulation. Results show that the proposed protocol outperforms the amplify-and-forward and decode-and-forward protocols in terms of outage probability.
Isolation and characterization of a large, neurite-associated glycoconjugate from neuroblastoma cells

A high molecular weight glycoconjugate has been isolated from neurite-producing neuronal tumor cells in culture and has been designated as I(0) based on its elution characteristics in gel filtration chromatography. This molecule cannot be found in a variety of nonneuronal cells. I(0) is found in the substratum-attached material or cell fraction of neurite-producing neuroblastoma cells, depending upon culture conditions. It is found in the substratum-bound fraction of B104 rat neuroblastoma cells during serum starvation and in the EGTA-detached cell fraction of B104 cells grown in chemically defined N2 medium. It occurs only in the cell fraction of the human neuroblastoma line Platt. Examination of behavioral variants of the B104 rat line further strengthens the association of I(0) with neurite production; the constitutive neurite-producing E(R)B9 variant contains I(0) while the non-neurite-producing E(R)A11 variant does not. I(0) is large, eluting in the void volume of sepharose-CL2B columns. Radioiodination of intact cells with lactoperoxidase shows I(0) to be a cell surface component. Metabolic radiolabeling studies show that it contains a high proportion of polysaccharide to protein, does not contain mannose, and is unsulfated. Alkaline borohydride reduction release two size classes of large polysaccharide chain. The alkaline reduction results, along with the mannose incorporation studies, show the presence of O-glycosidic linkages and few, if any, N-linkages. Resistance to nitrous acid deamination, insensitivity to glycosaminoglycan lyases, and the absence of sulfation, indicate that I(0) does not contain the glycosaminoglycans hyaluronic acid, chondroitin-, dermatan-, or heparin- sulfates. Affinity column chromatography reveals high binding affinity of I(0) to polyornithine and no binding to gelatin (collagen) or the glycosaminoglycans hyaluronate and heparin. These studies describe a unique high molecular weight glycoconjugate on the surface of neurite-producing neuroblastoma cell lines from two species.
A Modified AGIMM Algorithm for Target Tracking Based on Maneuver Discrimination

Aiming at the flexible turning characteristics of small unmanned aerial vehicles, an improved AGIMM algorithm is proposed to enhance the robustness of target tracking. The introduction of maneuver detection mechanism can improve the convergence speed of the target by improving the algorithm. The robustness of the algorithm can be improved by extracting historical points at intervals and calculating the turning rate of discrete points. Simulation experiments show that the improved algorithm achieves adaptive tracking of target turning rate, and compared to the traditional AGIMM algorithm, the overall performance of the modified algorithm has been improved.
Security Evaluation of Feed-Forward Interpose PUF Against Modelling Attacks

Physical unclonable function (PUF) is a lightweight hardware-safe circuit structure for Internet of Things (IoT). The susceptibility to neural network modeling attacks stands out as a critical consideration in the design of PUF structures. Interpose PUF (IPUF) is a PUF variant that utilises the insertion topology of two levels on top and bottom. In order to enhance the security of IPUF, we propose a scheme to replace the upper and lower XOR APUFs of the IPUF using Feed-Forward XOR PUF (FFXOR PUF). The reconstruction of PUF called FF-IPUF, which will be evaluated for security using two basic neural network models: Multilayer Perceptron (MLP) and Side-channel Attacks (SCA). Experiments have demonstrated that the (4,4)-FF- IPUF, with enhanced resistance to MLP and SCA using four loops and separate loop positions, respectively, boasts the advantage of lower attack accuracy when confronted with the same training data.
TOSThreads: thread-safe and non-invasive preemption in TinyOS

Many threads packages have been proposed for programming wireless sensor platforms. However, many sensor network operating systems still choose to provide an event-driven model, due to efficiency concerns. We present TOS-Threads, a threads package for TinyOS that combines the ease of a threaded programming model with the efficiency of an event-based kernel. TOSThreads is backwards compatible with existing TinyOS code, supports an evolvable, thread-safe kernel API, and enables flexible application development through dynamic linking and loading. In TOS-Threads, TinyOS code runs at a higher priority than application threads and all kernel operations are invoked only via message passing, never directly, ensuring thread-safety while enabling maximal concurrency. The TOSThreads package is non-invasive; it does not require any large-scale changes to existing TinyOS code. We demonstrate that TOSThreads context switches and system calls introduce an overhead of less than 0.92% and that dynamic linking and loading takes as little as 90 ms for a representative sensing application. We compare different programming models built using TOSThreads, including standard C with blocking system calls and a reimplementation of Tenet. Additionally, we demonstrate that TOSThreads is able to run computationally intensive tasks without adversely affecting the timing of critical OS services.
Viewpoints on Factors for Successful Employment for Adults with Autism Spectrum Disorder

This article explores the key factors for successful employment from the viewpoints of adults with autism spectrum disorder (ASD) and employers. Two groups of individuals participated in this study, 40 adults with ASD and 35 employers. Q method was used to understand and contrast the viewpoints of the two groups. Data were analysed using by-person varimax rotation factor analysis. Results showed that although both groups appear committed to the employment process, the difference in their understanding regarding the type of workplace support required, job expectations and productivity requirements continues to hinder successful employment. These results highlight the need to facilitate communication between employees and employers to ensure a clear understanding of the needs of both groups are met. The use of an ASD-specific workplace tool may assist in facilitating the necessary communication between these two groups.
Specification guidelines to avoid the state space explosion problem

During the last two decades, we modelled the behaviour of a large number of systems. We noted that different styles of modelling had quite an effect on the size of the state spaces of the modelled systems. The differences were so substantial that some specification styles led to far too many states to verify the correctness of the model, whereas with other styles, the number of states was so small that verification was a straightforward activity. In this article, we summarize our experience by providing seven specification guidelines to keep state spaces small. For each guideline, we provide an application, generally from the realm of traffic light controllers, for which we provide a ‘bad’ model with a large state space, and a ‘good’ model with a small state space. The good and bad models are both suitable for their purpose but are not behaviourally equivalent. For all guidelines, we discuss circumstances under which it is reasonable to apply the guidelines. Copyright © 2014 John Wiley & Sons, Ltd.
Short- and Long-Term Patient Outcomes From Combined Coronary Endarterectomy and Coronary Artery Bypass Grafting

AbstractThis meta-analysis aimed to compare the short- and long-term outcomes in patients undergoing combined coronary endarterectomy and coronary artery bypass grafting (CE + CABG) versus isolated CABG, and particularly to examine subgroup patients with high-risk profile and patients with diffuse disease in the left anterior descending artery (LAD). Studies published between January 1, 1970 and May 31, 2015 were searched in the literature databases, including Ovid Medline, Embase, PubMed, and ISI Web of Science.A total of 30 eligible studies including 63,730 patients were analyzed.Five authors extracted data from the included studies independently.Meta-analysis on the total patients revealed that CE + CABG was associated with significantly increased 30-day postoperative all-cause mortality compared with isolated CABG (OR = 1.86, 95% CI: 1.66–2.08, z = 10.99, P < 0.0001). Subgroup analysis on patients with high-risk profile and patients with diffuse disease in the LAD showed that 30-day mortality after CE + CABG was 2.6 folds (OR = 2.60, 95% CI: 1.39–4.86, z = 2.99, P = 0.003) and 3.93 folds (OR = 3.93, 95% CI: 1.40–11.0, z = 2.60, P = 0.009) of that after isolated CABG in the respective subgroup. In contrast, the mortality was comparable in CE + off-pump CABG and CE + on-pump CABG groups (OR = 0.53, 95% CI: 0.18–1.55, z = 1.16, P = 0.248). In addition, the incidences of perioperative myocardial infarction (MI) and 30-day postoperative complications, including low output syndrome (LOS), MI, ventricular tachycardia (VT), and renal dysfunction after CE + CABG were significantly higher than those after isolated CABG (all P < 0.05). In high-risk patient subgroup, CE + CABG significantly increased the incidences of postoperative LOS, MI, and renal function compared with isolated CABG (all P < 0.05). The incidence of perioperative myocardial after CE + CABG was 2.86 and 2.92 times of that after isolated CABG in high-risk patients and patients with diffuse disease in LAD, respectively. Analysis on the recent reports (published later than 2000) showed consistent results as the analysis including all the eligible reports. Long-term survival was comparable in CE + CABG and isolated CABG groups (hazardous ratio = 1.16, 95% CI: 0.32–4.22, z = 0.23, P = 0.819). CE + CABG appears to be associated with poor short-term outcomes, particularly in high-risk patients and patients with diffuse disease in the LAD.
Research on Heart Rate and Respiration Rate Recognition Algorithm in Multi-Channel Data Acquisition Scenario

Sleep is an important part of human life. However, conventional polysomnography is not suitable for long-term home monitoring. Non-contact measurements, which measure sleep status in an unobtrusive manner, have received some attention in the sleep monitoring field. In this paper, the data of the human body on the bed is collected based on the piezoelectric sensor array. To extract the vibrational components of heartbeat and respiration from the original signals, discrete wavelet transform was applied to reconstruct the ballistocardiogram and respiration signals. On this basis, in order to solve the problem of signal channel selection and the identification of heart rate and respiration rate, all channels are screened in this paper, then identify heart rate and respiration rate using the method based on frequency domain and the method based on template. And the influence of different deployment scenarios on the recognition accuracy of the algorithm is discussed through experiments.
IL-17 Inhibits Chondrogenic Differentiation of Human Mesenchymal Stem Cells

Objective Mesenchymal stem cells (MSCs) can differentiate into cells of mesenchymal lineages, such as osteoblasts and chondrocytes. Here we investigated the effects of IL-17, a key cytokine in chronic inflammation, on chondrogenic differentiation of human MSCs. Methods Human bone marrow MSCs were pellet cultured in chondrogenic induction medium containing TGF-β3. Chondrogenic differentiation was detected by cartilage matrix accumulation and chondrogenic marker gene expression. Results Over-expression of cartilage matrix and chondrogenic marker genes was noted in chondrogenic cultures, but was inhibited by IL-17 in a dose-dependent manner. Expression and phosphorylation of SOX9, the master transcription factor for chondrogenesis, were induced within 2 days and phosphorylated SOX9 was stably maintained until day 21. IL-17 did not alter total SOX9 expression, but significantly suppressed SOX9 phosphorylation in a dose-dependent manner. At day 7, IL-17 also suppressed the activity of cAMP-dependent protein kinase A (PKA), which is known to phosphorylate SOX9. H89, a selective PKA inhibitor, also suppressed SOX9 phosphorylation, expression of chondrogenic markers and cartilage matrix, and also decreased chondrogenesis. Conclusions IL-17 inhibited chondrogenesis of human MSCs through the suppression of PKA activity and SOX9 phosphorylation. These results suggest that chondrogenic differentiation of MSCs can be inhibited by a mechanism triggered by IL-17 under chronic inflammation.
Single access point location tracking for in-home health monitoring

There is a steady increase in the importance placed on location based systems, particularly in the field of elder care. The focus of this paper is on the development of a single access point indoor location tracking system. It is believed that with a single access point localisation system, room-level location accuracy can be reliably achieved. This paper will introduce such a localisation method and provide the basis for its functioning.
Inference Rules for High-Order Consistency in Weighted CSP

Recently defined resolution calculi for Max-SAT and signed Max-SAT have provided a logical characterization of the solving techniques applied by Max-SAT and WCSP solvers. In this paper we first define a new resolution rule, called signed Max-SAT parallel resolution, and prove that it is sound and complete for signed Max-SAT. Second, we define a restriction and a generalization of the previous rule called, respectively, signed Max-SAT i-consistency resolution and signed Max-SAT (i,j)-consistency resolution. These rules have the following property: if a WCSP signed encoding is closed under signed Max-SAT i-consistency, then the WCSP is i-consistent, and if it is closed under signed Max-SAT (i,j)-consistency, then the WCSP is (i,j)-consistent. A new and practical insight derived from the definition of these new rules is that algorithms for enforcing high order consistency should incorporate an efficient and effective component for detecting minimal unsatisfiable cores. Finally, we describe an algorithm that applies directional soft consistency with the previous rules.
Using single-item measures to examine the relationships between work, personality, and well-being in the workplace

Measuring the well-being of employees through questionnaire measures can give a useful indication of the positive or negative mental health of a workforce along with their satisfaction with their circumstances. Furthermore, measuring the antecedents of these outcomes provides a basis for reducing negative outcomes and promoting positive mental health and satisfaction within an organization. This endeavour can quickly become impractical, however, as taking into account the range of possible environmental or personal factors, can lead to a lengthy and burdensome measurement tool. The current paper examines the use of single-items for this purpose, demonstrating that single-item measures of work-related and personality factors exhibit relationships with each other and with outcomes that the literature on well-being predicts. Using multiple-regression analysis, the results show that work related factors such as control and reward provide significant predictors of well-being outcomes including job satisfaction, while personality factors such as self-esteem and self-efficacy are significant predictors of all outcome measures. Furthermore, variations in the relationships with specific outcomes and interaction effects are found. The results suggest that using single-item measures may provide a valid approach to investigating well-being in the workplace in circumstances that may require very brief scales.
A method of retrieval in exion-based language text databases

In this paper we investigate the problems of data retrieval in full text databases utilizing exion-based languages, such as Polish language. Such databases prove to more di cult in processing than those created with isolating languages (i.e. English language) due to in exion and resulting inconsistent sentence structure. Data retrieval in full text databases is also more complex than in highly organized databases as for satisfying results some kind of semantic analysis must be employed in most applications. We describe an experimental data retrieval system, which addresses these problems using combination of in exion database, simple algorithmic stem nder and thesaurusbased semantic analyzer. This system uses UNESCO developed ISIS full text database system, but the modi cations necessary for use in World Wide Web environment are
Characterizing coordination architectures according to their non-functional execution properties

A number of existing distributed processing environments (DPEs) are eligible to serve as a coordination architecture. In order to ease the construction of distributed applications while exploiting existing DPEs, the developer should be provided with notations that allow him to characterize the coordination architecture that is the best suited to his application. Existing DPEs can be distinguished according to at least two criteria: the coordination protocols (e.g. RPC, pipe-filter tuple space) they support; and the non-functional execution properties (e.g. availability, security, responsiveness) they provide. This leads us to propose a twofold formal description of coordination architectures that characterizes the coordination protocols and non-functional execution properties that are expected from the underlying DPE, hence allowing to reason about the adequacy of a DPE for supporting a given coordination architecture.
Association of ADIPOQ +45T>G polymorphism with body fat mass and blood levels of soluble adiponectin and inflammation markers in a Mexican-Mestizo population

Purpose Obesity is a disease with genetic susceptibility characterized by an increase in storage and irregular distribution of body fat. In obese patients, the decrease in the Adiponectin gene (ADIPOQ) expression has been associated with a systemic low-grade inflammatory state. Our aim was to investigate the relationship between ADIPOQ +45T>G gene simple nucleotide polymorphism (SNP rs2241766) with serum adiponectin (sAdiponectin), distribution of body fat storage, and inflammation markers. Subjects and methods In this cross-sectional study, 242 individuals from Western Mexico characterized as Mexican-Mestizo and classified by body mass index (BMI), were included. Anthropometrics, body composition, body fat distribution, and inflammation markers were measured by routine methods. Genotypes were characterized using the polymerase chain reaction-restriction fragment length polymorphism (PCR-RFLP) technique and sAdiponectin by the ELISA method. A P-value <0.05 was considered the statistically significant threshold. Results sAdiponectin is associated with BMI (P < 0.001) and the genotypes (P < 0.001 to 0.0046) GG (8169 ± 1162 ng/mL), TG (5189 ± 501 ng/mL), and TT (3741 ± 323 ng/mL), but the SNP ADIPOQ +45T>G is not associated with BMI. However, the detailed analysis showed association of this SNP with a pattern of fat distribution and correlations (P < 0.05) with inflammation markers and distribution of body fat storage (Pearson’s r = −0.169 to −0.465) were found. Conclusion In this study, we have suggested that the ADIPOQ +45G allele could be associated with distribution of body fat storage in obesity. On the other hand, as no association was observed between ADIPOQ +45T>G gene polymorphism and obesity, it cannot be concluded that the ADIPOQ +45G allele is responsible for the increase of adiponectin levels.