Showing 1 - 9 results of 9 for search '((methods proof) OR (python tool)) implementation', query time: 0.08s Refine Results
  1. 1
  2. 2

    On the Generation of Quantified Lemmas by Gabriel Ebner (23277217)

    Published 2018
    “…Moreover, the paper contains a comprehensive empirical evaluation of the implemented method and gives an application to a mathematical proof.…”
  3. 3

    DeMi: A Solution to Detect and Mitigate DoS Attacks in SDN by Lubna Fayez Eliyan (17949290)

    Published 2023
    “…The proposed solution for detection leverages a sample entropy approach coupled with an adaptive dynamic threshold considering an exponentially weighted moving average (EWMA); the mitigation approach is based on proof of work (PoW) combined with flow rule installations; and, the heavy-load management method implements a scheduling approach at the SDN controller. …”
  4. 4

    A study on Speaker Recognition System by Bakkar, Hazem Wa'il Mohammed

    Published 2015
    “…The proposed system was mainly developed using Python (Python.org, 2015). This system was used to implement and study several methods and techniques in speaker recognition domain. …”
    Get full text
  5. 5

    Binary Classification of 3D Small-Scale Medical Images Using Video Vision Transformers by Abi Younes, Simon

    Published 2025
    “…The VesselMNIST3d dataset binary classification experiment was implemented by treating the 3D image as video where the third dimension represents the number of frames. …”
    Get full text
    Get full text
    Get full text
    masterThesis
  6. 6
  7. 7
  8. 8

    Global burden and strength of evidence for 88 risk factors in 204 countries and 811 subnational locations, 1990–2021: a systematic analysis for the Global Burden of Disease Study 2... by Michael, Brauer

    Published 2024
    “…To complement estimates of RR and attributable burden, newly developed burden of proof risk function (BPRF) methods were applied to yield supplementary, conservative interpretations of risk–outcome associations based on the consistency of underlying evidence, accounting for unexplained heterogeneity between input data from different studies. …”
    Get full text
    Get full text
    Get full text
    article
  9. 9

    Approximate XML structure validation technical report by Tekli, Joe

    Published 2014
    “…This technical report contains only proofs, computation examples, and several experimental results.…”
    Get full text
    Get full text
    Get full text
    article