Search
14 articles for “Semi-Proving”
-
Implementation of Metamorphic Testing for Fault Detection Ratio
Abstract: AbstractMetamorphic Testing (MT) assumes an immense significance amongst the various sorts of testing techniques, as this technique doesn’t require test oracle, while the existence of an oracle is often presumed in software testing. This is because MT technique is based on the some vital properties which are known as Metamorphic Relations. In this paper, an endeavor has been made to explore the significance, integration of MT with other techniques and …
Published in Recent Trends in Programming languages · Vol. 7, Issue 3, 2020 · pp. 33–40 Read article
-
Some Algebraic Properties of me-homomorphism of Semi graphs
Abstract: The theory of Semi graph was introduced by E. Sampat Kumar [6] which is analogous with theory of Hyper graph. Study of Homomorphism[4] is useful to prove numerous application of Graph theory, which is adjacency preserving mapping. In this Paper we have introduced me-homomorphism of Semi graphs and derived some of its algebraic properties [5]. We have also investigated nature of some parameters and its bounds under this mapping.Cite this …
Published in Research & Reviews: Discrete Mathematical Structures · Vol. 5, Issue 3, 2018 · pp. 27–30 Read article
-
High Speed and Low Power Basic Digital Logic Gates, Half-Adder and Full-Adder Using Modified Gate Diffusion Input Technology
Abstract: In this paper, modified gate diffusion input (MGDI) technology has been used for the design and implementation of digital integrated circuits (ICs). In today’s digital world, IC plays a vital role in high-performance computing, communication, and many consumer electronics. IC manufacturing technology has scaled down to smaller device dimensions. This scaling has a great impact on the design of digital ICs. The main objective of the IC manufacturing technology is …
Published in Journal of VLSI Design Tools and Technology · Vol. 8, Issue 1, 2018 · pp. 34–42 Read article
-
Agronomic Performance, Harvest Dynamics, and Oil Yield of Lemongrass Varieties in a Semi‐Arid Ecosystem: Effects of NPK Regime and Harvest Timing
Abstract: This study investigated the agronomic performance, biomass production, and essential oil yield of three lemongrass (Cymbopogon spp.) varieties (CKP-25, Krishna & Pragati) under varying NPK fertilization regimes and harvest timings in a semi-arid ecosystem. A split-plot factorial design with four nutrient levels (Control, 50%, 100%, and 150% of the recommended NPK dose) and two harvest stages (90 and 180 days after planting, DAP) was implemented. Results revealed that both NPK …
Published in Research & Reviews : Journal of Botany · Vol. 15, Issue 1, 2026 · pp. 8–21 Read article
-
Women’s Experiences with Injectable Contraceptives (Depo Provera): A View from Vadodara, India
Abstract: Choice of contraceptive methods is a key element of family planning that benefits both women and providers. Offering a client choice can help increase contraceptive prevalence rates; so this study was conducted to explore users’ perspectives on Injectable Contraceptives (IC). This qualitative study employed semi structured in-depth interview technique. Sixty women, who had experience of using IC either at the time of study or in the past, were selected from …
Published in Research and Reviews : A Journal of Immunology · Vol. 4, Issue 3, 2014 · pp. 18–23 Read article
-
Semiring-Weighted Automata and Recursive Path Counting for Multi-State Reliability in Discrete Infrastructures
Abstract: Multi-state infrastructures such as communication backbones, microgrids, warehouse routing systems, and sensor-actuator pipelines evolve through discrete event sequences rather than through a single binary "working/failed" transition. This paper develops a semiring-weighted automata framework for reliability analysis in which state changes, repair actions, and degraded operating modes are represented by weighted transitions on a finite automaton. A path valuation is defined over an additively idempotent reliability semiring and extended to a …
Published in Research & Reviews: Discrete Mathematical Structures · Vol. 13, Issue 2, 2026 · pp. 30–36 Read article
-
Sodium benzoate induced reproductive and metabolic changes in Anabas testudineus (Bloch, 1792)
Abstract: AbstractSodium benzoate is an effective antimicrobial agent used as a food preservative, but recently gained attention as the chemical toxicant. The present study investigated sodium benzoate induced male reproductive toxicity and metabolic changes at100 mg/ L concentration in the freshwater fish, Anabas testudineus. Sodium benzoate did not alter the weight of fish but increased the secretion of mucous as the primary defensive mechanism. Reduction in the absolute and relative weights …
Published in Research and Reviews : A Journal of Life Sciences · Vol. 10, Issue 1, 2020 · pp. 56–71 Read article
-
Synthesis of Lawsonia Inermis (Henna) Carbon Supported AgO Nanocomposite, Characterizations and Photocatalytic Activity Studies
Abstract: Synthesis of Carbon supported AgO nanocomposite is reported for first time. Henna carbon was successfully synthesized from henna leaf. Bare AgO and C-AgO nanocomposites are effectively made using precipitation method. The synthesised composites structural, morphological, and optical properties are assessed using FT-IR, XRD, FE-SEM, UV-DRS, and PL techniques. FT-IR analysis proved that specific functional groups of synthesized materials. The uniform distribution of the composites is revealed in the FE-SEM. XRD …
Published in Journal of Polymer & Composites · Vol. 13, Issue 1, 2025 · pp. 749–760 Read article
-
Solving Economic Load Dispatch Problems through Moth Flame Optimization Algorithm
Abstract: AbstractThis paper proposes the nature-inspired moth flame optimization (MFO) algorithm to solve the economic load dispatch (ELD) problem of power system. The ELD is a concept where the committed generating units are scheduled to meet the total power demanded by the residential area. The ELD problems are solved by the optimization process of the objective function, hence optimization is done by minimizing the total fuel cost function of the generating …
Published in Journal of Semiconductor Devices and Circuits · Vol. 3, Issue 3, 2016 · pp. 25–33 Read article
-
Experimental and Polynomial Regression Modelling of Tensile Characteristics of Hybrid Jute/Hemp Fiber Composites
Abstract: The present study aims to develop hybrid jute-hemp fiber/epoxy composites by the hand lay-up process with 60% of fiber reinforcement and 40 % of matrix ratio. To measure the change of tensile properties, prepared hybrid composites were tested for normal tensile strength and edge notch tensile (ENT) test as per the ASTM standards. Findings show that, developed composites with reported tensile strength followed by comparing it with fracture toughness. Experimentally, …
Published in Journal of Polymer & Composites · Vol. 14, Issue 3, 2026 · pp. 47–58 Read article
-
A Comprehensive Review of FinFet Technology: Advantages, Challenges and Applications
Abstract: This has been complemented by improvements on the new layers that have surpassed the manufactures planar transistor by the new FinFET (Fin Field-Effect Transistor), which enhance modern demands on high performance, small size and low power consumption. This review is for a timely information on the latest development on FinFET technology, such as by curbing leakage currents by 50 percent and enhancing its speed by 30 percent proving that FinFETs …
Published in Journal of Semiconductor Devices and Circuits · Vol. 11, Issue 3, 2024 · pp. 1–12 Read article
-
Gravel Scrap Tires Admixed Drainage Material in Landfill Leachate Collection System
Abstract: Amidst water for sustenance, underground water quality becomes further deterministic. The stance of its continual contamination due to infiltration, uncontrolled industrialization, unplanned inhabitation, etc., is making “quantity” meaningless unless maintenance of quality is addressed. One of the potent measures to combat this infiltration is creation of a semi-impervious media below the subsoil, which may regulate the outcome judiciously, and in a proffered way. The logistics, however, do not allow planned …
Published in Recent Trends in Civil Engineering & Technology · Vol. 3, Issue 3, 2013 · pp. 11–28 Read article
-
Energy Data Collection in Nigeria: Sources, Resources, Challenges and Recommendations
Abstract: AbstractThe process of having adequate, affordable, accessible and clean energy starts with the conception and design of an energy plan. The implementation of such plan needs reliable and up-to-date data. This paper proved that in Nigeria, collecting energy data had always been a challenging and this could be traceable to such problems as lack of expertise on energy data collection, the absence of legal instruments to aid data collection, the …
Published in Journal of Alternate Energy Sources & Technologies · Vol. 8, Issue 3, 2017 · pp. 18–28 Read article
-
Modulation of Receptor Proteins: A Recent Paradigm in Drug Discovery and Target
Abstract: The main aim in drug discovery is to design different ligands those work on specific drug targets. However, various effective drugs work through the modulation of many proteins than single target. Advancement in system biology are establishing a phenotypic strength and a network structure, which suggests that, the excellent selective compounds may be performed less than desired clinical efficacy in comparison to multi-target drugs. In this new appreciation of the …
Published in Research & Reviews: A Journal of Drug Design & Discovery · Vol. 5, Issue 1, 2018 · pp. 14–24 Read article