Research Institute for Information Technology

Research Output

Filter
Article
Article

0415 鼻腔内気流のボクセルシミュレーション(OS3-1:肺・気道のバイオエンジニアリング1)

Translated title of the contribution: 0415 Voxel simulation of nasal airflow坂田拓也, 田中学, 世良俊博, 覚正信徳, 横田秀夫, 小野謙二 & 高木周, Jan 8 2010, In : バイオエンジニアリング講演会講演論文集. 2009, 22, p. 67

Research output: Contribution to journalArticle

104 設計利用のためのインタラクティブボリュームレンダリングシステムの開発

Translated title of the contribution: Development of Interactive Volume Rendering System for Product Design小野謙二 & Ma, K. L., Nov 22 2003, In : 計算力学講演会講演論文集. 2003, 16, p. 11-12 2 p.

Research output: Contribution to journalArticle

110 CFDによる車用ミラーの空力騒音の合成と流れの可視化

Translated title of the contribution: Synthesis of Aerodynamic Noise Emitted from a Door Mirror and Visualization of Flows around it Using CFD姫野龍太郎, 福島達也 & 小野謙二, 1996, In : 可視化情報学会誌 = Journal of the Visualization Society of Japan. 16, 1, p. 87-90 4 p.

Research output: Contribution to journalArticle

125 微小圧縮性による流体音の解析(計測・解析II)

Translated title of the contribution: 125 Numerical Analysis for Aerodynamic Sound using Limited Compressible Formulation榎本秀喜 & 小野謙二, 2006, In : 日本機械学会関東支部ブロック合同講演会講演論文集. 2006, p. 147-148 2 p.

Research output: Contribution to journalArticle

2125 pFTTデータ構造を用いたオクツリー解適合格子によるシミュレーション(G01-3 計算力学(3),GO1 計算力学)

Translated title of the contribution: 2125 A Study of AMR simulation with pFTT Data Structures岩田正子, 小野謙二 & 玉木剛, Sep 15 2006, In : 年次大会講演論文集 : JSME annual meeting. 2006, 1, p. 75-76 2 p.

Research output: Contribution to journalArticle

212 複雑形状を扱うボクセル法における圧力境界条件のポアソン方程式への実装方法

Translated title of the contribution: An Implementation of Boundary Condition to Poisson Equation for Complex Geometories on Voxel Method小野謙二, Aug 5 2003, In : 年次大会講演論文集 : JSME annual meeting. 2003, 1, p. 13-14 2 p.

Research output: Contribution to journalArticle

2218 ボクセル法を用いた非圧縮流れ解析の境界条件の実装方法(G05-3 解析モデルと解析手法,G05 流体工学)

Translated title of the contribution: 2218 An Implementation of Boundary Condition of Incompressible Flow Solver on Voxel Method赤坂啓 & 小野謙二, Sep 15 2006, In : 年次大会講演論文集 : JSME annual meeting. 2006, 2, p. 9-10 2 p.

Research output: Contribution to journalArticle

234Compositor: A flexible parallel image compositing framework for massively parallel visualization environments

Nonaka, J., Ono, K. & Fujita, M., May 2018, In : Future Generation Computer Systems. 82, p. 647-655 9 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)

2G15 鼻腔内気流と粘膜間の熱伝達に関するボクセルシミュレーション(OS5-5:生体流れの計算バイオメカニクス:疾病の再現および診断・治療への応用(5))

Translated title of the contribution: 2G15 Voxel-based simulation of heat transfer between nasal airflow and mucosal membrane荒木冬人, 清水駿, 田中学, 世良俊博, 小野謙二 & 横田秀夫, Jan 10 2014, In : バイオエンジニアリング講演会講演論文集. 2014, 26, p. 529-530 2 p.

Research output: Contribution to journalArticle

3638 集束超音波医療における温度上昇の数値解析(G05-4 流体機械・医療機器,G05 流体工学)

Translated title of the contribution: 3638 Simulation of Temperature Rise during High Intensity Focused Ultrasound Therapy加藤光章, 吉澤晋, 小野謙二 & 松本洋一郎, Sep 15 2006, In : 年次大会講演論文集 : JSME annual meeting. 2006, 2, p. 369-370 2 p.

Research output: Contribution to journalArticle

3E14 ボクセル熱流体シミュレーションによる鼻腔手術アセスメント(GS8:呼吸器系のバイオメカニクス)

Translated title of the contribution: 3E14 Assessment of nasal surgery using voxel-based simulation水谷崇志, 荒木冬人, 小倉裕章, 田中学, 世良俊博, 小野謙二, 高木周, Doorly, D. J. & Schroter, R. C., Jan 8 2013, In : バイオエンジニアリング講演会講演論文集. 2013, 25, p. 607-608 2 p.

Research output: Contribution to journalArticle

402 レベルセットに基づいたLagrangian-Eulerian coupling methodの並列計算についての検討(OS4.大規模並列・連成解析と関連話題(1),OS・一般セッション講演)

