Miracle-dz/UniFAR-FTUs huggingface dataset:
Hierarchically organized skew-tolerant histograms for geographic data objects

Histograms have been widely used for fast estimation of query result sizes in query optimization. In this paper, we propose a new histogram method, called the Skew-Tolerant Histogram (STHistogram) for two or three dimensional geographic data objects that are used in many real-world applications in practice. The proposed method provides a significantly enhanced accuracy in a robust manner even for the data set that has a highly skewed distribution. Our method detects hotspots present in various parts of a data set and exploits them in organizing histogram buckets. For this purpose, we first define the concept of a hotspot, and provide an algorithm that efficiently extracts hotspots from the given data set. Then, we present our histogram construction method that utilizes hotspot information. We also describe how to estimate query result sizes by using the proposed histogram. We show through extensive performance experiments that the proposed method provides better performance than other existing methods.
Structural Modeling of Stress, Life Style and Health Status in Industrial Employees

Objectives : The purpose of this study was to examine stress affecting the life style(such as alcohol consumption, smoking, exercise, sleep disturbance, obesity), and to determine the relationships among the stress, life style and health status of in industrial employees. MMeetthhooddss : This study utilized the data from health survey and laboratory test(such as liver enzymes and lipid profiles) in 463 Industrial Employees. Psycho-social wellbeing index was used in stress scales. The data were analyzed using SAS version 6.11 ,LISREL version 8.12i and PRELIS 2,12i. The analytic methods for study were chi-square analysis, anova and covariance structural analysis Results : There was no significant relationship between socio-demographic characteristics and stress. The older person, married, higher education level, higher economic status and researcher group included the good life style. The higher stress groups included the more alcohol consumption, more smoking, less exercise and more sleep disturbance. There was no significant relationship between stress and health status(liver enzymes and lipid profiles) Alcohol consumption, less exercise and obesity had a significant relationship with abnormal liver enzymes. Alcohol consumption, smoking, less exercise, sleep disturbance and obesity had a significant relationship with abnormal lipid profiles. Based on the find-ings, the structural model of stress, life style and health status was established and then consider to socio-demographic characteristics the covariance structural analysis was used. The higher stress scores included the bad life style. The bad life style included the lower health status. Regardless stress, obesity was significant relationship with health status. Conclusions : Control of stress was initiative clues in health-promotive behaviors. Less alcohol consumption, no smoking, regular exercise, no sleep disturbance and not obese were health-promotive behaviors. Stress influenced the life style, and then life style influenced the health status.
Boa: A language and infrastructure for analyzing ultra-large-scale software repositories

In today's software-centric world, ultra-large-scale software repositories, e.g. SourceForge (350,000+ projects), GitHub (250,000+ projects), and Google Code (250,000+ projects) are the new library of Alexandria. They contain an enormous corpus of software and information about software. Scientists and engineers alike are interested in analyzing this wealth of information both for curiosity as well as for testing important hypotheses. However, systematic extraction of relevant data from these repositories and analysis of such data for testing hypotheses is hard, and best left for mining software repository (MSR) experts! The goal of Boa, a domain-specific language and infrastructure described here, is to ease testing MSR-related hypotheses. We have implemented Boa and provide a web-based interface to Boa's infrastructure. Our evaluation demonstrates that Boa substantially reduces programming efforts, thus lowering the barrier to entry. We also see drastic improvements in scalability. Last but not least, reproducing an experiment conducted using Boa is just a matter of re-running small Boa programs provided by previous researchers.
Effect of personality factors on attitude towards the adoption of health information via online social networking

