Miracle-dz/UniFAR-FTUs huggingface dataset:
Design and Implementation of Mobile Personal Emotion Monitoring System

It is suggested that emotion plays a significant role in rational and intelligent behaviors. People behave emotions in different ways, and may not be noticeable through outside appearances. However, physiological information may reveal the clue for emotions. We proposed a mobile personal emotion monitoring system design, and proposed an adaptive algorithm that can help recognize user's emotion stateby using physiological sensors. We applied the dimensional analysis approach and adopted IAPS (International Affective Picture System) to manipulate psychological experiments. We also proposed an emotion recognition learning algorithm. It would extract each pattern of emotions from cross validation training and can further learn adaptively by feeding personalized testing data. We measured the learning rate of each subject which reveals incremental enhancement. Furthermore, we adopted a dimensional to discrete emotion transforming concept for validating the subjective rating. Compared to the experiment results of related works, our system outperforms both in dimensional and discrete analyses. Most importantly, the system is implemented based on wireless physiological sensors for mobile usage. This system can reflect the image of emotion states in order to provide on-line smart services.
Design and Evaluation of 2-DOF Compliant Forceps With Force-Sensing Capability for Minimally Invasive Robot Surgery

In this paper, a novel concept of two-degree-of-freedom (2-DOF) compliant forceps is suggested for the measure of pulling and grasp forces at the tip of surgical instrument for minimally invasive surgery robot. For the design of the compliant forceps, the required compliance characteristics are first defined using a simple spring model with one linear and one torsional springs. This model may be directly realized as the compliant forceps. However, for the compact realization of the mechanism, we synthesize the spring model with two torsional springs that has equivalent compliance characteristics to the linear-torsional spring model. Then, each of the synthesized torsional springs is realized physically by means of a flexure hinge. From this design approach, direct measurement of the pulling and grasp forces is possible at the forceps, and measuring sensitivity can be adjusted in the synthesis process. The validity of the design is evaluated by finite element analysis. Further, from the measured values of bending strains of two flexure hinges, a method to compute the decoupled pulling and grasp forces is presented via the theory of screws. Finally, force-sensing performance of the proposed compliant forceps is verified from the experiments of the prototype using some weights and load cells.
Fast and accurate long-read alignment with Burrows–Wheeler transform

Motivation: Many programs for aligning short sequencing reads to a reference genome have been developed in the last 2 years. Most of them are very efficient for short reads but inefficient or not applicable for reads >200 bp because the algorithms are heavily and specifically tuned for short queries with low sequencing error rate. However, some sequencing platforms already produce longer reads and others are expected to become available soon. For longer reads, hashing-based software such as BLAT and SSAHA2 remain the only choices. Nonetheless, these methods are substantially slower than short-read aligners in terms of aligned bases per unit time. Results: We designed and implemented a new algorithm, Burrows-Wheeler Aligner's Smith-Waterman Alignment (BWA-SW), to align long sequences up to 1 Mb against a large sequence database (e.g. the human genome) with a few gigabytes of memory. The algorithm is as accurate as SSAHA2, more accurate than BLAT, and is several to tens of times faster than both. Availability: http://bio-bwa.sourceforge. net Contact: rd@sanger.ac. uk
Ultraviolet and extreme-ultraviolet line ratio diagnostics for O IV

Aims. We generate theoretical ultraviolet and extreme-ultraviolet emission line ratios for O iv and show their strong versatility as electron temperature and density diagnostics for astrophysical plasmas. Methods. Recent fully relativistic calculations of radiative rates and electron impact excitation cross sections for O iv, supplemented with earlier data for A-values and proton excitation rates, are used to derive theoretical O iv line intensity ratios for a wide range of electron temperatures and densities. Results. Diagnostic line ratios involving ultraviolet or extreme-ultraviolet transitions in O iv are presented, that are applicable to a wide variety of astrophysical plasmas ranging from low density gaseous nebulae to the densest solar and stellar flares. Comparisons with observational data, where available, show good agreement between theory and experiment, providing support for the accuracy of the diagnostics. However, diagnostics are also presented involving lines that are blended in existing astronomical spectra, in the hope this might encourage further observational studies at higher spectral resolution.
1 PLAYING SAFE , PLAYING DEEP

New product development (NPD) teams must be ambidextrous to be successful – they must be creative in exploring and playing with new knowledge but also capable of exploiting, integrating and applying existing knowledge in order to move efficiently from ideas to reality. And yet, it is not clear how NPD teams can best accomplish this balance. We analyze this problem by reviewing literature on new product development process and learning, in particular by focusing on two learning mechanisms, namely exploration and exploitation. We then develop a theoretical framework to explain how NPD teams can manage to combine exploration and exploitation within a single new product development process. 1 Dagmar Hildebrand, Av. de Pedralbes, 60-62, Barcelona, 08034, Spain, Tel. : +34 676.455. 631, e-mail: dagmar.hildebrand@alumni.esade. edu 2 This work has been partially supported by the “Comisionado para Universidades e Investigación del Departamento de Innovación, Universidades y Empresa de la Generalidad de Cataluña y del Fondo Social Europeo”. 3 Research Group on Learning, Knowledge & Organization
Deposit Insurance and Banking Stability

