Miracle-dz/UniFAR-FTUs huggingface dataset:
Proceedings of International conference on Intelligent Computational Systems

Fault-proneness of a software module is the probability that the module contains faults. A correlation exists between the fault-proneness of the software and the measurable attributes of the code (i.e. the static metrics) and of the testing (i.e. the dynamic metrics). Early detection of fault-prone software components enables verification experts to concentrate their time and resources on the problem areas of the software system under development. Among various clustering techniques available in literature K-means clustering approach is most widely being used. This paper introduces K-means based Clustering approach for software finding the fault proneness of the Object-Oriented systems. The contribution of this paper is that it has used Metric values of JEdit open source software for generation of the rules for the categorization of software modules in the categories of Faulty and non faulty modules and thereafter empirically validation is performed. The results are measured in terms of accuracy of prediction, probability of Detection and Probability of False Alarms. Keywords— K-means, Software Fault, Classification, Object Oriented Metrics.
Focused Grounding for Markov Logic Networks

Markov logic networks have been successfully applied to many problems in AI. However, the computational complexity of the inference procedures has limited their application. Previous work in lifted inference, lazy inference and cutting plane inference has identified cases where the entire ground network need not be constructed. These approaches are specific to particular inference procedures, and apply well only to certain classes of problems. We introduce a method of focused grounding that can use either general purpose or domain specific heuristics to produce only the most relevant ground formulas. Though a solution to the focused grounding is not, in general, a solution to the complete grounding, we show empirically that the smaller search space of a focused grounding makes it easier to locate a good solution. We evaluate focused grounding on two diverse domains, joint entity resolution and abductive plan recognition. We show improved results and decreased computation cost for the entity resolution domain relative to a complete grounding. Focused grounding in abductive plan recognition produces state of the art results in a domain where complete grounding
Face recogntion in open world environment

Face recognition in open world environment is a very challenging task due to variant appearances of the target persons and a large scale of unregistered probe faces. In this paper we combine two parallel classifiers, one based on the Local Binary Pattern (LBP) feature and the other based on the Gabor features, to build a specific face recognizer for each target person. Faces used for training are borderline patterns obtained through a morphing procedure combing target faces and random non-target ones. Grid-search is applied to find an optimal morphing-degree-pair. By using an AND operator to integrate the prediction of the two complementary parallel classifiers, many false positives are eliminated in the final results. The proposed algorithm is compared with the Robust Sparse Coding method, using selected celebrities as the target persons and the images from FERET as the non-target faces. Experimental results suggest that the proposed approach is better at tolerating the distortion of the target person's appearance and has a lower false alarm rate.
Constructing a Model of Best Practice

This paper reports on a study of inquiry and teacher development in a middle school science reform project. A model was developed that examined the dialectical interaction between teachers' concerns about their classroom practice and the culture of their professional setting, the school. This model sees the interaction of these two concerns as a zone of proximinal development for teachers. An examination of the literature shows support for how this model can explain both the successes and the breakdowns that occur in this zone. The project, Scientific Process, Practice, and Presentation: Applying Resources and Knowledge (SPARK), is the source of the data for this study. The goal of SPARK is to promote and support systemic change within middle schools in terms of teacher practice, student activity, and school culture. Contains 18 references. (DDR) ******************************************************************************** Reproductions supplied by EDRS are the best that can be made from the original document. ******************************************************************************** New York Academy of Sciences Teachers as Inquirers: Constructing a Model of Best Practice Robert A. Boyle Lori Skopp New York Academy of Sciences PERMISSION TO REPRODUCE AND DISSEMINATE THIS MATERIAL HAS BEEN GR NTED BY TO THE EDUCATIONAL RESOURCES INFORMATION CENTER (ERIC) Paper presented at the Annual Meeting of the National Association for Research in Science Teaching April 22,1998 San Diego, CA 2 East 63rd Street New York, NY 10021 T: 212.838. 0230 F: 212.838. 5810 E: nyas@nyas.org http://www.nyas.org Serving Science, Technology, and Society Worldwide Since 1817 Cr U.S. DEPARTMENT OF EDUCATION Office of Educational Research and Improvement EDUCATIONAL RESOURCES INFORMATION CENTER (ERIC) This document has been reproduced as ived from the person or organization originating it. Minor changes have been made to improve reproduction quality. Points of view or opinions stated in this document do not necessarily represent official OERI position or policy.
Outsourcing Success: Critical managerial factors in the services sector

