Miracle-dz/UniFAR-FTUs huggingface dataset:
Existence of a Center Manifold in a Practical Domain around L1 in the Restricted Three-Body Problem

We present a method of proving existence of center manifolds within specified domains. The method is based on a combination of topological tools, normal forms, and rigorous computer-assisted com- putations. We apply our method to obtain a proof of a center manifold in an explicit region around the equilibrium point L1 in the Earth-Sun planar restricted circular three-body problem. 1. Introduction. In this paper we give a method for proving existence of center manifolds for systems with an integral of motion. The aim of the paper is not to give yet another proof of the center manifold theorem, but to provide a practical tool which can be applied to nontrivial systems. There are a number of advantages to the method. First, the method is not perturbative. We thus do not need to start with an invariant manifold and then perturb it. All that is required is a good numerical approximation of the position of a center manifold. The conditions required in order to ensure existence of the manifold in the vicinity of the numerical approximation are such that it is possible to verify them using (rigorous, interval-based) computer-assisted computations. This is another advantage, since it allows for application to problems which cannot be treated analytically. The method gives explicit bounds on the position and on the size of the manifold. Moreover, under appropriate assumptions we can also prove that the manifold is unique. Our proof of existence of the center manifold is performed using purely topological ar- guments. This means that it can be applied to treat nonanalytic invariant manifolds. The main disadvantage of using topological tools, though, is that the proof ensures only Lipschitz continuity of the manifold even for manifolds with higher order regularity.
Relaxin Therapy Reverses Large Artery Remodeling and Improves Arterial Compliance in Senescent Spontaneously Hypertensive Rats

Hypertension and aging are associated with large artery structural remodeling and stiffening, which are known to increase cardiovascular risk. Relaxin is a peptide hormone with potent antifibrotic action in multiple organs. Although relaxin is able to reduce peripheral vascular resistance and improve arterial compliance in rats, it remains unclear whether the improvement in compliance is indirectly attributed to a vasodilatory action or whether relaxin is able to reverse arterial remodeling and stiffening directly in aged hypertensive animals. Senescent spontaneously hypertensive rats (17 months old) were treated with relaxin for 2 weeks (0.5 mg/kg per day) followed by a 1-week washout period. We determined large artery compliance using in vivo and in vitro techniques and quantified arterial remodeling by morphological and chemical means. Relaxin therapy significantly reversed aortic remodeling (ie, increases in vessel size, wall thickness, and collagen content) and improved arterial compliance, effects independent of its vasodilatory action. In relaxin-treated spontaneously hypertensive rats, arterial collagen content showed a greater reduction (−31%; P<0.05) than that of elastin (−8%), resulting in an increased elastin:collagen ratio (0.63±0.03 versus 0.47±0.02; P<0.05). In conclusion, our results demonstrated that relaxin is potent in mediating reversal of arterial remodeling and improving arterial structural compliance in aged hypertensive rats.
Physical environment and women's physical activity behaviors

Physical Environment and Women’s Physical Activity Behaviors Beth Ann Brisky, M.S. Minnesota State University, Mankato, 2014 This study was developed using the Ecological Model (Stokols, 1992). The purpose of this study was to determine women’s perceptions of the physical environment and the relationship between perceptions and physical activity behaviors. The study also analyzed women’s non-motorized transportation behaviors, including walking and cycling to get from place to place. An email was sent to 526 female Minnesota State University, Mankato employees to ask them to participate in an electronic survey. The survey was developed using two of Sallis’s (2013a, 2013b) instruments, Neighborhood Quality of Life Study survey and Neighborhood Environment Walkability ScaleConfirmatory Factor Analysis survey. The survey consisted of 51 questions addressing general information, perceptions of the physical environment, and physical activity behaviors. There were a total of 200 responses; however, 23 were eliminated as a result of unverified age or incomplete surveys. The data was analyzed with 177 completed surveys. The participants’ had positive perceptions regarding the safety and aesthetics of their perceptions of their physical activity environments. Their perceptions regarding the accessibility and convenience of the environments, however, were not favorable. Very few relationships were found between the women’s perceptions of the physical environment and physical activity behaviors. About half of the women reported that they
Analysis of Cisplatin-Induced Ototoxicity Risk Factors in Iranian Patients with Solid Tumors: a Cohort, Prospective and Single Institute Study