Translated title of the contribution: 402 Examination of parallel computing of a Lagrangian-Eulerian coupling method based on level sets橋本学, 小野謙二 & 奥田洋司, Oct 8 2011, In : 計算力学講演会講演論文集. 2011, 24, p. 78-79 2 p.

Research output: Contribution to journalArticle

4101 医療用超音波発振装置の設計支援アプリケーションの開発(OS12 流体シミュレーションの医療技術への展開)

Translated title of the contribution: 4101 Development of the application for the design of medical ultrasound transducers沖田浩平 & 小野謙二, 2007, In : 埼玉ブロック大会(講演会)講演論文集. 2007, 3, p. 97-98 2 p.

Research output: Contribution to journalArticle

503 SPHEREを用いた並列FEMコード開発(OS5.大規模並列・連成解析と関連話題(1),オーガナイズドセッション)

Translated title of the contribution: 503 Development of parallel FEM application using SPHERE伊東聰 & 小野謙二, Oct 10 2009, In : 計算力学講演会講演論文集. 2009, 22, p. 70-71 2 p.

Research output: Contribution to journalArticle

512bit SIMD環境における分子動力学アプリケーションMODYLASの性能評価

Ohshima, S., Suzuki, S., Sakashita, T., Ogino, M. & Katagiri, T., Sep 20 2018, In : 研究報告ハイパフォーマンスコンピューティング(HPC). 166, 14, p. 1-9 9 p.

Research output: Contribution to journalArticle

515 外側の空気の影響を考慮したエアバック展開シミュレーション(OS5.大規模並列・連成解析と関連話題(4),オーガナイズドセッション)

Translated title of the contribution: 515 Airbag deployment simulation including the effect of outside air橋本学 & 小野謙二, Oct 10 2009, In : 計算力学講演会講演論文集. 2009, 22, p. 93-94 2 p.

Research output: Contribution to journalArticle

606 SPHERE: 物理シミュレーションと工学研究のためのスケルトンシステム(J02-2 解析・設計の高度化・最適化(2),J02 解析・設計の高度化・最適化)

Translated title of the contribution: 606 SPHERE: Skeleton System for Physics and Engineering Research小野謙二 & 玉木剛, Sep 18 2005, In : 年次大会講演論文集 : JSME annual meeting. 2005, 6, p. 39-40 2 p.

Research output: Contribution to journalArticle

629 オクツリー格子を用いたシミュレーションのデータ構造比較(S09 直交適合格子による計算手法)

Translated title of the contribution: 629 A Study of Simulation Using Octree with Different Data Structures岩田正子, 小野謙二 & 玉木剛, Sep 18 2005, In : 年次大会講演論文集 : JSME annual meeting. 2005, 1, p. 83-84 2 p.

Research output: Contribution to journalArticle

646 設計支援のためのロバストな流体解析システム

Translated title of the contribution: A Robust Fluid Simulation System to support Product Design小野謙二, Nov 22 2003, In : 計算力学講演会講演論文集. 2003, 16, p. 571-572 2 p.

Research output: Contribution to journalArticle

7H16 鼻腔内エアコンディショニング機能のボクセル熱流体解析(OS15 呼吸系のバイオメカニクス1)

Translated title of the contribution: 7H16 Voxel-based thermo-fluid analysis of air conditioning function in the human nasal cavity太田和生, 水谷崇志, 荒木冬人, 田中学, 世良俊博, 覚正信徳, 横田秀夫, 小野謙二 & 高木周, Jan 6 2012, In : バイオエンジニアリング講演会講演論文集. 2012, 24, p. "7H16-1"-"7H16-2"

Research output: Contribution to journalArticle

842 レベルセット関数を利用したエアバッグ展開シミュレーション(OS7.大規模並列・連成解析と関連話題(1),オーガナイズドセッション)

Translated title of the contribution: 842 Airbag Deployment Simulation using Level Set Function橋本学, 小野謙二 & 野口裕久, Nov 1 2008, In : 計算力学講演会講演論文集. 2008, 21, p. 880-881 2 p.

Research output: Contribution to journalArticle

9D-11 バイオメカニズムのための強調的表現手法(OS-6 バイオシミュレーションに向けたイメージベースドモデリングの新展開(2))

Translated title of the contribution: 9D-11 An Emphatic Rendering Method for Understanding Biomechanisms森本有紀 & 小野謙二, Jan 7 2011, In : バイオエンジニアリング講演会講演論文集. 2010, 23, p. 373-374 2 p.

Research output: Contribution to journalArticle

9D-14 ボクセル格子法による鼻腔内熱流体解析(OS-6 バイオシミュレーションに向けたイメージベースドモデリングの新展開(3))

Translated title of the contribution: 9D-14 Voxel-based simulation of air flow and temperature in the nasal cavity木村真也, 田中学, 三代大樹, 世良俊博, 覚正信徳, 横田秀夫, 小野謙二 & 高木周, Jan 7 2011, In : バイオエンジニアリング講演会講演論文集. 2010, 23, p. 515-516 2 p.

Research output: Contribution to journalArticle

A CellML simulation compiler and code generator using ODE solving schemes

