KOBAYASHI, NAOKI
4192  results:
Search for persons X
?
1

Ownership Types for Verification of Programs with Pointer A..:

, In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,
 
?
4

Productivity Verification for Functional Programs by Reduct..:

, In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,
 
?
5

Demo: Image-based Indoor Localization using Object Detectio..:

, In: Proceedings of the 22nd Annual International Conference on Mobile Systems, Applications and Services,
Aoki, Yuki ; Kobayashi, Naoki ; Okoshi, Tadashi. - p. 596-597 , 2024
 
?
 
?
15

Frequency analysis of food bolus fragmentation through a ve..:

Shibayama, Hitoshi ; Kobayashi, Naoki
Food Science and Technology Research.  30 (2024)  2 - p. 161-169 , 2024
 
1-15