Showing 161 - 180 results of 201 for search '(( python code implementation ) OR ( ((python proof) OR (method proof)) implementation ))', query time: 0.33s Refine Results
  1. 161

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

    Published 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. …”
  2. 162

    Data Sheet 1_C.R.A.B.: a gamified paradigm for studying readiness potential.pdf by Evgeny Blagovechtchenski (20684693)

    Published 2025
    “…</p>Results<p>As a proof of concept, we employed the C.R.A.B. paradigm with healthy adult participants to validate its effectiveness. …”
  3. 163

    Concurrent spin squeezing and field tracking with machine learning by Junlei Duan (18393642)

    Published 2025
    “…Randomly signal generating codeb.Deep learning codec.data pre-processing code The network is implemented using the torch 1.13.1 framework and CUDA 11.6 on Python 3.8.8. …”
  4. 164

    MCCN Case Study 3 - Select optimal survey locality by Donald Hobern (21435904)

    Published 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>…”
  5. 165

    Neural-Signal Tokenization and Real-Time Contextual Foundation Modelling for Sovereign-Scale AGI Systems by Lakshit Mathur (20894549)

    Published 2025
    “…</p><p dir="ltr"><b>Availability</b> — The repository includes LaTeX sources, trained model checkpoints, Python/PyTorch code, and synthetic datasets. Data are released under a Creative Commons Attribution-NonCommercial-4.0 (CC BY-NC 4.0) license; code under MIT License.…”
  6. 166

    Gene Editing using Transformer Architecture by Rishabh Garg (5261744)

    Published 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. …”
  7. 167

    Supervised Classification of Burned Areas Using Spectral Reflectance and Machine Learning by Baptista Boanha (22424668)

    Published 2025
    “…Six Python scripts are provided, each implementing a distinct machine learning algorithm—Random Forest, k-Nearest Neighbors (k-NN), Multi-Layer Perceptron (MLP), Decision Tree, Naïve Bayes, and Logistic Regression. …”
  8. 168

    Numerical analysis and modeling of water quality indicators in the Ribeirão João Leite reservoir (Goiás, Brazil) by Amanda Bueno de Moraes (22559249)

    Published 2025
    “…The code implements a statistical–computational workflow for parameter selection (VIF, Bartlett and KMO tests, PCA and FA with <i>varimax</i>) and then trains and evaluates machine-learning models to predict three key physico-chemical indicators: turbidity, true color, and total iron. …”
  9. 169

    Data from: Circadian activity predicts breeding phenology in the Asian burying beetle <i>Nicrophorus nepalensis</i> by Hao Chen (20313552)

    Published 2025
    “…</p><p dir="ltr">The dataset includes:</p><ol><li>Raw locomotor activity measurements (.txt files) with 1-minute resolution</li><li>Breeding experiment data (Pair_breeding.csv) documenting nest IDs, population sources, photoperiod treatments, and breeding success</li><li>Activity measurement metadata (Loc_metadataset.csv) containing detailed experimental parameters and daily activity metrics extracted using tsfresh</li></ol><p dir="ltr">The repository also includes complete analysis pipelines implemented in both Python (3.8.8) and R (4.3.1), featuring:</p><ul><li>Data preprocessing and machine learning model development</li><li>Statistical analyses</li><li>Visualization scripts for generating Shapley plots, activity pattern plots, and other figures</li></ul><p></p>…”
  10. 170

    A Boundary-Degree Induction Framework for Hadwiger's Conjecture by john teo (17467509)

    Published 2025
    “…</li><li><b>A formalization plan</b> to implement the graph theory, minor operations, and coloring arguments in Coq for machine-verifiable proofs.…”
  11. 171

    Void-Center Galaxies and the Gravity of Probability Framework: Pre-DESI Consistency with VGS 12 and NGC 6789 by Jordan Waters (21620558)

    Published 2025
    “…<br><br><br><b>ORCID ID: https://orcid.org/0009-0009-0793-8089</b><br></p><p dir="ltr"><b>Code Availability:</b></p><p dir="ltr"><b>All Python tools used for GoP simulations and predictions are available at:</b></p><p dir="ltr"><b>https://github.com/Jwaters290/GoP-Probabilistic-Curvature</b><br><br>The Gravity of Probability framework is implemented in this public Python codebase that reproduces all published GoP predictions from preexisting DESI data, using a single fixed set of global parameters. …”
  12. 172
  13. 173

    Hippocampal and cortical activity reflect early hyperexcitability in an Alzheimer's mouse model by Marina Diachenko (19739092)

    Published 2025
    “…</p><p dir="ltr">All data are available upon request. The standalone Python implementation of the fE/I algorithm is available under a CC-BY-NC-SA license at <a href="https://github.com/arthur-ervin/crosci" target="_blank">https://github.com/arthur-ervin/crosci</a>. …”
  14. 174

    Ambient Air Pollutant Dynamics (2010–2025) and the Exceptional Winter 2016–17 Pollution Episode: Implications for a Uranium/Arsenic Exposure Event by Thomas Clemens Carmine (19756929)

    Published 2025
    “…Includes imputation statistics, data dictionary, and the Python imputation code (Imputation_Air_Pollutants_NABEL.py). …”
  15. 175

    Methodological Approach Based on Structural Parameters, Vibrational Frequencies, and MMFF94 Bond Charge Increments for Platinum-Based Compounds by Gloria Castañeda-Valencia (20758502)

    Published 2025
    “…The developed bci optimization tool, based on MMFF94, was implemented using a Python code made available at https://github.com/molmodcs/bci_solver. …”
  16. 176

    Data Sheet 1_A novel approach for proton therapy pencil beam scanning patient specific quality assurance using an integrated detector system and 3D dose reconstruction.pdf by Joseph J. Bateman (22512482)

    Published 2025
    “…The approach offers advantages over current methods but requires resolution of energy calibration offsets and detector limitations before clinical implementation. …”
  17. 177

    Data Sheet 1_Platelet bioenergetics correlate with skeletal muscle respiration in a murine model of type II diabetes.docx by Mia S. Wilkinson (22617389)

    Published 2025
    “…This work lays the conceptual and methodological foundation for future studies in human metabolic diseases where muscle bioenergetic dysfunction is implicated but current methods are not implementable for clinical surveillance. …”
  18. 178

    Table 1_An NGS-assisted diagnostic workflow for culture-independent detection of bloodstream pathogens and prediction of antimicrobial resistances in sepsis.docx by David Pinzauti (22152886)

    Published 2025
    “…This study evaluated the diagnostic performance of PISTE™ technology, an NGS-based diagnostic workflow combining full-length 16S rRNA gene sequencing and metagenomic analysis for the diagnosis of circulating bacteria in sepsis.</p>Methods<p>In this prospective, multicenter, phase IIa proof-of-concept study, adult patients with suspected sepsis were enrolled from four hospitals in Athens, Greece. …”
  19. 179

    Efficient Nonparametric Estimation of 3D Point Cloud Signals through Distributed Learning by Guannan Wang (2209297)

    Published 2024
    “…To evaluate the efficacy of the proposed NPD method, we conduct simulation studies comparing it with several global nonparametric estimation methods used to smooth the 3D data. …”
  20. 180

    Advancing Solar Magnetic Field Modeling by Carlos António (21257432)

    Published 2025
    “…<br><br>We developed a significantly faster Python code built upon a functional optimization framework previously proposed and implemented by our team. …”