検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
A Generalized Slip-Flow Theory for a Slightly Rarefied Gas Flow Induced by Discontinuous Wall Temperature Taguchi, Satoshi; Tsuji, Tetsuro (2021) Recent Advances in Kinetic Equations and Applications: 327-344 | |
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types Nishida, Yuki; Saito, Hiromasa; Chen, Ran; Kawata, Akira; Furuse, Jun; Suenaga, Kohei; Igarashi, Atsushi (2021) Tools and Algorithms for the Construction and Analysis of Systems: 262-280 | |
Kernel-based modeling of pneumothorax deformation using intraoperative cone-beam CT images Nakao, Megumi; Maekawa, Hinako; Mineura, Katsutaka; Chen-Yoshikawa, Toyofumi F.; Matsuda, Tetsuya (2021-02-15) Proceedings; Medical Imaging 2021: Image-Guided Procedures, Robotic Interventions, and Modeling, 11598 | |
X-ray2Shape: Reconstruction of 3D Liver Shape from a Single 2D Projection Image Tong, Fei; Nakao, Megumi; Wu, Shuqiong; Nakamura, Mitsuhiro; Matsuda, Tetsuya (2020) 2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC): 1608-1611 | |
Model-based registration for pneumothorax deformation analysis using intraoperative cone-beam CT images Maekawa, Hinako; Nakao, Megumi; Mineura, Katsutaka; Chen-Yoshikawa, Toyofumi F.; Matsuda, Tetsuya (2020) 2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC): 5818-5821 | |
Enumerated sparse extraction of important surgical planning features for mandibular reconstruction Nagai, Kazuki; Nakao, Megumi; Ueda, Nobuhiro; Imai, Yuichiro; Kirita, Tadaaki; Matsuda, Tetsuya (2020) 2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC): 5519-5522 | |
Deep Learning Based Lung Region Segmentation with Data Preprocessing by Generative Adversarial Nets Nitta, Jumpei; Nakao, Megumi; Imanishi, Keiho; Matsuda, Tetsuya (2020) 2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC): 1278-1281 | |
イオンチャネルの開口ビリヤードモデル 中根, 直哉; 宮崎, 修次 (2020) 第26回交通流と自己駆動粒子系のシンポジウム論文集: 63-66 | |
指先の把持力と速度に着目したつまみ及びつかみ操作の識別 山下, 達也; 中尾, 恵; 松田, 哲也 (2020-03) 電子情報通信学会技術報告 (MBE), 119(452): 91-96 | |
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs Toman, John; Siqi, Ren; Suenaga, Kohei; Igarashi, Atsushi; Kobayashi, Naoki (2020) Programming Languages and Systems: 684-714 |
絞り込み
キーワード