浜野正浩
論文
著者・発表者 | Masahiro Hamano |
---|---|
表題 | RNA interference and Register Machines |
発表先 | In Proc. 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MecBIC2012) , Electronic Proceedings in Theoretical Computer Science 100, (2012), 107-112 |
口頭発表
著者・発表者 | Masahiro Hamano |
---|---|
表題 | Sustainability of RNA interference in Rule Based Modelling |
発表先 | Third International Workshop on Static Analysis and Systems Biology (SASB 2012), Deauville, France (2012/9/10) |
著者・発表者 | Masahiro Hamano |
---|---|
表題 | RNA interference and Register Machines |
発表先 | 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MecBIC2012), Newcastle, UK (2012/9/8) |
著者・発表者 | Masahiro Hamano, Ibuki Kawamata, Nathanael Aubert and Masami Hagiya |
---|---|
表題 | Kinetic simulations of RNA-interference: primer dependent and indepen- dent synthesis of dsRNA |
発表先 | Systems Biology & Bioinformatics, Univ of Rostock, Germany (2012/3/5) |
著者・発表者 | Masahiro Hamano, Ibuki Kawamata, Nathanael Aubert and Masami Hagiya |
---|---|
表題 | Kinetic simulations of RNA-interference: primer dependent and indepen- dent synthesis of dsRNA |
発表先 | 日本バイオインフォマティクス学会年会 JSBI 2011 神戸 (2011/11/8) |
著者・発表者 | Masahiro Hamano |
---|---|
表題 | A Geometry of Interaction for Polarized Linear Logic |
発表先 | RIMS共同研究集会「相互作用の幾何・トレース付きモノイダル圏・非明示的計算量」京都大学数理解析研究所 (2011/11/7) |
著者・発表者 | Masahiro Hamano |
---|---|
表題 | A Polarized Int Construction |
発表先 | Workshop on Categories, Logic and Computation, 京都大学数理解析研究所 (2011/7/28) |
著者・発表者 | Masahiro Hamano |
---|---|
表題 | A Geometry of Interaction for Polarized Linear Logic |
発表先 | Seminaire PPS (Preuves, Programmes et Systemes), Univ. Paris 7 (2011/3/10) |
著者・発表者 | Masahiro Hamano |
---|---|
表題 | A Geometry of Interaction for Polarized Linear Logic |
発表先 | Seminaire PLUME (Preuves et Langagues), Ecole Normale Superieure de Lyon (2011/2/21) |