ITRT
IT Research Trends
논문
논문
저자
기관
국가
키워드
Search
소개
분석
인기 자료
연구분야별 논문
Analysis
Artificial Intelligence
Cryptography
Databases
Infrastructure
Networking
Safety
Software Development
Strategies
Verification
로그인
회원가입
Search by keyword
New York University New York NY USA
Home
search page
affiliation
New York University New York NY USA
국가:
United States
주요 연구 분야:
Verification
주요 키워드:
#neural
#computational
#predictive
주요 저자:
#Kai Burkholder
#Kenny Kwock
#Yuesheng Xu
#Jiaxin Liu
#Chao Chen
더보기
#Kai Burkholder
#Kenny Kwock
#Yuesheng Xu
#Jiaxin Liu
#Chao Chen
#Sihong Xie
#Thomas Langerak
#Juan José Zárate
#Velko Vechev
#David Lindlbauer
#Daniele Panozzo
#Otmar Hilliges
#Mauricio Diaz-Ortiz
#Benjamin Kempinski
#Daphne Cornelisse
#Yoram Bachrach
#Tal Kachman
#Emily Escamilla
#Martin Klein
#Talya Cooper
#Vicky Rampin
#Michele C. Weigle
#Michael L. Nelson
#Anish Athalye
#Frans Kaashoek
#Nickolai Zeldovich
#Joseph Tassarotti
좋아요 (
0
)
PDF 저장
📄 기관 상세정보
출판수
5
총 인용수
16
평균 인용수
3.20
저자 수
27
좋아요 수
0
정량적 분석
정성적 분석
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도
로그인 후 사용 가능
📊 분석 중입니다. 잠시만 기다려 주세요...
논문 목록
(5건)
내 서재 담기
Pruning Neural Networks Using Cooperative Game Theory
저자:
Mauricio Diaz-Ortiz
,
Benjamin Kempinski
,
Daphne Cornelisse
,
Yoram Bachrach
,
Tal Kachman
키워드:
#neural
#computational
#predictive
#neurons
#streamlining
파트:
Artificial Intelligence
|
연도:
2024
The K2 Architecture for Trustworthy Hardware Security Modules
저자:
Anish Athalye
,
Frans Kaashoek
,
Nickolai Zeldovich
,
Joseph Tassarotti
키워드:
#security
#software
#hardware
#verification
#proofs
파트:
Verification
|
연도:
2023
The Rise of GitHub in Scholarly Publications
저자:
Emily Escamilla
,
Martin Klein
,
Talya Cooper
,
Vicky Rampin
,
Michele C. Weigle
,
Michael L. Nelson
키워드:
#online
#scholarly
#sourceforge
#wikis
#archiving
파트:
Software Development
|
연도:
2022
Certification and Trade-off of Multiple Fairness Criteria in Graph-based Spam Detection
저자:
Kai Burkholder
,
Kenny Kwock
,
Yuesheng Xu
,
Jiaxin Liu
,
Chao Chen
,
Sihong Xie
키워드:
#algorithms
#adversarial
#mislead
#harming
#spamming
파트:
Verification
|
연도:
2021
Optimal Control for Electromagnetic Haptic Guidance Systems
저자:
Thomas Langerak
,
Juan José Zárate
,
Velko Vechev
,
David Lindlbauer
,
Daniele Panozzo
,
Otmar Hilliges
키워드:
#speed
#assists
#electromagnetic
#sketching
#electromagnet
파트:
Infrastructure
|
연도:
2020