Background: Cisplatin has been associated with irreversible hearing damage. Up to now, there is no therapeutic intervention showing benefit in preventing Cisplatin-induced ototoxicity. The aim of this study was to determine risk factors contributing to hearing impairment after cisplatin administration in Iranian patients. Methods: Hearing thresholds of 124 patients before and after cisplatin administration were assessed with reference to pure-tone audiometry averages at several frequencies from 2006 to 2010. Mean values were calculated at each tested frequency in each ear at baseline and subsequent follow-up audiometry. Hearing impairment was assessed with the Münster score. Results: The mean age at diagnosis and the median cumulative Cisplatin dose were 47.3 years and 453.8 milligrams, respectively. Bilateral hearing loss, mostly of grade 1, and tinnitus were detected in 26% and 3.2% of patients. Logistic regression analysis showed that a high cumulative dose of cisplatin was the most important risk factor for developing hearing damage (P=0.034). The most significant changes in the status of the auditory system and the most severe threshold shift from base line (35 dB) were observed at a frequency of 8 kHz. Also, patients who received higher individual doses of Cisplatin showed significantly more tinnitus (P=0.002). Conclusions: The results are testament to benefits of routine audiometric monitoring program during cisplatin-based chemotherapy. Further research should be performed to understand other risk factors, such as genetic predictors of Cisplatin-induced ototoxicity.
Analysis of Data and Traffic Management during Privacy Preservation in Secure Multiparty Computation

Abstract- A protocol is secure if the parties who want to compute their inputs hands it to the trusted parties. Trusted parties in turn compute the inputs using the function f and give the result to the respective parties after computation in such a way that no party can identify other’s party data. During computation of inputs, we had considered the factor, what if trusted third parties are malicious? Considering different probabilities for the malicious users, we have tried to find out the correctness of the result and percentage of system acceptability. We then tried to increase the number of TTP’s in order to get the accuracy of the result. The aim of our proposed work is to identif y what probability of malicious users will lead to the system in an unacceptable state. In this paper, we also propose the methodology and design an algorithm to control congestion during Secure Multiparty Computation (SMC). As per our literature serve a lot of work has been done in SMC but they have worked only the main part of the SMC, privacy and correctness. Congestion control is one of the important components for the performance of the network and also is the most challenging one. In our previous research we assumed that the communication between party and anonymizer is secure, but if any anonymizer becomes malicious then entire data of one party can be hacked. In this protocol, to maintain the security betw een party and anonymizer we have partitioned the data in number of packets befo re sendin g to a nonymizer. W e propo se th e framework in the form of a protocol for secure multi-party computation. This protocol maintains the security when we transfer the data between party and anonymizer. This paper deals with the way of shaping the traffic to improve quality of service (QoS) i n SMC. Si nce on increasing the number o f packets there may be a problem of congestion and under the congestion situation, the queue length may become very large in a short time, resulting in buffer overflow and packet loss. So congestion control is necessary to ensure that users get the negotiated Qo S. Th e objectives of traffic c ontrol an d congestion control for SMC are: Support a set of QoS parameters and minimize network and end-system complexity while maximizing network utilization. In our paper we also carried out experiments for computing the FIFO length that ensures zero packet loss for different clock rate of the router.
Utility of glypican‐3 and survivin in differentiating hepatocellular carcinoma from benign and preneoplastic hepatic lesions and metastatic carcinomas in liver fine‐needle aspiration biopsies

