掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Membrane Computing
International Conference on Membrane Computing
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
223
条结果
1.
Actor-Like cP Systems
机译:
演员样CP系统
作者:
Alec Henderson
;
Radu Nicolescu
会议名称:
《International Conference on Membrane Computing》
|
2019年
关键词:
Distributed algorithms;
Synchronous model;
Actor model;
Membrane computing;
P systems;
CP systems;
Prolog terms and unification;
Inter-cell parallelism;
Intra-cell parallelism;
Byzantine agreement;
EIG trees;
2.
Towards Automated Analysis of Belousov-Zhabotinsky Reactions in a Petri Dish by Membrane Computing Using Optic Flow
机译:
通过光学流动通过膜计算自动分析培养皿中的Belousov-Zhabotinsky反应
作者:
Benjamin Forster
;
Thomas Hinze
会议名称:
《International Conference on Membrane Computing》
|
2019年
3.
APCol Systems with Agent Creation
机译:
具有代理创建的APCOR系统
作者:
Lucie Ciencialova
会议名称:
《International Conference on Membrane Computing》
|
2019年
关键词:
P colony;
Membrane systems;
String processing;
SAT;
4.
Chain Code P System Generating a Variant of the Peano Space-Filling Curve
机译:
链规范P系统生成PEANO空间填充曲线的变体
作者:
Rodica Ceterchi
;
Atulya K. Nagar
;
K. G. Subramanian
会议名称:
《International Conference on Membrane Computing》
|
2019年
5.
APCol Systems with Verifier Agents
机译:
具有验证者代理的APCOR系统
作者:
Lucie Ciencialova
;
Erzsebet Csuhaj-Varju
;
Gyorgy Vaszil
;
Ludek Cienciala
会议名称:
《International Conference on Membrane Computing》
|
2019年
6.
A Brute-Force Solution to the 27-Queens Puzzle Using a Distributed Computation
机译:
使用分布式计算将Brute-Force解决方案到27 - Queens拼图
作者:
Thomas Preusser
会议名称:
《International Conference on Membrane Computing》
|
2019年
7.
Time and Space Complexity of P Systems - And Why They Matter
机译:
P系统的时间和空间复杂性 - 为什么他们很重要
作者:
Alberto Leporati
会议名称:
《International Conference on Membrane Computing》
|
2019年
8.
An Improved Quicksort Algorithm Based on Tissue-Like P Systems with Promoters
机译:
一种改进基于组织样P系统的促进剂的Quicksort算法
作者:
Shuo Yan
;
Jie Xue
;
Xiyu Liu
会议名称:
《International Conference on Membrane Computing》
|
2019年
关键词:
Quicksort algorithm;
P systems;
Improved;
9.
Modeling Plant Development with M Systems
机译:
用M系统建模植物开发
作者:
Petr Sosik
;
Vladimir Smolka
;
Jaroslav Bradik
;
Max Garzon
会议名称:
《International Conference on Membrane Computing》
|
2019年
10.
Impacts of Membrane Computing on Theoretical Computer Science
机译:
膜计算对理论计算机科学的影响
作者:
Erzsebet Csuhaj-Varju
会议名称:
《International Conference on Membrane Computing》
|
2019年
11.
On Small Universality of Spiking Neural P Systems with Multiple Channels
机译:
用多频道尖刺神经P系统的小普遍性
作者:
Xiaoxiao Song
;
Hong Peng
;
Jun Wang
;
Guimin Ning
;
Tao Wang
;
Zhang Sun
;
Yankun Xia
会议名称:
《International Conference on Membrane Computing》
|
2019年
关键词:
Membrane computing;
Spiking neural P systems;
Multiple channels;
Small universal systems;
Computing function;
12.
A Semantic Investigation of Spiking Neural P Systems
机译:
尖刺神经P系统的语义调查
作者:
Gabriel Ciobanu
;
Eneia Nicolae Todoran
会议名称:
《International Conference on Membrane Computing》
|
2019年
13.
Tissue P Systems with Point Mutation Rules
机译:
具有点突变规则的组织P系统
作者:
Artiom Alhazov
;
Rudolf Freund
;
Sergiu Ivanov
;
Sergey Verlan
会议名称:
《International Conference on Membrane Computing》
|
2019年
14.
Design of Specific P Systems Simulators on GPUs
机译:
GPU上特定P系统模拟器的设计
作者:
Miguel A. Martinez-del-Amor
;
David Orellana-Martin
;
Ignacio Perez-Hurtado
;
Luis Valencia-Cabrera
;
Agustin Riscos-Nunez
;
Mario J. Perez-Jimenez
会议名称:
《International Conference on Membrane Computing》
|
2019年
关键词:
P systems;
Parallel simulation;
GPU computing;
15.
Testing Identifiable Kernel P Systems Using an X-Machine Approach
机译:
使用X机方法测试可识别的内核P系统
作者:
Marian Gheorghe
;
Florentin Ipate
;
Raluca Lefticaru
;
Ana Turlea
会议名称:
《International Conference on Membrane Computing》
|
2019年
关键词:
Membrane computing;
Kernel P systems;
X-machines;
Cover automata;
Testing;
16.
Construction of Stable and Lightweight Technical Structures Inspired by Ossification of Bones Using Osteogenetic P Systems
机译:
使用骨源P系统构建骨化骨化的稳定和轻质技术结构
作者:
Alexander Melcher
;
Ilija Vukorep
;
Thomas Hinze
会议名称:
《International Conference on Membrane Computing》
|
2019年
17.
Adaptive P Systems
机译:
自适应P系统
作者:
Bogdan Aman
;
Gabriel Ciobanu
会议名称:
《International Conference on Membrane Computing》
|
2019年
18.
Solving QSAT in Sublinear Depth
机译:
解决QSAT在Sublinear深度
作者:
Alberto Leporati
;
Luca Manzoni
;
Giancarlo Mauri
;
Antonio E. Porreca
;
Claudio Zandron
会议名称:
《International Conference on Membrane Computing》
|
2019年
19.
Families of Languages Encoded by SN P Systems
机译:
SN P系统编码的语言系列
作者:
Jose M. Sempere
会议名称:
《International Conference on Membrane Computing》
|
2018年
关键词:
SN P systems;
Formal languages;
Codes Word enumerations;
20.
Computationally Complete Generalized Communicating P Systems with Three Cells
机译:
具有三个单元的计算方式完全通信P系统
作者:
Erzsebet Csuhaj-Varju
;
Sergey Verlan
会议名称:
《International Conference on Membrane Computing》
|
2018年
21.
Modelling and Validating an Engineering Application in Kernel P Systems
机译:
在内核P系统中建模和验证工程应用
作者:
Raluca Lefticaru
;
Mehmet Emin Bakir
;
Savas Konur
;
Mike Stannett
;
Florentin Ipate
会议名称:
《International Conference on Membrane Computing》
|
2018年
关键词:
Membrane computing;
Kernel P systems Cruise control;
Electric bike;
Bicycle;
Verification;
Testing;
22.
Bi-simulation Between P Colonies and P Systems with Multi-stable Catalysts
机译:
具有多稳定催化剂的P菌落和P系统之间的双模拟
作者:
Erzsebet Csuhaj-Varju
;
Sergey Verlan
会议名称:
《International Conference on Membrane Computing》
|
2018年
23.
Controlled Reversibility in Reaction Systems
机译:
在反应系统中控制可逆性
作者:
Bogdan Aman
;
Gabriel Ciobanu
会议名称:
《International Conference on Membrane Computing》
|
2018年
24.
Counting Membrane Systems
机译:
计数膜系统
作者:
Luis Valencia-Cabrera
;
David Orellana-Martin
;
Agustin Riscos-Nunez
;
Mario J. Perez-Jimenez
会议名称:
《International Conference on Membrane Computing》
|
2018年
关键词:
Membrane computing Polarizationless P systems with active membranes;
Cooperative rules The P versus NP problem;
SAT problem;
25.
Simulating Evolutional Symport/Antiport by Evolution-Communication and vice versa in Tissue P Systems with Parallel Communication
机译:
通过进化通信模拟进化次要体系/反驳,反之亦然,并通过并行通信
作者:
Henry Adorna
;
Artiom Alhazov
;
Linqiang Pan
;
Bosheng Song
会议名称:
《International Conference on Membrane Computing》
|
2018年
关键词:
Membrane computing;
Evolution-communication Evolutional symport/antiport;
Simulation;
26.
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems
机译:
多立模式及其在膜系统中动态因果区的应用
作者:
Roberto Barbuti
;
Roberta Gori
;
Paolo Milazzo
会议名称:
《International Conference on Membrane Computing》
|
2018年
27.
Reversing Steps in Membrane Systems Computations
机译:
膜系统计算中的步骤
作者:
G. Michele Pinna
会议名称:
《International Conference on Membrane Computing》
|
2018年
28.
On the Robust Power of Morphogenetic Systems for Time Bounded Computation
机译:
关于时间有限计算的形态发生系统的强大力量
作者:
Petr Sosik
;
Vladimir Smolka
;
Jan Drastik
;
Jaroslav Bradik
;
Max Garzon
会议名称:
《International Conference on Membrane Computing》
|
2018年
29.
Hierarchical P Systems with Randomized Right-Hand Sides of Rules
机译:
具有随机右手边规则的分层P系统
作者:
Artiom Alhazov
;
Rudolf Freund
;
Sergiu Ivanov
会议名称:
《International Conference on Membrane Computing》
|
2018年
30.
Generalized P Colony Automata and Their Relation to P Automata
机译:
广义P殖民地自动机及其与P自动化的关系
作者:
Kristof Kantor
;
Gyorgy Vaszil
会议名称:
《International Conference on Membrane Computing》
|
2018年
31.
On Evolution-Communication P Systems with Energy Having Bounded and Unbounded Communication
机译:
关于具有界限和无界通信的能量的进化通信P系统
作者:
Richelle Ann B. Juayong
;
Nestine Hope S. Hernandez
;
Francis George C. Cabarle
;
Kelvin C. Buno
;
Henry N. Adorna
会议名称:
《International Conference on Membrane Computing》
|
2018年
关键词:
Membrane computing;
Evolution-Communication P systems with energy;
Dynamical communication measures;
32.
Solving a Special Case of the P Conjecture Using Dependency Graphs with Dissolution
机译:
用溶解的依赖性图来解决P猜想的特殊情况
作者:
Alberto Leporati
;
Luca Manzoni
;
Giancarlo Mauri
;
Antonio E. Porreca
;
Claudio Zandron
会议名称:
《International Conference on Membrane Computing》
|
2018年
33.
Event-Based Life in a Nutshell: How Evaluation of Individual Life Cycles Can Reveal Statistical Inferences Using Action-Accumulating P Systems
机译:
基于事件的寿命,简称:如何使用动作累积P系统揭示统计推论的评估
作者:
Thomas Hinze
;
Benjamin Forster
会议名称:
《International Conference on Membrane Computing》
|
2018年
34.
Tissue P Systems with Rule Production/Removal
机译:
组织P系统具有规则生产/拆卸
作者:
Linqiang Pan
;
Bosheng Song
;
Gexiang Zhang
会议名称:
《International Conference on Membrane Computing》
|
2018年
关键词:
Bio-inspired computing;
Membrane computing Tissue P system;
Symport/antiport rule;
Universality;
35.
Most Common Words - A cP Systems Solution
机译:
最常见的单词 - CP系统解决方案
作者:
Radu Nicolescu
会议名称:
《International Conference on Membrane Computing》
|
2018年
关键词:
Literate programming;
Most common words Membrane computing;
P systems;
CP systems Associative data structures;
Inter- and intra-cell parallelism Prolog terms and unification;
Parallel sorting;
Pigeonhole algorithm;
36.
APCol Systems with Teams
机译:
具有团队的澳门杉木系统
作者:
Lucie Ciencialova
;
Ludek Cienciala
;
Erzsebet Csuhaj-Varju
会议名称:
《International Conference on Membrane Computing》
|
2018年
关键词:
Automaton-like P colonies;
APCol systems Red-green counter machine;
Unbounded computation;
Teams;
37.
Shallow Non-confluent P Systems
机译:
浅非汇益P系统
作者:
Alberto Leporati
;
Luca Manzoni
;
Giancarlo Mauri
;
Antonio E. Porreca
;
Claudio Zandron
会议名称:
《International Conference on Membrane Computing》
|
2017年
38.
A View of P Systems from Information Theory
机译:
信息理论中的P系统看
作者:
Jose M. Sempere
会议名称:
《International Conference on Membrane Computing》
|
2017年
关键词:
Communication P systems;
Information theory;
Entropy;
39.
Coping with Dynamical Structures for Interdisciplinary Applications of Membrane Computing
机译:
应对膜计算的跨学科应用动力学结构
作者:
Thomas Hinze
会议名称:
《International Conference on Membrane Computing》
|
2017年
40.
Continuation Passing Semantics for Membrane Systems
机译:
继续传递膜系统的语义
作者:
Gabriel Ciobanu
;
Eneia Nicolae Todoran
会议名称:
《International Conference on Membrane Computing》
|
2017年
41.
Rewriting P Systems with Flat-Splicing Rules
机译:
重写具有扁平拼接规则的P系统
作者:
Linqiang Pan
;
Bosheng Song
;
K. G. Subramanian
会议名称:
《International Conference on Membrane Computing》
|
2017年
关键词:
Bio-inspired computing;
Membrane computing;
P system;
Flat splicing;
Chomsky hierarchy;
42.
Minimal Multiset Grammars for Recurrent Dynamics
机译:
复发动态的最小多立语法
作者:
Alessandro Farinelli
;
Giuditta Franco
;
Romeo Rizzi
会议名称:
《International Conference on Membrane Computing》
|
2017年
关键词:
Metabolic computing;
Multiset grammar;
NP-hardness;
Optimization;
43.
The Evolutionary Resilience of Distributed Cellular Computing
机译:
分布式蜂窝计算的进化恢复力
作者:
Matteo Cavaliere
;
Alvaro Sanchez
会议名称:
《International Conference on Membrane Computing》
|
2017年
44.
Array-Rewriting P Systems with Basic Puzzle Grammar Rules and Permitting Features
机译:
具有基本拼图语法规则和允许功能的数组重写P系统
作者:
Pradeep Isawasan
;
Ravie Chandren Muniyandi
;
Ibrahim Venkat
;
K. G. Subramanian
会议名称:
《International Conference on Membrane Computing》
|
2017年
45.
P Colonies with Evolving Environment
机译:
P殖民地具有不断发展的环境
作者:
Lucie Ciencialova
;
Ludek Cienciala
;
Petr Sosik
会议名称:
《International Conference on Membrane Computing》
|
2017年
关键词:
P colony;
Catalytic p system;
OL scheme;
Computational completeness;
Partially blind register machine;
46.
Computational Power of Protein Networks
机译:
蛋白质网络的计算能力
作者:
Bogdan Aman
;
Gabriel Ciobanu
会议名称:
《International Conference on Membrane Computing》
|
2017年
47.
Walking Membranes: Grid-Exploring P Systems with Artificial Evolution for Multi-purpose Topological Optimisation of Cascaded Processes
机译:
走路膜:探索P系统,具有级联过程多功能拓扑优化的人工演进
作者:
Thomas Hinze
;
Lea Louise Weber
;
Uwe Hatnik
会议名称:
《International Conference on Membrane Computing》
|
2017年
48.
Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME
机译:
基于代理的内核P系统仿真,使用火焰进行分割规则
作者:
Raluca Lefticaru
;
Luis F. Macias-Ramos
;
Ionut Mihai Niculescu
;
Laurentiu Mierla
会议名称:
《International Conference on Membrane Computing》
|
2017年
关键词:
Membrane computing;
Kernel P systems;
Communicating stream X-machines;
Agent-based simulation;
49.
Remarks on the Computational Power of Some Restricted Variants of P Systems with Active Membranes
机译:
关于具有活性膜的PS系统的一些限制变体的计算能力的备注
作者:
Zsolt Gazdag
;
Gabor Kolonits
会议名称:
《International Conference on Membrane Computing》
|
2017年
关键词:
Membrane computing;
P systems with active membranes;
Computational complexity;
50.
Chemical Term Reduction with Active P Systems
机译:
用活性P系统减少化学术语
作者:
Peter Battyanyi
;
Gyorgy Vaszil
会议名称:
《International Conference on Membrane Computing》
|
2017年
51.
Solution to Motif Finding Problem in Membranes
机译:
解决膜上的主题发现问题
作者:
Katrina B. Gapuz
;
Ephraim D. Mendoza
;
Richelle Ann B. Juayong
;
Nestine Hope S. Hernandez
;
Francis George C. Cabarle
;
Henry N. Adorna
会议名称:
《International Conference on Membrane Computing》
|
2017年
关键词:
Membrane computing;
Evolution-communication P systems with energy;
Motif finding;
52.
Simulating R Systems by P Systems
机译:
通过P系统模拟R系统
作者:
Artiom Alhazov
;
Bogdan Aman
;
Rudolf Freund
;
Sergiu Ivanov
会议名称:
《International Conference on Membrane Computing》
|
2017年
53.
Revising the Membrane Computing Model for Byzantine Agreement
机译:
修改拜占庭协议的膜计算模型
作者:
Radu Nicolescu
会议名称:
《International Conference on Membrane Computing》
|
2017年
关键词:
Distributed algorithms;
Byzantine agreement;
EIG trees;
Membrane computing;
P systems;
CP systems;
Inter-cell parallelism;
Intra-cell parallelism;
Prolog terms and unification;
Complex symbols;
Cells with subcells;
Generic rules;
Synchronous and asynchronous models;
Actor model;
54.
P Systems Working in Maximal Variants of the Set Derivation Mode
机译:
P系统在集派生模式的最大变体中工作
作者:
Artiom Alhazov
;
Rudolf Freund
;
Sergey Verlan
会议名称:
《International Conference on Membrane Computing》
|
2017年
55.
Comparative Analysis of Statistical Model Checking Tools
机译:
统计模型检查工具的比较分析
作者:
Mehmet Emin Bakir
;
Marian Gheorghe
;
Savas Konur
;
Mike Stannett
会议名称:
《International Conference on Membrane Computing》
|
2017年
关键词:
Membrane computing;
P systems;
Statistical model checking;
Biological models;
Performance benchmarking;
56.
Kernel P Systems Modelling, Testing and Verification - Sorting Case Study
机译:
内核P系统建模,测试和验证 - 排序案例研究
作者:
Marian Gheorghe
;
Rodica Ceterchi
;
Florentin Ipate
;
Savas Konur
会议名称:
《International Conference on Membrane Computing》
|
2017年
57.
Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems
机译:
P系统在人口生物学中的应用:MPP和APP系统的情况
作者:
Roberto Barbuti
;
Pasquale Bove
;
Paolo Milazzo
;
Giovanni Pardini
会议名称:
《International Conference on Membrane Computing》
|
2017年
58.
Purely Catalytic P Systems over Integers and Their Generative Power
机译:
整数上纯催化P系统及其生成功率
作者:
Artiom Alhazov
;
Omar Belingheri
;
Rudolf Freund
;
Sergiu Ivanov
;
Antonio E. Porreca
;
Claudio Zandron
会议名称:
《International Conference on Membrane Computing》
|
2017年
59.
Towards a Theory of Life
机译:
朝着生命理论
作者:
Andres Moya
会议名称:
《International Conference on Membrane Computing》
|
2015年
60.
Tissue P Systems Can be Simulated Efficiently with Counting Oracles
机译:
组织P系统可以用计数的oracles有效地模拟
作者:
Alberto Leporati
;
Luca Manzoni
;
Giancarlo Mauri
;
Antonio E. Porreca
;
Claudio Zandron
会议名称:
《International Conference on Membrane Computing》
|
2015年
61.
Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem
机译:
具有结构可塑性的神经P系统:攻击子集合问题
作者:
Francis George C. Cabarle
;
Nestine Hope S. Hernandez
;
Miguel Angel Martinez-del-Amor
会议名称:
《International Conference on Membrane Computing》
|
2015年
关键词:
Membrane computing;
Spiking neural P system;
Structural plasticity;
NP-complete;
Subset Sum;
62.
Polarizationless P Systems with One Active Membrane
机译:
具有一个活性膜的偏光性P系统
作者:
Artiom Alhazov
;
Rudolf Freund
会议名称:
《International Conference on Membrane Computing》
|
2015年
63.
Pictures and Chomsky Languages in Array P System
机译:
阵列P系统中的图片和Chomsky语言
作者:
Williams Sureshkumar
;
Kalpana Mahalingam
;
Raghavan Rama
会议名称:
《International Conference on Membrane Computing》
|
2015年
关键词:
8-directional array P system;
Regulating string;
Dependability;
Chomsky languages;
RE;
64.
Sorting Using Spiking Neural P Systems with Anti-spikes and Rules on Synapses
机译:
使用尖峰和突触规则的尖刺神经P系统进行排序
作者:
Venkata Padmavati Metta
;
Alica Kelemenova
会议名称:
《International Conference on Membrane Computing》
|
2015年
65.
Bridging Deterministic P Systems and Conditional Grammars
机译:
桥接确定性P系统和条件语法
作者:
Artiom Alhazov
;
Rudolf Freund
;
Sergey Verlan
会议名称:
《International Conference on Membrane Computing》
|
2015年
66.
Dynamically Changing Environment for Generalized Communicating P Systems
机译:
用于广义通信P系统的动态变化环境
作者:
Akos Balasko
;
Erzsebet Csuhaj-Varju
;
Gyorgy Vaszil
会议名称:
《International Conference on Membrane Computing》
|
2015年
67.
A New Strategy to Improve the Performance of PDP-Systems Simulators
机译:
一种提高PDP系统模拟器性能的新策略
作者:
Carmen Graciani
;
Miguel A. Martinez-del-Amor
;
Agustin Riscos-Nunez
会议名称:
《International Conference on Membrane Computing》
|
2015年
关键词:
Rete algorithm;
P systems;
Membrane computing;
Rule applicability;
Simulator performance;
68.
On the Power of Catalytic P Systems with One Catalyst
机译:
用一种催化剂催化P系统的功率
作者:
Rudolf Freund
;
Petr Sosik
会议名称:
《International Conference on Membrane Computing》
|
2015年
69.
Automatic Translation of MP+V Systems to Register Machines
机译:
MP + V系统的自动翻译为注册机器
作者:
Ricardo Henrique Gracini Guiraldelli
;
Vincenzo Manca
会议名称:
《International Conference on Membrane Computing》
|
2015年
70.
P Systems with Generalized Multisets Over Totally Ordered Abelian Groups
机译:
P Systems具有完全订购阿比越亚群体的广义多项
作者:
Rudolf Freund
;
Sergiu Ivanov
;
Sergey Verlan
会议名称:
《International Conference on Membrane Computing》
|
2015年
71.
Computing Partial Recursive Functions by Virus Machines
机译:
通过病毒机计算部分递归功能
作者:
Alvaro Romero-Jimenez
;
Luis Valencia-Cabrera
;
Agustin Riscos-Nunez
;
Mario J. Perez-Jimenez
会议名称:
《International Conference on Membrane Computing》
|
2015年
72.
An Excursion Through Quantitative Model Refinement
机译:
通过定量模型改进的游览
作者:
Sepinoud Azimi
;
Eugen Czeizler
;
Cristian Gratie
;
Diana Gratie
;
Bogdan Iancu
;
Nebiat Ibssa
;
Ion Petre
;
Vladimir Rogojin
;
Tolou Shadbahr
;
Fatemeh Shokri
会议名称:
《International Conference on Membrane Computing》
|
2015年
73.
Regulating Rule Application with Membrane Boundaries in P Systems
机译:
在P系统中调节膜边界的规则应用
作者:
Tamas Mihalydeak
;
Gyorgy Vaszil
会议名称:
《International Conference on Membrane Computing》
|
2015年
关键词:
Asynchronous P systems;
Approximation spaces;
Potential energy;
Stable states;
74.
Automated Verification of Stochastic Spiking Neural P Systems
机译:
随机尖峰神经P系统的自动验证
作者:
Bogdan Aman
;
Gabriel Ciobanu
会议名称:
《International Conference on Membrane Computing》
|
2015年
75.
About Models Derived from Colonies
机译:
关于来自殖民地的模型
作者:
Sarka Vavreckova
;
Ludek Cienciala
;
Lucie Ciencialova
会议名称:
《International Conference on Membrane Computing》
|
2015年
76.
On the Communication Complexity of the Vertex Cover Problem and 3-Satisfiability Problem in ECP Systems
机译:
关于ECP系统顶点覆盖问题的通信复杂性和3个可靠性问题
作者:
Nestine Hope S. Hernandez
;
Richelle Ann B. Juayong
;
Sherlyne L. Francia
;
Denise Alyssa A. Francisco
;
Henry N. Adorna
会议名称:
《International Conference on Membrane Computing》
|
2015年
关键词:
Membrane computing;
Evolution-communication P systems;
Communication complexity;
Vertex cover problem;
3-satisfiability problem;
77.
An Integrated Model Checking Toolset for Kernel P Systems
机译:
内核P系统的集成模型检查工具集
作者:
Marian Gheorghe
;
Savas Konur
;
Florentin Ipate
;
Laurentiu Mierla
;
Mehmet E. Bakir
;
Mike Stannett
会议名称:
《International Conference on Membrane Computing》
|
2015年
78.
Chemistry-Inspired Adaptive Stream Processing
机译:
化学启发自适应流处理
作者:
Javier Rojas Balderrama
;
Matthieu Simonin
;
Cedric Tedeschi
会议名称:
《International Conference on Membrane Computing》
|
2015年
79.
Membrane Computing Meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential
机译:
膜计算满足温度:作为分子滑动规则具有进化潜力的热感受器模型
作者:
Thomas Hinze
;
Korcan Kirkici
;
Patricia Sauer
;
Peter Sauer
;
Jorn Behre
会议名称:
《International Conference on Membrane Computing》
|
2015年
80.
Structured Grid Algorithms Modelled with Complex Objects
机译:
具有复杂对象的结构化网格算法
作者:
Radu Nicolescu
会议名称:
《International Conference on Membrane Computing》
|
2015年
关键词:
Membrane computing;
P systems;
Inter-cell parallelism;
Intra-cell parallelism;
Prolog terms;
Complex objects;
Generic rules;
Image processing;
Seeded region growing;
Parallel and concurrent models;
Synchronous and asynchronous models;
Termination detection;
Message-based;
Actor model;
Computation and communication patterns;
The 13 Berkeley dwarfs;
81.
Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms
机译:
在顺序和CUDA平台上使用P-Lingua的实数模拟FRSN P系统
作者:
Luis F. Macias-Ramos
;
Miguel A. Martinez-del-Amor
;
Mario J. Perez-Jimenez
会议名称:
《International Conference on Membrane Computing》
|
2015年
关键词:
Membrane Computing;
P systems;
Spiking Neural P systems;
Fuzzy Reasoning Spiking Neural P systems;
Fault diagnosis;
Fuzzy knowledge;
Fuzzy reasoning;
P-Lingua;
Java;
CUDA;
82.
Information Theory in Genome Analysis
机译:
基因组分析中的信息理论
作者:
Vincenzo Manca
会议名称:
《International Conference on Membrane Computing》
|
2015年
83.
A Solution of Horn-SAT with P Systems Using Antimatter
机译:
使用反物质的HORN-SAT与P系统解决方案
作者:
Gabor Kolonits
会议名称:
《International Conference on Membrane Computing》
|
2015年
84.
In Search of a Structure of Fractals by Using Membranes as Hyperedges
机译:
通过使用膜作为超高凝聚来搜索分形的结构
作者:
Adam Obtulowicz
会议名称:
《International Conference on Membrane Computing》
|
2014年
85.
In Search of a Structure of Fractals by Using Membranes as Hyperedges
机译:
通过使用膜作为超高凝聚来搜索分形的结构
作者:
Adam Obtu?owicz
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Fractals;
Using Membranes;
Hyperedges;
86.
Some Open Problems about Catalytic, Numerical, and Spiking Neural P Systems (Extended Abstract)
机译:
关于催化,数值和尖峰神经P系统的一些打开问题(扩展摘要)
作者:
Gheorghe Pǎun
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Some Open Problems;
Catalytic;
Extended Abstract;
87.
Some Open Problems about Catalytic, Numerical, and Spiking Neural P Systems
机译:
关于催化,数值和尖峰神经P系统的一些开放问题
作者:
Gheorghe Paun
会议名称:
《International Conference on Membrane Computing》
|
2014年
88.
A P System for Annotation of Romanian Affixes
机译:
一种用于罗马尼亚贴图的P系统
作者:
Artiom Alhazov
;
Svetlana Cojocaru
;
Alexandru Colesnicov
;
Ludmila Malahov
;
Mircea Petic
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Affixation;
Morphemes;
Parsing;
P system models;
Membrane computing;
Linguistic resources;
89.
A P System for Annotation of Romanian Affixes
机译:
一种用于罗马尼亚贴图的P系统
作者:
Artiom Alhazov
;
Svetlana Cojocaru
;
Alexandru Colesnicov
;
Ludmila Malahov
;
Mircea Petic
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
affixation;
morphemes;
parsing;
P system models;
membrane computing;
linguistic resources;
90.
Roads to New Grand Challenges of Informatics (Extended Abstract)
机译:
新大挑战信息学的道路(扩展摘要)
作者:
Jozef Gruska
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Roads;
New Grand Challenges;
Informatics;
91.
A Kernel P Systems Survey
机译:
内核P系统调查
作者:
Marian Gheorghe
;
Florentin Ipate
会议名称:
《International Conference on Membrane Computing》
|
2014年
92.
A Kernel P Systems Survey
机译:
内核P系统调查
作者:
Marian Gheorghe
;
Florentin Ipate
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
A Kernel;
P Systems Survey;
kP;
93.
Roads to New Grand Challenges of Informatics
机译:
新大挑战信息学的道路
作者:
Jozef Gruska
会议名称:
《International Conference on Membrane Computing》
|
2014年
94.
Flattening and Simulation of Asynchronous Divisionless P Systems with Active Membranes
机译:
具有活性膜的异步疏松P系统的平整和仿真
作者:
Alberto Leporati
;
Luca Manzoni
;
Antonio E. Porreca
会议名称:
《International Conference on Membrane Computing》
|
2014年
95.
Flattening and Simulation of Asynchronous Divisionless P Systems with Active Membranes
机译:
具有活性膜的异步疏松P系统的平整和仿真
作者:
Alberto Leporati
;
Luca Manzoni
;
Antonio E. Porreca
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Flattening;
Simulation;
Asynchronous Divisionless P Systems;
96.
On Counter Machines versus dP Automata
机译:
在计数器上与DP自动机
作者:
Erzsébet Csuhaj-Varjú
;
Gy?rgy Vaszil
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Counter Machines;
dP Automata;
Continuing;
97.
Behavioural Equivalences in Real-Time P Systems
机译:
实时P系统中的行为等效性
作者:
Bogdan Aman
;
Gabriel Ciobanu
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Behavioural Equivalences;
Real-Time;
P Systems;
98.
About One-Sided One-Symbol Insertion-Deletion P Systems
机译:
关于单侧单符号插入删除P系统
作者:
Sergiu Ivanov
;
Sergey Verlan
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
One-Sided;
One-Symbol;
Insertion-Deletion P Systems;
99.
On Counter Machines versus dP Automata
机译:
在计数器上与DP自动机
作者:
Erzsebet Csuhaj-Varju
;
Gyorgy Vaszil
会议名称:
《International Conference on Membrane Computing》
|
2014年
100.
Behavioural Equivalences in Real-Time P Systems
机译:
实时P系统中的行为等效性
作者:
Bogdan Aman
;
Gabriel Ciobanu
会议名称:
《International Conference on Membrane Computing》
|
2014年
上一页
1
2
3
下一页
意见反馈
回到顶部
回到首页