Work sampling analysis skill for activity distribution and utilization studies.
原文の言語: 英語
メニュー
このリポジトリの skills
SkillsMP は MikeTreml/MissionControl から 1,968 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
MikeTreml/MissionControl収集済み skill 1,968 件中 40 件を表示しています。
Work sampling analysis skill for activity distribution and utilization studies.
原文の言語: 英語
Workstation and workspace layout design skill with ergonomic optimization.
原文の言語: 英語
Advanced skill for crystallographic structure analysis and determination including space group identification, atomic position refinement, and PDF analysis
原文の言語: 英語
Specialized skill for metallic materials analysis and metallography including grain size measurement, phase quantification, and inclusion rating
原文の言語: 英語
Specialized skill for polymer materials analysis including molecular weight distribution, thermal transitions, crystallinity, and rheological properties
原文の言語: 英語
Skill for surface composition, chemical state, and topography analysis including XPS depth profiling, AFM imaging, and contact angle measurements
原文の言語: 英語
Skill for thermal characterization workflows including DSC, TGA, DTA, TMA, and DMA for phase transitions, decomposition, and viscoelastic property analysis
原文の言語: 英語
Search and analyze mathematical literature on arXiv
原文の言語: 英語
Manage and execute mathematical benchmark suites
原文の言語: 英語
Combinatorial object generation and counting
原文の言語: 英語
Manage reproducible computational environments
原文の言語: 英語
Solve convex optimization problems efficiently
原文の言語: 英語
Interface with Coq proof assistant for formal verification
原文の言語: 英語
Automated search for counterexamples to mathematical conjectures
原文の言語: 英語
Optimization without gradient information
原文の言語: 英語
Mathematical diagram and visualization generation
原文の言語: 英語
Rigorous floating-point error analysis
原文の言語: 英語
Comprehensive graph algorithms implementation
原文の言語: 英語
Function interpolation and approximation methods
原文の言語: 英語
Interface with Isabelle/HOL for classical mathematics formalization
原文の言語: 英語
High-quality LaTeX mathematical typesetting
原文の言語: 英語
Interface with Lean 4 proof assistant for formal theorem verification
原文の言語: 英語
Validate and standardize mathematical notation
原文の言語: 英語
Interface with Mathematica/Wolfram Language for advanced symbolic computation
原文の言語: 英語
Interface with MathSciNet for mathematical reviews
原文の言語: 英語
Open-source computer algebra system for symbolic computation
原文の言語: 英語
MCMC convergence diagnostics and analysis
原文の言語: 英語
Mixed-integer linear and nonlinear programming
原文の言語: 英語
Monte Carlo methods for uncertainty quantification
原文の言語: 英語
Multiple comparison correction methods
原文の言語: 英語
Solve general nonlinear optimization problems
原文の言語: 英語
High-performance numerical linear algebra operations
原文の言語: 英語
Numerical methods for ordinary differential equations
原文の言語: 英語
Numerical methods for partial differential equations
原文の言語: 英語
Polynomial chaos for uncertainty propagation
原文の言語: 英語
Statistical power analysis and sample size determination
原文の言語: 英語
Analyze and restructure mathematical proofs for clarity and completeness
原文の言語: 英語
PyMC for flexible Bayesian modeling
原文の言語: 英語
Robust statistical methods resistant to outliers
原文の言語: 英語
SageMath for comprehensive mathematical computation
原文の言語: 英語