Miracle-dz/UniFAR-FTUs huggingface dataset:
Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking

When a software failure is observed during testing or operation, developers traditionally execute the software program again for reproducing the failure to analyze the cause of the failure. However, failures are often hard to reproduce because they depend on factors that are hard to expressly control, such as concurrency and nondeterminism. This paper presents a novel experimental fault analysis process for such "hard-to-reproduce failures". The proposed process consists of three phases: assumption of a hypothesis for the cause of a failure, experiments to examine the hypothesis and confirmation of the experimental results. We formalized the process and implemented it by using model extraction and model checking. Model extraction acts as a bridge between the assumption and experiment. Experiments on failure reproduction are conducted using model checking. The results of the case studies show that the process and tools supporting the process enables developers to detect the cause of hard-to-reproduce failures in industrial software development.
Method of combination of three-dimensional models of details with their CAD-models at the presence of deformations

In this work the combination method of three-dimensional models of processed details with their reference CAD-models when these details have unknown in advance deformation is proposed. This method assumes preliminary transformation of models to clouds of points, special density increasing of these clouds and their iterative combination by means of ICP (Iterative Closest Points) algorithm. Model example demonstrates the efficiency and effectiveness of proposed approach.
Influence of the Nursing Practice Environment on Job Satisfaction and Turnover Intention

Objectives: To examine whether the nursing practice environment at the hospital-level affects the job satisfaction and turnover intention of hospital nurses. Methods: Among the 11 731 nurses who participated in the Korea Health and Medical Workers’ Union’s educational program, 5654 responded to our survey. Data from 3096 nurses working in 185 general inpatient wards at 60 hospitals were analyzed using multilevel logistic regression modeling. Results: Having a standardized nursing process (odds ratio [OR], 4.21; p<0.001), adequate nurse staffing (OR, 4.21; p<0.01), and good doctor-nurse relationship (OR, 4.15; p<0.01), which are hospital-level variables based on the Korean General Inpatients Unit Nursing Work Index (KGU-NWI), were significantly related to nurses’ job satisfaction. However, no hospital-level variable from the KGU-NWI was significantly related to nurses’ turnover intention. Conclusions: Favorable nursing practice environments are associated with job satisfaction among nurses. In particular, having a standardized nursing process, adequate nurse staffing, and good doctor-nurse relationship were found to positively influence nurses’ job satisfaction. However, the nursing practice environment was not related to nurses’ turnover intention.
Protective Effects of Cardamom in Isoproterenol-Induced Myocardial Infarction in Rats

Cardamom is a popular spice that has been commonly used in cuisines for flavor since ancient times. It has copious health benefits such as improving digestion, stimulating metabolism, and exhibits antioxidant and anti-inflammatory effects. The current study investigated the effect of cardamom on hemodynamic, biochemical, histopathological and ultrastructural changes in isoproterenol (ISO)-induced myocardial infarction. Wistar male albino rats were randomly divided and treated with extract of cardamom (100 and 200 mg/kg per oral) or normal saline for 30 days with concomitant administration of ISO (85 mg/kg, subcutaneous) on 29th and 30th days, at 24 h interval. ISO injections to rats caused cardiac dysfunction evidenced by declined arterial pressure indices, heart rate, contractility and relaxation along with increased preload. ISO also caused a significant decrease in endogenous antioxidants, superoxide dismutase, catalase, glutathione peroxidase, depletion of cardiomyocytes enzymes, creatine kinase-MB, lactate dehydrogenase and increase in lipid peroxidation. All these changes in cardiac and left ventricular function as well as endogenous antioxidants, lipid peroxidation and myocyte enzymes were ameliorated when the rats were pretreated with cardamom. Additionally, the protective effects were strengthened by improved histopathology and ultrastructural changes, which specifies the salvage of cardiomyocytes from the deleterious effects of ISO. The present study findings demonstrate that cardamom significantly protects the myocardium and exerts cardioprotective effects by free radical scavenging and antioxidant activities.
Edinburgh Research Explorer Bayesian Inference for PCFGs via Markov Chain Monte Carlo

This paper presents two Markov chain Monte Carlo (MCMC) algorithms for Bayesian inference of probabilistic context free grammars (PCFGs) from terminal strings, providing an alternative to maximum-likelihood estimation using the Inside-Outside algorithm. We illustrate these methods by estimating a sparse grammar describing the morphology of the Bantu language Sesotho, demonstrating that with suitable priors Bayesian techniques can infer linguistic structure in situations where maximum likelihood methods such as the Inside-Outside algo-rithm only produce a trivial grammar.
The Torrance Tests of Creative Thinking - Figural or Verbal: Which One Should We Use?

