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
원문 언어: 영어