Skip to main content

이 저장소의 skills

MikeTreml/MissionControl - 20페이지

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

원문 언어: 영어

업데이트
직업 분류
물리학자
설명

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

원문 언어: 영어

업데이트
직업 분류
데이터 과학자
설명

Robust statistical methods resistant to outliers

원문 언어: 영어

업데이트
직업 분류
소프트웨어 개발자
설명

SageMath for comprehensive mathematical computation

원문 언어: 영어

업데이트
수집된 skill 1,968개 중 40개를 표시합니다.