Miracle-dz/UniFAR-FTUs huggingface dataset:
Towards a context-aware IDE-based meta search engine for recommendation about programming errors and exceptions

Study shows that software developers spend about 19% of their time looking for information in the web during software development and maintenance. Traditional web search forces them to leave the working environment (e.g., IDE) and look for information in the web browser. It also does not consider the context of the problems that the developers search solutions for. The frequent switching between web browser and the IDE is both time-consuming and distracting, and the keyword-based traditional web search often does not help much in problem solving. In this paper, we propose an Eclipse IDE-based web search solution that exploits the APIs provided by three popular web search engines-Google, Yahoo, Bing and a popular programming Q & A site, StackOverflow, and captures the content-relevance, context-relevance, popularity and search engine confidence of each candidate result against the encountered programming problems. Experiments with 75 programming errors and exceptions using the proposed approach show that inclusion of different types of contextual information associated with a given exception can enhance the recommendation accuracy of a given exception. Experiments both with two existing approaches and existing web search engines confirm that our approach can perform better than them in terms of recall, mean precision and other performance measures with little computational cost.
Coupling Latency Time to the Throughput Performance Analysis on Wireless CAN Networks

CAN networks, called controller area networks, can be used in the framework of real-time distributed industrial applications. Wireless CAN gives a solution when industrial mobile stations under certain constraints should continue to use the CAN protocol as a frame exchange protocol. In wireless CAN, we adopt the use of the RTS/CTS mechanism to gain access to the medium in a first step and to exchange ordinary CAN frames in a second step. We focus, in this paper, on the performance evaluation of wireless CAN by coupling the two criteria: the throughput and the latency time. After analyses, we deduce that when we increase the payload, the latency time along with the throughput increase respectively. Thus, in this way our work, in this paper, consists in computing the throughput-latency time couple that would guarantee a maximum throughput and minimum latency time in the case of WCAN
The Implications of Future Demographic Change on Obesity and the Economic Cost Associated with Obesity in Georgia, 2000-2040

In this paper we examine the implications of future demographic change, particularly the size, composition, and racial/ethnic diversification of population, on obese adult population in Georgia and the economic costs associated with these obese adults from 2000 to 2040. The number of obese adults is projected to increase from 1.5 million in 2000 to 4.3 million in 2040, along with an increase in total costs from $2.1 billion to $6.2 billion. Decomposition analysis suggests that the changes in obesity are predominantly driven by population growth, aging and diversification of population in Georgia. The demographic changes in Georgia are likely to resemble those of the nation, with minorities becoming the majority by 2042. The projected trends for Georgia may be applied to the nation, which depends on the assumptions made about population growth and changes in obesity. This analysis provides information about how obesity could develop through 2040 and what factors contribute to this development.
The Development and Validation of the Empathy Components Questionnaire (ECQ)

Key research suggests that empathy is a multidimensional construct comprising of both cognitive and affective components. More recent theories and research suggest even further factors within these components of empathy, including the ability to empathize with others versus the drive towards empathizing with others. While numerous self-report measures have been developed to examine empathy, none of them currently index all of these wider components together. The aim of the present research was to develop and validate the Empathy Components Questionnaire (ECQ) to measure cognitive and affective components, as well as ability and drive components within each. Study one utilized items measuring cognitive and affective empathy taken from various established questionnaires to create an initial version of the ECQ. Principal component analysis (PCA) was used to examine the underlying components of empathy within the ECQ in a sample of 101 typical adults. Results revealed a five-component model consisting of cognitive ability, cognitive drive, affective ability, affective drive, and a fifth factor assessing affective reactivity. This five-component structure was then validated and confirmed using confirmatory factor analysis (CFA) in an independent sample of 211 typical adults. Results also showed that females scored higher than males overall on the ECQ, and on specific components, which is consistent with previous findings of a female advantage on self-reported empathy. Findings also showed certain components predicted scores on an independent measure of social behavior, which provided good convergent validity of the ECQ. Together, these findings validate the newly developed ECQ as a multidimensional measure of empathy more in-line with current theories of empathy. The ECQ provides a useful new tool for quick and easy measurement of empathy and its components for research with both healthy and clinical populations.
Pursuit-evasion game for normal distributions

In this paper we consider a probabilistic model of a pursuit-evasion game on Rn, in which neither pursuer nor evader positions are known with certainty. Both parties are represented by normal distributions that evolve according to a Kalman filter as new sensor readings (observation from overhead camera/satellite images) are obtained. The objective is to design the control commands issued by the pursuer (which is executed noisily). The control commands issued by the evader are unknown - only sensor measurements are given. Even with such limited knowledge we prove boundedness of a distance between the pursuer's distribution and the evader's true distribution (one that takes into account the evader's control commands). Our simulation results support the claimed guarantees.
Type IIA AdS4 compactifications on cosets, interpolations and domain walls

We present a classification of a large class of type IIA = 1 supersymmetric compactifications to AdS4, based on left-invariant SU(3)-structures on coset spaces. In the absence of sources the parameter spaces of all cosets leading to a solution contain regions corresponding to nearly-Kahler structure. I.e. all these cosets can be viewed as deformations of nearly-Kahler manifolds. Allowing for (smeared) six-brane/orientifold sources we obtain more possibilities. In the second part of the paper, we use a simple ansatz, which can be applied to all six-dimensional coset manifolds considered here, to construct explicit thick domain wall solutions separating two AdS4 vacua of different radii. We also consider smooth interpolations between AdS4 × 6 and 1,2 × 7, where 6 is a nearly-Kahler manifold and 7 is the G2-holonomy cone over 6.
Lattice Rescoring for Speech Recognition using Large Scale Distributed Language Models

In this paper, we suggest a lattice rescoring architecture that has features of a Trie DB based language model (LM) server and a naive parameter estimation (NPE) to integrate distributed language models. The Trie DB LM server supports an efficient computation of LM score to rerank the n-best sentences extracted from the lattice. In the case of NPE, it has a role of an integration of heterogeneous LM resources. Our approach distributes LM comp utations not only to distribute LM resources. This is simple and easy to implement and maintain the distributed lattice rescoring architecture. The experimental results show that the performance of the lattice rescoring has improved with the NPE algorithm that can find the optimal weights of the LM interpolation. In addition, we show that it is available to integrate n-gram LM and DIMI LM.
An Improved Hybrid PWM Technique for DC Capacitors Voltage Balance of Five Level DCMLI

The innate problem with five-level Diode Clamped Multi Level Inverter (DCMLI) is imbalance in supply DC capacitor voltages. This paper presents a novel Hybrid Pulse Width Modulation (PWM) technique to stabilize the capacitor voltages. The unbalance in capacitor voltages leads to decrement in inverter level, increase in switching stress and distortion in the output voltage. The existing solutions to this problem use either a back to back connection of inverter and rectifier or external dc sources for each capacitor, but there isn’t a solution which would inherently balance the capacitor voltages of five levels and above for DCMLI. To rectify this problem a novel hybrid PWM technique which is combination of Carrier based PWM (CBPWM) and Space Vector Modulation (SVM) is proposed. As per this technique conventional CBPWM is applied to meet the load demand and SVM is applied at certain selective intervals to balance the capacitors. The novelty lies in selection of appropriate switching state and the interval at which it must be applied to balance the capacitor voltages. This technique is simple to implement and gives rise to less switching losses.
Reliability Estimation and Analysis of Linux Kernel

: Latest stable version of Linux kernel used by all Linux based operating system is 2.6 series. The purpose of this study is to develop an optimized reliability model suitable for this version of the kernel and analyze its reliability by fitting this model. By using goodness of fit test best distributions (first two) on the basis of their rankings are selected. Collected failure data are modeled by these two distributions and parameters are estimated by using the method of maximum likelihood functions, which is considered as best method of estimation. Data are extracted in raw format from different sources than after appropriate preprocessing and using SQL queries it is stored in MYSQL Database under Linux Operating System. On the basis of both selected distributions reliability models are constructed and appropriate formula is derived for estimating reliability by using constructed models. Ultimately reliability estimates using derived models are compared and result is shown.
A novel framework to prevent privacy breach in cloud data storage area service

The present paper focuses on user data privacy invasion and it is more important in cloud data storage. Numerous approaches and techniques have proposed so for, to preserve the cloud user privacy. This paper introduces a layered framework for preserving secrecy of cloud user and preventing digital data loss, using onion privacy layer, garlic privacy layer. This layered framework prevents the confidential information by multiple encryption of onion and garlic privacy preserving layered approach.
On Link Stability Metric and Fuzzy Quantification for Service Selection in Mobile Vehicular Cloud

Vehicular cloud (VC) is a promising environment, where intelligent transport applications can be developed relying on mobile vehicles, which can be both cloud users and cloud service providers. It enables vehicles that have sufficient resources to act as mobile cloud servers by offering a variety of services to users’ vehicles. In this context, to consume a cloud service on the move, a user vehicle must first identify the most stable vehicles, relative to his/her motion, which are able to provide the service, and then select the most suitable service according to his/her preferences, while both provider vehicles and their services are described by attributes or quality constraints. Therefore, we introduce a generic relative motion model, as a generic link stability metric, upon which vehicles can form a stable cloud, and we address the VC service selection by using linguistic quantifiers and fuzzy quantified propositions, to define our flexible quantified service selection (FQSS) scheme, which aggregates efficiently both user preferences and service constraints and ranks service providers from the most to the least satisfactory. To break ties among the top-ranked service providers, we make use of our parameters for ranking refinement, called least satisfactory proportion (lsp) and greatest satisfactory proportion (gsp). The simulation results show that our link stability achieves generic motion, by modeling a wider range of vehicle motion types, and our FQSS scheme allows a good successful service consumption rate while reducing latency.
Voltage Sag Effect on Three Phase Five Leg Transformers

The behavior of three phase five leg transformer under voltage sag is studied in this paper. This paper proposes a simple, practical model of a three phase-five leg, saturated transformer with accurate performance. Transformer saturation is produced when the voltage sag is recovered and it causes inrush current in transformer. Effects of voltage sag depth, duration and initial point on wave have been analyzed in this paper. Initial point on wave can produce maximum inrush current in five leg transformers while comparing with three leg transformers. The magnetic circuit symmetry of five leg transformer produces the more symmetrical shape of inrush current curves versus initial point on wave and sag duration than three leg transformer. The simulations show that current peak has a periodical dependence on sag duration and linear dependence on sag depth. Inrush current that is produced in three phase five leg transformer is higher than three phase three leg transformer. Keywords—Inrush current, three phase five leg transformer, saturation, voltage sag.
ST-11: A New Brain-Penetrant Microtubule-Destabilizing Agent with Therapeutic Potential for Glioblastoma Multiforme

Glioblastoma multiforme is a devastating and intractable type of cancer. Current antineoplastic drugs do not improve the median survival of patients diagnosed with glioblastoma multiforme beyond 14 to 15 months, in part because the blood–brain barrier is generally impermeable to many therapeutic agents. Drugs that target microtubules (MT) have shown remarkable efficacy in a variety of cancers, yet their use as glioblastoma multiforme treatments has also been hindered by the scarcity of brain-penetrant MT-targeting compounds. We have discovered a new alkylindole compound, ST-11, that acts directly on MTs and rapidly attenuates their rate of assembly. Accordingly, ST-11 arrests glioblastoma multiforme cells in prometaphase and triggers apoptosis. In vivo analyses reveal that unlike current antitubulin agents, ST-11 readily crosses the blood–brain barrier. Further investigation in a syngeneic orthotopic mouse model of glioblastoma multiforme shows that ST-11 activates caspase-3 in tumors to reduce tumor volume without overt toxicity. Thus, ST-11 represents the first member of a new class of brain-penetrant antitubulin therapeutic agents. Mol Cancer Ther; 15(9); 2018–29. ©2016 AACR.
Markovian Models Based Stochastic Communication in Networks-in-Package

Like networks-on-chip (NoC), a solution for inter intellectual properties (IPs) communication in system-on-chip (SoC), networks-in-package (NiP) is a solution for inter NoCs communication in system-in-package (SiP), where power dissipation, performance, and size of processing package are the major issues. NiP is a group of NoCs mounted on a single package. Developing a design methodology for local communication in NoC and global communication in NiP poses novel and exciting challenges to the electronic design and automation (EDA) community. This paper introduces a novel communication paradigm, which merges these two communications. Transfer of information in NoC and among NoCs can be represented using closed donor controlled based compartmental model, convertible into a stochastic model. This stochastic model is more realistic and enables to compute the transition probabilities for dynamic allocation of single buffer, energy saving from inactive routers, and expected delay in NoC and among NoCs. Moreover, at any particular instant of time (while the transition probability is maximum) we can track the packets among on chip routers or switching elements (SEs). These tracked packets are used in the real time applications such as robotics, real time data acquisitions, and control applications.
New results on stochastic stability of discrete-time Unscented Kalman Filter

Performance of the Unscented Kalman Filter, UKF, for nonlinear stochastic discrete-time systems is investigated. It is proved that under certain conditions, the estimation error of the UKF remains bounded. Furthermore, it is shown that the design of noise covariance matrix plays an important role in improving the stability of the UKF algorithm. It is further shown the estimation error remains bounded the nonlinear observability rank condition is satisfied. These results are verified by numerical simulations for a relevant illustrative example.
Dense full-diversity matrix lattices for four transmit antenna MISO channel

We construct some geometrically dense matrix lattices with good minimum determinants for 4 transmit antenna MISO applications. The construction is based on the theory of rings of algebraic integers and related subrings of the Hamiltonian quaternions. Simulations in a quasi-static Rayleigh fading channel show that our dense quaternionic constructions outperform the earlier rectangular lattices as well as the DAST-lattice
Development of tetra chamber actuator

A new pneumatic linear actuator made of a thin flexible rubber is developed for locomotion in narrow paces. The actuator is named "tetra chamber actuator". This new actuator has an ability of object transportation and locomotion. The actuator was designed based on non-linear FEM analysis considering geometrical and material nonlinearity, fabricated and evaluated. The working principle of this actuator is based on a traveling elastic deformation wave drive and the actuator was designed to generate large track of the deformation and to have an ability of bidirectional propelling. The actuator shape was designed in detail using nonlinear FEM analysis and was fabricated by CAD/CAM system based on the results of analysis. The prototype is 10times10 mm in size. The experiments were made about its basic characteristics and object transportation ability. The prototype generates the motion about six times larger than that of conventional similar actuators to show its great potential.
Inclusive Global Citizenship Education: Measuring Types of Global Citizens

In three studies, we constructed and provided initial evidence of validity for a measure of types of global citizenship. Oxley and Morris (2013) proposed eight different types of global citizens based on prior theory (e.g., moral, economic). We constructed and examined the factor structure of a measure of these different types (Study 1). With the exception of a social dimension of global citizenship, all of the proposed types appeared to be distinct factors. In Study 2, we found the same factor structure in a different sample of participants and examined associations between the dimensions and prosocial values related to global citizenship (e.g., social justice, intergroup helping). Lastly, in Study 3 we examined the associations between the seven different types of global citizenship, different types of intended activist behaviors, and various values (e.g., moral foundations, core political values). Together, the results suggest that the measure of global citizen types is a valid and reliable measure.
Effects of Hot Water Extracts from Polygonum multiflorum on Ovariectomy Induced Osteopenia in Mice

Polygonum multiflorum (PM), a traditional Chinese medicine, is used to treat various diseases including nonalcoholic fatty liver disease and hyperlipidemia. However, the influence of PM on osteoporosis in animals is unclear. The present study investigated the antiosteoporotic effect of PM on bone mass in ovariectomized (OVX) mice and its possible mechanism of action. Twenty-five female C3H/HeN mice were divided into five groups of five mice as follows. Sham-operated control mice received daily oral gavage of an equal volume of water, and OVX mice received daily oral gavage of water or an injection of β-estradiol or PM for 6 weeks. Administration of PM significantly suppressed body weight and organs weight and increased weight and length of bone compared with the OVX group. Treatment with PM reversed osteopenia in OVX mice, thereby improving the bone morphometric parameters. Moreover, histological analysis using hematoxylin and eosin staining showed that PM inhibited OVX-induced bone loss. Serum estradiol and bone alkaline phosphatase levels were significantly decreased in the OVX group, with the levels increasing with PM treatment. In addition, tartrate-resistant acid phosphatase activity was inhibited by PM in OVX mice. These results suggest that PM is effective in preventing bone loss in OVX mice.
Assembly and annotation of a BAC clone from a newly sequenced genome of Anopheles funestus Faruck Morcos

Whole genome sequencing of disease vectors such as Aedes aegypti, Anopheles gambiae, and recently Anopheles funestus are enabling scientists to identify and investigate regions involved in the genetic plasticity of these vectors in order to formulate new disease control strategies. In the current study, sequence data from a single Anopheles funestus BAC clone is examined in order to predict and annotate genes in this region. After cloning, cleaning contaminating sequences, and assembling a consensus BAC sequence, several prediction algorithms provided the data then used to refine the predictions by selecting only overlapping predicted genes. These genes and the assembled BAC sequence were compared to the Drosophila melanogaster and Anopheles gambiae annotated genomes found in the Ensembl database. Two genes of the Anopheles funestus BAC were found with high similarity in Drosophila melanogaster. Furthermore, these genes showed synteny across Anopheles funestus and Drosophila melanogaster by appearing in clusters in both organisms. A high degree of conservation of one of these genes was discovered when compared with Anopheles gambiae; this gene presented a 100% similarity with respect to the BAC sequence. Putative genes belonging to the KQT Potassium Voltage Gated Channel Subfamily were found to belong to a syntenic cluster conserved both in Drosophila melanogaster and in Anopheles gambiae.
TinyPC: enabling low-cost internet access in developing regions

Benefits of the Internet and communication technologies are limited to the world's "first-world" population. Cost factors, low literacy, and limited access to power and bandwidth in developing regions prohibit Internet access for potential developing-world users. Apart from limited communication infrastructure (telephone lines, ISPs, 802.11 long-distance links, etc.) a fundamental road-block in providing Internet access to developing-world users is the lack of affordable end-user computing devices. Most previous attempts to develop inexpensive computing devices were commercial failures as they were unable to keep the retail costs low. In this paper we present the design of TinyPC - a low-cost computing device specifically aimed at providing basic Internet access (web browsing, email) to developing-world users. TinyPC is inspired by recent advances in embedded networked systems (like sensor networks) and we show that, even today, with TinyPC it is possible to connect a developing-world user to the Internet in price ranges well below $100.