職業分類
土木エンジニア
説明
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 件を表示しています。