يعرض 1 - 13 نتائج من 13 نتيجة بحث عن '(( (method OR methods) proof implementation ) OR ( python _ implementation ))', وقت الاستعلام: 0.10s تنقيح النتائج
  1. 1
  2. 2

    On the Generation of Quantified Lemmas حسب Gabriel Ebner (23277217)

    منشور في 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 حسب Lubna Fayez Eliyan (17949290)

    منشور في 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 حسب Bakkar, Hazem Wa'il Mohammed

    منشور في 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. …"
    احصل على النص الكامل
  5. 5

    Dickson polynomial-based secure group authentication scheme for Internet of Things حسب Salman Ali Syed (21323729)

    منشور في 2024
    "…Implementation has been carried using python language and deployed and tested on Blockchain using Ethereum Goerli’s Testnet framework. …"
  6. 6

    Arabic Educational Neural Network Chatbot حسب A. Alazzam, Bayan

    منشور في 2023
    "…Finally, we programmed the chabot and the models in Python. As a consequence, an Arabic chatbot answers all questions about educational regulations in the United Arab Emirates.…"
    احصل على النص الكامل
    احصل على النص الكامل
  7. 7

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

    منشور في 2025
    "…Previous studies have demonstrated a plethora of methods in treating 3D images, increasing the interest in applying ViTs models from scratch to that data modality, specifically in small-scale datasets. …"
    احصل على النص الكامل
    احصل على النص الكامل
    احصل على النص الكامل
    masterThesis
  8. 8

    Exploring the potential of onboard energy scavenging subsystems for generating valuable data حسب Raziq Yaqub (16488878)

    منشور في 2023
    "…<p dir="ltr">We propose implementing an onboard energy scavenging subsystem utilizing piezoelectric materials, which serves the dual purpose of generating electrical energy and facilitating data acquisition for multifaceted applications. …"
  9. 9

    Novel Federated Decision Making for Distribution of Anti-SARS-CoV-2 Monoclonal Antibody to Eligible High-Risk Patients حسب AlSereidi, Abeer

    منشور في 2022
    "…To our knowledge, no research combined the federated fundamental ap proach with multicriteria decision-making methods for the treatment of SARS-COV-2, indi cating a research gap. …"
    احصل على النص الكامل
    احصل على النص الكامل
  10. 10

    Hybrid Model for Detection of Cervical Cancer Using Causal Analysis and Machine Learning Techniques حسب Umesh Kumar Lilhore (17727684)

    منشور في 2022
    "…The proposed model Boruta with SVM and various popular ML models are implemented using Python and various performance measuring parameters, i.e., accuracy, precision, F 1 – Score , and recall. …"
  11. 11
  12. 12

    Approximate XML structure validation technical report حسب Tekli, Joe

    منشور في 2014
    "…This technical report contains only proofs, computation examples, and several experimental results.…"
    احصل على النص الكامل
    احصل على النص الكامل
    احصل على النص الكامل
    article
  13. 13

    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... حسب Michael, Brauer

    منشور في 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. …"
    احصل على النص الكامل
    احصل على النص الكامل
    احصل على النص الكامل
    article