The objective of this research is to investigate the influence effect of personality factors that influence individual decision-making on adoption of health related information via online social networks. The study explores the Unified Theory of Acceptance and Use of Technology (UTAUT) model with perceived value to explain user's adoption behavior. The influence of personality factors was examining on user's adoption of such technology through Facebook as a popular channel in Thailand. The study distinguishes between each type of personality traits into low and high groups. The results found from moderated multiple regression analysis that ones with lower level of consciousness have more concern on value, and convenient exists to support use of the system. Based on the findings, the study able to classify between early adopters and others of using health information from social network services to encourage healthy living. Moreover, personality as factors affecting users' perception is important in technology adoption and must take an action when develops and designs the services.
CDRep: Automatic Repair of Cryptographic Misuses in Android Applications

Cryptography is increasingly being used in mobile applications to provide various security services; from user authentication, data privacy, to secure communications. However, there are plenty of mistakes that developers could accidentally make when using cryptography in their mobile apps and such mistakes can lead to a false sense of security. Recent research efforts indeed show that a significant portion of mobile apps in both Android and iOS platforms misused cryptographic APIs. In this paper, we present CDRep, a tool for automatically repairing cryptographic misuse defects in Android apps. We classify such defects into seven types and manually assemble the corresponding fix patterns based on the best practices in cryptographic implementations. CDRep consists of two phases, a detection phase which identifies defect locations in a mobile app and a repair phase which repairs the vulnerable app automatically. In our validation, CDRep is able to successfully repair 94.5% of 1,262 vulnerable apps. Furthermore, CDRep is lightweight, the average runtime to generate a patch is merely 19.3 seconds and the size of a repaired app increases by only 0.667% on average.
A hysteresis model for Web/TCP transfer latency

The paper presents an accurate stochastic model for transfer latency of short-lived Web-like TCP flows with random packet losses. Our model characterizes a data transfer in alternating cycles, with TCP state information carried over from one cycle to the next. Simulation experiments show that our model matches simulation results for short-lived flows better than earlier TCP models, and fits long-lived TCP flows as well. Our model is then extended to estimate transfer times for CATNIP TCP, which is shown to be 5-42% faster than TCP Reno, depending on transfer size and packet loss ratio.
Recruitment of TREX to the Transcription Machinery by Its Direct Binding to the Phospho-CTD of RNA Polymerase II

Messenger RNA (mRNA) synthesis and export are tightly linked, but the molecular mechanisms of this coupling are largely unknown. In Saccharomyces cerevisiae, the conserved TREX complex couples transcription to mRNA export and mediates mRNP formation. Here, we show that TREX is recruited to the transcription machinery by direct interaction of its subcomplex THO with the serine 2-serine 5 (S2/S5) diphosphorylated CTD of RNA polymerase II. S2 and/or tyrosine 1 (Y1) phosphorylation of the CTD is required for TREX occupancy in vivo, establishing a second interaction platform necessary for TREX recruitment in addition to RNA. Genome-wide analyses show that the occupancy of THO and the TREX components Sub2 and Yra1 increases from the 5′ to the 3′ end of the gene in accordance with the CTD S2 phosphorylation pattern. Importantly, in a mutant strain, in which TREX is recruited to genes but does not increase towards the 3′ end, the expression of long transcripts is specifically impaired. Thus, we show for the first time that a 5′-3′ increase of a protein complex is essential for correct expression of the genome. In summary, we provide insight into how the phospho-code of the CTD directs mRNP formation and export through TREX recruitment.
The relevance of coagulation in cardiovascular disease: what do the biomarkers tell us?

Summary Several haemostatic factors have been associated with incident arterial cardiovascular disease in prospective studies and meta-analyses. Plasma fibrinogen shows a strong and consistent association with risk; however, this may reflect its inflammatory marker status, and causality remains to be proven. The common haemostatic gene polymorphisms for factor II, factor V and the von Willebrand factor: Factor VIII (non-O blood group) show significant associations with coronary heart disease (CHD) risk, consistent with potential causality. Increased D-dimer and t-PA antigen levels are associated with CHD risk, suggesting roles for coagulation activation and endothelial disturbance. There is little evidence for associations with CVD with other haemostatic factors.
Multiple‐model adaptive control using set‐valued observers

