يعرض 1 - 16 نتائج من 16 نتيجة بحث عن 'python ((world implementation) OR (proof implementation))', وقت الاستعلام: 0.39s تنقيح النتائج
  1. 1

    Complex Eigenvalues, Orthogonality, and QR Factorization: Analytical Proofs and Numerical Verification حسب Umar Tabbsum (22058780)

    منشور في 2025
    "…The work includes both analytical proofs and numerical verification to ensure reproducibility and clarity.…"
  2. 2
  3. 3
  4. 4

    World Heritage documents reveal persistent gaps between climate awareness and local action حسب Yang Chen (20756166)

    منشور في 2025
    "…Some components require non-standard Python libraries such as pdfminer.six and pingouin.…"
  5. 5
  6. 6

    RealBench: A Repo-Level Code Generation Benchmark Aligned with Real-World Software Development Practices حسب RealBench RealBench (22275393)

    منشور في 2025
    "…To address this, we propose RealBench, a novel repository-level benchmark aligned with real-world software development. RealBench provides both natural language requirements and UML diagrams (package and class diagrams) for 61 diverse, real-world Python repositories, along with comprehensive test suites. …"
  7. 7

    Missing Value Imputation in Relational Data Using Variational Inference حسب Simon Fontaine (7046618)

    منشور في 2025
    "…Additional results, implementation details, a Python implementation, and the code reproducing the results are available online. …"
  8. 8

    Gene Editing using Transformer Architecture حسب Rishabh Garg (5261744)

    منشور في 2025
    "…., the H-Bot sequence), it facilitates on-screen gene editing, enabling targeted mutations or the insertion of desired genes. Implementation requires Python and deep learning frameworks like TensorFlow or PyTorch, with optional use of Biopython for genetic sequence handling. …"
  9. 9

    Investigating the far-right online: Using text data to understand online subcultures حسب L Brace (18374691)

    منشور في 2025
    "…While these analytical techniques are new, they are actually fairly easy for social researchers to implement due to the nature of contemporary high-level programming languages such as Python.…"
  10. 10

    CNG-ARCO-RADAR.pdf حسب Alfonso Ladino (21447002)

    منشور في 2025
    "…This approach uses a suite of Python libraries, including Xarray (Xarray-Datatree), Xradar, and Zarr, to implement a hierarchical tree-like data model. …"
  11. 11

    Genomic Surveillance of Pemivibart (VYD2311) Escape-Associated Mutations in SARS-CoV-2: December 2025 BioSamples (n=2) حسب Tahir Bhatti (20961974)

    منشور في 2025
    "…The samples (SRR36268464, SRR36225071) were retrieved from the NCBI Sequence Read Archive (SRA) and represent publicly available, real-world viral specimens collected during the final month of 2025, <b>the most recent temporal window available at the time of analysis.…"
  12. 12

    Iterative Methods for Vecchia-Laplace Approximations for Latent Gaussian Process Models حسب Pascal Kündig (19824557)

    منشور في 2024
    "…All methods are implemented in a free C++ software library with high-level Python and R packages. …"
  13. 13

    Data&Codes.zip حسب Zer0 Star (20545655)

    منشور في 2025
    "…</p><p dir="ltr">To facilitate the widespread use of the proposed framework, we have implemented it as the <b><i>ESLocalIndi</i></b> open-source package in Python, making it easily accessible to geographers. …"
  14. 14

    The artifacts and data for the paper "DD4AV: Detecting Atomicity Violations in Interrupt-Driven Programs with Guided Concolic Execution and Filtering" (OOPSLA 2025) حسب zixuan yuan (17602152)

    منشور في 2025
    "…</li><li><code><strong>realworld_AV</strong></code>: 18 real-world embedded interrupt-driven programs, all written in C, including control software, firmware, and device drivers.…"
  15. 15

    Core-Based Smart Sampling Framework: A Theoretical and Experimental Study on Randomized Partitioning for SAT Problems حسب DURGHAM QARALLEH (21904172)

    منشور في 2025
    "…We provide theoretical guarantees on complexity reduction and probabilistic completeness, apply the method to SAT instances, and evaluate its performance using experimental Python implementations. The results show that smart sampling drastically reduces the effective complexity of SAT problems and offers new insights into the structure of NP-complete problems.…"
  16. 16

    Mean Annual Habitat Quality and Its Driving Variables in China (1990–2018) حسب ChenXi Zhu (21374876)

    منشور في 2025
    "…</p><p dir="ltr">(HQ: Habitat Quality; CZ: Climate Zone; FFI: Forest Fragmentation Index; GPP: Gross Primary Productivity; Light: Nighttime Lights; PRE: Mean Annual Precipitation Sum; ASP: Aspect; RAD: Solar Radiation; SLOPE: Slope; TEMP: Mean Annual Temperature; SM: Soil Moisture)</p><p dir="ltr"><br>A Python script used for modeling habitat quality, including mean encoding of the categorical variable climate zone (CZ), multicollinearity testing using Variance Inflation Factor (VIF), and implementation of four machine learning models to predict habitat quality.…"