Miracle-dz/UniFAR-FTUs huggingface dataset:
Exploring the design space of touch-based vibrotactile interactions for smartwatches

Despite the rapid growth of wearable and mobile devices and associated availability of vibrotactile (VT) actuators, the design space of VT applications has remained primarily limited to event-based VT notifications. While useful in some cases, these notifications can be disruptive and cognitively-demanding. Further, the lack of perceptually salient VT sensations on consumer-grade actuators prevents use of these notifications in information-rich scenarios. In this paper, we extend the design space of VT applications by utilizing users' touch input (e.g., 2D location, path, etc.) together with VT sensations for smartwatch interactions. We examine previous work on touch-based haptic interactions for other tactile technologies and propose a design space for VT interactions. Then, we investigate user performance (error rate, completion time, perceived demand) for touch-based VT interactions with a user study. Finally, we populate the identified design space with five example applications that run on off-the-shelf smartwatches.
The Common Neural Basis of Exerting Self-Control in Multiple Domains

People regularly exert control over impulsive thoughts and behaviors in order to make appropriate decisions and take appropriate actions even when they are more di! cult or less pleasant than alternative choices. A common theme in mental illnesses characterized by impulsivity, such as ADHD and substance abuse, is an impaired self-control mechanism. " erefore, understanding the mechanisms underlying an intact control mechanism can not only shed light on how healthy people exert self-control over their thoughts and behaviors, but help us to understand what is impaired in patient populations as well. " e right ventrolateral prefrontal cortex (VLPFC) is a region in the brain that is commonly activated when people are exerting many di# erent forms of self-control. It is noted that other prefrontal regions also consistently activated when one exerts self-control, such as the dorsolateral prefrontal cortex, anterior cingulate cortex, orbitofrontal cortex, and medial prefrontal cortex, may be recruited for other task demands and not self-control speci$ cally. Although the right VLPFC has been linked to other functions as well, this review will focus on the hypothesized general role that it plays during acts of self-control. " ere are in$ nite manners in which one can exert self-control. We limit our discussion to six forms of conscious, explicit control that are commonly addressed in the literature: motor response inhibition, suppressing risky behavior, delaying grati$ cation, regulating emotion, memory inhibition, and thought suppression. First, we review the literature exploring the involvement of the right VLPFC in each type of self-control separately. Next, we explore the small amount of literature comparing di# erent forms of self-control to each other and discuss the possibility that these forms of self-control are related constructs. We also discuss the anatomical positioning of the right VLPFC and point out that it is well suited to serving a key role in exerting self-control. Finally, we conclude that although more direct research must be conducted before $ rm conclusions can be made, there is evidence that the right VLPFC is utilized when exerting self-control regardless of the speci$ c domain of control.
Supporting Information for : “ Memetic Viability Evolution for Constrained Optimization ”

is a candidate solution to the problem at hand. The reason for focusing our research on problems with inequalities only was threefold. The first reason, is purely algorithmic: the CMA-ES structure is indeed not feasible when the volume of the feasible region reduces to zero (which is the case of equality constraints). We discuss this aspect more in detail in Section 3. Secondly, specific techniques for handling equality constraints in evolutionary algorithms have been presented in the literature, such as gradientmutations [1], quadratic approximations [2, 3] or projection methods [4]. If the mathematical formulation of the constraint is available, one could even try to repair the unfeasible solutions by moving them back onto the constraints [5, 6], or apply a traditional non-linear programming technique as in [7]. In any case, since these techniques can be activated only when the problem presents equality constraints, adding them to our method would be relatively easy and, most of all, would not impair the performances on problems with inequalities only. Finally, narrowing our analysis to problems characterized by inequalities only allowed us to better understand the performance of mViE without the need of introducing an additional operator specific for equalities. Nevertheless, to provide a baseline of mViE’s performance also on this class of problems (without any specific equality-handling mechanism), we present here additional results obtained on the CEC 2006 benchmark problems with equalities [8]. For simplicity, equality constraints are transformed into inequalities, by introducing a tolerance δ, such that they can be rewritten as |hk(x)|−δ ≤ 0. We set δ equal to the desired accuracy level 10 defined as in the CEC benchmark specifications. We repeated our method 25 times on each benchmark problem.
Oversampled Wilson-type cosine modulated filter banks with linear phase

