Miracle-dz/UniFAR-FTUs huggingface dataset:
Prolonged Action Potential and After depolarizations Are Not due to Changes in Potassium Currents in NOS3 Knockout Ventricular Myocytes

Ventricular myocytes deficient in endothelial nitric oxide synthase (NOS3−/−) exhibit prolonged action potential (AP) duration and enhanced spontaneous activity (early and delayed afterdepolarizations) during β-adrenergic (β-AR) stimulation. Studies have shown that nitric oxide is able to regulate various K+ channels. Our objective was to examine if NOS3−/− myocytes had altered K+ currents. APs, transient outward (I to), sustained (I Ksus), and inward rectifier (I K1) K+ currents were measured in NOS3−/− and wild-type (WT) myocytes. During β-AR stimulation, AP duration (measured as 90% repolarization-APD90) was prolonged in NOS3−/− compared to WT myocytes. Nevertheless, we did not observe differences in I to, I Ksus, or I K1 between WT and NOS3−/− myocytes. Our previous work showed that NOS3−/− myocytes had a greater Ca2+ influx via L-type Ca2+ channels with β-AR stimulation. Thus, we measured β-AR-stimulated SR Ca2+ load and found a greater increase in NOS3−/− versus WT myocytes. Hence, our data suggest that the prolonged AP in NOS3−/− myocytes is not due to changes in I to, I Ksus, or I K1. Furthermore, the increase in spontaneous activity in NOS3−/− myocytes may be due to a greater increase in SR Ca2+ load. This may have important implications for heart failure patients, where arrhythmias are increased and NOS3 expression is decreased.
Personalized Shopping Assistance Service at Ubiquitous Shop Space

We have been developing an experimental prototype system - ubiquitous shop space, an application of personal information assistance in a shopping context, (1) to find items of users' interest and/or preferences through data observed from users' behaviors in a ubiquitous information environment, (2) to automatically build a user preference model, and (3) to apply the model and provide suitable information service in the real world. In this paper, we study personal behavior from a log file that has been recorded by RFID and camera sensors. Utilizing ubiquitous sensors, we apply three types of observation scopes to model each user's preference. They are microscopic, mezzoscopic, and macroscopic observation scopes. We have proposed the behavior analysis, algorithms, and combines content-based and collaborative filtering to retrieve information. We provide consumer-friendly services which based on personal behavior log data. Our system can inject suitable and controlled messages to a user to build up his precise preference model without putting any stress on him.
Persistent Pain after Breast Cancer Treatment: A Questionnaire-Based Study on the Prevalence, Associated Treatment Variables, and Pain Type

Purpose Persistent pain is a common side effect of breast cancer treatment. The present study aimed to assess the prevalence, associated treatment-related factors, and the type of pain (neuropathic or nociceptive) in patients who had undergone a unilateral mastectomy. Methods All women who underwent a unilateral mastectomy at a University Hospital between 2009 and 2013 were eligible for inclusion. Women with breast reconstruction or active cancer were excluded. Participants were mailed a questionnaire evaluating the prevalence, location, intensity, and frequency of surgical site pain. Additionally, the painDETECT®, a validated instrument to evaluate neuropathic pain, was mailed to all participants. Results A total of 305 women were included, and of them, 261 (85.6%) completed the study questionnaire. After a median follow-up period of 3.0 years, 100 women (38.3%) reported experiencing pain at the surgical site. Body mass index ≥30 kg/m2, radiation therapy, and axillary lymph node dissection were significantly associated with persistent pain in univariate models. However, only body mass index ≥30 kg/m2 was independently associated with persistent pain (odds ratio, 2.13; 95% confidence interval, 1.06–4.27; p=0.034) in a multivariate analysis. Of the patients reporting pain, 71.0% were unlikely to have a neuropathic pain component. A moderate, but highly significant, positive correlation was observed between the pain intensity and the painDETECT® score (rs=0.47, p<0.001). Conclusion Persistent pain after breast cancer treatment continues to have a high prevalence. Our results indicate that the largest proportion of patients experiencing persistent pain after breast cancer treatment do not have a clear neuropathic pain component.
Distinguishing Attack on MAC with Enveloped Method Using MD5

The MAC with enveloped method using MD5 is recommended as an Internet proposed standard RFC 1828. So far no distinguishing attack on it is presented. In this paper, we firstly proposes an adaptive chosen message distinguishing attack on the MAC with enveloped method using MD5, of which the time complexity and data complexity are both 2^96 and table size is 2^89 with a success rate 0.87. Then we relax the adaptive chosen message distinguishing attack to a chosen message distinguishing attack, of which the data complexity is increased to 2^113, but the table size is reduced to 2^66 with the same success rate.
A novel method of data correlation analysis of the big data based on network clustering algorithm

