Search alternatives:
code implementation » model implementation (Expand Search), time implementation (Expand Search), world implementation (Expand Search)
python proof » python tool (Expand Search)
method proof » method proved (Expand Search)
code implementation » model implementation (Expand Search), time implementation (Expand Search), world implementation (Expand Search)
python proof » python tool (Expand Search)
method proof » method proved (Expand Search)
-
161
Core-Based Smart Sampling Framework: A Theoretical and Experimental Study on Randomized Partitioning for SAT Problems
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. …”
-
162
Data Sheet 1_C.R.A.B.: a gamified paradigm for studying readiness potential.pdf
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. …”
-
163
Concurrent spin squeezing and field tracking with machine learning
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. …”
-
164
MCCN Case Study 3 - Select optimal survey locality
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>…”
-
165
Neural-Signal Tokenization and Real-Time Contextual Foundation Modelling for Sovereign-Scale AGI Systems
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.…”
-
166
Gene Editing using Transformer Architecture
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. …”
-
167
Supervised Classification of Burned Areas Using Spectral Reflectance and Machine Learning
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. …”
-
168
Numerical analysis and modeling of water quality indicators in the Ribeirão João Leite reservoir (Goiás, Brazil)
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. …”
-
169
Data from: Circadian activity predicts breeding phenology in the Asian burying beetle <i>Nicrophorus nepalensis</i>
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>…”
-
170
A Boundary-Degree Induction Framework for Hadwiger's Conjecture
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.…”
-
171
Void-Center Galaxies and the Gravity of Probability Framework: Pre-DESI Consistency with VGS 12 and NGC 6789
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. …”
-
172
Genomic Surveillance of Pemivibart (VYD2311) Escape-Associated Mutations in SARS-CoV-2: December 2025 BioSamples (n=2)
Published 2025“…Full source code and version details are available upon request.…”
-
173
Hippocampal and cortical activity reflect early hyperexcitability in an Alzheimer's mouse model
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>. …”
-
174
Ambient Air Pollutant Dynamics (2010–2025) and the Exceptional Winter 2016–17 Pollution Episode: Implications for a Uranium/Arsenic Exposure Event
Published 2025“…Includes imputation statistics, data dictionary, and the Python imputation code (Imputation_Air_Pollutants_NABEL.py). …”
-
175
Methodological Approach Based on Structural Parameters, Vibrational Frequencies, and MMFF94 Bond Charge Increments for Platinum-Based Compounds
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. …”
-
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
Published 2025“…The approach offers advantages over current methods but requires resolution of energy calibration offsets and detector limitations before clinical implementation. …”
-
177
Data Sheet 1_Platelet bioenergetics correlate with skeletal muscle respiration in a murine model of type II diabetes.docx
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. …”
-
178
Table 1_An NGS-assisted diagnostic workflow for culture-independent detection of bloodstream pathogens and prediction of antimicrobial resistances in sepsis.docx
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. …”
-
179
Efficient Nonparametric Estimation of 3D Point Cloud Signals through Distributed Learning
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. …”
-
180
Advancing Solar Magnetic Field Modeling
Published 2025“…<br><br>We developed a significantly faster Python code built upon a functional optimization framework previously proposed and implemented by our team. …”