Abstract Kim’s CATs framework (2016) identified creative climates (C), attitudes (A) and thinking (T) skills for innovation. Creativity can be measured by testing and non-testing methods. Testing methods include creativity tests for climate, attitude and thinking skills. Among the creativity tests available, two versions of the Torrance Tests of Creative Thinking - Figural and Verbal (TTCT-F and V) are most commonly used. I examined the relationships between the two versions as well as their reliability across gender. From preschool children to adults, 994 participants’ scores on the two versions were used. The results showed that scores on the two versions are significantly related, yet TTCT-F is a more comprehensive, reliable and valid measure of creativity than the TTCT-V.
Gender Specific Association of RAS Gene Polymorphism with Essential Hypertension: A Case-Control Study

Renin-angiotensin system (RAS) polymorphisms have been studied as candidate risk factors for hypertension with inconsistent results, possibly due to heterogeneity among various genetic and environmental factors. A case-control association study was conducted to investigate a possible involvement of polymorphisms of three RAS genes: AGT M235T (rs699), ACE I/D (rs4340) and G2350A (rs4343), and AGTR1 A1166C (rs5186) in essential hypertensive patients. A total of 211 cases and 211 controls were recruited for this study. Genotyping was performed using PCR-RFLP method. The genotype and allele distribution of the M235T variant differed significantly in hypertensives and normotensives (OR-CI = 2.62 (1.24–5.76), P = 0.006; OR-CI = 0.699 (0.518–0.943), P = 0.018), respectively. When the samples were segregated based on sex, the 235TT genotype and T allele were predominant in the female patients (OR-CI = 5.68 (1.60-25.10), P = 0.002; OR-CI = 0.522 (0.330–0.826), P = 0.005) as compare to the male patients (OR-CI = 1.54 (1.24–5.76), P = 0.34; OR-CI = 0.874 (0.330–0.826), P = 0.506), respectively. For ACE DD variant, we found overrepresentation of “I”-allele (homozygous II and heterozygous ID) in unaffected males which suggest its protective role in studied population (OR-CI = 0.401 (0.224–0.718); P = 0.0009). The M235T variant of the AGT is significantly associated with female hypertensives and ACE DD variant could be a risk allele for essential hypertension in south India.
Inferring Uncertain Trajectories from Partial Observations

The explosion in the availability of GPS-enabled devices has resulted in an abundance of trajectory data. In reality, however, majority of these trajectories are collected at a low sampling rate and only provide partial observations on their actually traversed routes. Consequently, they are mired with uncertainty. In this paper, we develop a technique called Infer Tra to infer uncertain trajectories from network-constrained partial observations. Rather than predicting the most likely route, the inferred uncertain trajectory takes the form of an edge-weighted graph and summarizes all probable routes in a holistic manner. For trajectory inference, Infer Tra employs Gibbs sampling by learning a Network Mobility Model (NMM) from a database of historical trajectories. Extensive experiments on real trajectory databases show that the graph-based approach of Infer Tra is up to 50% more accurate, 20 times faster, and immensely more versatile than state-of-the-art techniques.
Experiences While Selecting, Adapting and Implementing ERP Systems in SMEs: A Case Study

Enterprise Resource Planning (ERP) systems are important for all kinds of enterprises. The selection and implementation of such systems are very difficult and many projects do not meet their expectations. While large companies have financial and human resources to engage in such a project, the situation for smaller sized enterprises is different. They have only limited budget, human resources and experiences. Hence, this case study describes an EPR selection and implementation project at a small-sized enterprise by analyzing the selection and implementation procedure and its critical success factors.
A patch-based local features and HOG integration model in context of visual categorization

The paper suggests a novel approach for visual key-points description. Our approach is basically integrate the descriptors of local features (e.g. SURF (Speeded Up Robust Features)) and HOG (Histograms of Oriented Gradients) using patch-based integration to enhance the distinctness between image objects. It was tested in the context of image categorization using bag of features model. The experimental results on Caltech101 dataset with 7 categories show that the proposed approach achieve the best performance over several state-of-art approaches. Also this paper investigate the impact of HOG patch-based integration on these methods in terms of accuracy and computational overhead.
Controlling Packet Loss Using Tokens at the Network Edge

The simultaneous data transmission in internet [14] without packet loss very much depends upon congestion control [11]. A series of protocols and algorithms [15] have been introduced for controlling congestion. The network congestion plays a major role in data communication. The performance of the network [13] will be improved by controlling packet loss using congestion control algorithm. When the data packets are transmitted without intermediate station then packet loss leads to the retransmission of packets. It takes more time and increases load on network. A new protocol called STLCC (Stable Token Limited Congestion Control) is proposed for controlling packet loss using tokens. It integrates TLCC [6] and XCP [7] algorithms. TLCC uses the iterative algorithm to estimate the congestion level of its output link and the output rate of the sender is controlled according to the algorithm of XCP, so there is almost no packet loss at the congested link. Thus STLCC can measure the congestion level analytically, allocate network resources [3] according to the access link, and further keep the congestion control system stable.
MediaMem: A dynamically adjustable memory subsystem for high-bandwidth required multimedia SoC systems