Nowadays, with the development of information diversification and complex relationship among the information data, heterogeneous and cyberization are the main trends of the big data. Therefore, how to analyze and manage the data based on network analysis is one of the most urgent problems. In this paper, we analyzed the trends and networking characteristics of current information data development. With the analysis of current information data and the dimension of the relationship, we mined the network characteristic of the information data. From the networking dimension of the data, based on the heterogeneous network and social network, we studied the proposal method of data correlation to solve the problems in clustering, personal query and social network prediction.
Face Recognition and Micro-expression based on Discriminant Tensor Subspace Analysis plus Extreme Learning Machine

In this paper, a novel recognition algorithm based on Discriminant Tensor Subspace Analysis (DTSA) and Extreme Learning Machine (ELM) is introduced. DTSA treats a gray facial image as a second order tensor and adopts two-sided transformations to reduce dimensionality. One of the many advantages of DTSA is its ability to preserve the spatial structure information of the images. In order to deal with micro-expression video clips, we extend DTSA to a high-order tensor. Discriminative features are generated using DTSA to further enhance the classification performance of ELM classifier. Another notable contribution of the proposed method includes significant improvements in face and micro-expression recognition accuracy. The experimental results on the ORL, Yale, YaleB facial databases and CASME micro-expression database show the effectiveness of the proposed method.
Similarity Search Using Sparse Pivots for Efficient Multimedia Information Retrieval

Similarity search is a fundamental operation for applications that deal with unstructured data sources. In this paper we propose a new pivot-based method for similarity search, called sparse spatial selection (SSS). This method guarantees a good pivot selection more efficiently than other methods previously proposed. In addition, SSS adapts itself to the dimensionality of the metric space we are working with, and it is not necessary to specify in advance the number of pivots to extract. Furthermore, SSS is dynamic, it supports object insertions in the database efficiently, it can work with both continuous and discrete distance functions, and it is suitable for secondary memory storage. In this work we provide experimental results that confirm the advantages of the method with several vector and metric spaces
Modulated electron-multiplied fluorescence lifetime imaging microscope: all-solid-state camera for fluorescence lifetime imaging

Abstract. We have built an all-solid-state camera that is directly modulated at the pixel level for frequency-domain fluorescence lifetime imaging microscopy (FLIM) measurements. This novel camera eliminates the need for an image intensifier through the use of an application-specific charge coupled device design in a frequency-domain FLIM system. The first stage of evaluation for the camera has been carried out. Camera characteristics such as noise distribution, dark current influence, camera gain, sampling density, sensitivity, linearity of photometric response, and optical transfer function have been studied through experiments. We are able to do lifetime measurement using our modulated, electron-multiplied fluorescence lifetime imaging microscope (MEM-FLIM) camera for various objects, e.g., fluorescein solution, fixed green fluorescent protein (GFP) cells, and GFP-actin stained live cells. A detailed comparison of a conventional microchannel plate (MCP)-based FLIM system and the MEM-FLIM system is presented. The MEM-FLIM camera shows higher resolution and a better image quality. The MEM-FLIM camera provides a new opportunity for performing frequency-domain FLIM.
Generalized inflations and null extensions

An inflation of an algebra is formed by adding a set of new elements to each element in the original or base algebra, with the stipulation that in forming products each new element behaves exactly like the element in the base algebra to which it is attached. Clarke and Monzo have defined the generalized inflation of a semigroup, in which a set of new elements is again added to each base element, but where the new elements are allowed to act like different elements of the base, depending on the context in which they are used. Such generalized inflations of semigroups are closely related to both inflations and null extensions. Clarke and Monzo proved that for a semigroup base algebra which is a union of groups, any semigroup null extension must be a generalized inflation, so that the concepts of null extension and generalized inflation coincide in the case of unions of groups. As a consequence, the collection of all associative generalized inflations formed from algebras in a variety of unions of groups also forms a variety. In this paper we define the concept of a generalized inflation for any type of algebra. In particular, we allow for generalized inflations ∗Research supported by NSERC of Canada. 226 Q. Wang and S.L. Wismath of semigroups which are no longer semigroups themselves. After some general results about such generalized inflations, we characterize for several varieties of bands which null extensions of algebras in the variety are generalized inflations, and which of these are associative. These characterizations are used to produce examples which answer, in our more general setting, several of the open questions posed by Clarke and Monzo.
Pattern based keyword extraction for contextual advertising

