직업 분류
토목 엔지니어
설명
Permit application preparation skill for building, environmental, and DOT permits
원문 언어: 영어
업데이트
이 저장소의 skills
a5c-ai/babysitter - 24페이지
SkillsMP는 a5c-ai/babysitter에서 2,079개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
a5c-ai/babysitter수집된 skill 2,079개 중 40개를 표시합니다.
skill
직업 분류
설명
업데이트
직업 분류
토목 엔지니어
설명
Deep foundation capacity analysis skill for driven piles and drilled shafts
원문 언어: 영어
업데이트
직업 분류
토목 엔지니어
설명
Construction quantity takeoff skill for concrete, steel, earthwork, and materials
원문 언어: 영어
업데이트
직업 분류
토목 엔지니어
설명
Revit API interface skill for element extraction, creation, and automation
원문 언어: 영어
업데이트
직업 분류
토목 엔지니어
설명
Cross-sectional property calculation skill for structural sections including standard and custom shapes
원문 언어: 영어
업데이트
직업 분류
토목 엔지니어
설명
Seismic hazard analysis skill for site classification, spectral acceleration, and design response spectrum generation
원문 언어: 영어
업데이트
직업 분류
토목 엔지니어
설명
Foundation settlement calculation skill for immediate, consolidation, and secondary compression
원문 언어: 영어
업데이트
직업 분류
토목 엔지니어
설명
Traffic signal timing optimization skill for cycle length, phasing, and coordination
원문 언어: 영어
업데이트
직업 분류
토목 엔지니어
설명
Slope stability analysis skill using limit equilibrium methods for static and seismic conditions
원문 언어: 영어
업데이트
직업 분류
토목 엔지니어
설명
Soil classification skill using USCS and AASHTO systems with SPT correlations
원문 언어: 영어
업데이트
직업 분류
토목 엔지니어
설명
Steel connection design skill for bolted and welded connections per AISC specifications
원문 언어: 영어
업데이트
직업 분류
토목 엔지니어
설명
Construction submittal tracking skill for document management and review workflow
원문 언어: 영어
업데이트
직업 분류
측량사
설명
Survey data processing skill for point clouds, DTM generation, and coordinate transformation
원문 언어: 영어
업데이트
직업 분류
토목 엔지니어
설명
Traffic simulation skill for microsimulation, level of service, and signal optimization
원문 언어: 영어
업데이트
직업 분류
토목 엔지니어
설명
Water distribution system modeling skill for pipe networks, pump analysis, and fire flow
원문 언어: 영어
업데이트
직업 분류
토목 엔지니어
설명
Wind load calculation skill per ASCE 7 for MWFRS and components and cladding
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Library of abstract domains for static analysis and abstract interpretation
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Apply amortized analysis techniques including aggregate, accounting, and potential methods
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Analyze and prove approximation ratios for optimization algorithms
원문 언어: 영어
업데이트
직업 분류
기타 중등 후 교사
설명
Automated derivation and simplification of Big-O, Big-Omega, and Big-Theta expressions for algorithm analysis
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Manage benchmarks for algorithm engineering experiments and evaluations
원문 언어: 영어
업데이트
직업 분류
기타 중등 후 교사
설명
Classify problems into complexity classes with supporting evidence and proof strategies
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Reference implementations and specifications of consensus protocols
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Implement CEGAR for synthesis and verification workflows
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Design and implement data-flow analyses for compiler optimization
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Generate compilers and interpreters for domain-specific languages
원문 언어: 영어
업데이트
직업 분류
기술 작가
설명
Format proofs and algorithms in publication-quality LaTeX
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Check linearizability of concurrent data structure implementations
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Automatically generate and verify loop invariants for algorithm correctness proofs
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Analyze programs under various memory models for concurrent correctness
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Interface with multiple model checking tools for formal verification
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Define and test operational semantics specifications for programming languages
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Verify correctness of compiler optimizations using formal methods
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Analyze randomized algorithms with probability theory tools and concentration inequalities
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Solve recurrence relations using multiple methods including Master Theorem and generating functions
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Construct and verify polynomial-time reductions between computational problems
원문 언어: 영어
업데이트
직업 분류
기타 중등 후 교사
설명
Analyze and organize related work for theoretical CS papers
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Interface with SMT solvers for verification and synthesis
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Assist in constructing type soundness proofs using progress and preservation theorems
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
SSA-form transformations and optimizations for compiler development
원문 언어: 영어
업데이트
수집된 skill 2,079개 중 40개를 표시합니다.