Since the continuously growing of multimedia functionalities in modern portable consuming electronics, the computer systems have to integrate multiple media processors on single chip/system to provide better service. However, the insufficient bandwidth of the memory subsystem will make the performance of the multimedia modules unsatisfied. In this paper, we propose an innovative architecture of memory subsystem, aiming for extracting more potential bandwidth of memory access to fulfill the requirements of multiple multimedia processors dynamically. The proposed architecture, called MediaMem, can offers satisfied bandwidth for all attached multimedia processor by proposed two novel scheduling mechanisms that can dynamically adjust the access grants, buffer sizes, and transfer sequences according to real-time situations. Additionally, the memory interconnection is modified to avoid bus contention. The proposed MediaMem architecture has been implemented by SystemC HDL. The whole system functional verification and performance evaluation have been exam by CoWare ConvergenSC. The experimental results are also discussed.
Are We There Yet? Assessing the Readiness of English Department, FKIP-Unpatti for E-Learning and Technology Enhanced Language Learning/Teaching

Every developed universities or even education institutes and agencies strive to tapped into digital/technology enhanced learning/teaching as a way to enriched and improve the quality of education as well as to reach out to the digital natives which are the students. The question remain to the readiness of those involve in the system. E-Learning framework and system are developed, adapted, installed and launched but more often it is focused on the development of the facilities, infrastructure and content. The most important aspects neglected are the users: students and lecturers. The readiness of the students and lecturers is crucial to ensure the outcome of the process. This study employs survey method with questionnaires as its main instrument to obtain and create baseline data of English Department, FKIP-Unpatti. The baseline data is divided into 4 data categories: 1) Demographic Data, 2) Habit and Preferences, 3) Resources and 4) Perceived level of Digital Literacy Skill. The survey will be conducted to students and lecturers of English Department, FKIP-Unpatti. The analysis of the result of the study aims to answer the main overarching question of how ready are the students of English Department, FKIP-Unpatti to embark on E-Learning and Technology Enhanced Language Learning/Teaching.
Adenosine A 1 Receptor-Mediated Presynaptic Inhibition of GABAergic Transmission in Immature Rat Hippocampal CA 1 Neurons

Jeong, Hyo-Jin, Il-Sung Jang, Junichi Nabekura, and Norio Akaike. Adenosine A1 receptor-mediated presynaptic inhibition of GABAergic transmission in immature rat hippocampal CA1 neurons. J Neurophysiol 89: 1214–1222, 2003; 10.1152/jn.00516. 2002. In the mechanically dissociated rat hippocampal CA1 neurons with native presynaptic nerve endings, namely “synaptic bouton” preparation, the purinergic modulation of spontaneous GABAergic miniature inhibitory postsynaptic currents (mIPSCs) was investigated using wholecell recording mode under the voltage-clamp conditions. In immature neurons, adenosine (10 M) reversibly decreased GABAergic mIPSC frequency without affecting the mean current amplitude. The inhibitory effect of adenosine transmission was completely blocked by 8-cyclopentyl-1,3-dipropylxanthine (DPCPX, 100 nM), a selective 1 receptor antagonist, and was mimicked by N-cyclopentyladenosine (CPA, 1 M), a selective 1 receptor agonist. However, CPA had no effect on GABAergic mIPSC frequency in postnatal 30 day neurons. N-ethylmaleimide (10 M), a guanosine 5 -triphosphate binding protein uncoupler, and Ca -free external solution removed the CPAinduced inhibition of mIPSC frequency. K channel blockers, 4-aminopyridine (100 M) and Ba (1 mM), had no effect on the inhibitory effect of CPA on GABAergic mIPSC frequency. Stimulation of adenylyl cyclase with forskolin (10 M) prevented the CPA action on GABAergic mIPSC frequency. Rp-cAMPS (100 M), a selective PKA inhibitor, also blocked the CPA action. It was concluded that the activation of presynaptic 1 receptors modulates the probability of spontaneous GABA release via cAMPand protein kinase A dependent pathway. This 1 receptor-mediated modulation of GABAergic transmission may play an important role in the regulation of excitability of immature hippocampal CA1 neurons.
“Systematic Combining”: An approach to case research

