Cuardaigh le haghaidh roghanna malartacha:
notifications » notification (Leathnaigh an cuardach), modifications (Leathnaigh an cuardach)
quantification » identification (Leathnaigh an cuardach)
verification » purification (Leathnaigh an cuardach)
certifications » certification (Leathnaigh an cuardach), verifications (Leathnaigh an cuardach), identifications (Leathnaigh an cuardach)
notifications » notification (Leathnaigh an cuardach), modifications (Leathnaigh an cuardach)
quantification » identification (Leathnaigh an cuardach)
verification » purification (Leathnaigh an cuardach)
certifications » certification (Leathnaigh an cuardach), verifications (Leathnaigh an cuardach), identifications (Leathnaigh an cuardach)
-
1
Computational cost for certificate and signature verification.
Foilsithe / Cruthaithe 2024“…<p>Computational cost for certificate and signature verification.</p>…”
-
2
-
3
-
4
-
5
Reproducible Research, Uncertainty Quantification, and Verification & Validation
Foilsithe / Cruthaithe 2014Ábhair: -
6
An examination test process for the certification and decentralization.
Foilsithe / Cruthaithe 2025Ábhair: -
7
Artifact for the CAV 2025 paper "Supermartingale Certificates for Quantitative Omega-regular Verification and Control"
Foilsithe / Cruthaithe 2025Ábhair: -
8
Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification
Foilsithe / Cruthaithe 2016Ábhair: “…Real-Time Reliability Verification…”
-
9
TB notification rates among children aged 0–4 years per decade over time.
Foilsithe / Cruthaithe 2015Ábhair: -
10
Descriptive statistics for certificate generation and blockchain recording.
Foilsithe / Cruthaithe 2025Ábhair: -
11
Quantification of carbonylated proteins and peptides and location of the modification.
Foilsithe / Cruthaithe 2013 -
12
-
13
Executed smart contract of metaverse certificate test to save the record.
Foilsithe / Cruthaithe 2025Ábhair: -
14
Execution time for saving grades and generating certificates on the blockchain ledger.
Foilsithe / Cruthaithe 2025Ábhair: -
15
-
16
A Century of Tuberculosis Epidemiology in the Northern and Southern Hemisphere: The Differential Impact of Control Interventions
Foilsithe / Cruthaithe 2015Ábhair: -
17
Timeline of implementation of TB control interventions in Cape Town, New York and London.
Foilsithe / Cruthaithe 2015Ábhair: -
18
-
19
Model establishment and verification.
Foilsithe / Cruthaithe 2014Ábhair: “…Hepatocyte Growth Factor Modification Enhances…”
-
20