Miracle-dz/UniFAR-FTUs huggingface dataset:
Application of Support Vector Machines to Fault Diagnosis and Automated Repair

In this paper we consider the benefits of applying modern machine learning techniques to the problem of Fault Diagnosis and Automated Repair. In the modern manufacturing environment, many aspects of the production line are logged automatically by various systems. These records are put to a multitude of uses including assisting stock control, and monitoring and improving the manufacturing process. This approach has lead to the accumulation of a huge amount of high-dimensional data, and does require new methods to handle it. In this paper we ask if the information commonly held by many companies can be used to assist the repair of faulty products on the production line. We examine the possibility of using pattern recognition techniques to determine correct repairs for faults from past production history. The relative merits of this method compared to other approaches (such as model-based reasoning) are also discussed. Finally, we give some preliminary results which indicate that pattern recognition methods such as the highly acclaimed Support Vector machine can be successfully applied in this area.
Synthesis and Characterization of Silver Nanoparticles using leaf extract of Azadirachta indica

In recent science Nanotechnology is a burning field for the researchers. Nanotechnology deals with the Nanoparticles having a size of 1-100 nm in one dimension used significantly concerning medical chemistry, atomic physics, and all other known fields. Nanoparticles are used immensely due to its small size, orientation, physical properties, which are reportedly shown to change the performance of any other material which is in contact with these tiny particles. These particles can be prepared easily by different chemical, physical, and biological approaches. But the biological approach is the most emerging approach of preparation, because, this method is easier than the other methods, ecofriendly and less time consuming. The Green synthesis was done by using the aqueous solution of Azadirachta indica leaf extract and AgNO3. Silver was of a particular interest for this process due to its evocative physical and chemical properties. A fixed ratio of plant extract to metal ion was prepared and the color change was observed which proved the formation of nanoparticles. The nanoparticles were characterized by UV-vis Spectrophotometer, FTIR, DLS, Zeta Analysis, XRD, and SEM. The nanoparticles were found have the size ranges from 160-180 nm.
Supporting objects in run-time bytecode specialization

This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective management of references to objects. This is because the specialization process may share references with the running application that executes the residual code, and because side-effects through those references by the specialization process could easily break the semantics of the running application. To cope with these difficulties, we elaborate requirements that ensure sound run-time specialization. Based on them, we design and implement a run-time specialization system for the Java language, which exhibits, for instance, approximately 20-25% speed-up factor for a ray-tracing application.
A new detection algorithm (NDA) based on fuzzy cellular neural networks for white blood cell detection

White blood cell detection is one of the most basic and key steps in the automatic recognition system of white blood cells in microscopic blood images. Its accuracy and stability greatly affect the operating speed and recognition accuracy of the whole system. But there are only a few methods available for cell detection or segmentation due to the complexity of the microscopic images. This paper focuses on this issue. Based on the detailed analysis of the existing two methods-threshold segmentation followed by mathematical morphology (TSMM), and the fuzzy logic method-a new detection algorithm (NDA) based on fuzzy cellular neural networks is proposed. NDA combines the advantages of TSMM and the fuzzy logic method, and overcomes their drawbacks. With NDA, we can detect almost all white blood cells, and the contour of each detected cell is nearly complete. Its adaptability is strong and the running speed is expected to be comparatively high due to the easy hardware implementation of FCN. Experimental results show good performance
Ontology Reasoning in the SHOQ(D) Description Logic

Ontologies are set to play a key role in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resources. Reasoning over such descriptions will be essential if web resources are to be more accessible to automated processes. SHOQ(D) is an expressive description logic equipped with named individuals and concrete datatypes which has almost exactly the same expressive power as the latest web ontology languages (e.g., OIL and DAML). We present sound and complete reasoning services for this logic.
Adopting an agile methodology: why it did not work

The paper presents a case study on the adoption of an agile methodology and more particularly the things that worked and the ones that didn't work when three teams implemented their first agile project. The study describes those characteristics of the teams and projects that are important for the further analysis of the obtained results. The presented analysis identifies both shortcomings and benefits of the agile approach.
The Role of Anthropogenic Aerosol Forcing in Interdecadal Variations of Summertime Upper‐Tropospheric Temperature Over East Asia

Observations show a significant interdecadal decline of July and August (JA) mean upper‐tropospheric temperature (UTT) over East Asia during the second half of the twentieth century, which is likely responsible for the weakening of the East Asian summer monsoon and the “southern flood and northern drought” phenomenon observed in eastern China. This study investigates the role of anthropogenic aerosol forcing in the interdecadal cooling for the period 1951–2001 and the physical mechanisms involved using a coupled Earth system model, combined with reanalysis data. Our results show that the aerosol forcing leads to a drop of 0.14 °C per decade in JA mean UTT averaged over East Asia (30–45°N, 90–130°E), which significantly contributes to the observed cooling of 0.2 °C per decade. The interdecadal cooling may be attributed to the weakening of interhemispheric differences in JA mean sea surface temperature in response to aerosols. The asymmetric hemispheric change in sea surface temperature alters the local eddy flux, thereby weakening upper‐tropospheric westerlies and the transport of warm air from over the Tibetan plateau into downstream regions between 30°N and 40°N. We further find that changes in the geographic distribution of SO2 emissions are the dominant cause of differences in JA mean UTT trends over East Asia between decades. The projected decrease in anthropogenic aerosols will lead to a rise of 0.05 °C per decade in JA mean UTT over East Asia during 2010–2050 under the Representative Concentration Pathways 8.5 scenario. This will likely have large impacts on the distribution of summer precipitation in East Asia in the future.
Human Genome Epidemiology (huge) Review Xrcc3 and Xpd/ercc2 Single Nucleotide Polymorphisms and the Risk of Cancer: a Huge Review