Abstract “Systematic combining” is a non-linear, non-positivistic, approach to case study research. The paper describes the central features of this research framing with regard to two basic processes: matching and direction/re-direction. These processes impact, and are affected by, two significant forms of interplay: theory vs. empirics, and the analytical framework vs. the evolving case. Major diversities in relation to the mainstream literature on case studies are discussed with regard to the perspective on the research process, the view of multiple and single case studies, the relevance of replication and generalization, and the role of the context. Moreover, three current challenges for qualitative research are identified. First, increasing methodological specialization and sophistication tend to disintegrate methodology from the important linkages to theory and research phenomenon. Second, mainstream requirements for replication and generalization lead to isolation of the research phenomenon from the empirical context, thus undermining the main advantage of the case study approach. Third, in order to improve the scientific recognition of qualitative case studies, researchers need to develop their abilities to convince readers about the relevance of their findings by providing better accounts for the research approach applied.
Mitochondrial dysfunction in Parkinson disease: evidence in mutant PARK2 fibroblasts

Mutations in PARK2, encoding Parkin, cause an autosomal recessive form of juvenile Parkinson Disease (JPD). The aim of the present study was to investigate the impact of PARK2 mutations on mitochondrial function and morphology in human skin fibroblasts. We analyzed cells obtained from four patients clinically characterized by JPD, harboring recessive mutations in PARK2. By quantitative PCR we found a reduction (<50%) of PARK2 transcript in all patients but one; however Western Blot analysis demonstrated the virtual absence of Parkin protein in all mutant fibroblasts. Respiration assays showed an increment of oxygen consumption, which was uncoupled to ATP cellular levels. This finding was probably due to presence of altered mitochondrial membrane potential (ΔΨm), confirmed by JC-1 analysis. The mitochondrial network was comparable between mutant and control cells but, interestingly, a “chain-like” network was found only in mutant fibroblasts. Dissipation of ΔΨm usually leads to mitochondrial fragmentation in healthy cells and eventually to mitophagy; however, this behavior was not observed in patients' fibroblasts. The absence of mitochondrial fragmentation in mutant Parkin fibroblasts could results in accumulation of damaged mitochondria not targeted to mitophagy. This condition should increase the oxidative stress and lead to cellular dysfunction and death. Our results suggest that PARK2 mutations cause mitochondrial impairment, in particular reduction in ATP cellular levels and alteration of ΔΨm, even in non-neuronal cells and confirm the hypothesis that Parkin holds a pivotal role in pro-fission events.
Coordination guided reinforcement learning

In this paper, we propose to guide reinforcement learning (RL) with expert coordination knowledge for multi-agent problems managed by a central controller. The aim is to learn to use expert coordination knowledge to restrict the joint action space and to direct exploration towards more promising states, thereby improving the overall learning rate. We model such coordination knowledge as constraints and propose a two-level RL system that utilizes these constraints for online applications. Our declarative approach towards specifying coordination in multi-agent learning allows knowledge sharing between constraints and features (basis functions) for function approximation. Results on a soccer game and a tactical real-time strategy game show that coordination constraints improve the learning rate compared to using only unary constraints. The two-level RL system also outperforms existing single-level approach that utilizes joint action selection via coordination graphs.
Region-based online promotion analysis

This paper addresses a fundamental and challenging problem with broad applications: efficient processing of region-based promotion queries, i.e., to discover the top-k most interesting regions for effective promotion of an object (e.g., a product or a person) given by user, where a region is defined over continuous ranged dimensions. In our problem context, the object can be promoted in a region when it is top-ranked in it. Such type of promotion queries involves an exponentially large search space and expensive aggregation operations. For efficient query processing, we study a fresh, principled framework called region-based promotion cube (RepCube). Grounded on a solid cost analysis, we first develop a partial materialization strategy to yield the provably maximum online pruning power given a storage budget. Then, cell relaxation is performed to further reduce the storage space while ensuring the effectiveness of pruning using a given bound. Extensive experiments conducted on large data sets show that our proposed method is highly practical, and its efficiency is one to two orders of magnitude higher than baseline solutions.
On throughput-delay tradeoff of network coding for wireless communications

This paper consists of two main parts. In the first part, our aim is to introduce the reader to the fundamental issue of throughput-delay tradeoff in network coding for wireless communication systems. We discuss important classes of wireless network coding in the literature and identify their advantages and disadvantages in terms of throughput and delay. We also briefly present practical design considerations such as how to control the data rate, feedback overhead, and implementation complexity. In the second part, we present a case study of the throughput-delay tradeoff in generation-based network coding for wireless broadcast. We first show how partitioning a partially-received generation of data packets into sub-generations will impact the throughout and delay.We then introduce the concepts of local- and Pareto-optimal partitioning solutions, and derive as a special case, the Pareto-optimal partitioning solution obtained from instantly decodable network coding. This solution is then used to construct a new coding framework that provides more operating points on the throughput-delay tradeoff curve compared to existing schemes in the literature. Finally, we briefly discuss the design flexibilities this framework offers, such as reduced feedback overhead.