Clovis Eberhart

国・地域

このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。

機関

• National Institute of Informatics37.4%
• The Graduate University for Advanced Studies, SOKENDAI13%
• Radboud University Nijmegen6.1%
• Université Paris Cité5.2%
• University of Glasgow4.3%
• Robert Bosch (Germany)4.3%
• その他29.6%

分野

• Computer Science87.3%
• Engineering7.3%
• Biochemistry, Genetics and Molecular Biology1.8%
• Decision Sciences1.8%
• Economics, Econometrics and Finance1.8%

トピック

• Formal Methods in Verification23.9%
• Logic, programming, and type systems19.7%
• Logic, Reasoning, and Knowledge15.4%
• Software Testing and Debugging Techniques8.5%
• Natural Language Processing Techniques4.3%
• Autonomous Vehicle Technology and Safety4.3%
• その他23.9%