刷新
{{item.name}}会员
Automatic Synthesis of Process Calculus Using Abstraction
使用抽象自动综合过程演算
基本信息
- 批准号：23650066
- 负责人：
- 金额：$ 2.41万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Challenging Exploratory Research
- 财政年份：2011
- 资助国家：日本
- 起止时间：2011 至 2012
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
We developed a method to construct a coarse-grained abstract model of DNA devices in which a graph or a set of graphs that represents DNA structures is approximated by a set of local structures (called abstract nodes). Using the method, we conducted evolutionary search of abstract systems and automatically synthesized DNA devices that implement various circuits and automata. We also applied the abstraction method to simulation of RNAi, and succeeded in simulating complex cases with more than twenty segments, and reproducing distribution of concentrations of siRNA by simulation.
我们开发了一种方法来构建DNA设备的粗粒度抽象模型，其中表示DNA结构的一个或一组图被一组局部结构(称为抽象节点)近似。使用该方法，我们对抽象系统进行了进化搜索，并自动合成了实现各种电路和自动机的DNA器件。我们还将抽象方法应用到RNAi的模拟中，成功地模拟了20多个片段的复杂病例，并通过模拟再现了siRNA的浓度分布。
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Towards Co-evolution of Information, Life and Artificial Life, Natural Computing and Beyond
迈向信息、生命与人工生命、自然计算及其他领域的共同进化
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：Pascual Martinez-Gomez;Tadayoshi Hara;Chen Chen;Kyohei Tomita;Yoshinobu Kano and Akiko Aizawa;Toshiharu Sugawara;Toshiharu Sugawara;Masami Hagiy a and Ibuki Kawamata
- 通讯作者：Masami Hagiy a and Ibuki Kawamata
Efficiency and Exactness of Simulations by Abstracting Graph Models for DNA and RNA Reaction Systems,
通过抽象 DNA 和 RNA 反应系统的图形模型来提高模拟的效率和准确性，
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：Ibuki Kawamata;Nathanael Aubert;Masahiro Hamano;and Masami Hagiya
- 通讯作者：and Masami Hagiya
Enforcing Delays in DNA Computing Systems
强制 DNA 计算系统出现延迟
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：Nathanael Aubert;Yannick Rondelez,Teruo Fujii;and Masami Hagiya
- 通讯作者：and Masami Hagiya
Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation
- DOI：10.1007/978-3-642-33636-2_12
- 发表时间：2012-10
- 期刊：
- 影响因子：0
- 作者：I. Kawamata;Nathanael Aubert;M. Hamano;M. Hagiya
- 通讯作者：I. Kawamata;Nathanael Aubert;M. Hamano;M. Hagiya
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
HAGIYA Masami其他文献
HAGIYA Masami的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('HAGIYA Masami', 18)}}的其他基金
Molecular combination dial and nano-cage
分子组合表盘和纳米笼
- 批准号：
20300106 - 财政年份：2008
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Abstraction from Graphs to Multisets Using Temporal Logic
使用时态逻辑从图到多重集的抽象
- 批准号：
18500003 - 财政年份：2006
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Abstract Model Cheking and Its Applications
抽象模型检验及其应用
- 批准号：
11480062 - 财政年份：1999
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Document Editing Environment for Problem Solving from the Viewpoint of Collaboration between Humans and Computers
从人机协作的角度解决问题的文档编辑环境
- 批准号：
08680348 - 财政年份：1996
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Type Theory and its Application to Machine Learning
类型理论及其在机器学习中的应用
- 批准号：
06680342 - 财政年份：1994
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)
相似海外基金
イブン・アラビーの宇宙論における論理とその思想的背景
伊本·阿拉比宇宙论的逻辑及其思想背景
- 批准号：
24KJ0932 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for JSPS Fellows
学習過程情報に基づき理由を説明可能な高速論理型機械学習器の開発の提案
开发可根据学习过程信息解释原因的高速逻辑机器学习装置的提案
- 批准号：
24K15095 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
仮説検証能力の評価による言語生成AIの論理思考能力の研究
通过评估假设验证能力研究语言生成AI的逻辑思维能力
- 批准号：
24K15077 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
旨在深化论证和证明哲学的跨学科“逻辑哲学”研究
- 批准号：
23K20416 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
脱農化する東南アジアから導かれる地域発展の論理―気候変動時代の新しいパラダイム―
后农业东南亚衍生的区域发展逻辑——气候变化时代的新范式——
- 批准号：
24H00129 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (A)
経営と環境保全の論理に関する理論的・経験的検討
管理与环境保护逻辑的理论和实证检验
- 批准号：
24K05075 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
アントレプレナーシップの人類学的研究：リスク選好をめぐる在地の論理
创业人类学研究：围绕风险偏好的本土逻辑
- 批准号：
24KJ1871 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for JSPS Fellows
述語論理に基づくデータベース照合による厳密かつ高精度・高速な事実検証システム
基于谓词逻辑的数据库匹配的严格、高精度、快速的事实验证系统
- 批准号：
24K15066 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
労働組合員の仲間意識に関する日韓比較研究：「一人前」の範囲とその論理を中心に
日韩工会成员友情意识比较研究——聚焦“成熟”的范围及其逻辑
- 批准号：
24K05318 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
子宮頸癌に対する重粒子線治療における線質と殺細胞効果を結ぶ論理体系の確立
宫颈癌重离子放疗辐射质量与细胞杀伤效果关联逻辑体系的建立
- 批准号：
24K19684 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Early-Career Scientists