Glypican‐3 (GPC‐3), a membrane‐anchored heparin sulfate proteoglycan, has been shown to be expressed in ∼80% of hepatocellular carcinoma (HCC) but not in benign hepatic lesions. Survivin, a novel inhibitor of apoptosis, and a prognostic marker, has also been expressed in HCC. We evaluated these two immunomarkers (GPC‐3 and survivin) in differentiating HCC from benign and preneoplastic hepatic lesions and metastatic carcinomas, comparing them to HepPar‐1 (hepatocyte paraffin‐1) in liver fine‐needle aspiration biopsies (FNAB).
Optimizing Codes for Source Separation in Compressed Video Recovery and Color Image Demosaicing

There exist several applications in image processing (eg: video compressed sensing and color image demosaicing) which require separation of constituent images given measurements in the form of a coded superposition of those images. Physically practical code patterns in these applications are non-negative and do not obey the nice coherence properties of other patterns such as Gaussian codes, which can adversely affect reconstruction performance. The contribution of this paper is to design code patterns for video compressed sensing and demosaicing by minimizing the mutual coherence given a fixed dictionary. Our method explicitly takes into account the special structure of those code patterns as required by these applications: (1) non-negativity, (2) block-diagonal nature, and (3) circular shifting. In particular, the last property enables for accurate patchwise reconstruction.
Transcranial direct current stimulation for memory enhancement: from clinical research to animal models

There is a growing demand for new brain-enhancing technologies to improve mental performance, both for patients with cognitive disorders and for healthy individuals. Transcranial direct current stimulation (tDCS) is a non-invasive, painless, and easy to use neuromodulatory technique that can improve performance on a variety of cognitive tasks in humans despite its exact mode of action remains unclear. We have conducted a mini-review of the literature to first briefly summarize the growing amount of data from clinical trials assessing the efficacy of tDCS, focusing exclusively on learning and memory performances in healthy human subjects and in patients with depression, schizophrenia, and other neurological disorders. We then discuss these findings in the context of the strikingly few studies resulting from animal research. Finally, we highlight future directions and limitations in this field and emphasize the need to develop translational studies to better understand how tDCS improves memory, a necessary condition before it can be used as a therapeutic tool.
Efficient Fine Grained Synchronization Support Using Full/Empty Tagged Shared Memory and Cache Coherency

Performance results of machines with ﬁne-grain synchronization on individual lock-free data items (e.g., words), such as the MIT Alewife multiprocessor, illustrate the beneﬁts of supporting ﬁne-grain synchronization. The performance beneﬁts are primarily the result of allowing a dataﬂow style of computation in programming models, and maximizing the exposed parallelism by minimizing the possibility of false dependencies caused by coarse grained synchronization. In this report we propose a new efﬁcient way to support ﬁne grained synchronization mechanisms on multiprocessors. We propose to design a full/empty tagged memory hierarchy with aggressive hardware support for ﬁne grained synchronization that is embedded in the cache coherency mechanism of an SMP or a NUMA multiprocessor, or a single-chip multiprocessor. We believe that handling synchronization and coherence together can provide a more efﬁcient execution, reducing the occupancy in the memory controllers and the network bandwidth consumed by protocol messages. The ﬁne-grain synchronization mechanism can be implemented with a full/empty tagged shared memory where a full/empty bit is associated with each word. Such a memory is accessed by special memory operations (loads, stores and swaps) that may depend on the full/empty state of the target location and can alter the state. A synchronization fault (we call it a state miss) occurs when the required state of the location is not met. Our objective is to improve the performance of the full/empty synchronization mechanism such as implemented in the MIT Alewife machine, by integrating a cache coherency mechanism with the full/empty synchronization. To achieve this, we propose to handle synchronization faults in a similar way as cache misses in a lockup-free cache. This allows implementation of non-faulting (non-trapping) full/empty memory operations. In our design, we assume that a full/empty memory operation suspends on a synchronization miss (by analogy to a cache miss) waiting in the memory while the miss is resolved. An out-of-order processor and
Integration of an unmanned vehicle and its application to real-time gas detection and monitoring

