E-LIB Suche - Ergebnisse für: Kobayashi, Naoki

1

Productivity Verification for Functional Programs by Reduct..:

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

Fukaishi, Ren ; Kobayashi, Naoki ; Sato, Ryosuke - p. 70-82 , 2024

Link: https://dl.acm.org/doi/1..

2

Pentafluorosulfanyl-substituted biaryl derivatives as MATE-..:

Shinya, Susumu ; Kawai, Kentaro ; Kobayashi, Naoki...
Bioorganic & Medicinal Chemistry. 99 (2024) - p. 117606 , 2024

Link: https://doi.org/10.1016/..

3

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

Link: https://doi.org/10.3136/..

4

Corrigendum to "Imeglimin improves systemic metabolism by t..:

Awazawa, Motoharu ; Matsushita, Maya ; Nomura, Ikumi...
Metabolism. 155 (2024) - p. 155906 , 2024

Link: https://doi.org/10.1016/..

5

Asynchronous unfold/fold transformation for fixpoint logic:

Faisal Al Ameen, Mahmudul ; Kobayashi, Naoki ; Sato, Ryosuke
Science of Computer Programming. 231 (2024) - p. 103014 , 2024

Link: https://doi.org/10.1016/..

6

Development of progressive multifocal leukoencephalopathy a..:

Aiba, Masayuki ; Okada, Kohei ; Funakoshi, Takumi...
Journal of Infection and Chemotherapy. , 2024

Link: https://doi.org/10.1016/..

7

Foundations of Software Science and Computation Structures:..

Lecture Notes in Computer Science, 14575

Kobayashi, Naoki ; Worrell, James - 1st ed. 2024 . , 2024

Link: https://doi.org/10.1007/..

8

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

Link: https://dl.acm.org/doi/1..

9

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

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

Tanaka, Izumi ; Sakayori, Ken ; Kobayashi, Naoki - p. 94-106 , 2024

Link: https://dl.acm.org/doi/1..

10

Donor Lymphocyte Infusion for Relapsed Acute Leukemia or My..:

Ogasawara, Masahiro ; Nozu, Rintaro ; Miki, Kosuke...
Internal Medicine. 63 (2024) 2 - p. 197-205 , 2024

Link: https://doi.org/10.2169/..

11

Super-resolution deep learning reconstruction approach for ..:

Hokamura, Masamichi ; Nakaura, Takeshi ; Yoshida, Naofumi...
European Journal of Radiology. 178 (2024) - p. 111587 , 2024

Link: https://doi.org/10.1016/..

12

High-throughput screening of small-molecules libraries iden..:

Blasco, Benjamin ; Jang, Soojin ; Terauchi, Hiroki...
eBioMedicine. 102 (2024) - p. 105073 , 2024

Link: https://doi.org/10.1016/..

13

Imeglimin improves systemic metabolism by targeting brown a..:

Awazawa, Motoharu ; Matsushita, Maya ; Nomura, Ikumi...
Metabolism. 153 (2024) - p. 155796 , 2024

Link: https://doi.org/10.1016/..

14

Three-dimensional convolutional neural network-based classi..:

Nagawa, Keita ; Hara, Yuki ; Inoue, Kaiji...
Scientific Reports. 14 (2024) 1 - p. , 2024

Link: https://doi.org/10.1038/..

15

Long-term efficacy and safety of romiplostim in refractory ..:

Mitani, Kinuko ; Lee, Jong Wook ; Jang, Jun Ho...
Blood Advances. 8 (2024) 6 - p. 1415-1419 , 2024

Link: https://doi.org/10.1182/..