National Institute of Informatics Tokyo Japan

  1. Home
  2. search page
  3. affiliation

National Institute of Informatics Tokyo Japan

국가: Japan
주요 연구 분야: Verification
주요 키워드: #algorithm #learning #security
주요 저자:
#Paolo Arcaini #Shaukat Ali #Xinyi Wang #Tao Yue #Andrea Bombarda

📄 기관 상세정보

출판수7
총 인용수31
평균 인용수4.43
저자 수23
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (7건)

AD2AT: Audio Description to Alternative Text, a Dataset of Alternative Text from Movies
저자: Elise Lincker , Camille Guinaudeau , Shin’ichi Satoh
키워드: #improving #audio #valuable #vision #movies
파트: Software Development | 연도: 2025
Enumerating Graphlets with Amortized Time Complexity Independent of Graph Size
저자: Alessio Conte , Roberto Grossi , Yasuaki Kobayashi , Kazuhiro Kurita , Davide Rucci , Takeaki Uno , Kunihiro Wasa
키워드: #algorithm #algorithms #graph #networks #graphlets
파트: Databases | 연도: 2025
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features
저자: Paolo Arcaini , Silvia Bonfanti , Angelo Gargantini , Elvinia Riccobene , Patrizia Scandurra
키워드: #engineering #modeling #automotive #verification #toolset
파트: Verification | 연도: 2024
QuSBT: search-based testing of quantum programs
저자: Shaukat Ali , Xinyi Wang , Paolo Arcaini , Tao Yue
키워드: #algorithm #genetic #optimization #quantum #ibm
파트: Verification | 연도: 2022
Lessons Learned from ASVSpoof and Remaining Challenges
저자: Junichi Yamagishi
키워드: #learning #security #countermeasure #countermeasures #reproducing
파트: Strategies | 연도: 2022
An Implementation of Low-latency and High-reliability Mobile Edge Computing System
저자: Lei Huang , Ping Wang , Yusheng Ji
키워드: #computing #mobile #efficiency #reliability #sensing
파트: Networking | 연도: 2020
Dealing with Robustness of Convolutional Neural Networks for Image Classification
저자: Paolo Arcaini , Andrea Bombarda , Silvia Bonfanti , Angelo Gargantini
키워드: #medical #neural #robustness #important #histologic
파트: Verification | 연도: 2020