A real-time aerial gas detection and monitoring system is developed for air quality control in China Steel Corporation (CSC). A gas detection module is integrated with an quadrotor and the collected gas information is going to be delivered to a ground station through wireless communication. According to the measurement data, real-time and post analyses will be applied and the results could also be passed to product line for references and other applications. Moreover, image process technology is also integrated into the flight system such that a selected target could be detected automatically during the flight task. Finally, experiments are presented to demonstrate the main concept of the prototype system.
Experiments with DBpedia, WordNet and SentiWordNet as resources for sentiment analysis in micro-blogging

Sentiment Analysis in Twitter has become an important task due to the huge user-generated content published over such media. Such analysis could be useful for many domains such as Marketing, Finance, Politics, and Social. We propose to use many features in order to improve a trained classifier of Twitter messages; these features extend the feature vector of uni-gram model by the concepts extracted from DBpedia, the verb groups and the similar adjectives extracted from WordNet, the Sentifeatures extracted using SentiWordNet and some useful domain specific features. We also built a dictionary for emotion icons, abbreviation and slang words in tweets which is useful before extending the tweets with different features. Adding these features has improved the f-measure accuracy 2% with SVM and 4% with NaiveBayes.
Bipolar disorder and violent crime: new evidence from population-based longitudinal studies and systematic review.

CONTEXT Although bipolar disorder is associated with various adverse health outcomes, the relationship with violent crime is uncertain. OBJECTIVES To determine the risk of violent crime in bipolar disorder and to contextualize the findings with a systematic review. DESIGN Longitudinal investigations using general population and unaffected sibling control individuals. SETTING Population-based registers of hospital discharge diagnoses, sociodemographic information, and violent crime in Sweden from January 1, 1973, through December 31, 2004. PARTICIPANTS Individuals with 2 or more discharge diagnoses of bipolar disorder (n = 3743), general population controls (n = 37 429), and unaffected full siblings of individuals with bipolar disorder (n = 4059). MAIN OUTCOME MEASURE Violent crime (actions resulting in convictions for homicide, assault, robbery, arson, any sexual offense, illegal threats, or intimidation). RESULTS During follow-up, 314 individuals with bipolar disorder (8.4%) committed violent crime compared with 1312 general population controls (3.5%) (adjusted odds ratio, 2.3; 95% confidence interval, 2.0-2.6). The risk was mostly confined to patients with substance abuse comorbidity (adjusted odds ratio, 6.4; 95% confidence interval, 5.1-8.1). The risk increase was minimal in patients without substance abuse comorbidity (adjusted odds ratio, 1.3; 95% confidence interval, 1.0-1.5), which was further attenuated when unaffected full siblings of individuals with bipolar disorder were used as controls (1.1; 0.7-1.6). We found no differences in rates of violent crime by clinical subgroups (manic vs depressive or psychotic vs nonpsychotic). The systematic review identified 8 previous studies (n = 6383), with high heterogeneity between studies. Odds ratio for violence risk ranged from 2 to 9. CONCLUSION Although current guidelines for the management of individuals with bipolar disorder do not recommend routine risk assessment for violence, this assertion may need review in patients with comorbid substance abuse.
Using curves to enhance parallel coordinate visualisations

We introduce a number of refinements to the parallel coordinates visualisation metaphor for multidimensional data. Firstly, the traditional set of polylines are replaced with a collection of smooth curves across the attribute axes, allowing individual data elements to be traced under certain limitations; normally impossible due to the 'crossing problem'. Then the notion of spreading out points on axes with a few discrete values is introduced, which leads onto a simple focus+context technique when the user selects values on such axes.
Evaluating and Predicting Patient Safety for Medical Devices With Integral Information Technology

