نمایه‌‌ها

نمایه‌‌ها

نمایه من کتابخانه من

Christian Szegedy

Researcher

ایمیل تأیید شده در szegedy.org

بیان شده در 276150 یافته

Deep learning Formal reasoning

Hoda Mehrpouyan

Associate Professor of Computer Science at Boise State University

ایمیل تأیید شده در boisestate.edu

بیان شده در 679 یافته

Formal Reasoning Cybersecurity Privacy Cyber-Physical Systems

Waqar Ahmad

Wind River Systems, Inc.

ایمیل تأیید شده در seecs.edu.pk

بیان شده در 478 یافته

Safety Formal Reasoning Embedded OS

Jingmei Hu

Harvard University, Amazon

ایمیل تأیید شده در amazon.com

بیان شده در 104 یافته

Computer Science Program Synthesis Operating Systems Formal Reasoning Human Computer Interaction