Contextual Advertising (CA) refers to the placement of ads that are contextually related to the web page content. The science of CA deals with the task of finding advertising keywords from web pages. We present a different candidate selection method to extract advertising keywords from a web page. This method makes use of Part-of-Speech (POS) patterns that restrict the number of potential candidates a classifier has to handle. It fetches words/phrases that belong to the selected set of POS patterns. We design four systems based on chunking method and the features they use. These systems are trained on a naive Bayes classifier with a set of web pages annotated with 'advertising' keywords. The systems can then find advertising keywords from previously unseen web pages. Empirical evaluation shows that systems using the proposed chunking method perform better than the systems using N-Gram based chunking. All improvements in the systems are found statistically significant at a 99% confidence interval.
Computer Vision Techniques for Hidden Conditional Random Field-Based Mandarin Phonetic Symbols I Recognition

This paper presents a handwritten recognition method using camera as human-computer interaction device (HCI) for Mandarin Phonetic Symbols I (MPS1). The method is based on a hidden conditional random field (HCRF) model, which is an extension of the conditional random field (CRF) framework that incorporates hidden variables. The main advantage of the proposed method is that it avoids limitations of the traditional hidden Markov model (HMM)-based methods. This work built an HCRF for each symbol of MPS1 and used twelve-dimensional features. The features in the proposed system include the stroke length ratio feature, the horizontal stroke feature, the vertical stroke feature, the stroke-based loci features, and the stroke curvature feature. The recognition rate achieved 94.05% on 1532 handwritten word samples covering 37 symbols.
A Tabu Search Based Flocking Algorithm of Motion Control for Multiple Mobile Robots

In order to enhance the autonomous navigation ability of multiple mobile robots, a tabu search based leader follower flocking algorithm is proposed to overcome the local minima problem and realize the autonomous navigation in unknown obstacle environments. Leader robot is capable of avoiding obstacles and seeking goal by tracking virtual sub goals generated by tabu search algorithm, follower robots which are led by leader robot keep formation and cohesion under the control of flocking algorithm for motion control. The whole flocking system is able to go through obstacle environments and reach the preset goal without collision and separation. A simulation example in complex environment validates the correctness and effectiveness of the proposed algorithm.
A Fundamental Relation Between Blind and Supervised Adaptive Filtering Illustrated for Blind Source Separation and Acoustic Echo Cancellation

In recent years broadband signal aquisition by sensor arrays, e.g., for speech and audio signals in a hands-free scenario, has become a popular research field in order to separate certain desired source signals from competing or interfering source signals ((blind) source separation or interference cancellation) and to possibly dereverberate them (blind deconvolution). In various practical scenarios, some or even all interfering source signals may be directly accessible and/or some side information on the propagation path is known. In these cases we can tackle the separation problem by supervised adaptation algorithms, e.g., the popular LMS- or RLS-type algorithms, rather than the more involved blind adaptation algorithms. In contrast, for blind estimation, such as in the blind source separation (BSS) scenario where both the propagation paths and the original source signals are unknown, the method of independent component analysis (ICA) is typically applied. Traditionally, the ICA method and supervised adaptation algorithms have been treated as different research areas. In this paper, we establish a conceptually simple, yet fundamental relation between these two worlds. This is made possible using the previously introduced generic broadband adaptive filtering framework, called TRINICON. As we will demonstrate, not only both the well-known blind and supervised adaptive filtering algorithms turn out as special cases of this generic framework, but we also gain various new insights and synergy effects for the development of new and improved adaptation algorithms.
Eliminating overlapping of pattern matching when verifying Erlang programs in μ CRL

When verifying Erlang programs in the process algebra μCRL specification, if there exists overlapping between patterns in the Erlang source codes, the problem of overlapping in pattern matching occurs when translating the Erlang codes into the μCRL specification. This paper investigates the problem and proposes an approach to overcome it. The proposed method rewrites an Erlang program with overlapping patterns into a counterpart program that has no overlapping patterns. Structure Splitting Trees (SSTs) are defined and applied for pattern evaluation. The use of SSTs guarantees that no overlapping patterns will be introduced into the rewritten Erlang code.
Health Lifestyle Theory and the Convergence of Agency and Structure∗

This article utilizes the agency-structure debate as a framework for constructing a health lifestyle theory. No such theory currently exists, yet the need for one is underscored by the fact that many daily lifestyle practices involve considerations of health outcomes. An individualist paradigm has influenced concepts of health lifestyles in several disciplines, but this approach neglects the structural dimensions of such lifestyles and has limited applicability to the empirical world. The direction of this article is to present a theory of health lifestyles that includes considerations of both agency and structure, with an emphasis upon restoring structure to its appropriate position. The article begins by defining agency and structure, followed by presentation of a health lifestyle model and the theoretical and empirical studies that support it.
Validation of Treatment Escalation as a Definition of Atopic Eczema Flares