We introduce Wilson filter banks (WFBs) as a new type of cosine modulated filter banks (CMFBs) corresponding to the discrete-time Wilson expansion. WFBs allow linear phase filters in all channels. We formulate perfect reconstruction (PR) conditions for oversampled and critically sampled WFBs and show that PR WFBs correspond to PR DFT filter banks with twice the oversampling factor. Generalizing WFBs, we then propose the new family of "even-stacked" CMFBs allowing both PR and linear phase filters in all channels. This CMFB family contains WFBs as well as CMFBs introduced by Lin and Vaidyanathan (1995). Finally, after extending conventional ("odd-stacked") CMFBs to the oversampled case, we formulate unified PR conditions for both even- and odd-stacked oversampled and critically sampled CMFBs. We show that PR CMFBs are always related to PR DFT filter banks of the same stacking type and with twice the oversampling factor.
Effects of Short-Term Dietary Change from High-Carbohydrate Diet to High-Fat Diet on Storage, Utilization, and Fatty Acid Composition of Rat Muscle Triglyceride during Swimming Exercise

The purpose was to examine the effects of a 3-day dietary change from a high-carbohydrate (C) to high-fat (F) diet on muscle triglyceride (MTG) storage and utilization during the swimming exercise in rats. Rats were meal-fed on either the F diet or the C diet for 11 days. For an additional 3 days, half of the rats in each group were fed the same diets and the other rats were switched to counterpart diets. On the final day, half of the rats in each group were killed before the exercise and the others were killed after the exercise. Serum concentrations of glucose and free fatty acids (FFA) were higher in the post-exercise groups than in the pre-exercise groups. The tissue glycogen contents were lower in the post-exercise groups. However, the MTG contents and fatty acid (FA) compositions were not influenced by the exercise and dietary change. The F diet increased the FFA concentration and slightly increased the MTG content. Moreover, the dietary FA composition influenced the FA composition of the MTG. These results suggest that the exercise did not affect the contents and FA composition of MTG, but that the F diet had an effect on the MTG contents and FA composition.
An Ontology for Clinical Trial Data Integration

A set of well-integrated clinical terminologies is at the core of delivering an efficient clinical trial system. The design and outcomes of a clinical trial can be improved significantly through an unambiguous and consistent set of clinical terminologies used in a participating clinical institute. However, due to lack of generalised legal and technical standards, heterogeneity exists between prominent clinical terminologies as well as within and between clinical systems at several levels, e.g., data, schema, and medical codes. This article specifically addresses the problem of integrating local or proprietary clinical terminologies with the globally defined universal concepts or terminologies. To deal with the problem of ambiguous, inconsistent, and overlapping clinical terminologies, domain and knowledge representation specialists have been repeatedly advocated the use of formal ontologies. We address two key challenges in developing an ontology-based clinical terminology (1) an ontology building methodology for clinical terminologies that are separated in global and local layers, and (2) aligning global and local clinical terminologies. We present Semantic Electronic Health Record (SEHR) ontology that covers multiple sub-domains of Healthcare and Life Sciences (HCLS) through specialisation of the upper-level Basic Formal Ontology (BFO). One of the main features of SEHR is layering and adaptation of local clinical terminologies with the upper-level BFO. Our empirical evaluation shows an agreement of clinical experts confirming SEHR's usability in clinical trials.
Customer Satisfaction of Electronic Products and Services in Ghanaian Banks

Ankrah (2012) stated that, Technology has brought about a complete paradigm shift in the functioning of banks and delivery of banking services. Technology is no longer an enabler, but a business driver. The growth of the internet, mobiles and communication technology has added a different dimension to banking. The information technology (IT) available today is being leveraged in customer acquisitions, driving automation and process efficiency, delivering ease and efficiency to customers. The purpose of this research is to find out the level of satisfaction of bank customers using electronic products and services provided by the banks. This was influence by the fact that customer satisfaction has a direct relationship with profitability. The Technology Acceptance Model (TAM) originally proposed by Davis (1989) was used as the framework within which this study was executed. This study adopted the survey method and the instrument used in this study was the questionnaire. The population for this study was the bank customers from six banks all selected at their head offices in Greater Accra region. Proportionate sampling was used to select the sample from the six banks. The raw data was analyzed using Statistical Package for Social Sciences (SPSS 17.0). It came to light from the findings that, most of the bank customers are satisfied with the operations of the banks. It was also clear that, almost all the banks have websites, but it was observed that most of the bank customers do not visit the bank’s websites or even if they do, once in a while. Even though the banks offer SMS banking, it is noticeable that most of the bank customers do not use the SMS banking. In the same vein, it is apparent that most of the bank customers do not use the internet banking. The hypothesis tested statistically at a significance level of 0.05 also confirms the fact that, customers are satisfied with the services of banks with modern technology. This research would help the bank management to know the level of electronic products and services usage as well as improving the level of satisfaction and strengthening the bond between the banks and their customers, thereby helping them to retain and/or expand their overall customer base. This research would also add to existing literature in the field of information technology in banking and both students and scholars can also draw knowledge from this research. Keywords: Customer Satisfaction, Electronic Products, Services, Information Technology, Bank
Safety and translation of calculus queries with scalar functions

