يعرض 61 - 80 نتائج من 125 نتيجة بحث عن '(( ((python proof) OR (python tool)) implementation ) OR ( python files implementation ))', وقت الاستعلام: 0.34s تنقيح النتائج
  1. 61

    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>wllvm</strong></code>: The third-party library project WLLVM provides tools for building whole-program LLVM bitcode files from unmodified C or C++ source packages.…"
  2. 62

    MCCN Case Study 3 - Select optimal survey locality حسب Donald Hobern (21435904)

    منشور في 2025
    "…</p><p dir="ltr">This is a simple implementation that uses four environmental attributes imported for all Australia (or a subset like NSW) at a moderate grid scale:</p><ol><li>Digital soil maps for key soil properties over New South Wales, version 2.0 - SEED - see <a href="https://esoil.io/TERNLandscapes/Public/Pages/SLGA/ProductDetails-SoilAttributes.html" target="_blank">https://esoil.io/TERNLandscapes/Public/Pages/SLGA/ProductDetails-SoilAttributes.html</a></li><li>ANUCLIM Annual Mean Rainfall raster layer - SEED - see <a href="https://datasets.seed.nsw.gov.au/dataset/anuclim-annual-mean-rainfall-raster-layer" target="_blank">https://datasets.seed.nsw.gov.au/dataset/anuclim-annual-mean-rainfall-raster-layer</a></li><li>ANUCLIM Annual Mean Temperature raster layer - SEED - see <a href="https://datasets.seed.nsw.gov.au/dataset/anuclim-annual-mean-temperature-raster-layer" target="_blank">https://datasets.seed.nsw.gov.au/dataset/anuclim-annual-mean-temperature-raster-layer</a></li></ol><h4><b>Dependencies</b></h4><ul><li>This notebook requires Python 3.10 or higher</li><li>Install relevant Python libraries with: <b>pip install mccn-engine rocrate</b></li><li>Installing mccn-engine will install other dependencies</li></ul><h4><b>Overview</b></h4><ol><li>Generate STAC metadata for layers from predefined configuratiion</li><li>Load data cube and exclude nodata values</li><li>Scale all variables to a 0.0-1.0 range</li><li>Select four layers for comparison (soil organic carbon 0-30 cm, soil pH 0-30 cm, mean annual rainfall, mean annual temperature)</li><li>Select 10 random points within NSW</li><li>Generate 10 new layers representing standardised environmental distance between one of the selected points and all other points in NSW</li><li>For every point in NSW, find the lowest environmental distance to any of the selected points</li><li>Select the point in NSW that has the highest value for the lowest environmental distance to any selected point - this is the most different point</li><li>Clean up and save results to RO-Crate</li></ol><p><br></p>…"
  3. 63

    Supplement Number 1 حسب Susama Agarwala (21628328)

    منشور في 2025
    "…Python files containing the implementation of the graphical calculus on generalized Wilson loop diagrams…"
  4. 64

    Fast, FAIR, and Scalable: Managing Big Data in HPC with Zarr حسب Alfonso Ladino (21447002)

    منشور في 2025
    "…(NEXRAD), using open-source tools from the Python ecosystem such as Xarray, Xradar, and Dask to enable efficient parallel processing and scalable analysis. …"
  5. 65

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

    منشور في 2025
    "…The analysis section includes a GLM model implemented in R, along with evaluation tools such as correlation heatmaps, ICC agreement analysis, and MCC-based binary classification assessment. …"
  6. 66

    <b>Anthropogenic nutrient inputs cause excessive algal growth for nearly half the world’s population</b> حسب Richard McDowell (7311011)

    منشور في 2025
    "…</p><p dir="ltr">Models: R code to explore different models for implementation via Python in ArcGIS</p><p dir="ltr">!geotiffs: GeoTIFF raster files at level 6 of HydroBasins for current, zero human effect and the difference between current and zer human effect.…"
  7. 67

    Probabilistic-QSR-GeoQA حسب Mohammad Kazemi (19442467)

    منشور في 2024
    "…Also we have written Python API for Probcog (ProbCog-API.py) and SparQ reasoners (SparQ-API.py).…"
  8. 68

    NanoDB: Research Activity Data Management System حسب Lorenci Gjurgjaj (19702207)

    منشور في 2024
    "…In a Python environment or as an executable. Ease of Implementation: Using the flexibility of the Python framework all the data setup and algorithm can me modified and new functions can be easily added. …"
  9. 69

    OHID-FF dataset for forest fire detection and classification حسب xin chen (20496938)

    منشور في 2025
    "…Prepare the YOLODataset structure (if you need to rebuild it):</p><p dir="ltr">```bash</p><p dir="ltr">python "train val scripts/prepare_data.py"</p><p>```</p><p dir="ltr"><br></p><p dir="ltr">3. …"
  10. 70

    The codes and data for "Lane Extraction from Trajectories at Road Intersections Based on Graph Transformer Network" حسب Chongshan Wan (19247614)

    منشور في 2024
    "…</li></ul><h2>Codes</h2><p dir="ltr">This repository contains the following Python codes:</p><ul><li>`data_processing.py`: Contains the implementation of data processing and feature extraction. …"
  11. 71

    <b>Data Availability</b> حسب Bonyad Ahmadi (20750327)

    منشور في 2025
    "…</p><p dir="ltr">python scripts documenting the implementation of the Mixture Density Network (MDN) algorithm, including hyperparameter tuning and uncertainty quantification.…"
  12. 72

    <b>Data Availability</b> حسب Bonyad Ahmadi (20750327)

    منشور في 2025
    "…</p><p dir="ltr">python scripts documenting the implementation of the Mixture Density Network (MDN) algorithm, including hyperparameter tuning and uncertainty quantification.…"
  13. 73

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

    منشور في 2025
    "…The pipeline integrates established open-source tools (fastp, BWA-MEM, samtools, iVar, bcftools) and implements <b>codon-aware mutation calling</b> at five canonical RBD positions (R346, S371, K444, F456, F486) relative to NC_045512.2. …"
  14. 74

    Artifact for the IJCAI 2024 paper "Solving Long-run Average Reward Robust MDPs via Stochastic Games" حسب Krishnendu Chatterjee (15367413)

    منشور في 2024
    "…<br></pre></pre><h2>Structure and How to run</h2><p dir="ltr">There are four Python files in the repository.</p><pre><pre>(i) `StrategyIteration.py` is the backend code, containing the implementation of the RPPI algorithm described in the paper.…"
  15. 75

    Reproducible Code and Data for figures حسب Bonyad Ahmadi (20750327)

    منشور في 2025
    "…</i></p><p dir="ltr">It contains:</p><p dir="ltr">✅ <b>Python Code</b> – Scripts used for data preprocessing, and visualization.…"
  16. 76

    Elements: Streaming Molecular Dynamics Simulation Trajectories for Direct Analysis – Applications to Sub-Picosecond Dynamics in Microsecond Simulations حسب Matthias Heyden (17087794)

    منشور في 2025
    "…This eliminates the need for intermediate storage and allows immediate access to high-frequency fluctuations and vibrational signatures that would otherwise be inaccessible. We have implemented this streaming interface in the MD engines NAMD, LAMMPS, and GROMACS</p><p dir="ltr">On the client side, we developed the IMDClient Python package which receives the streamed data, stores into a custom buffer, and provides it to external tools as NumPy arrays, facilitating integration with scientific computing workflows. …"
  17. 77

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

    منشور في 2025
    "…</p><p dir="ltr">Once TASAG detects a deviation from a reference sequence (e.g., 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. …"
  18. 78

    software code of NeoDesign حسب Wenqian Yu (19730101)

    منشور في 2024
    "…<h2>Implementation and Dependencies</h2><p dir="ltr">neoDesign was developed with python (recommend>3.9) and shell (bash) language. …"
  19. 79

    Simulation Code and Raw Data حسب Melih Özkurt (22278520)

    منشور في 2025
    "…<p dir="ltr">Reproducible code (Python) implementing a symmetrized split-step Fourier method (SSFM), with configuration files for all scans. …"
  20. 80

    Table & Figure.pdfBrainwaves and Higher-Order Thinking: An EEG Study of Cognitive Engagement in Mathematics Tasks حسب NORLIZA BINTI MOHAMED (20739875)

    منشور في 2025
    "…Raw and Processed Data</p> <p><br></p> <p>EEG brainwave recordings (raw and preprocessed signals)</p> <p><br></p> <p>Neurofeedback score datasets ( Neuron-Spectrum.NET )</p> <p><br></p> <p>Statistical analysis data (e.g., SPSS, MATLAB, or Python files)</p> <p><br></p> <p>Cognitive achievement test scores and student performance data</p> <p><br></p> <p><br></p> <p><br></p> <p>2. …"