This article will examine in a more systematic way the effectiveness of deposit insurance coverage in maintaining banking stability. More specifically, I argue that raising deposit insurance coverage in an attempt to eradicate bank runs is not necessarily the optimal policy because bank runs, though commonly perceived as instability when they take place, have their positive role to play in reinforcing banking stability in the longer run. Then I examine empirically the impact of higher deposit insurance coverage on promoting banking stability based on recently released cross-country databases. An explanation for the empirical results is given before the article concludes with the policy implication.
On the block error rate performance of spatially coupled LDPC codes for streaming applications

In this paper, we study the block error rate (BLER) performance of spatially coupled low-density parity-check (SC-LDPC) codes using a sliding window decoder suited for streaming applications. Previous studies of SC-LDPC have focused on the bit error rate (BER) performance or the frame error rate (FER) performance over the entire length of the code. Here, we consider protograph-based constructions of SC-LDPC codes in which a window decoder continuously outputs blocks in a streaming fashion, and we examine the BLER associated with these blocks. We begin by examining the effect of protograph design on the streaming BLER by varying the block size and the coupling width in such a way that the overall constraint length of the SC-LDPC code remains constant. Next, we investigate the BLER scaling behavior with block size and coupling width. Lastly, we consider the effect of employing an outer code to protect blocks, so that small numbers of residual errors can be corrected by the outer code. Simulation results for the additive white Gaussian noise channel (AWGNC) are included and comparisons are made to LDPC block codes (LDPC-BCs).
2013 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops Make Me Move at Work! an Ambient Light Display to Increase Physical Activity

Physical inactivity has become a normal condition for many people today, and in the long run accounts for lout of 10 deaths worldwide. Long sitting periods have been shown to increase the risk of diabetes and cardiovascular disease. In this paper we propose MoveLamp, a system which helps to integrate physical activity into a person's workplace. An ambient light display in the office indicates a person's recent physical activity. While sitting at the desk, typically in front of a computer, the light display helps the person to keep track of his or her activity and encourages them to integrate a little physical activity into the day. Through a user study in which we measured the participants' physical activity by counting their steps, we show that MoveLamp can help office workers to both, increase their number of steps taken during a typical working day and move more frequently.
An invariance principle for differential-algebraic equations with jumps

In this paper, we consider dynamical systems with multiple modes of operation and state jumps. Within each mode, the dynamics are given by linear differential-algebraic equations (DAEs). State jumps can occur when in a fixed mode as well as when transitioning between modes. We refer to this class of hybrid systems as hybrid DAEs. Motivated by the lack of results to study invariance properties of nonsmooth DAE systems, we characterize the properties of the omega limit set of solutions to these systems and propose an invariance principle. To this end, we employ results allowing for decomposition of DAEs (and switched DAEs) into the so-called quasi-Weierstrass form and for the study of invariance of hybrid inclusions. The results are illustrated in examples.
Bayesian model choice using coupled ABC

In Neal (2010), a novel Approximate Bayesian Computation (ABC) algorithm, coupled ABC, was introduced. This paper shows how coupled ABC can be used in an efficient manner for model choice in a Bayesianframework. The methodology is applied to Gibbs random fields and stochastic epidemic models. Furthermore a very efficient simulation procedure for Gibbs random fields with a given sufficient summary statistics is described.
Quantum NP - A Survey

We describe Kitaev's result from 1999, in which he defines the complexity class QMA, the quantum analog of the class NP, and shows that a natural extension of 3-SAT, namely local Hamiltonians, is QMA complete. The result builds upon the classical Cook-Levin proof of the NP completeness of SAT, but differs from it in several fundamental ways, which we highlight. This result raises a rich array of open problems related to quantum complexity, algorithms and entanglement, which we state at the end of this survey. This survey is the extension of lecture notes taken by Naveh for Aharonov's quantum computation course, held in Tel Aviv University, 2001.
Augmented Reality for Robot Development and Experimentation

