Showing 1 - 20 results of 3,777 for search '((((verification OR verification) OR quantification) OR modifications) OR specification)', query time: 0.19s Refine Results
  1. 1

    Modal disparity and its experimental verification by Issa, Jimmy

    Published 2008
    “…This confirmation of modal disparity for a specific structural system provides evidence that this concept is feasible, and thereby opens the door for a number of potential applications in passive and active control of vibrating structures.…”
    Get full text
    Get full text
    Get full text
    Get full text
    article
  2. 2

    A speaker verification system for Arabic by Al-Telmisani,, Essam Abed

    Published 2008
    “…In this thesis a new Speaker Verification System (SVS) methodology is developed. The objective is to develop a SVS system that achieves high identification accuracy with low storage requirements for the use in smart card-based systems. …”
    Get full text
    masterThesis
  3. 3
  4. 4
  5. 5

    Accelerating Blockchain Transaction Verification With Parallel Computing by Zhou, Huangjin

    Published 2024
    “…A Master of Science thesis in Computer Engineering by Huangjin Zhou entitled, “Accelerating Blockchain Transaction Verification with Parallel Computing”, submitted in May 2024. …”
    Get full text
    doctoralThesis
  6. 6
  7. 7

    Who can verify this? Finding authorities for rumor verification in Twitter by Fatima Haouari (17100181)

    Published 2023
    “…<p>A large body of research work has proposed verification techniques for rumors spreading in social media that mainly relied on subjective evidence, e.g., propagation networks or user interactions. …”
  8. 8
  9. 9
  10. 10

    Design and Verification of High Efficiency Energy Harvesting System at RF Frequencies by Rabah, Hebah

    Published 2024
    “…A Master of Science thesis in Electrical Engineering by Hebah Rabah entitled, “Design and Verification of High Efficiency Energy Harvesting System at RF Frequencies”, submitted in November 2024. …”
    Get full text
    doctoralThesis
  11. 11

    Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings by Ghalya Alwhishi (21393599)

    Published 2024
    “…This paper tackles these challenges by introducing a new logic, termed Six-Values Computation Tree Logic for Commitment (6V-CTLC), specifically crafted to adeptly model IoT systems with both inconsistency and uncertainty. …”
  12. 12
  13. 13
  14. 14
  15. 15

    Formal Verification- and AI/ML-Assisted Radio Resource Allocation for Open RAN Compliant 5G/6G Networks by Tariq Mumtaz (10861635)

    Published 2025
    “…The proposed RRM methodology incorporates formal verification capabilities to generate vast Pareto optimality datasets for specific RAN design parameters, establishing a foundation for rigorous RRM strategy selection. …”
  16. 16
  17. 17

    On Single Source Reachability Improvement by Alkak, Hashem

    Published 2022
    Subjects: “…Computer systems -- Verification…”
    Get full text
    Get full text
    Get full text
    masterThesis
  18. 18
  19. 19
  20. 20