Hagiya, Masami, 1957-....
Hagiya, Masami
萩谷, 昌己, 1957-
Masami Hagiya Narozen 14.9.1957. Matematik.
萩谷, 昌己
하기야 마사미 1957-
VIAF ID: 18157321 (Personal)
Permalink: http://viaf.org/viaf/18157321
Preferred Forms
-
200 _ | ‡a Hagiya ‡b Masami ‡f 1957-....
-
-
100 1 _ ‡a Hagiya, Masami
-
-
-
-
-
100 1 _ ‡a Hagiya, Masami ‡d 1957-
-
-
-
-
100 1 _ ‡a Hagiya, Masami, ‡d 1957-
-
100 1 _ ‡a Hagiya, Masami, ‡d 1957-....
-
100 0 _ ‡a Masami Hagiya ‡c Narozen 14.9.1957. Matematik.
-
100 1 _ ‡a 萩谷, 昌己
-
100 1 _ ‡a 萩谷, 昌己, ‡d 1957-
-
100 1 _ ‡a 하기야 마사미 ‡d 1957-
4xx's: Alternate Name Forms (27)
Works
Title | Sources |
---|---|
Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation |
![]() |
Accelerating the Finite-Element Method for Reaction-Diffusion Simulations on GPUs with CUDA |
![]() |
Computational models for chemical and biological systems |
![]() |
Computer-assisted design for scaling up systems based on DNA reaction networks |
![]() |
Construction of a genetic AND gate under a new standard for assembly of genetic parts. |
![]() |
Coupled equilibrium model of hybridization error for the DNA microarray and tag-antitag systems. |
![]() |
dīenuei nanoenjiniaringu |
![]() |
DNA computing : 8th International Workshop on DNA-Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002 : revised papers |
![]() ![]() ![]() ![]() ![]() ![]() |
DNA konpyuta. |
![]() |
DNA polymerase programmed with a hairpin DNA incorporates a multiple-instruction architecture into molecular computing. |
![]() |
DNA robotto : Seimei no shikake de tsukuru bunshi kikai. |
![]() |
DNA 컴퓨터 |
![]() |
DNA8 2002 |
![]() |
DNAコンピュータ |
![]() ![]() |
DNAナノエンジニアリング |
![]() |
DNAロボット : 生命のしかけで創る分子機械 |
![]() ![]() ![]() |
Enforcing logical delays in DNA computing systems |
![]() |
Equilibrium analysis of the efficiency of an autonomous molecular computer |
![]() |
Evolving cheating DNA networks: a Case Study with the Rock–Paper–Scissors Game |
![]() |
Formal Approach to Information Security |
![]() |
Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Hikari keisan |
![]() |
Introduction to Common Lisp |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Iwanami kōza ōyō sūgaku. |
![]() |
IWNC 8 |
![]() |
Joho shisutemu. |
![]() |
Kagakukei seibutsukei no keisan moderu. |
![]() |
Kansū puroguramingu |
![]() |
Kenkyūsha sōran, shizen, 1984: |
![]() ![]() ![]() |
Kiso jōhō kagaku |
![]() |
Komon risupu nyūmon |
![]() |
Logic, language and computation : festschrift in honor of Satoru Takasu |
![]() ![]() ![]() ![]() ![]() |
Molecular computers for molecular robots as hybrid systems |
![]() |
Molecular robots with sensors and intelligence. |
![]() |
Nachuraru konpyutingu shirizu. |
![]() |
Natural Computing : 2nd International Workshop on Natural Computing Nagoya, Japan December 2007 : proceedings |
![]() |
Proceedings of the 3rd DIKU-IST Joint Workshop on Foundations on Software |
![]() |
Recent advances in natural computing : selected results from the IWNC 8 Symposium |
![]() ![]() |
Robust and photocontrollable DNA capsules using azobenzenes |
![]() |
Ronri to keisan no shikumi |
![]() |
Shizen keisan e no izanai |
![]() |
Sofutōea kōgengaku |
![]() |
SPINによる設計モデル検証 = Design model verification by SPIN : モデル検查の実践ソフトウェア検証 |
![]() ![]() |
TACS'94 |
![]() |
Theoretical aspects of computer software : international symposium TACS'94, Sendai, Japan, April 19-22, 1994 : proceedings |
![]() ![]() ![]() ![]() ![]() ![]() |
Theoretical aspects of computer software / Masami Hagiya, John C. Mitchell (eds.). - Berlin, 1994. |
![]() ![]() |
Tunability of the ratio of cell states after the synthetic diversification by the diversity generator. |
![]() |
Tunable synthetic phenotypic diversification on Waddington's landscape through autonomous signaling |
![]() |
グラフからマルチセットへの時相論理を用いた抽象化 |
![]() |
コンピューティング : 原理とその展開 |
![]() |
ソフトウェア考現学 : 基礎概念への最新おもしろガイド |
![]() ![]() |
ソフトウェア科学のための論理学 |
![]() |
ナチュラルコンピューティング・シリーズ = Natural Computing. |
![]() ![]() |
人間と計算機の協調の視点に立った問題解決のための文書編集環境 |
![]() |
分子コンピュータの現状と展望 : 分子プログラミングへの展開 |
![]() ![]() |
分子プログラミング : 分子レベルの情報処理機構の設計論 |
![]() |
光計算 |
![]() |
関数プログラミング |
![]() ![]() |
化学系生物系の計算モデル |
![]() ![]() |
図説情報I |
![]() |
型理論とその機械学習への応用 |
![]() |
基礎情報科学 |
![]() |
夏のプログラミング・シンポジウム「21世紀の夢」報告集 |
![]() |
岩波講座ソフトウェア科学. |
![]() |
岩波講座応用数学. |
![]() |
情報システム = Information Systems |
![]() |
抽象モデル検査とその応用 = Abstract model checking and its appllications |
![]() |
数理的技法による情報セキュリティ |
![]() |
最新情報I |
![]() |
自然計算へのいざない |
![]() |
論理と計算のしくみ |
![]() ![]() |
高校情報I : JavaScript |
![]() |
高校情報I : Python |
![]() |