A multiple‐model adaptive control methodology is proposed that is able to provide stability and performance guarantees, for uncertain linear parameter‐varying plants. The identification problem is addressed by taking advantage of recent advances in model falsification using set‐valued observers (SVOs). These SVOs provide set‐valued estimates of the state of the system, according to its dynamic model. If such estimate is the empty set, the underlying dynamic model is invalidated, and a different controller is connected to the loop. The behavior of the proposed control algorithm is demonstrated in simulation, by resorting to a mass–spring–dashpot system. As a caveat, the computational burden associated with the SVOs can be prohibitive under some circumstances. Copyright © 2013 John Wiley & Sons, Ltd.
Modeling the Population Dynamics of Culex quinquefasciatus (Diptera: Culicidae), along an Elevational Gradient in Hawaii

Abstract We present a population model to understand the effects of temperature and rainfall on the population dynamics of the southern house mosquito, Culex quinquefasciatus Say, along an elevational gradient in Hawaii. We use a novel approach to model the effects of temperature on population growth by dynamically incorporating developmental rate into the transition matrix, by using physiological ages of immatures instead of chronological age or stages. We also model the effects of rainfall on survival of immatures as the cumulative number of days below a certain rain threshold. Finally, we incorporate density dependence into the model as competition between immatures within breeding sites. Our model predicts the upper altitudinal distributions of Cx. quinquefasciatus on the Big Island of Hawaii for self-sustaining mosquito and migrating summer sink populations at 1,475 and 1,715 m above sea level, respectively. Our model predicts that mosquitoes at lower elevations can grow under a broader range of rainfall parameters than middle and high elevation populations. Density dependence in conjunction with the seasonal forcing imposed by temperature and rain creates cycles in the dynamics of the population that peak in the summer and early fall. The model provides a reasonable fit to the available data on mosquito abundance for the east side of Mauna Loa, Hawaii. The predictions of our model indicate the importance of abiotic conditions on mosquito dynamics and have important implications for the management of diseases transmitted by Cx. quinquefasciatus in Hawaii and elsewhere.
SPACE DENSITY OF OPTICALLY SELECTED TYPE 2 QUASARS

Type 2 quasars are luminous active galactic nuclei whose central regions are obscured by large amounts of gas and dust. In this paper, we present a catalog of type 2 quasars from the Sloan Digital Sky Survey, selected based on their optical emission lines. The catalog contains 887 objects with redshifts z < 0.83; this is 6 times larger than the previous version and is by far the largest sample of type 2 quasars in the literature. We derive the [O iii]5007 luminosity function (LF) for 108.3 L☉ < L[O iii] < 1010 L☉ (corresponding to intrinsic luminosities up to M[2500 Å] ≃ −28 mag or bolometric luminosities up to 4 × 1047 erg s−1). This LF provides robust lower limits to the actual space density of obscured quasars due to our selection criteria, the details of the spectroscopic target selection, and other effects. We derive the equivalent LF for the complete sample of type 1 (unobscured) quasars and determine the ratio of type 2 to type 1 quasar number densities. Our data constrain this ratio to be at least ∼1.5:1 for 108.3 L☉ < L[O iii] < 109.5 L☉ at z < 0.3, and at least ∼1.2:1 for L[O iii] ∼ 1010 L☉ at 0.3 < z < 0.83. Type 2 quasars are at least as abundant as type 1 quasars in the relatively nearby universe (z ≲ 0.8) for the highest luminosities.
The Role of Mass Media in the Development of Private Sector Participation in Sports