An important research goal for the 90’s is the development of programming languages which support database functionalities. One approach, illustrated by PASCAL/R [Sch77], is to extend an imperative language (here PASCAL) to incorporate access to a particular database model (here relational). In this approach, it is desirable to permit ae much communication as possible between the underlying programming language and the database access language. In particular, it is essential that scalar functions (i.e., interpreted functions that use only atomic values as inputs and outputs), both system-defined or user-defined, can be used inside database queries. While it is relatively straightforward to provide this in the context of the relational algebra, supporting this in the relational calculus is significantly more difficult. Indeed, the calculus sublanguage of PASCAL/R does not permit the use of scalar functions. We present here the theoretical component for a comprehensive framework for supporting the flexible use of (total) scalar functions in relational calculus queries. Our framework generalizes previous work on the relational calculus to this context. We use the notion of embedded domain independent (called “bounded depth domain independent” in [AB88] ), and generalize the notion of allowed [Top87] to embedded allowed (emallowed). In the full paper it is shown that each emallowed query is embedded domain independent. This is demonstrated using a non-trivial extension of the van Gelder-Topor algorithm [GT91] for translating allowed calculus queries into the relational algebra. In order to
Prediction and measurement of incipient boiling heat flux in microchannel heat sinks

Experiments were performed to measure the incipient boiling heat flux in a heat sink containing 21 rectangular (231 lm wide and 713 lm deep) micro-channels. Tests were performed using deionized water with inlet liquid velocities of 0.13–1.44 m/s, inlet temperatures of 30, 60 and 90 C, and an outlet pressure of 1.2 bar. Using a microscope, boiling incipience was identified when the first bubbles were detected growing at, and departing from the micro-channel wall near the outlet. A comprehensive model was developed to predict the incipient boiling heat flux, accounting for the complexities of bubble formation along the flat and corner regions of a rectangular flow channel, as well as the likelihood of bubbles growing sufficiently large to engulf the entire flow area of a micro-channel. The model is based on a bubble departure criterion, which combines both mechanical considerations (force balance on a bubble) and thermal considerations (superheating entire bubble interface). The model shows good agreement with the experimental results. 2002 Elsevier Science Ltd. All rights reserved.
Application of Graph Theory in Stability Analysis of Meshed Microgrids

This paper studies microgrids where loads are supplied by parallel connected inverters controlled by decentralized active power/voltage frequency and reactive power/voltage magnitude droop control laws. The implementation of droop control laws for sharing of power between inverters has been known to present stability problems particularly for large values of active power/voltage frequency droop control gains. Stability analysis of the microgrid requires a mathematical formulation of the interaction between the inverters due to their droop control laws. However, a simple and elegant mathematical model resulting in a conclusive proof of stability has been found to be lacking in reported literature. In this paper, a state dynamical model has been derived by combining active power flow equations with the active power/voltage frequency droop control laws. Using an analogy between the model matrix and connected graphs, a proof of stability of the microgrid has been stated as a theorem. The paper further examines the limitations of the proof and the difference between the results of the proof and reported practical results.
An Efficient and Easy Approach in Partial Shape Matching for Gesture Recognition

We present a new approach for partial shape matching efficiently and more easily by using Local Tetra Pattern (LTrP) for feature extraction and Scale Invariant Feature Transformation (SIFT) algorithm for matching of feature points. The key idea and main contribution of this work lies in matching the textures and recognizing it accordingly by providing some special features like scale invariance, deformation tolerance and orientation free nature. At the heart of the proposed scheme lies a new shape descriptor that also permits the quantification of local scale. The shape descriptors are computed along open or closed contours in a spatially non-uniform manner. The LTrP texture pattern is proposed to extract the image texture features and then SIFT algorithm which is a powerful one for performing texture classification and recognition. Due to the properties of newly proposed shape descriptor, extraction method used and matching technique, the proposed approach performs partial shape matching in a more efficient way.
A 10.3GS/s 6bit (5.1 ENOB at Nyquist) time-interleaved/pipelined ADC using open-loop amplifiers and digital calibration in 90nm CMOS

A 10.3 GS/s ADC with 5 GHz input BW and 6 bit resolution in 90 nm CMOS is presented. The architecture is based on an 8 way interleaved/ pipelined ADC using open-loop amplifiers and digital calibration. The measured performance is 5.8 ENOB (36.6 dB SNDR) for a 100 MHz input signal and 5.1 ENOB (32.4 dB SNDR) for a 5 GHz input (Nyquist) with phase offset correction across the interleaved array.
A New Model K*TDG and High Level Exploring Algorithm