The successful development of autonomous robotic systems requires careful fusion of complex subsystems for perception, planning, and control. Often these subsystems are designed in a modular fashion and tested individually. However, when ultimately combined with other components to form a complete system, unexpected interactions between subsystems can occur that make it difficult to isolate the source of problems. This paper presents a novel paradigm for robot experimentation that enables unified testing of individual subsystems while acting as part of a complete whole made up of both virtual and real components. We exploit the recent advances in speed and accuracy of optical motion capture to localize the robot, track environment objects, and extract extrinsic parameters for moving cameras in real-time. We construct a world model representation that serves as ground truth for both visual and tactile sensors in the environment. From this data, we build spatial and temporal correspondences between virtual elements, such as motion plans, and real artifacts in the scene. The system enables safe, decoupled testing of component algorithms for vision, motion planning and control that would normally have to be tested simultaneously on actual hardware. We show results of successful online applications in the development of an autonomous humanoid robot.
Job Stress and Related Factors Among Iranian Male Staff Using a Path Analysis Model

Background In recent years, job stress has been cited as a risk factor for some diseases. Objectives Given the importance of this subject, we established a new model for classifying job stress among Iranian male staff using path analysis. Materials and Methods This cross-sectional study was done on male staff in Tehran, Iran, 2013. The participants in the study were selected using a proportional stratum sampling method. The tools used included nine questionnaires (1- HSE questionnaire; 2- GHQ questionnaire; 3- Beck depression inventory; 4- Framingham personality type; 5- Azad-Fesharaki’s physical activity questionnaire; 6- Adult attachment style questionnaire; 7- Azad socioeconomic questionnaire; 8- Job satisfaction survey; and 9- demographic questionnaire). Results A total of 575 individuals (all male) were recruited for the study. Their mean (±SD) age was 33.49 (±8.9) and their mean job experience was 12.79 (±8.98) years. The pathway of job stress among Iranian male staff showed an adequate model fit (RMSEA=0.021, GFI=0.99, AGFI=0.97, P=0.136). In addition, the total effect of variables like personality type (β=0.283), job satisfaction (β=0.287), and age (β=0.108) showed a positive relationship with job stress, while variables like general health (β=-0.151) and depression (β=-0.242) showed the reverse effect on job stress. Conclusions According to the results of this study, we can conclude that our suggested model is suited to explaining the pathways of stress among Iranian male staff.
Ectopic Expression of Musashi-1 in Alzheimer Disease and Pick Disease

Abnormal accumulation of proteins in filamentous cytoplasmic inclusions is a hallmark of several neurodegenerative disorders, including Alzheimer disease (AD) and Pick disease (PD). Musashi-1 (Msi-1), an RNA-binding protein associated with neural progenitor cells, has been shown by others to increase the accumulation of tau isoforms in intracellular inclusions in frontotemporal dementia and parkinsonism linked to chromosome 17. We investigated the expression of Msi-1 in the hippocampus of AD, PD, and aged normal control subjects using immunohistochemistry. Comparison of immediately adjacent serial sections stained using the modified Bielschowsky method and immunostained for Msi-1 showed that Msi-1 was present in 83 ± 6% of neurofibrillary tangle bearing neurons in AD and 94 ± 14% of Pick bodies in PD specimens. Aged control hippocampus demonstrated virtually no Msi-1 immunostaining. The presence of Msi-1 in a significant percentage of neurons containing cytoplasmic inclusions in 2 different neurodegenerative diseases suggests that it may play a role in the pathogenesis of these lesions.
Understanding Trust in Online Reviews - Research in Progress

During the last decades, the emergence of social media platforms has shaped the way people make decisions and search for information. These platforms have made it easy for individuals to write reviews and find information about any product/service anytime anywhere. Since consumers in these online environments might share their experiences without knowing each other, readers cannot verify whether reviewers are telling the truth or what motivated them to write such comments, so trusting these reviews is difficult and complex. Therefore, the objective of this work-in-progress research is to conceptualize online review trust and propose a model of online review trust antecedents. This work reviews related literature about trust and online reviews through the lens of the uncertainty reduction theory (URT) and outlines a surveydesign approach to empirically validate the proposed model using structural equation modeling. Finally, anticipated contributions are discussed.
Managing Uncertainty within Value Function Approximation in Reinforcement Learning

The dilemma between exploration and exploitation is an important topic in reinforcement learning (RL). Most successful approaches in addressing this problem tend to use some uncertainty information about values estimated during learning. On another hand, scalability is known as being a lack of RL algorithms and value function approximation has become a major topic of research. Both problems arise in realworld applications, however few approaches allow approximating the value function while maintaining uncertainty information about estimates. Even fewer use this information in the purpose of addressing the exploration/exploitation dilemma. In this paper, we show how such an uncertainty information can be derived from a Kalman-based Temporal Differences (KTD) framework. An active learning scheme for a second-order value-iteration-like algorithm (named KTDQ) is proposed. We also suggest adaptations of several existing exploration/exploitation dilemma schemes. This is a first step towards global handling of continuous state and action spaces and exploration/exploitation dilemma.
Lanczos Bidiagonalization With Partial Reorthogonalization