In the present research, the role of the mass media in the development of private sector participation in Mazandaran Province sports was studied. For this purpose, a sample of 130 individuals consisting of sports experts and managers and media executives participated in the survey. In the poll process, a researcher-made questionnaire was utilized after its content validity was confirmed by a number of experts in sports management and its construct validity was approved by the exploratory factor analysis and confirmatory factor with the LISREL software. Its reliability was determined to be 0.91 by Cronbach's alpha. The results indicated that the mass media’s roles of awareness and information, education, publicity, and culture-making in the development of private sector participation in Mazandaran Province sports are efficient while its role of social partnership has no impact on the development of the mentioned sector on the same ground. The major roles of the mass media in the development of private sector participation in sports in order of priority include culture-making, advertisement, public information, education and social partnership. There were significant differences between the participants’ views about the mass media’s role in the development of private sector participation in sports. Consequently, the media managers were found to be more willing to involve the private sector in sports.
JIG : Jazz Improvisation Generator

This article presents JIG, a system for improvisation on jazz ballads. It was described previously in a Master’s Thesis [4]. JIG generates so called ’formulaic’ improvisations. It uses constraints, in combination with probability-driven randomness to generate note-attributes. In this way, numerous different improvisations can be generated on a single song. JIG has been incorporated in SaxEx, a case based reasoning system for generating expressive performances of jazz ballads.
The Achievement Pride Scales (APS)

A growing body of research focuses on the self-conscious achievement emotion pride. However, studies investigating the relations of different types of achievement pride with individual antecedents, such as frames of reference, achievement goals, and achievement values, are largely lacking. This work describes a theoretical model designed to extend and clarify the study of achievement pride and introduces the Achievement Pride Scales (APS), which assess two types of pride, namely self-based pride and social comparison-based pride. The results document the reliability and internal validity of the scales. External validity is demonstrated in terms of relations with students’ frames of reference, achievement goals, and values. More specifically, whereas self-based pride was positively related to individual frames of reference and individual achievement values, social comparison-based pride was positively related to social frames of reference, performance-approach goals, and social achievement values. Implications for future research on achievement pride are discussed.
Spectral analysis of the Galactic e+e- annihilation emission

We present a spectral analysis of the e + e - annihilation emission from the Galactic Centre region based on the first year of measurements made with the spectrometer SPI of the INTEGRAL mission. We have found that the annihilation spectrum can be modelled by the sum of a narrow and a broad 511 keV line plus an ortho-positronium continuum. The broad line is detected (significance 3.2 σ ) with a flux of ($0.35 \pm 0.11$) $\times$ 10 -3 photons s -1 cm -2 . The measured width of $5.4\pm1.2$ keV FWHM is in agreement with the expected broadening of 511 keV photons emitted in the annihilation of positroniums that are formed by the charge exchange process of slowing down positrons with hydrogen atoms. The flux of the narrow line is ($0.72 \pm 0.12$) $\times$ 10 -3 photons s -1 cm -2 and its width is $1.3\pm0.4$ keV FWHM . The measured ortho-positronium continuum flux yields a fraction of positronium of ($96.7\pm2.2$)%. To derive in what phase of the interstellar medium positrons annihilate, we have fitted annihilation models calculated for each phase to the data. We have found that 49$^{+2}_{-23}$% of the annihilation emission comes from the warm neutral phase and 51$^{+3}_{-2}$% from the warm ionized phase. While we may not exclude that less than 23% of the emission might come from cold gas, we have constrained the fraction of annihilation emission from molecular clouds and hot gas to be less than 8% and 0.5%, respectively. We have compared our knowledge of the interstellar medium in the bulge (size, density, and filling factor of each phase) and the propagation of positrons with our results and found that they are in good agreement if the sources are diffusively distributed and if the initial kinetic energy of positrons is lower than a few MeV. Despite its large filling factor, the lack of annihilation emission from the hot gas is due to its low density, which allows positrons to escape this phase.
Acute Injury Metalloproteinase 13 Signaling in Response to Macrophages Mediated by JNK-Matrix In Vivo Interstitial Migration of Primitive