Abstract : Human errors in medical device use account for a large portion of medical errors. Most of these errors are due to inappropriate designs for user interactions, rather than mechanical failures. Evaluating and predicting patient safety in medical device use is critical for developing interventions to reduce such errors either by redesigning the devices or, if redesign is not an option, by training the users on the identified trouble spots in the devices. We developed two methods for evaluating and predicting patient safety in medical devices with integral information technology, then applied and tested them on several infusion pumps. The first method is a modified discount-usability method called heuristic evaluation. The method was used to evaluate and compare the safety of two 1-channel volumetric infusion pumps. The results show that heuristic evaluation, when modifies for medical devices, is a useful, efficient, and low-cost method for evaluating patient safety features of medical devices through the identification of usability problems and their severities. The second method is an extended hierarchical task analysis (EHTA), devised to predict medical errors in medical device use. EHTA divides the task space between the external world of the device interface and the internal cognitive world of the user, allowing for descriptive predictions of potential user errors at the human device level. Its use is demonstrated in the analysis of two infusion pumps. The estimates of the likelihood of user errors with the two pumps are consistent with the corresponding reported use errors in the Federal Drug Administration (FDA)'s manufacturer and User Device Experience (MAUDE) database, thus demonstrating the usefulness of this tool for predicting medical device use errors.
An improved stabilization method for linear time-delay systems

In this paper, we combine a new approach for linear time delay systems based on a descriptor representation with a recent result on bounding of cross products of vectors. A delay-dependent criterion for determining the stability of systems with time-varying delays is obtained. This criterion is used to derive an efficient stabilizing state-feedback design method for systems with parameter uncertainty, of either the polytopic or the norm-bounded types.
Complete Genome Sequence of Enterococcus Bacteriophage EFLK1

ABSTRACT We previously isolated EFDG1, a lytic phage against enterococci for therapeutic use. Nevertheless, EFDG1-resistant bacterial strains (EFDG1r) have evolved. EFLK1, a new highly effective phage against EFDG1r strains, was isolated in this study. The genome of EFLK1 was fully sequenced, analyzed, and deposited in GenBank.
A novel hypoxic stress-responsive long non-coding RNA transcribed by RNA polymerase III in Arabidopsis

Recently, a large number of non-coding RNAs (ncRNAs) have been found in a wide variety of organisms, but their biological functions are poorly understood, except for several tiny RNAs. To identify novel ncRNAs with essential functions in flowering plants, we focused attention on RNA polymerase III (Pol III) and its transcriptional activity, because most Pol III-transcribed RNAs contribute to key processes relating to cell activities, and have highly conserved promoter elements: upstream sequence elements, a TATA-like sequence, and a poly(T) stretch as a transcription terminator. After in silico prediction from the Arabidopsis genome, 20 novel ncRNAs candidates were obtained. AtR8 RNA (approx. 260 nt) and AtR18 RNA (approx. 160 nt) were identified by efficient in vitro transcription by Pol III in tobacco nuclear extracts. AtR8 RNA was conserved among six additional taxa of Brassicaceae, and the secondary structure of the RNA was also conserved among the orthologs. Abundant accumulation of AtR8 RNA was observed in the plant roots and cytosol of cultured cells. The RNA was not processed into a smaller fragment and no short open reading frame was included. Remarkably, expression of the AtR8 RNA responded negatively to hypoxic stress, and this regulation evidently differed from that of U6 snRNA.
Extensions to multivariate normal models for pedigree analysis

Lange, Westlake & Spence (1976) used the assumption of multivariate normality to apply a likelihood method to the analysis of quantitative traits measured over pedigrees. We now introduce a test of the assumption of multivariate normality and methods for the detection of outlying families and outlying individuals. We also introduce a method for the estimation of effects of measured genetic markers as variance components, a flexible parameterization to estimate effects of shared family environment, and a method to allow for the ascertainment of pedigrees through probands. These innovations have been applied using numerical methods for maximization of the likelihood. Simulation studies and available theory suggest that the likelihood ratio criterion used in significance testing follows the expected asymptotic distribution with sample sizes encountered in typical applications.