Competition in modern business is competition among business networks. In businesses, outsourcing has become a common practice. Managers’ responsibility has broadened from managing business to managing business context including outsourcing. The overall aim of this paper is to develop a framework which considers all the important factors and their interactions in measuring outsourcing success. The framework is derived from the perspectives of resource dependency and social exchange theories. Degrees of outsourcing, vendor management capability and vendor’s service performance, have been deduced as the most critical factors which influence outsourcing success. Compatibility between partners and partnership quality are proposed to respectively mediate and moderate the effect on outsourcing success.
DETERMINE THE FORCES IN THE MUSCLES OF THE LEG AND FOOT WHILE MOVING HELP MODELING AND TESTING

In this paper, a four-segment musculoskeletal model of the floor and legs is created in AnyBody in which are considered all the muscles and ligaments of the leg and foot. To obtain input this dynamic problem (ground reaction force and path components in the foot during walking) on subjects with normal foot motion analysis and force plate testing has been done. To solve the model and determine the muscle forces is used of the two criteria min-max optimization and fifth order polynomial. For validation, Electromyography testing has been done on the subject. The review results be determined that the min-max optimization criteria than fifth order polynomial optimization criteria estimates closer approximation to the actual muscle activity estimates. Modeling with both criteria min-max and fifth order polynomial, in the anterior tibia muscle activation patterns are weaker than other
Shared Access : reserve prices and revenue-fairness tradeoffs

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Auction mechanisms for Licensed Shared Access: reserve prices and revenue-fairness tradeoffs Ayman Chouayakh, Aurelien Bechler, Isabel Amigo, Loutfi Nuaymi, Patrick Maillé
Delegating OpenGL commands to host for hardware support in virtualized environments

Today, the virtualization is a very important technology which is widely used in various area, from small mobile devices to virtual machine (VM) servers for large scale cloud computing. Now, hypervisor provides CPU and memory resources for the VMs with high performance like native machine through many researches on the virtualized environment. However, device virtualization techniques, especially those for GPU devices, are less studied than the other virtualization techniques. It is a chief obstacle to perform graphics processing in the virtualized environment. Since VM cannot access the physical GPU device directly, existing GPU device virtualization techniques have some limitations on 3D acceleration. Especially, those techniques spend more time to perform graphics processing because they use software rendering on the Mesa Software Fallback module in the guest OS. In this paper, we propose a GPU device virtualization technique that can improve OpenGL graphics performance. By using concurrent I/O request queue between the host emulation process and the guest OS, GPU device can be accessed directly. Our scheme can avoid graphics processing in the graphics stack of the guest OS and also can reduce vmexit overheads. The emulation process can perform the graphics processing using GPU hardware rendering. Our evaluation shows that the proposed technique has about 2.5x higher frame rate than existing Mesa software rendering.
A 0.25-μm 20-dBm 2.4-GHz CMOS power amplifier with an integrated diode linearizer

A 2.4-GHz CMOS power amplifier (PA) with an output power 20 dBm using 0.25-/spl mu/m 1P5M standard CMOS process is presented. The PA uses an integrated diode connected NMOS transistor as a diode linearizer. It is believed that this is the first reported use of the diode linearization technique in CMOS PA design. It shows effective improvement in linearity from gain compression and ACPR measured results. Measurements are performed by using an FR-4 PCB test fixture. The fabricated power amplifier exhibits an output power of 20 dBm and a power-added efficiency as high as 28%. The obtained PA performances demonstrate the standard CMOS process potential for medium power RF amplification at 2.4 GHz wireless communication band.
Treatment of low back pain with a herbal or synthetic anti-rheumatic: a randomized controlled study. Willow bark extract for low back pain.

OBJECTIVES To compare the effects of a proprietary extract of willow bark (Assalix) and a selective inhibitor (rofecoxib) of the enzyme cyclo-oxygenase-2 (COX-2). METHODS An open, randomized, post-marketing study was carried out in an out-patients clinic on two groups of patients aged 18 to 80 yr presenting over a 6-month period with acute exacerbations of low back pain. Using computer-generated random list, 114 patients were allocated to receive a daily dose of herbal extract containing 240 mg of salicin [PAID (phyto-anti-inflammatory drug) group] and 114 were allocated to receive 12.5 mg of the synthetic COX-2 inhibitor rofecoxib [NSAID (non-steroidal anti-inflammatory drug) group]. The doses were chosen according to existing recommendations. All patients were free to use whatever additional conventional treatments were thought necessary. The outcome measures were a modified Arhus index, its pain component and the Total Pain Index. RESULTS Groups were well matched. After 4 weeks of treatment, the Arhus index had improved by about 20%, its pain component by about 30% and the Total Pain Index by about 35%. The number of pain-free patients (visual analogue scale score <2) was about 20 in each group. About 60% of the patients in each group responded well to the treatment (as judged by an improvement of >/=30% in the Total Pain Index relative to its baseline). The improvement was also reflected reasonably well in the physicians' and patients' judgements of the effectiveness of treatment, which were largely concordant. Few patients of either group resorted to the additional conventional treatment options. The incidence of adverse events was similar in the two groups. Treatment with rofecoxib was about 40% more expensive than that with Assalix. CONCLUSION There was no significant difference in effectiveness between the two treatments at the doses chosen. Treatment with Assalix was less expensive.
Fine-Grained, Secure and Efficient Data Provenance for Blockchain

