Dárkkuhitgo:
certification » identification (Viiddit ozu), purification (Viiddit ozu)
notification » notifications (Viiddit ozu), justification (Viiddit ozu), purification (Viiddit ozu)
Čájehuvvojit 1 - 20 oktiibuot 5 370 bohtosis ohcui ((((verification OR verification) OR certification) OR modification) OR notification)', ohcanáigi: 0,21s Aiddostahte ozu
  1. 1
    Artifact for the CAV 2025 paper "Supermartingale Certificates for Quantitative Omega-regular Verification and Control"

    Artifact for the CAV 2025 paper "Supermartingale Certificates for Quantitative Omega-regular Verification and Control" Dahkki Thomas A. Henzinger (7688426)

    Almmustuhtton 2025
    Fáttát:
    Lasit oiddohiidda
    Furkejuvvon:
  2. 2
    Real certificate generated.

    Real certificate generated. Dahkki Abdul Razzaq (762345)

    Almmustuhtton 2025
    Fáttát:
    Lasit oiddohiidda
    Furkejuvvon:
  3. 3
    An examination test process for the certification and decentralization.

    An examination test process for the certification and decentralization. Dahkki Abdul Razzaq (762345)

    Almmustuhtton 2025
    Fáttát:
    Lasit oiddohiidda
    Furkejuvvon:
  4. 4
    Descriptive statistics for certificate generation and blockchain recording.

    Descriptive statistics for certificate generation and blockchain recording. Dahkki Abdul Razzaq (762345)

    Almmustuhtton 2025
    Fáttát:
    Lasit oiddohiidda
    Furkejuvvon:
  5. 5
    The verification of the output

    The verification of the output Dahkki Paul A. Gagniuc (1818325)

    Almmustuhtton 2025
    “…<p dir="ltr"><b>The verification of the output</b>. (A) initial transition matrix (T1) of the simulator. …”
    Lasit oiddohiidda
    Furkejuvvon:
  6. 6
    Sample verification.

    Sample verification. Dahkki Lauren Lanahan (3165426)

    Almmustuhtton 2025
    Lasit oiddohiidda
    Furkejuvvon:
  7. 7
    Antibody verification.

    Antibody verification. Dahkki Lan Xia (443866)

    Almmustuhtton 2025
    “…<p>(A) Overexpression verification. HEK293T cells were transfected with CFAP77-, CCDC105-, or TEX43-tagged plasmids; both tag-antibodies and their antibodies recognized a specific band at the same molecular size. …”
    Lasit oiddohiidda
    Furkejuvvon:
  8. 8
    Model verification.

    Model verification. Dahkki Philippos Michaelides (18463232)

    Almmustuhtton 2025
    Lasit oiddohiidda
    Furkejuvvon:
  9. 9
    Verification of integrity.

    Verification of integrity. Dahkki Chin-Ling Chen (17542074)

    Almmustuhtton 2025
    Lasit oiddohiidda
    Furkejuvvon:
  10. 10
    Left and right-side shoulder kinematics for model verification for: A) the static verification task, and B) the dynamic verification task.

    Left and right-side shoulder kinematics for model verification for: A) the static verification task, and B) the dynamic verification task. Dahkki Zoe M. Moore (22331721)

    Almmustuhtton 2025
    Lasit oiddohiidda
    Furkejuvvon:
  11. 11
    Executed smart contract of metaverse certificate test to save the record.

    Executed smart contract of metaverse certificate test to save the record. Dahkki Abdul Razzaq (762345)

    Almmustuhtton 2025
    Fáttát:
    Lasit oiddohiidda
    Furkejuvvon:
  12. 12
    Execution time for saving grades and generating certificates on the blockchain ledger.

    Execution time for saving grades and generating certificates on the blockchain ledger. Dahkki Abdul Razzaq (762345)

    Almmustuhtton 2025
    Fáttát:
    Lasit oiddohiidda
    Furkejuvvon:
  13. 13
    <b>ESG CREDENTIAL LAUNDERING ACROSS MULTI-TIER SUPPLY NETWORKS: A NETWORK LEGITIMACY PERSPECTIVE</b>

    <b>ESG CREDENTIAL LAUNDERING ACROSS MULTI-TIER SUPPLY NETWORKS: A NETWORK LEGITIMACY PERSPECTIVE</b> Dahkki Augustine Okeke (21034832)

    Almmustuhtton 2025
    Fáttát:
    Lasit oiddohiidda
    Furkejuvvon:
  14. 14
    <b>ESG CREDENTIAL LAUNDERING ACROSS MULTI-TIER SUPPLY NETWORKS: A NETWORK LEGITIMACY PERSPECTIVE</b>

    <b>ESG CREDENTIAL LAUNDERING ACROSS MULTI-TIER SUPPLY NETWORKS: A NETWORK LEGITIMACY PERSPECTIVE</b> Dahkki Augustine Okeke (21034832)

    Almmustuhtton 2025
    Fáttát:
    Lasit oiddohiidda
    Furkejuvvon:
  15. 15
    Measurement model verification.

    Measurement model verification. Dahkki Yuxin Yang (694142)

    Almmustuhtton 2025
    Lasit oiddohiidda
    Furkejuvvon:
  16. 16
    Verification of RNAi knockdowns.

    Verification of RNAi knockdowns. Dahkki Monnette F. Summers (22075935)

    Almmustuhtton 2025
    Lasit oiddohiidda
    Furkejuvvon:
  17. 17
    The robustness verification result.

    The robustness verification result. Dahkki Jiaqiang Sun (176863)

    Almmustuhtton 2025
    Lasit oiddohiidda
    Furkejuvvon:
  18. 18
    Verification of non-repudiation.

    Verification of non-repudiation. Dahkki Chin-Ling Chen (17542074)

    Almmustuhtton 2025
    Lasit oiddohiidda
    Furkejuvvon:
  19. 19
    Grids independence verification.

    Grids independence verification. Dahkki Baifeng Yang (22766110)

    Almmustuhtton 2025
    Lasit oiddohiidda
    Furkejuvvon:
  20. 20
    Verification of model assumptions.

    Verification of model assumptions. Dahkki Gonca Güngör Göksu (20352559)

    Almmustuhtton 2025
    Lasit oiddohiidda
    Furkejuvvon:

Ohcanreaiddut: