Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article

147 articles for “verification”

Set a search alert
Research ArticleOpen accessIn the abstractBDD Path Length Minimization Based on Initial Variable OrderingP. W.C. Prasad, M. Raseen, A. Assi, S. M.N.A. SenanayakeA large variety of problems in digital system design, combinational optimization and verification can be formulated in terms of operations performed on Boolean functions. The time complexity of Binary Decision Diagram (BDD) representing a Boolean function is directly related to the path length of that BDD. In this paper we present a method to generate a BDD with minimum path … …Journal of Computer Science, Vol. 1, Issue 4 · 31 Dec 2005 · 6,504 accessesView PDFCite
Research ArticleOpen accessIn the abstractThe Effects of Crosslinker and Monomer to the Polymerization of Polymethacrylamide Gel Dosimeters by Direct and Indirect MethodsElias Saion, A. H. Shaari, M. Z.A. Rahman et al.Radiation-induced polymerization in Polymethacrylamide Gels (PMAAGs) potentially used for 3D dose verification in radiotherapy has been studied using both Raman spectroscopy and Nuclear Magnetic Resonance (NMR) method. The dosimeters are composed of aqueous Methacrylamide (MAA) monomer and N, N’ methyelene-bis-acrylamide (BIS) crosslinker at various concentrations from 2 to 6% (w/w) and gelatin at 6% (w/w). The dosimeters were irradiated to … …American Journal of Applied Sciences, Vol. 2, Issue 8 · 31 Aug 2005 · 7,168 accessesView PDFCite
Research ArticleOpen accessIn the abstractEnergy and Carbon Flux Coupling: Multi-ecosystem Comparisons Using Artificial Neural NetworkAssefa M. Melesse, Rodney S. HanleyA multi-ecosystems carbon flux simulation from energy fluxes is presented. A new statistical learning technique based on Artificial Neural Network (ANN) back propagation algorithm and multi-layer perceptron architecture was used in the CO2 simulation. Four input layers (net radiation, soil heat flux, sensible and latent heat flux) were used for training (calibration) and testing (verification) of model outputs. The 15-days … …American Journal of Applied Sciences, Vol. 2, Issue 2 · 28 Feb 2005 · 7,347 accessesView PDFCite
Research ArticleOpen accessIn the abstractExploring Self-Sovereign Identity Through a Digital Transcript Proof-of-ConceptNaphat Khajohn-Udomrith, Ittipon RassameerojCredential forgery presents a significant threat to the integrity of academic and employment documents. While Self-Sovereign Identity (SSI) and Verifiable Credentials (VC) offer a decentralized alternative, existing solutions often struggle to balance institutional trust with holder privacy. This paper proposes a novel, dual-layered architectural framework for digital transcripts. We implement a strategic bimodal DID approach, utilizing did:web for the issuing … …Journal of Computer Science, Vol. 22, Issue 5 · 21 May 2026 · 1,487 accessesView PDFCite
Research ArticleOpen accessIn the abstractApplication Specific Integrated Circuits Design and Implementation of Rademacher and Walsh FunctionsA. Abbasi, A. R.M. Alamoud, S. A. AbbasiThe orthogonal functions, specially the Rademacher and Walsh functions are being increasingly used in Digital Signal Processing (DSP). Today’s DSP applications require fast processing time in order to meet the challenges of the real time systems. State-of-the-art implementation technologies are therefore being used. This study describes the design and implementation of Rademacher and Walsh functions targeted to the state-of-the-art Cell … …American Journal of Engineering and Applied Sciences, Vol. 6, Issue 4 · 7 Jan 2014 · 7,340 accessesView PDFCite
Research ArticleOpen accessIn the abstractBlack White Color and Gray Pixel Extraction ModelK. Selvam, B. PoornaThis is a design approach of software on image and pattern recognition, while eliminating the color and gray code of an image for comparison. This approach is quite effective for black and white and color images or scenes. Here we select particular part or parts of a given image and we compare with the contents of template-image (biometric) database. This … …Journal of Computer Science, Vol. 3, Issue 12 · 31 Dec 2007 · 6,862 accessesView PDFCite
Research ArticleOpen accessIn the abstractArabic Speech Pathology Therapy Computer Aided SystemZ. A. Benselama, M. Guerti, M. A. BencherifThis article concerns a computer aided pathological speech therapy program, based on speech models such as the hidden Markov model and artificial intelligence networks, in order to help persons, suffering from language pathologies, follow a correction learning process, with different interactive feedbacks, aiming to evaluate the degree of evolution of the illness or the therapy. We dealt with the Arabic … …Journal of Computer Science, Vol. 3, Issue 9 · 30 Sep 2007 · 6,934 accessesView PDFCite