The success of Bitcoin and other cryptocurrencies bring enormous interest to blockchains. A blockchain system implements a tamper-evident ledger for recording transactions that modify some global states. The system captures entire evolution history of the states. The management of that history, also known as data provenance or lineage, has been studied extensively in database systems. However, querying data history in existing blockchains can only be done by replaying all transactions. This approach is applicable to large-scale, offline analysis, but is not suitable for online transaction processing. We present LineageChain , a fine-grained, secure and efficient provenance system for blockchains. LineageChain exposes provenance information to smart contracts via simple and elegant interfaces, thereby enabling a new class of blockchain applications whose execution logics depend on provenance information at runtime. LineageChain captures provenance during contract execution, and efficiently stores it in a Merkle tree. LineageChain provides a novel skip list index designed for supporting efficient provenance query processing. We have implemented LineageChain on top of Hyperledger and a blockchain-optimized storage system called ForkBase. Our extensive evaluation of LineageChain demonstrates its benefits to the new class of blockchain applications, its efficient query, and its small storage overhead.
Model Companions of T Aut for Stable T

We introduce the notion T does not omit obstructions. If a stable theory does not admit obstructions then it does not have the (cid:2)nite cover property (nfcp). For any theory T , form a new theory T Aut by adding a new unary function symbol and axioms asserting it is an automorphism. The main result of the paper asserts the following: If T is a stable theory, T does not admit obstructions if and only if T Aut has a model companion. The proof involves some interesting new consequences of the nfcp. rediscovery of a theorem of Winkler [11] in the 70s. We provide necessary and suf(cid:2)cient conditions for T Aut to have a model companion when T is stable. Namely, we introduce a new condition, T admits obstructions , and show that T Aut has a model companion if and only if T does
An Accretion Model for Anomalous X-Ray Pulsars

We present a model for the anomalous X-ray pulsars (AXPs) in which the emission is powered by accretion from a fossil disk, established from matter falling back onto the neutron star following its birth. The time-dependent accretion drives the neutron star toward a "tracking" solution in which the rotation period of the star increases slowly, in tandem with the declining accretion rate. For appropriate choices of disk mass, neutron star magnetic field strength, and initial spin period, we demonstrate that a rapidly rotating neutron star can be spun down to periods characteristic of AXPs on timescales comparable to the estimated ages of these sources. In other cases, accretion onto the neutron star switches off after a short time and the star becomes an ordinary radio pulsar. Thus, in our picture, radio pulsars and AXPs are drawn from the same underlying population, in contrast to the situation in models involving neutron stars with ultrastrong magnetic fields, which require a new population of stars with very different properties.
PCDH 15 is expressed in the neurosensory epithelium of the eye and ear and mutant alleles are responsible for both USH 1 F and DFNB 23

Section on Human Genetics, Section on Gene Structure and Function, Laboratory of Molecular Genetics, and Hearing Section, National Institute on Deafness and Other Communication Disorders, National Institutes of Health, Rockville, MD, USA, National Center of Excellence in Molecular Biology, Punjab University, Lahore, Pakistan, Department of Ophthalmology, University of Maryland School of Medicine, Baltimore, MD, USA and National Eye Institute, National Institutes of Health, Bethesda, MD, USA
Alzheimer Disease

ABSTRACTPurpose of Review: This article discusses the recent advances in the diagnosis and treatment of Alzheimer disease (AD). Recent Findings: In recent years, significant advances have been made in the fields of genetics, neuroimaging, clinical diagnosis, and staging of AD. One of the most important recent advances in AD is our ability to visualize amyloid pathology in the living human brain. The newly revised criteria for diagnosis of AD dementia embrace the use for biomarkers as supportive evidence for the underlying pathology. Guidelines for the responsible use of amyloid positron emission tomography (PET) have been developed, and the clinical and economic implications of amyloid PET imaging are actively being explored.Summary: Our improved understanding of the clinical onset, progression, neuroimaging, pathologic features, genetics, and other risk factors for AD impacts the approaches to clinical diagnosis and future therapeutic interventions.
GAS TURBINE POWER PLANT PERFORMANCE EVALUATION UNDER KEY FAILURES