Punzalan, F. R., Yamashita, Y., Soejima, N., Kawabata, M., Shimayoshi, T., Kuwabara, H., Kunieda, Y. & Amano, A., Oct 19 2012, In : Source Code for Biology and Medicine. 7, 11.

Research output: Contribution to journalArticle

6 Citations (Scopus)

A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow

Watanabe, Y., Plum, M. & Nakao, M. T., Jan 1 2008, In : ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik. 89, 1, p. 5-18 14 p.

Research output: Contribution to journalArticle

13 Citations (Scopus)
3 Citations (Scopus)

A computer-assisted method for the diblock copolymer model

Cai, S. & Watanabe, Y., Jul 1 2019, In : ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik. 99, 7, e201800125.

Research output: Contribution to journalArticle

A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid

Watanabe, Y., Jan 15 2009, In : Journal of Computational and Applied Mathematics. 223, 2, p. 953-966 14 p.

Research output: Contribution to journalArticle

9 Citations (Scopus)

A flexible direct attached storage for a data intensive application

Ono, T., Konishi, Y., Tanimoto, T., Iwamatsu, N., Miyoshi, T. & Tanaka, J., Dec 2015, In : IEICE Transactions on Information and Systems. E98D, 12, p. 2168-2177 10 p.

Research output: Contribution to journalArticle

A knowledge comparison environment for supporting meaningful learning of E-book users

Wang, J., Ogata, H. & Shimada, A., 2016, In : Systems. 4, 2

Research output: Contribution to journalArticle

Open Access

A lambda proof of the P-W theorem

Hirokawa, S., Komori, Y. & Nagayama, M., Jan 1 2000, In : Journal of Symbolic Logic. 65, 4, p. 1841-1849 9 p.

Research output: Contribution to journalArticle

An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces

Kinoshita, T., Watanabe, Y. & Nakao, M. T., Apr 15 2019, In : Journal of Differential Equations. 266, 9, p. 5431-5447 17 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

An automated method to generate e-learning quizzes from online language learner writing

Flanagan, B., Yin, C., Hirokawa, S., Hashimoto, K. & Tabata, Y., Jan 1 2013, In : International Journal of Distance Education Technologies. 11, 4, p. 63-80 18 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

An automatic method to extract online foreign language learner writing error characteristics

Flanagan, B. & Hirokawa, S., Oct 1 2018, In : International Journal of Distance Education Technologies. 16, 4, p. 15-30 16 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

An efficient approach to the numerical verification for solutions of elliptic differential equations

Nakao, M. T. & Watanabe, Y., Dec 1 2004, In : Numerical Algorithms. 37, 1-4 SPEC. ISS., p. 311-323 13 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)
1 Citation (Scopus)
1 Citation (Scopus)

A novel method to quantify contribution of channels and transporters to membrane potential dynamics

Cha, C. Y., Himeno, Y., Shimayoshi, T., Amano, A. & Noma, A., Dec 16 2009, In : Biophysical Journal. 97, 12, p. 3086-3094 9 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)

A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems

Nakao, M. T., Hashimoto, K. & Watanabe, Y., Jul 1 2005, In : Computing (Vienna/New York). 75, 1 SPEC. ISS., p. 1-14 14 p.

Research output: Contribution to journalArticle

29 Citations (Scopus)

A numerical verification method for a system of FitzHugh-Nagumo type

Cai, S., Nagatou, K. & Watanabe, Y., Oct 1 2012, In : Numerical Functional Analysis and Optimization. 33, 10, p. 1195-1220 26 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
4 Citations (Scopus)

A numerical verification method for solutions of singularly perturbed problems with nonlinearity

Hashimoto, K., Abe, R., Nakao, M. T. & Watanabe, Y., Feb 2005, In : Japan Journal of Industrial and Applied Mathematics. 22, 1, p. 111-131 21 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems

Kim, M., Nakao, M. T., Watanabe, Y. & Nishida, T., Jan 1 2009, In : Numerische Mathematik. 111, 3, p. 389-406 18 p.

Research output: Contribution to journalArticle

9 Citations (Scopus)

A numerical verification of nontrivial solutions for the heat convection problem

Watanabe, Y., Yamamoto, N., Nakao, M. T. & Nishida, T., Dec 1 2004, In : Journal of Mathematical Fluid Mechanics. 6, 1, p. 1-20 20 p.

Research output: Contribution to journalArticle

17 Citations (Scopus)

A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations

Nakao, M. T., Yamamoto, N. & Watanabe, Y., Apr 24 1998, In : Journal of Computational and Applied Mathematics. 91, 1, p. 137-158 22 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)

A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations

Watanabe, Y., Kinoshita, T. & Nakao, M. T., May 30 2013, In : Mathematics of Computation. 82, 283, p. 1543-1557 15 p.

Research output: Contribution to journalArticle

9 Citations (Scopus)

A predictive model to evaluate student performance

Sorour, S. E., Mine, T., Goda, K. & Hirokawa, S., Jan 1 2015, In : Journal of information processing. 23, 2, p. 192-201 10 p.

Research output: Contribution to journalArticle

13 Citations (Scopus)