Mixed-integer linear and nonlinear programming

Mobile GPU optimization skill for thermal management.

Interface with multiple model checking tools for formal verification

Monte Carlo methods for uncertainty quantification

Motion matching skill for animation databases.

Multiple comparison correction methods

nbodykit large-scale structure analysis skill for N-body simulations and galaxy surveys

Skill for visualizing network and graph data

Nextflow workflow management skill for reproducible bioinformatics pipelines

Quantum noise modeling skill for simulation and hardware characterization

Solve general nonlinear optimization problems

High-performance numerical linear algebra operations

Noise, vibration, and harshness analysis and optimization expertise

Numerical methods for ordinary differential equations

Molecular Hamiltonian construction skill using OpenFermion

Verify correctness of compiler optimizations using formal methods

Skill for orbital debris risk assessment and mitigation planning

Skill for integrating with Open Science Framework workflows

ParaView visualization skill for 3D scientific data rendering and analysis

Particle system skill for emitters and GPU particles.

Trajectory planning and motion control algorithm development

Numerical methods for partial differential equations

Perforce skill for game projects, streams, and shelving.

Perseus statistical analysis skill for proteomics data analysis and visualization

PharmGKB pharmacogenomics annotation skill for drug-gene interaction assessment

Retention skill for daily rewards.

Polynomial chaos for uncertainty propagation

Skill for statistical power analysis and sample size calculation

Statistical power analysis and sample size determination

Post-quantum cryptography evaluation skill for quantum-safe migration

Analyze randomized algorithms with probability theory tools and concentration inequalities

Unity ProBuilder skill for level prototyping.

Procedural level generation skill for PCG algorithms.

Skill for building standardized research protocols

Minimum-weight perfect matching decoder skill for surface code error correction

PyMC probabilistic programming skill for hierarchical Bayesian models in physics data analysis

PyMC for flexible Bayesian modeling

PyMeasure laboratory automation skill for instrument control and automated measurement sequences

PyMOL molecular visualization skill for structure rendering and analysis

PySCF quantum chemistry interface for classical electronic structure calculations

PySCF quantum chemistry skill for molecular calculations, coupled cluster, and multireference methods

Pythia event generation skill for proton-proton and lepton collisions at high energies

ZX-calculus based circuit simplification skill for advanced quantum circuit optimization

Quantum error correction code implementation skill for fault-tolerant quantum computing

QIIME2 microbiome analysis skill for 16S rRNA profiling and diversity analysis

Qiskit Nature skill for quantum chemistry and materials science applications

Quantum random number generation skill for cryptographic applications

Quantum kernel computation skill for quantum machine learning

Qubit mapping and routing skill for hardware topology optimization

QuTiP/quimb tensor network skill for quantum many-body simulations and entanglement analysis

Skill for generating randomization schemes for experiments

Randomized benchmarking skill for gate fidelity characterization

RDKit chemoinformatics skill for molecular property calculation and compound library management

Construct and verify polynomial-time reductions between computational problems

Skill for comprehensive regression analysis and modeling

Analyze and organize related work for theoretical CS papers

Remote configuration skill for feature flags.

Skill for assessing feasibility of study replication

Automotive requirements management and traceability expertise

Quantum resource estimation skill for algorithm feasibility analysis

Robust statistical methods resistant to outliers

Root motion skill for movement sync.

Skill for structured safety assessment following ARP4761 guidelines

SageMath for comprehensive mathematical computation

Salmon pseudo-alignment skill for fast and accurate transcript quantification

Skill for generating publication-quality scientific figures

Scikit-HEP toolkit skill for particle physics data analysis with modern Python tools

Full-screen effect skill for damage indicators.

Comprehensive sensitivity analysis for optimization

Global sensitivity analysis methods

Multi-sensor fusion algorithms for perception in autonomous driving

Seurat single-cell analysis skill for clustering, annotation, and trajectory analysis

Singularity container management skill for HPC-compatible containerized execution

Interface with SMT solvers for verification and synthesis

Snakemake workflow management skill for rule-based pipeline execution

Safety of the Intended Functionality (ISO 21448) analysis support

Assist in constructing type soundness proofs using progress and preservation theorems

Skill for spacecraft power system sizing and analysis

Comprehensive special functions evaluation and manipulation

SSA-form transformations and optimizations for compiler development

Stan probabilistic programming for Bayesian inference

Steam P2P networking skill for lobbies and relay servers.

Clifford circuit simulation skill using Stim for error correction studies

Symbolic computation using SymPy for Python-based mathematical analysis

Define specifications for program synthesis using various paradigms

Skill for building and simulating systems dynamics models

Translate between temporal logic formalisms and generate property specifications

Tensor network-based simulation skill for large circuit approximation

Terrain skill for heightmaps, splatmaps, and vegetation.

Texture skill for compression, atlasing, and streaming.

Interface with interactive theorem provers for mechanized verification

Skill for time series analysis and forecasting

Generate and analyze TLA+ specifications for distributed systems verification

Tumor mutation burden and microsatellite instability calculation skill for immunotherapy biomarkers

Touch input skill for virtual joysticks.

Structured skill for conducting engineering trade studies