Compression and combustion are two important functions of a gas turbine power plant. It is generally used to drive generators and works as a combinatorial plant with conventional steam boilers. The most significant and valuable fact of the gas turbine power plant is that it requires air instead of water to generate electricity. The main components of gas turbine power plant are compressor, combustor, turbine and auxiliaries such as starting device, lubricant pump, fuel system, etc. In this paper, the authors have assumed the different types of component failure such as compressor, combustor, turbine, auxiliaries and human failure with some other auxiliary’s failures and determined the different reliability characteristics of gas turbine power plant by using supplementary variable techniques, Laplace transformation and Markov process. Some numerical examples on the basis of past research are also developed for the practical utility of the plant.
Security in Wireless Sensor Networks : Problems and Solutions

─ The recent advances in low-power integrated circuits and wireless communications have enabled Wireless Sensor Networks (WSNs) to be used in many activities such as surveillance and tracking. Due to their unattended nature and resource-constrained sensor nodes, however, WSNs are extremely vulnerable to any kind of internal or external security attacks. Especially for military applications where usually security sensitive data are carried over, there is a tremendous need for security mechanisms that ensure data confidentiality and integrity. In addition, because of the unique properties of WSNs, these security mechanisms must be developed during system design process. In this paper, we survey the “state-of-the-art” in WSN security and present the obstacles and requirements.
Data for: A Generalization of Linearized Alternating Direction Method of Multipliers with Indefinite Proximal Regularization and Smaller Proximal Parameter

The linearized alternating direction method of multipliers (ADMM), with indefinite proximal regularization, has been proved to be efficient for solving separable convex optimization subject to linear constraints. In this paper, we present a generalization of linearized ADMM (GLADMM) to solve the separable convex minimization model, which linearizes all the subproblems by choosing a proper positive or indefinite proximal regularization term and updates the Lagrangian multiplier twice in different ways. Furthermore, the proposed G-LADMM can be expressed as a proximal point algorithm (PPA), and all the subproblems are just to estimate the proximity operator of the function in the objective. We specify the domain of the proximal parameter and stepsizes to guarantee that G-LADMM is globally convergent. It turns out that our convergence domain of the proximal parameter and stepsizes is significantly larger than other convergence domains in the literature. The numerical experiments illustrate the improvements of the proposed G-LADMM to solve LASSO and image decomposition problems.
Hospital Volume and Mortality After Pancreatic Resection: A Systematic Review and an Evaluation of Intervention in The Netherlands

Objectives:To evaluate the best available evidence on volume-outcome effect of pancreatic surgery by a systematic review of the existing data and to determine the impact of the ongoing plea for centralization in The Netherlands. Summary Background Data:Centralization of pancreatic resection (PR) is still under debate. The reported impact of hospital volume on the mortality rate after PR varies. Since 1994, there has been a continuous plea for centralization of PR in The Netherlands, based on repetitive analysis of the volume-outcome effect. Methods:A systematic search for studies comparing hospital mortality rates after PR between high- and low-volume hospitals was used. Studies were reviewed independently for design features, inclusion and exclusion criteria, cutoff values for high and low volume, and outcome. Primary outcome measure was hospital or 30-day mortality. Data were obtained from the Dutch nationwide registry on the outcome of PR from 1994 to 2004. Hospitals were divided into 4 volume categories based on the number of PRs performed per year. Interventions and their effect on mortality rates and centralization were analyzed. Results:Twelve observational studies with a total of 19,688 patients were included. The studies were too heterogeneous to allow a meta-analysis; therefore, a qualitative analysis was performed. The relative risk of dying in a high-volume hospital compared with a low-volume hospital was between 0.07 and 0.76, and was inversely proportional to the volume cutoff values arbitrarily defined. In 5 evaluations within a decade, hospital mortality rates were between 13.8% and 16.5% in hospitals with less than 5 PRs per year, whereas hospital mortality rates were between 0% and 3.5% in hospitals with more than 24 PRs per year. Despite the repetitive plea for centralization, no effect was seen. During 2001, 2002, and 2003, 454 of 792 (57.3%) patients underwent surgery in hospitals with a volume of less than 10 PRs per year, compared with 280 of 428 (65.4%) patients between 1994 and 1996. Conclusions:The data on hospital volume and mortality after PR are too heterogeneous to perform a meta-analysis, but a systematic review shows convincing evidence of an inverse relation between hospital volume and mortality and enforces the plea for centralization. The 10-year lasting plea for centralization among the surgical community did not result in a reduction of the mortality rate after PR or change in the referral pattern in The Netherlands.