Hundreds of polymorphisms in DNA repair genes have been identified; however, for many of these polymor-phisms, the impact on repair phenotype and cancer susceptibility remains uncertain. In this review, the authors focused on the x-ray repair cross-complementing protein group 3 (XRCC3) and xeroderma pigmentosum group D (XPD)/excision repair cross-complementing rodent repair deficiency (ERCC2) genes, because they are among the most extensively studied but no final conclusion has yet been drawn about their role in cancer occurrence. XRCC3 participates in DNA double-strand break/recombinational repair through homologous recombination to maintain chromosome stability. XPD/ERCC2 is a helicase involved in the nucleotide excision repair pathway, which recognizes and repairs many structurally unrelated lesions, such as bulky adducts and thymidine dimers. The authors identified a sufficient number of epidemiologic studies on cancer to perform meta-analyses for XPD/ERCC2 variants in codons 156, 312, and 751 and XRCC3 variants in codon 241. The authors evaluated all cancer sites to investigate whether DNA repair is likely to take place in a rather nonspecific manner for different carcinogens and different cancers. For the most part, the authors found no association between these genes and the cancer sites investigated, except for some statistically significant associations between XPD/ERCC2 single nucleotide poly-morphisms and skin, breast, and lung cancers. DNA repair genes are involved in rare and cancer-inducing conditions such as xeroderma pigmentosum (a genetic
A Global System for Monitoring Ecosystem Service Change

Earth's life-support systems are in flux, yet no centralized system to monitor and report these changes exists. Recognizing this, 77 nations agreed to establish the Group on Earth Observations (GEO). The GEO Biodiversity Observation Network (GEO BON) integrates existing data streams into one platform in order to provide a more complete picture of Earth's biological and social systems. We present a conceptual framework envisioned by the GEO BON Ecosystem Services Working Group, designed to integrate national statistics, numerical models, remote sensing, and in situ measurements to regularly track changes in ecosystem services across the globe. This information will serve diverse applications, including stimulating new research and providing the basis for assessments. Although many ecosystem services are not currently measured, others are ripe for reporting. We propose a framework that will continue to grow and inspire more complete observation and assessments of our planet's life-support systems.
Reconfigurable Accelerator for the Word-Matching Stage of BLASTN

BLAST is one of the most popular sequence analysis tools used by molecular biologists. It is designed to efficiently find similar regions between two sequences that have biological significance. However, because the size of genomic databases is growing rapidly, the computation time of BLAST, when performing a complete genomic database search, is continuously increasing. Thus, there is a clear need to accelerate this process. In this paper, we present a new approach for genomic sequence database scanning utilizing reconfigurable field programmable gate array (FPGA)-based hardware. In order to derive an efficient structure for BLASTN, we propose a reconfigurable architecture to accelerate the computation of the word-matching stage. The experimental results show that the FPGA implementation achieves a speedup around one order of magnitude compared to the NCBI BLASTN software running on a general purpose computer.
Eﬃcient SMT-based Network Fault Tolerance Veriﬁcation

Network control planes are highly sophisticated, resulting in networks that are diﬃcult and error-prone to conﬁgure. Although several network veriﬁcation tools have been developed to assist network operators, they are limited and ineﬃcient in handling fault-tolerance policies. In this paper, we propose a novel SMT encoding to speed up control plane fault tolerance veriﬁcation by pruning failed topologies. This encoding exploits the observation that the veriﬁer has to check failures only for the links lying on a set of best paths which can be computed by a recursive algorithm. We implemented our technique in Minesweeper, a state-of-the-art SMT-based veriﬁer. Our evaluation shows that the new encoding speeds up veriﬁcation by the factor of 3.1-26.9X.
Early Season Applications of Fluridone for Control of Curlyleaf Pondweed

Abstract : Widespread in the Great Lakes region, curlyleaf pondweed (Potamogeton crispus L.) is an exotic submersed plant that forms dense monotypic stands, and is reported to restrict recreation, suppress native plant populations, and increase internal phosphorus cycling. Because preventing new turion formation is the key to long-term management of this aquatic weed, the effect of fluridone applications on curlyleaf pondweed growth and vegetative reproduction was evaluated in two greenhouse studies. Herbicide doses ranged from 0.5 to 6 micrograms ai L(exp -1), and were applied to plants of different growth stages for varying exposure times. Fluridone doses greater than or equal to 5 micrograms ai L(exp -1) that were maintained for at least 28 days before degrading to less than or equal to 2 micrograms ai L(exp -1) inhibited both shoot growth and turion production. Treatments of 3 and 4 micrograms ai L(exp -1) that degraded to less than or equal to 2 micrograms ai L (exp -1) after 28 days reduced turion number, but not shoot biomass. All treatments less than or equal to 2 micrograms ai L(exp -1) were comparable to the reference. Although young plants that were less than 15 cm at herbicide application remained below the water surface, they produced the same amount of turions as mature plants that were greater than 15 cm at the time of application. Sprouting tests determined that turions from all fluridone treatments were viable. Based on these results, strategies for curlyleaf pondweed management may include fluridone applications to young plants using rates that would curtail turion production and either prevent or limit nuisance shoot growth.
Exploring melodic variance in rhythmic haptic stimulus design

Haptic icons are brief, meaningful tactile or force stimuli designed to support the communication of information through the often-underutilized haptic modality. Challenges to producing large, reusable sets of haptic icons include technological constraints and the need for broadly-applicable and validated design heuristics to guide the process. The largest set of haptic stimuli to date was produced through systematic use of heuristics for monotone rhythms. We hypothesized that further extending signal expressivity would continue to enhance icon learnability. Here, we introduce melody into the design of rhythmic stimuli as a means of increasing expressiveness while retaining the principle of systematic design, as guided by music theory. Haptic melodies are evaluated for their perceptual distinctiveness; experimental results from grouping tasks indicate that rhythm dominates user categorization of melodies, with frequency and amplitude potentially left available as new dimensions for the designer to control within-group variation.
A Validation Study of a Prosocial Reasoning Intervention for Juveniles Under Probation Supervision

Aim/Background: A validation study was conducted of a prosocial intervention for juveniles under probation supervision, 97.4% who had sexually offended using a workbook format. Material/Methods: The study sample consisted of 39 youth under probation supervision and all but one for sexual offenses, and all but one were males. The average age was 15.7 years. White youth were 53.85% of the sample and 46.15% were other ethnic groups. Two performance measures, three counselor rating scales, and one youth self-report were used. A pre/post test design with one sample was used. The workbook intervention was used as part of individual counseling and completed in 10 weeks. Results: A multivariate procedure was used to assess all six outcome variables which indicated that there were significant pre/post changes. Univariate analyses showed significant prosocial changes related to the intervention on 5 of 6 variables. The three counselor ratings all showed large or very large effect sizes. Conclusions: Study results were consistent with the hypothesis that the intervention, a workbook, were related to positive changes in prosocial reasoning and behavior. Replication of the results to rule out rival hypotheses is appropriate.
Functional outcome of intertrochanteric fractures treated with dynamic hip screw and influence of tad over it - A prospective study

Fractures of proximal femur are amongst the most often encountered fractures by orthopedic surgeons. Many treatment techniques are described in literature, but internal fixation with Dynamic Hip Screw (DHS) is the gold standard. Although many factors influence the outcome of DHS, Tip Apex Distance (TAD) is the most important factor that is under the control of operating surgeon. Between December 2011 and June 2013, 41 patients with intertrochanteric fractures, who got admitted in H.S. K Hospital and research center, S.N Medical College, Bagalkot in the department of Orthopedics, were studied. The value of tip apex distance in the treatment of inter-trochanteric fractures treated with dynamic hip screw and its influence on the functional outcome, according to Harris Hip Score was assessed. Out of the 41 cases, TAD < 25mm was achieved in 34 cases and >25mm in 7 cases. At 12 months follow up, 29 patients had excellent to good outcome. Five patients with TAD >25mm had fair to poor outcome. Internal fixation with Dynamic Hip Screw is one of the choices for treatment of intertrochanteric femur fractures. This study shows that TAD <25mm significantly correlates with satisfactory outcome.
Magnetic Resonance Imaging Techniques: fMRI, DWI, and PWI

Magnetic resonance imaging (MRI) is a noninvasive technique which can acquire important quantitative and anatomical information from an individual in any plane or volume at comparatively high resolution. Over the past several years, developments in scanner hardware and software have enabled the acquisition of fast MRI imaging, proving extremely useful in various clinical and research applications such as in brain mapping or functional MRI (fMRI), perfusion-weighted imaging (PWI), and diffusion-weighted imaging (DWI). These techniques have revolutionized the use of MRI in the clinics, providing great insight into physiologic mechanisms and pathologic conditions. Since these relatively new areas of MRI have relied on fast scanning techniques, they have only recently been widely introduced to clinical sites. As such, this review article is devoted to the technological aspects of these techniques, as well as their roles and limitations in neuroimaging applications.
DO FOOD ASSISTANCE PROGRAMS IMPROVE HOUSEHOLD FOOD SECURITY?: RECENT EVIDENCE FROM THE UNITED STATES

Food assistance programs play an important role in meeting the basic needs of low income households. This paper examines the interaction among food stamps, labor force participation and food insecurity status of low-income households under different program design and economic conditions. A simultaneous equation model with three probit equations links the program, work force participation and outcome. Results based on the Survey of Program Dynamics data suggest that Food Stamp Program participation is more responsive to changes in the program benefits than to changes in unemployment rate or nonlabor income; food insecurity status is more responsive to changes in the food program benefit or unemployment rate, than to nonlabor income.
Modified Gravity and Cosmology

We propose a modification of Einstein-Cartan gravity equations. The modified cosmology departs from the standard model of cosmology for small Hubble parameter. A characteristic Hubble scale h0, which is intrinsically related to cosmological constant, marks the boundary between the validity domains of the standard model of cosmology and modified cosmology. Such a role for h0 is similar to Planck’s constant in the quantum/classical context, or to the speed of light c in the relativity/classical context. For large Hubble parameter, the standard model of cosmology is restored. In the opposite limit of small Hubble parameter, which is the case for present epoch, Lorentz-violating effects would manifest themselves. One of the implications is that there may be no need to invoke dark matter to account for cosmological mass discrepancies.
Design and Development of a Stemmer for Punjabi

Stemming is the process of removing the affixes from inflected words, without doing complete morphological analysis. A stemming Algorithm is a procedure to reduce all words with the same stem to a common form [20]. It is useful in many areas of computational linguistics and information-retrieval work. This technique is used by the various search engines to find the best solution for a problem. The algorithm is a basic building block for the stemmer. Stemmer is basically used in information retrieval system to improve the performance . The paper present a stemmer for Punjabi, which uses a brute force algorithm. We also use a suffix stripping technique in our paper. Similar techniques can be used to make stemmer for other languages such as Hindi, Bengali and Marathi. The result of stemmer is good and it can be effective in information retrieval system. This stemmer also reduces the problem of over-stemming and under-stemming.
Meiotic chromosome behavior in spread preparations of yeast

Chromosome behavior in meiosis is well characterized from cytological and genetic descriptions but little is known of the underlying molecular mechanisms, largely because no one experimental system has been developed to support an integrated application of modern cytological, genetic, and molecular biological methods. To combine efficient analyses of meiotic chromosome structure and function in a single organism, we have extended to yeast methods for making spread preparations of nuclei. Features of yeast meiosis that parallel meiosis in large eukaryotes, such as bouquet formation and prophase chromosome condensation that occurs in concert with synaptonemal complex formation, are evident for the first time. The ability to analyze large numbers of nuclei at the light and electron microscopes in preparations amenable to a variety of cytological and immunocytological techniques will facilitate the description of meiosis at the molecular level in yeast.
Comprehensive proteomic investigation of high-grade and low-grade gliomas reveals pathways associated with cancer metastasis and candidate protein markers of therapeutic potential

High grade gliomas (HGGs), are the most malignant and diﬃcult to treat brain tumors. Despite several studies on glioma pathobiology there is no comparative proteomics study on high-grade and low-grade gliomas which uncovers the mechanism behind the aggressive mesenchymal behaviour of HGGs. In this study, tissue samples of high-grade and low-grade gliomas were processed for label free quantiﬁcation (LFQ) using HR-LC MS/MS. The analysis identiﬁed 140 diﬀerentially expressed proteins, GSEA and protein-protein interaction analysis showed over expression of pathways like; ECM remodelling, Focal Adhesion, EMT and Glycan Biosynthesis in HGG. The key proteins were validated using multiple reaction monitoring experiment. ECM glycoproteins including; Fibronectin, Fibrinogens, Collagens, Vitronectin along with mesenchymal markers such as Vimentin and TGF-β came over-expressed in HGGs. The over-expression of oligosaccharyltransferase in HGG indicates its role in enhanced expression of glycoproteins. In-silico molecular docking with catalytic subunits of OST identiﬁed two small molecule inhibitors; Irinotecan and Entrectinib as potential candidates to target OST. We propose OST plays a major role in tumor metastasis by promoting EMT and could be used as a potential target to suppress glioma metastasis. Finally, the proteins identiﬁed in this study need further clinical research to validate their prognostic values as protein markers.