Interstitial cell migration through extracellular matrix is a hallmark of the inﬂammation response, tumor invasion, and metastasis. We have established a stable zebraﬁsh transgenic line expressing enhanced GFP under the lysozyme C promoter for visualizing and mea-suring primitive macrophage migration in vivo. We show that tissue-resident primitive macrophages migrate rapidly through extracellular matrix to the site of acute injury induced by tail transection. Mechanistically, the speciﬁc inhibition of JNK, but not p38 and ERK, dramatically abolished the chemotactic migration in a dose-dependent manner, suppressing the trauma-induced recruitment of phosphorylated C-Jun transcription factor to proximal AP-1 sites in the promoter of matrix metalloproteinase 13 ( mmp13 ), a gene speciﬁcally expressed in primitive macrophages during embryogenesis and required for the interstitial migration. Furthermore, dexamethasone suppressed the trauma-induced JNK phosphorylation and macrophage migration accompanied by simultaneous up-regu-lation of mkp-1 , a well-known phosphatase capable of inactivating phosphorylated JNK. The results indicate that the JNK-Mmp13 signaling pathway plays an essential role in regulating the innate immune cell migration in response to severe injury in vivo. The Journal of Immunology, 2008, 181: 2155–2164. tail of the enhanced GFP (EGFP) ) transgenic embryos to investigate the physiological role of the MAPK signaling pathway and downstream factors that regulate the interstitial primitive macrophage migration. Our results indicate that chemotactic migration of primitive macrophages in response to acute injury is predominantly dependent on the JNK-Mmp13 signaling pathway, which can be efﬁciently suppressed by dexamethasone-mediated up-regulation of mkp-1 . The TG(zlyz:EGFP ) transgenic line provides an invaluable tool not only to dissect the molecular pathways underlying cellular
Modeling depression in the rat: the development and usefulness of a female-centric approach

Women are twice as likely to suffer from depression as men, yet stress and depression research has relied primarily on the responses of males. Early life stress is hypothesized to influence the development of vulnerability to depression while adult stress exposure can act as a trigger in those predisposed. This relationship is mediated by other environmental factors. Maternal care and the social environment appear to be particularly important for mammals. The purpose of this thesis was twofold: to develop an animal model of depression for use in female rats based on the chronic mild stress (CMS) model previously validated for use in male rodents, and to apply this model in female offspring of mothers exposed to physical restraint in the second half of gestation representing an early life insult. Results indicate that a modified CMS model was able to alter hedonic and physiological responses not present in the original model. Housing condition interacted with CMS in that effects were evident only in singly housed rats. While gestational stress (GS) altered maternal weight and behavioural profiles related to offspring care and anxiety, little to no behavioural effects were noted in juvenile or adult offspring. Applying the modified CMS model to adult female offspring resulted in an anhedonic-like response that recovered rapidly prior to the third week of CMS. Weight in GS female rats was attenuated throughout life beginning post weaning. When taken together, these results demonstrate that stress-based models, previously established in males, must be altered to accommodate the hormonally intact female rat in two ways: first, to eliminate extraneous variables that may interfere with the estrous cycle and mask possible stress effects, and secondly, to consider the appropriateness of individual stressors to induce a stress response in females. While a general lack of
The simulation of vehicle counting system for traffic surveillance using Viola Jones method

Traffic congestion in Makassar has occurred over the last 3 years due to the increase of vehicle amount with the lack of adequate road space. To solve the problem, the Intelligent Transportation System (ITS) is needed. One of the research topics in ITS is determining the turnover time of traffic lights based on the number of vehicles in the road. Viola-Jones method can be used to count the number of vehicles by detecting objects. Therefore, this study shows a simulation of the number of vehicles using the Viola-Jones method as an initial step to implement the ITS in Makassar. The data used is a front view car pictures. Simulation results show that the average accuracy rate of the detection is determined by the number of samples. For example, the average of the highest detection accuracy is 92% by using 150 positive samples and 300 negative samples were applied to 30 test samples.