Background Atopic eczema (AE) is a chronic disease with flares and remissions. Long-term control of AE flares has been identified as a core outcome domain for AE trials. However, it is unclear how flares should be defined and measured. Objective To validate two concepts of AE flares based on daily reports of topical medication use: (i) escalation of treatment and (ii) days of topical anti-inflammatory medication use (topical corticosteroids and/or calcineurin inhibitors). Methods Data from two published AE studies (studies A (n=336) and B (n=60)) were analysed separately. Validity and feasibility of flare definitions were assessed using daily global bother (scale 0 to 10) as the reference standard. Intra-class correlations were reported for continuous variables, and odds ratios and area under the receiver operator characteristic (ROC) curve for binary outcome measures. Results Good agreement was found between both AE flare definitions and change in global bother: area under the ROC curve for treatment escalation of 0.70 and 0.73 in studies A and B respectively, and area under the ROC curve of 0.69 for topical anti-inflammatory medication use (Study A only). Significant positive relationships were found between validated severity scales (POEM, SASSAD, TIS) and the duration of AE flares occurring in the previous week – POEM and SASSAD rose by half a point for each unit increase in number of days in flare. Smaller increases were observed on the TIS scale. Completeness of daily diaries was 95% for Study A and 60% for Study B over 16 weeks). Conclusion Both definitions were good proxy indicators of AE flares. We found no evidence that ‘escalation of treatment’ was a better measure of AE flares than ‘use of topical anti-inflammatory medications’. Capturing disease flares in AE trials through daily recording of medication use is feasible and appears to be a good indicator of long-term control. Trial registration Current Controlled Trials ISRCTN71423189 (Study A).
The influence of picture-word delayed matching encoding on episodic retrieval: An event-related potential study

An event-related potential study was conducted to make clear that how picture-word delayed matching encoding affects upon episodic retrieval, and to further investigate the relationship between encoding and episodic retrieval by ERP source analysis using the LORATA method (low resolution electromagnetic tomography, via Curry V6.0). The experiment used learning and recognition paradigm. The results showed that the identical matching encoding facilitated episodic retrieval, and there was extra activation of Lingual gyrus in the identical match old condition in ERP source analysis, whereas the categorical matching and non-match conditions showed similar mechanisms. Casting back to the encoding processing, it was shown that in the identical match condition an early P300 component from 350 to 450ms was evoked. Our results suggest that the early P300 component evoked by the picture-word identical matching is the critical factor affecting episodic retrieval.
Enhancing data security in open data kit as an mHealth application

mHealth as an emerging technology in healthcare is making it easier to streamline processes, reduce cost, accelerate completion of research or health outcomes. However, privacy and security concerns are hampering integration of mobile technologies in healthcare due to insufficient or lack of guidelines in securing data during transfer and storage. Securing data includes ensuring the confidentiality, integrity, and availability of the electronic data. Security solutions should attempt to be a balance between individual's privacy and making the information accessible when necessary. This study describes an operations research piloting the enrollment processes of patients into a casebased registry. We assess the feasibility and time constraints associated with administration of this secure mHealth system.
TEMPORAL SEQUENTIAL PATTERN IN DATA MINING TASKS

The rapid increase in the data available leads to the difficulty for analyzing those data and different types of frameworks are required for unearthing useful knowledge that can be extracted from such databases. The field of temporal data mining is relatively young and one expects to see many new developments in the near future. In all data mining applications, the primary constraint is the large volume of data. Hence there is always a need for efficient algorithms. This paper gives an overview of the temporal data mining task and highlights the related work in this context.
Vouchers in the Bayou: The Effects of the Louisiana Scholarship Program on Student Achievement After 2 Years

The Louisiana Scholarship Program (LSP) offers publicly funded vouchers to students in low-performing schools with family income no greater than 250% of the poverty line, allowing them to enroll in participating private schools. Initially established in 2008 as a pilot program in New Orleans, the LSP was expanded statewide in 2012. This article examines the experimental effects of using an LSP scholarship to enroll in one’s first-choice private school on student achievement in the first 2 years following the program’s expansion. Our results indicate that the use of an LSP scholarship has negatively affected both English Language Arts (ELA) and mathematics achievement. We observe less negative effect estimates in the second year of the program, with the impacts on ELA only on the margin of statistical significance.