282 research outputs found

    Approximate Compressors for Multiplication

    Get PDF
    At nanometric scales, approximate computing is an attractive prototype used for digital processing. Despite providing less accurate results, approximate computing is preferred over exact computing as it provides a fast & significant output along with low power consumption. Designing of an efficient multiplier has always been a challenge for VLSI designers as multipliers have a large area, long latency consumes considerable power. For this inconvenience compressor with low latency, low power consumption and reduced stages of the product are designed. This paper proposes two methods to design high order compressors (8:4 & 9:4) (i) Using adders (half & full) (ii) Using multiplexers in Cadence VIRTUOSO tool using 45nm technology. Extensive simulation results show that the proposed designs achieve significant accuracy improvement along with power, area, and delay reductions compared to previous compressor designs

    New Generalized Common Fixed Point Theorems for three transformations on a Vector Valued S-metric Spaces

    Full text link
    In this article, we demonstrate the common fixed point theorems for three transformations on vector S-metric space by utilizing weakly compatible and point of coincidence. Moreover, some of our results generalize the existing results in the literature

    Life cycle assessment of solid waste management options: A Review

    Get PDF
    Evaluating the environmental performance of municipal solid waste management options is a complex job. LCA is an analytical tool (software) for assessing the environmental acceptability of municipal solid waste management (MSWM) options. LCA is currently being used in several countries to evaluate different strategies for integrated solid waste management and to evaluate treatment options for waste fractions. According to the characteristics of solid wastes, and availability of disposal options, LCA helps in supporting the identification of opportunities for pollution prevention and reductions in resource consumption while taking the entire solid waste life cycle. The primary elements of solid waste management are generation, collection, transportation, treatment, and disposal. Different scenarios were developed and reported as alternatives to the current waste management systems. The most prominent is material recovery facility (MRF) and other methods involve source reduction, reuse, recycling, composting, incineration, energy recovery, on-site burial, open burning and bioremediation. The goal of this review is to determine the most environmentally friendly option of MSWM system with the help of LCA

    IN SILICO IDENTIFICATION AND CHARACTERIZATION OF MUTUAL EPITOPE-BASED SUBUNIT VACCINE AGAINST EBOLA VIRUS AND MARBURG VIRUS

    Get PDF
    Objective: The objective of the study was to analyze the mutual epitope-based vaccine that can evoke immune response against hemorrhagic fever caused by Ebola virus (EBOV) and Marburg virus (MARV). Methodology: VP40, VP24, VP35, VP30, and NP proteins of Ebola and MARV were recovered from the protein database and subjected to many bioinformatics tools to predict the best B- and T-cell epitopes. And finally, the selected proteins were subjected to molecular docking human leukocyte antigen (HLA)-DR (major histocompatibility complex [MHC] Class I and II) to confirm their antigenicity in silico. Results: The epitopes from EBOV were stable while were unstable from MARV. Further, molecular docking simulation using most significant MHC Class II and Class I molecules demonstrated that their epitopes may bind within HLA-binding affinity to evoke an immune response. Conclusions: In this study, the data revealed the epitopes from VP40 protein could be the specific target for peptide-based vaccine design against Ebola and MARV

    Medical Affiliated Hadoop Application (MAHA)

    Get PDF
    Medical information exchange is an inevitable stage of medical informatics development. Administration features are integrated and the structure of HIE platform receives a centralized architecture which serves a enormous volume of medical information and terminates with multiple types of query and information extraction for centralized design. Cloud computing is a technological prerequisite. The purpose of this paper is that, we presents a medical information platform based on Hadoop, which is named after Medoop. The current Medoop project make essential use of HDFS to accumulate the integrated CDA records more effectively, the data content arranged in CDA record as per the cessation business queries and calculates the statistic data distributively in Map Reduce model. The scope of Medoop is to bring about a complete platform for medical data for accumulating, exchanging and using the element in Hadoop ecosystem. The project presents Medical Hadoop which consists of cloud server and estimates whether the patient is affected by diabetes or not. For prediction purpose we use Naïve Bayes algorithm. With the help of Naïve Bayes static data is provided in training phase and it trains accordingly for detection. Naïve Bayes is stipulated with normalized dataset using k-means(or any other normalization algorithm)

    INTEGRATED APPROACH FOR DIABETES THROUGH LIFE STYLE MODIFICATIONS AND YOGA: A CRITICAL REVIEW

    Get PDF
    Diabetes mellitus is defined as multiple etiological disorder characterized by chronic hyperglycemia and disturbed of metabolism leads into defective insulin secretion, action or both. Research showed 150 million people have diabetes mellitus worldwide, which can be doubled by the year 2025. This tremendous sudden increase is due to population growth, ageing, unhealthy diets, obesity and sedentary lifestyles. In contemporary science diabetes management includes uses of oral hypoglycemic agents and insulin injections still blood sugar level remains uncontrolled and may leads to further complications. In Ayurveda characteristic features of diabetes has been described under Madhumeha in which treatment principles have been explained beautifully in detail which includes Shodhana therapy, Shamana therapy, diet and Yogic exercise. Through various studies we come across that there have been lots of research works done on role of Ayurveda and yoga in diabetes mellitus. In this article an attempt has been made to collect various data published by CCRAS, Ministry of AYUSH, ICMR and CSIR has. Along with data available on PubMed, Medline, Google Scholar, AYUSH research portal and various online journals based on some clinical studies. So, that a multidimensional approach can be made through these resources and apply to cure the patient and improve quality of life

    Rigorous Design of Fault Tolerance and Recovery Algorithm for Disaster Management and Relief Distribution System using Event-B

    Get PDF
    518-529India is vulnerable to disasters such as earthquakes, floods, tsunamis, landslides forest fires and cyclones due to its unique socio-economic and geo-climatic conditions. Twenty seven out of thirty-six states and union territories are prone to different types of disasters which cause loss of life, disruption of livelihoods, damage to infrastructure and property which in turn becomes a heavy burden on the national economy. Effective management of relief work is a key step towards normalizing human life post disaster. In this paper, we have presented the formal development and verification of a fault tolerance and recovery algorithm for district level disaster control centers in India which are connected to each other via a communication network. Formal methods help in the verification of critical properties of complex systems by developing mathematical models so that design errors can be detected and removed during the early stages of software development. Event-B, which is a formal method and Rodin platform is used for this work. Event-B is a mathematical language of first-order logic to provide a solution to the complex algorithms formally. In this algorithm a Disaster Control Centre is chosen as the coordinator based on its unique vote value. This vote value is allotted and modified dynamically based on the extent of damage in the area where the center is located. The center having the highest vote value among the currently active centers is elected as the coordinator. The correctness of the algorithm is verified through discharge of proof obligations generated by the Event-B model

    Formal Verification of Receiver Initiated Load Distribution Protocol with Fault Tolerance and Recovery using Event-B

    Get PDF
    1078-1090Load distribution is a process that involves the allocation of tasks to various nodes in the distributed system in such a manner that overall resource utilization is maximized, and overall response time is minimized. This paper presents a formal model for verification of receiver-initiated load balancing and fault tolerance protocol with recovery in distributed systems using the eclipse-based Event-B platform called Rodin. Here, the receiver-initiated load balancing approach is demonstrated along with tolerance of node failure and recovery. In this approach, an underloaded node (receiver) initiates the process of load transfer from an overloaded node (sender). The underloaded node broadcasts a request message to obtain load from the overloaded nodes. The overloaded nodes reply with their load value. The underloaded node then selects the optimal overloaded node for load transfer. The chances of node failure are minimized by reducing the number of overloaded nodes. The process of recovery from failure is also shown in the proposed model. Formal methods are used to mathematically verify the critical properties of the system by developing a model based on its specifications. Our objective is to verify and validate the model for correctness through discharge of proof obligations using Event-B. Event-B is a formal method which is used for verification of a model based on distributed systems. The proof obligations generated by the model are discharged which ensures the correctness of our model

    Primary adrenal insufficiency presenting with neuropsychiatric illness

    Get PDF
    Adrenal insufficiency is characterized by decreased production of glucocorticoids from adrenal cortex, either due to a primary adrenal or a secondary pituitary etiology. Neuropsychiatric symptoms and signs could be the first presenting symptoms or the only presentation of adrenal insufficiency and are relatively less explored in patients with adrenal insufficiency and less understood. Patients with chronic psychiatric symptoms, namely depression and anxiety should be evaluated for association with adrenal insufficiency

    Inelastic Cotunneling Resonances in the Coulomb-Blockade Transport in Donor-Atom Transistors

    Full text link
    We report finite-bias characteristics of electrical transport through phosphorus donors in silicon nanoscale transistors, in which we observe inelastic-cotunneling current in the Coulomb blockade region. The cotunneling current appears like a resonant-tunneling current peak emerging from the excited state at the crossover between blockade and non-blockade regions. These cotunneling features are unique, since the inelastic-cotunneling currents have so far been reported either as a broader hump or as a continuous increment of current. This finding is ascribed purely due to excitation-related inelastic cotunneling involving the ground and excited states. Theoretical calculations were performed for a two-level quantum dot, supporting our experimental observation
    corecore