首页> 外文OA文献 >Using Dynamic Pushdown Networks to Automate a Modular Information-flow Analysis

【2h】

Using Dynamic Pushdown Networks to Automate a Modular Information-flow Analysis

机译：使用动态下推网络自动化模块化信息流分析

页面导航

著录项
相似文献
相关主题

著录项

作者
Heiko Mantel; Matthias Perner; Er Wenner;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER [J] . DENIS LUGIEZ International Journal of Foundations of Computer Science . 2011,第4期

机译：无序推送系统动态网络的前瞻性分析
2. FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER [J] . DENIS LUGIEZ International Journal of Foundations of Computer Science . 2011,第4期

机译：无需订单即可轻松实现推送系统动态网络的前向分析
3. Automated analysis of information processing, kinetic independence and modular architecture in biochemical networks using MIDIA [J] . Bowsher Clive G. . Bioinformatics . 2011,第4期

机译：使用MIDIA对生化网络中的信息处理，动力学独立性和模块化体系结构进行自动分析
4. Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis [C] . Heiko Mantel, Markus Mueller-Olm, Matthias Perner, International symposium on logic-based program synthesis and transformation . 2015

机译：使用动态下推网络自动执行模块化信息流分析
5. Evolution, modularity, and dynamics of gene regulatory networks. [D] . Singh, Amoolya. 2006

机译：基因调控网络的进化，模块化和动态。
6. Automated Grading of Gliomas using Deep Learning in Digital Pathology Images: A modular approach with ensemble of convolutional neural networks [O] . Mehmet Günhan Ertosun, Daniel L. Rubin 2015

机译：在数字病理图像中使用深度学习对神经胶质瘤进行自动分级：卷积神经网络集成的模块化方法
7. Regular symbolic analysis of dynamic networks of pushdown systems [O] . Ahmed Bouajjani, Markus Müller-olm, Tayssir Touili 2005

机译：对下推系统动态网络的定期符号分析
8. Using Modular Neural Networks With Local Representations to Control DynamicSystems [R] . Atkeson, C. G. 1992

机译：使用具有本地表示的模块化神经网络来控制Dynamicsystems

Using Dynamic Pushdown Networks to Automate a Modular Information-flow Analysis

著录项

相似文献

相关主题

期刊订阅