A new model K*TDG is proposed in this paper to solve the problem of complex data flow decomposing and exploring, where k indicates the compactness of the system parameters. In the following, the attributes of K*TDG and its primary operations are discussed, and a decomposing and exploring algorithm is proposed. In order to decrease the algorithm complexity, a group strategy on the degree of polynomials of complex components is shown. Experimental results indicate that using the algorithm and strategy in this paper, keeping the area and delay approximate optimization, the exploring space is decreased greatly.
Spatial Learning Deficits in Mice with a Targeted Glucocorticoid Receptor Gene Disruption

Previous studies in rats using the Morris water maze suggested that the processing of spatial information is modulated by corticosteroid hormones through mineralocorticoid and glucocorticoid receptors in the hippocampus. Mineralocorticoid receptors appear to be involved in the modulation of explorative behaviour, while additional activation of glucocorticoid receptors facilitates the storage of information. In the present study we used the water maze task to examine spatial learning and memory in mice homozygous and heterozygous for a targeted disruption of the glucocorticoid receptor gene. Compared with wild‐type controls, homozygous and heterozygous mice were impaired in the processing of spatial but not visual information. Homozygous mutants performed variably during training, without specific platform‐directed search strategies. The spatial learning disability was partly compensated for by increased motor activity. The deficits were indicative of a dysfunction of glucocorticoid receptors as well as of mineralocorticoid receptors. Although the heterozygous mice performed similarly to wild‐type mice with respect to latency to find the platform, their strategy was more similar to that of the homozygous mice. Glucocorticoid receptor‐related long‐term spatial memory was impaired. The increased behavioural reactivity of the heterozygous mice in the open field points to a more prominent mineralocorticoid receptor‐mediated function. The findings indicate that (i) the glucocorticoid receptor is of critical importance for the control of spatial behavioural functions, and (ii) mineralocorticoid receptor‐mediated effects on this behaviour require interaction with functional glucocorticoid receptors. Until the development of site‐specific, inducible glucocorticoid receptor mutants, glucocorticoid receptor‐knockout mice present the only animal model for the study of corticosteroid‐mediated effects in the complete absence of a functional receptor.
An intelligent particle filter for state estimation and fault detection

With the continuous development of computer science and control science, the complexity of the system also increased rapidly. Accordingly, people began to improve the security and stability of the systems, and fault diagnosis in time is an effectively method to reduce the loss of property. The reality systems are invariably more complex, nonlinear and non-Gaussian. The previous method cannot solve the problem very well. However, as an unique technology, the particle filter (PF) can apply to nonlinear and non-Gaussian systems effectively. The accuracy of state estimation is influenced by the particle impoverishment problem in the quintessential PF algorithm. In order to deal with the particle impoverishment, we propose an intelligent particle filter (IPF) algorithm which based on genetic algorithm optimization after analyzed the particle filter algorithm. The common PF is a special circumstances of IPF that relieves the particular parameters. Results of these two experimental applications of the IPF are given to illustrate it can increase the particles diversity and improve the state estimation results of fault diagnosis.
Analysing the Quality of Experience of multisensory media from measurements of physiological responses

This paper investigates the Quality of Experience (QoE) of multisensory media by analysing biosignals collected by electroencephalography (EEG) and eye gaze sensors and comparing with subjective ratings. Also investigated is the impact on QoE of various levels of synchronicity between the sensory effect and target video scene. Results confirm findings from previous research that show sensory effects added to videos increases the QoE rating. While there was no statistical difference observed for the QoE ratings for different levels of sensory effect synchronicity, an analysis of raw EEG data showed 25% more activity in the temporal lobe during asynchronous effects and 20-25% more activity in the occipital lobe during synchronous effects. The eye gaze data showed more deviation for a video with synchronous effects and the EEG showed correlating occipital lobe activity for this instance. These differences in physiological responses indicate sensory effect synchronicity may affect QoE despite subjective ratings appearing similar.
Priority-Based Resource Allocation for RT and NRT Traffics in OFDMA Systems

In this paper, we address the problem of adaptive radio resource allocation and QoS provisioning for real-time (RT) and non-real-time (NRT) services in OFDMA systems. The proposed algorithm tightly couples the subchannel allocation and packet scheduling together through an integrated cross-layer approach in which each packet is assigned a priority value by taking both the instantaneous channel condition and the QoS requirements into account. An efficient suboptimal algorithm with low computational complexity is proposed to solve the linear optimization problem. Simulation results show that the proposed algorithm can greatly improve the system performance in terms of high spectral efficiency and low outage probability compared to the traditional TDMA algorithm, thus is very suitable for the downlink of current OFDMA systems.