Results for "verification"

Results for "verification" Showing 1 - 50 results of 89 Laminas_Feed_Writer 2 (https://getlaminas.org) https://search.frelip.org/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22verification%22&type=AllFields&lng=en 89 0 50 Critiquing the presence of outsiders, women of questionable pasts in Jesus’ genealogy: lessons for contemporary Christianity Mon, 01 Jan 2024 10:46:35 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F11326 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F11326 Article 2024 0 Histopathology turnaround time of surgical biopsies in a Nigerian tertiary health-care facility Fri, 01 Jan 2021 10:46:35 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F12046 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F12046 Article 2021 0 Urban and peri-urban agriculture and forestry: Transcending poverty alleviation to climate change mitigation and adaptation Wed, 01 Jan 2014 10:46:35 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F1222 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F1222 Article 2014 0 Investigation of excited duffing's Oscillator using versions of second order Runge-Kutta methods Sun, 01 Jan 2012 10:46:35 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F1996 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F1996 Article 2012 0 Quantitative evaluation of principal component analysis and fisher discriminant analysis techniques in face images. Tue, 01 Jan 2008 10:46:35 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F2152 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F2152 Article 2008 0 Correlation of cervical cytology and visual inspection with acetic HIV-positive women Tue, 01 Jan 2008 10:46:35 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F2579 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F2579 Article 2008 0 Evaluation as a feed back and accountability mechanism: the theory and a trail Sun, 01 Jan 2006 10:46:35 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F2847 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F2847 Article 2006 0 Adoption of Bambara groundnut production and its effects on farmers’ welfare in Northern Ghana Fri, 01 Jan 2016 10:46:35 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F3536 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F3536 Article 2016 0 Urban and peri-urban agriculture and forestry: Transcending poverty alleviation to climate change mitigation and adaptation Wed, 01 Jan 2014 10:46:35 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F3542 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F3542 Article 2014 0 Information needs and seeking behaviour of tertiary institutions’ retirees in Nigeria Tue, 01 Jan 2013 10:46:35 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F5163 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F5163 Article 2013 0 Numerical simulation of thermoelastic contact problem of disc brake with frictional heat generation Sun, 01 Jan 2012 10:46:35 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F9569 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F9569 Article 2012 0 A Procedural Architecture for Agent Trust and Credibility Verification in Distributed Ledger-Based Federated Learning Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:10173 https://search.frelip.org/Record/rss_article:10173 Online Article RSS Article 2026 0 Identification and verification of ferroptosis-related core gene in postmenopausal osteoporosis based on bioinformatics analysis Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:10681 https://search.frelip.org/Record/rss_article:10681 Online Article RSS Article 2026 0 MX Linux Pushes Back Against Age Verification: A Stand for Privacy and Open Source Principles Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:10885 https://search.frelip.org/Record/rss_article:10885 Online Article RSS Article 2026 0 Quantitative Verification with Neural Networks Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:11525 https://search.frelip.org/Record/rss_article:11525 Online Article RSS Article 2026 0 Safety Verification of Networked Control Systems by Complex Zonotopes Sat, 01 Jan 2022 10:46:35 -0500 https://search.frelip.org/Record/rss_article:12696 https://search.frelip.org/Record/rss_article:12696 Online Article RSS Article 2022 0 A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems Sat, 01 Jan 2022 10:46:35 -0500 https://search.frelip.org/Record/rss_article:12699 https://search.frelip.org/Record/rss_article:12699 Online Article RSS Article 2022 0 Real-Time Verification for Distributed Cyber-Physical Systems Sat, 01 Jan 2022 10:46:35 -0500 https://search.frelip.org/Record/rss_article:12702 https://search.frelip.org/Record/rss_article:12702 Online Article RSS Article 2022 0 Exploring the Applicability of Chaotic Maps in Artificial Hummingbird Algorithm: From Algorithm Construction to Case Verification Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:16779 https://search.frelip.org/Record/rss_article:16779 Online Article RSS Article 2026 0 Development of a Time-Integration Method for Analyzing the Photoresponse of Image Sensors: Theoretical and Experimental Verification with Digital Cameras Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:17376 https://search.frelip.org/Record/rss_article:17376 Online Article RSS Article 2026 0 Study on Automation for Verification of Naval Ship's Operational Scenarios using Simulation: ... Tue, 01 Jan 2013 10:46:35 -0500 https://search.frelip.org/Record/rss_article:23386 https://search.frelip.org/Record/rss_article:23386 Online Article RSS Article 2013 0 Verification of Calibrated Multimodel Subseasonal Precipitation Predictions Cascaded From Global to Regional Scale Over Ceará State in Brazil Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:24880 https://search.frelip.org/Record/rss_article:24880 Online Article RSS Article 2026 0 Practical pH Testing for Nasogastric Tube Verification: A Prospective Method‐Comparison Study of Low‐Cost Handheld Meters and Colourimetric Strips Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:27060 https://search.frelip.org/Record/rss_article:27060 Online Article RSS Article 2026 0 A novel use of the precordial Doppler for verification of central venous access Mon, 01 Jan 2018 10:46:35 -0500 https://search.frelip.org/Record/rss_article:27459 https://search.frelip.org/Record/rss_article:27459 Online Article RSS Article 2018 0 Evaluation Methodology, Numerical Verification and Retrofilling Procedure for Power Transformers to Ensure K‐Class Flame Retardancy and Environmentally Friendly Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:30483 https://search.frelip.org/Record/rss_article:30483 Online Article RSS Article 2026 0 A Monolithic SiC MOSFET Behavioural Model with Full‐Temperature‐Range Capability: SPICE‐Compatible Structure and Experimental Verification Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:30661 https://search.frelip.org/Record/rss_article:30661 Online Article RSS Article 2026 0 MACHINE LEARNING ALGORITHMS IN FACIAL IDENTITY VERIFICATION FOR COMPUTER-BASED ASSESSMENTS Mon, 01 Jan 2024 10:46:35 -0500 https://search.frelip.org/Record/rss_article:30874 https://search.frelip.org/Record/rss_article:30874 Online Article RSS Article 2024 0 THE ROLE OF MACHINE LEARNING ALGORITHMS IN ENHANCING THE ACCURACY AND THE RELIABILITY OF FACIAL IDENTITY, VERIFICATION IN ONLINE ASSESSMENT Mon, 01 Jan 2024 10:46:35 -0500 https://search.frelip.org/Record/rss_article:30876 https://search.frelip.org/Record/rss_article:30876 Online Article RSS Article 2024 0 Experimental Verification of a Battery Energy Storage System for Integration with Photovoltaic Generators Sun, 01 Jan 2017 10:46:35 -0500 https://search.frelip.org/Record/rss_article:30971 https://search.frelip.org/Record/rss_article:30971 Online Article RSS Article 2017 0 Behavioural Modelling and Verification of a Novel Weighted System‐Level Chopping for High‐Resolution Incremental ADCs Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:31123 https://search.frelip.org/Record/rss_article:31123 Online Article RSS Article 2026 0 THE VERIFICATION OF HYBRID IMAGE DEFORMATION ALGORITHM FOR PIV Fri, 01 Jan 2016 10:46:35 -0500 https://search.frelip.org/Record/rss_article:3709 https://search.frelip.org/Record/rss_article:3709 Online Article RSS Article 2016 0 A Study on the Verification of Inlet Structural Improvement of Side Stream Typed Low Pressure ... Wed, 01 Jan 2020 10:46:35 -0500 https://search.frelip.org/Record/rss_article:38217 https://search.frelip.org/Record/rss_article:38217 Online Article RSS Article 2020 0 A Study on Verification of Delivery Ratio Methodology for Basic Plan at TPLMs(Total Pollutant ... Sun, 01 Jan 2017 10:46:35 -0500 https://search.frelip.org/Record/rss_article:38501 https://search.frelip.org/Record/rss_article:38501 Online Article RSS Article 2017 0 Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification Wed, 01 Jan 2025 10:46:35 -0500 https://search.frelip.org/Record/rss_article:3885 https://search.frelip.org/Record/rss_article:3885 Online Article RSS Article 2025 0 Proofing Field and Laboratory Species Identification Procedures Developed for the Non-Native Osmerid Species Wakasagi (Hypomesus nipponensis) Using SHERLOCK-Based Genetic Verification Sun, 01 Jan 2023 10:46:35 -0500 https://search.frelip.org/Record/rss_article:38867 https://search.frelip.org/Record/rss_article:38867 Online Article RSS Article 2023 0 Multiple Instance Verification Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:3976 https://search.frelip.org/Record/rss_article:3976 Online Article RSS Article 2026 0 Multiple Instance Verification Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:4265 https://search.frelip.org/Record/rss_article:4265 Online Article RSS Article 2026 0 Multiple Instance Verification Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:4535 https://search.frelip.org/Record/rss_article:4535 Online Article RSS Article 2026 0 JOB: Physical Verification Engineer At DesignNex In Noida Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:45524 https://search.frelip.org/Record/rss_article:45524 Online Article RSS Article 2026 0 Implicit security requirements classification with large language models using the OWASP application security verification standard: a shift-left approach Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:48108 https://search.frelip.org/Record/rss_article:48108 Online Article RSS Article 2026 0 Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:48461 https://search.frelip.org/Record/rss_article:48461 Online Article RSS Article 2026 0 On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:48462 https://search.frelip.org/Record/rss_article:48462 Online Article RSS Article 2026 0 Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:48470 https://search.frelip.org/Record/rss_article:48470 Online Article RSS Article 2026 0 Verification of Neural Networks (Lecture Notes) Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:48481 https://search.frelip.org/Record/rss_article:48481 Online Article RSS Article 2026 0 Essential, Yet Overlooked: Identity Verification Barriers for Blind and Low Vision People in Government Services Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:48554 https://search.frelip.org/Record/rss_article:48554 Online Article RSS Article 2026 0 Multiple Instance Verification Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:4858 https://search.frelip.org/Record/rss_article:4858 Online Article RSS Article 2026 0 Verification of Correlated Equilibria in Concurrent Reachability Games Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:48593 https://search.frelip.org/Record/rss_article:48593 Online Article RSS Article 2026 0 HalluCiteChecker: A Lightweight Toolkit for Hallucinated Citation Detection and Verification in the Era of AI Scientists Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:48742 https://search.frelip.org/Record/rss_article:48742 Online Article RSS Article 2026 0 Evergreen: Efficient Claim Verification for Semantic Aggregates Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:48796 https://search.frelip.org/Record/rss_article:48796 Online Article RSS Article 2026 0 HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs Thu, 01 Jan 2026 10:46:35 -0500 https://search.frelip.org/Record/rss_article:48935 https://search.frelip.org/Record/rss_article:48935 Online Article RSS Article 2026 0