A partial reorthogonalization procedure (BPRO) for maintaining semi-orthogonality among the left and right Lanczos vectors in the Lanczos bidiagonalization (LBD) is presented. The resulting algorithm is mathematically equivalent to the symmetric Lanczos algorithm with partial reorthogonalization (PRO) developed by Simon but works directly on the Lanczos bidiagonalization of A. For computing the singular values and vectors of a large sparse matrix with high accuracy, the BPRO algorithm uses only half the amount of storage and a factor of 3-4 less work compared to methods based on PRO applied to an equivalent symmetric system. Like PRO the algorithm presented here is based on simple recurrences which enable it to monitor the loss of orthogonality among the Lanczos vectors directly without forming inner products. These recurrences are used to develop a Lanczos bidiagonalization algorithm with partial reorthogonalization which has been implemented in a MATLAB package for sparse SVD and eigenvalue problems called PROPACK. Numerical experiments with the routines from PROPACK are conducted using a test problem from inverse helioseismology to illustrate the properties of the method. In addition a number of test matrices from the Harwell-Boeing collection are used to compare the accuracy and efficiency of the MATLAB implementations of BPRO and PRO with the svds routine in MATLAB 5.1, which uses an implicitly restarted Lanczos algorithm.
The Economics of Freedom

What is freedom? Can we measure it? Does it affect policy? This book develops an original measure of freedom called 'Autonomy Freedom', consistent with J. S. Mill's view of autonomy, and applies it to issues in policy and political design. The work pursues three aims. First, it extends classical liberalism beyond exclusive reliance on negative freedom so as to take autonomous behavior explicitly into account. Second, it grounds on firm conceptual foundations a new standard in the measurement of freedom that can be fruitfully coupled with existing gauges. Third, it shows empirically that individual preferences for redistribution and cross-country differences in welfare spending in Organisation for Economic Co-operation and Development (OECD) countries are driven by the degree of 'autonomy freedom' that individuals enjoy. By means of an interdisciplinary approach and a sophisticated econometric methodology, the book takes an explicit stand in defense of freedom and sets the basis for a liberalism based upon people's actions and institutions.
Population Sizing for Sharing

Sharing methods promote the formation and maintenance of stable subpopulations or niches in genetic algorithms. This paper derives, for various models of sharing, lower bounds on the population size required to maintain, with probability , a xed number of niches. The rst model assumes all niches are equivalent with respect to tness and that crossover is minimally disruptive. The next two models allow niches to diier with respect to tness. The nal model takes into account the disruptive eeects of crossover. GAs with sharing are run on seven test problems in optimization and classiication, using population sizes derived from the models.
Towards High-Level Programming of Multi-GPU Systems Using the SkelCL Library

Application programming for GPUs (Graphics Processing Units) is complex and error-prone, because the popular approaches - CUDA and OpenCL - are intrinsically low-level and offer no special support for systems consisting of multiple GPUs. The SkelCL library presented in this paper is built on top of the OpenCL standard and offers pre-implemented recurring computation and communication patterns (skeletons) which greatly simplify programming for multi-GPU systems. The library also provides an abstract vector data type and a high-level data (re)distribution mechanism to shield the programmer from the low-level data transfers between the system's main memory and multiple GPUs. In this paper, we focus on the specific support in SkelCL for systems with multiple GPUs and use a real-world application study from the area of medical imaging to demonstrate the reduced programming effort and competitive performance of SkelCL as compared to OpenCL and CUDA. Besides, we illustrate how SkelCL adapts to large-scale, distributed heterogeneous systems in order to simplify their programming.
COOL SUBDWARF INVESTIGATIONS. I. NEW THOUGHTS ON THE SPECTRAL TYPES OF K AND M SUBDWARFS

Using new spectra of 88 K- and M-type subdwarfs, we consider novel methods for assigning their spectral types and take steps toward developing a comprehensive spectral sequence for subdwarf types K3.0 to M6.0. The types are assigned based on the overall morphology of spectra covering 6000–9000 Å. The types and sequence presented link the spectral types of cool subdwarfs to their main-sequence counterparts, with emphasis on the relatively opacity-free region from 8200–9000 Å. When available, supporting abundance, kinematic, and trigonometric parallax information is used to provide more complete portraits of the observed subdwarfs. We find that the CaHn (n = 1–3) and TiO5 indices often used for subdwarf spectral typing are affected in complicated ways by combinations of the subdwarfs’ temperatures, metallicities, and gravities, and we use model grids to evaluate the trends in all three parameters. Because of the complex interplay of these three characteristics, it is not possible to identify a star as an “extreme” subdwarf simply based on very low metallicity, and we suggest that the modifiers “extreme” or “ultra” only outline locations on spectroscopic indices plots, and should not be used to imply low or very low metallicity stars. In addition, we propose that “VI” be used to identify a star as a subdwarf, rather than the confusing “sd” prefix, which is also used for hot O and B subdwarfs that are unrelated to the cool subdwarfs discussed in this paper.