掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Membrane Computing
International Conference on Membrane Computing
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
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;
2.
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;
3.
Some Open Problems about Catalytic, Numerical, and Spiking Neural P Systems
机译:
关于催化,数值和尖峰神经P系统的一些开放问题
作者:
Gheorghe Paun
会议名称:
《International Conference on Membrane Computing》
|
2014年
4.
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;
5.
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;
6.
Roads to New Grand Challenges of Informatics (Extended Abstract)
机译:
新大挑战信息学的道路(扩展摘要)
作者:
Jozef Gruska
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Roads;
New Grand Challenges;
Informatics;
7.
A Kernel P Systems Survey
机译:
内核P系统调查
作者:
Marian Gheorghe
;
Florentin Ipate
会议名称:
《International Conference on Membrane Computing》
|
2014年
8.
A Kernel P Systems Survey
机译:
内核P系统调查
作者:
Marian Gheorghe
;
Florentin Ipate
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
A Kernel;
P Systems Survey;
kP;
9.
Roads to New Grand Challenges of Informatics
机译:
新大挑战信息学的道路
作者:
Jozef Gruska
会议名称:
《International Conference on Membrane Computing》
|
2014年
10.
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年
11.
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;
12.
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;
13.
Behavioural Equivalences in Real-Time P Systems
机译:
实时P系统中的行为等效性
作者:
Bogdan Aman
;
Gabriel Ciobanu
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Behavioural Equivalences;
Real-Time;
P Systems;
14.
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;
15.
On Counter Machines versus dP Automata
机译:
在计数器上与DP自动机
作者:
Erzsebet Csuhaj-Varju
;
Gyorgy Vaszil
会议名称:
《International Conference on Membrane Computing》
|
2014年
16.
Behavioural Equivalences in Real-Time P Systems
机译:
实时P系统中的行为等效性
作者:
Bogdan Aman
;
Gabriel Ciobanu
会议名称:
《International Conference on Membrane Computing》
|
2014年
17.
About One-Sided One-Symbol Insertion-Deletion P Systems
机译:
关于单侧单符号插入删除P系统
作者:
Sergiu Ivanov
;
Sergey Verlan
会议名称:
《International Conference on Membrane Computing》
|
2014年
18.
Computational Complexity of P Systems with Active Membranes
机译:
具有活性膜的P系统的计算复杂性
作者:
Alberto Leporati
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Computational Complexity;
P Systems;
PSPACE;
19.
The Relevance of the Environment on the Efficiency of Tissue P Systems
机译:
环境对组织P系统效率的相关性
作者:
Mario J. Perez-Jimenez
;
Agustin Riscos-Nunez
;
Miquel Rius-Font
;
Luis Valencia-Cabrera
会议名称:
《International Conference on Membrane Computing》
|
2014年
20.
The Relevance of the Environment on the Efficiency of Tissue P Systems
机译:
环境对组织P系统效率的相关性
作者:
Mario J. Pérez-Jiménez
;
Agustín Riscos-Nú?ez
;
Miquel Rius-Font
;
Luis Valencia-Cabrera
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Relevance;
Environment;
Tissue P Systems;
21.
Computational Complexity of P Systems with Active Membranes
机译:
具有活性膜的P系统的计算复杂性
作者:
Alberto Leporati
会议名称:
《International Conference on Membrane Computing》
|
2014年
22.
Using the Formal Framework for P Systems
机译:
使用P系统的正式框架
作者:
Sergey Verlan
会议名称:
《International Conference on Membrane Computing》
|
2014年
23.
Programming P Systems with Complex Objects
机译:
具有复杂对象的编程P系统
作者:
Radu Nicolescu
;
Florentin Ipate
;
Huiling Wu
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
P systems;
Complex objects;
Generic rules;
Data structures;
Control flow;
Parallel composition;
Function calls;
Recursion;
Numerical P systems;
NP-complete;
Applications;
24.
Model Checking Kernel P Systems
机译:
模型检查内核P系统
作者:
Ciprian Dragomir
;
Florentin Ipate
;
Savas Konur
;
Raluca Lefticaru
;
Laurentiu Mierla
会议名称:
《International Conference on Membrane Computing》
|
2014年
25.
On Communication Complexity of Some Hard Problems in ECPe Systems
机译:
ECPE系统中一些难题的通信复杂性
作者:
Nestine Hope S. Hernandez
;
Richelle Ann B. Juayong
;
Henry N. Adorna
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Membrane computing;
Recognizer P systems;
Evolution-Communication P systems with Energy;
Communication complexity;
26.
Using the Formal Framework for P Systems
机译:
使用P系统的正式框架
作者:
Sergey Verlan
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Formal Framework;
P Systems;
explain different models;
27.
Modelling of Surface Runoff Using 2D P Colonies
机译:
使用2D P菌落的表面径流建模
作者:
Lud?k Cienciala
;
Lucie Ciencialová
;
Miroslav Langer
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Modelling;
Surface Runoff Using;
2D P Colonies;
28.
Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
机译:
通过在变量数量的线性时间中通过具有主动膜的P系统解决坐姿
作者:
Zsolt Gazdag
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Membrane computing;
P systems;
SAT problem;
29.
Enzymatic Numerical P Systems Using Elementary Arithmetic Operations
机译:
使用基本算术运算的酶数P系统
作者:
Alberto Leporati
;
Giancarlo Mauri
;
Antonio E. Porreca
;
Claudio Zandron
会议名称:
《International Conference on Membrane Computing》
|
2014年
30.
Implementation of P Systems by Using Big Data Technologies
机译:
使用大数据技术实现P系统
作者:
Alex Ciobanu
;
Florentin Ipate
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
P systems testing;
Hadoop;
P system computation tree;
Map Reduce;
Big Data;
NoSQL;
31.
Model Checking Kernel P Systems
机译:
模型检查内核P系统
作者:
Ciprian Dragomir
;
Florentin Ipate
;
Savas Konur
;
Raluca Lefticaru
;
Laurentiu Mierla
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Model Checking Kernel;
P Systems;
LTL;
32.
On Communication Complexity of Some Hard Problems in ECPe Systems
机译:
ECPE系统中一些难题的通信复杂性
作者:
Nestine Hope S. Hernandez
;
Richelle Ann B. Juayong
;
Henry N. Adorna
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Membrane computing;
recognizer P systems;
Evolution- Communication P systems with Energy;
communication complexity;
33.
Active Membranes, Proteins on Membranes, Tissue P Systems: Complexity-Related Issues and Challenges
机译:
活性膜,膜上的蛋白质,组织P系统:复杂性相关的问题和挑战
作者:
Petr Sosik
会议名称:
《International Conference on Membrane Computing》
|
2014年
34.
Enzymatic Numerical P Systems Using Elementary Arithmetic Operations
机译:
使用基本算术运算的酶数P系统
作者:
Alberto Leporati
;
Giancarlo Mauri
;
Antonio E. Porreca
;
Claudio Zandron
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Enzymatic Numerical P Systems;
Using Elementary;
Arithmetic Operations;
35.
Modelling of Surface Runoff Using 2D P Colonies
机译:
使用2D P菌落的表面径流建模
作者:
Ludek Cienciala
;
Lucie Ciencialova
;
Miroslav Langer
会议名称:
《International Conference on Membrane Computing》
|
2014年
36.
Programming P Systems with Complex Objects
机译:
具有复杂对象的编程P系统
作者:
Radu Nicolescu
;
Florentin Ipate
;
Huiling Wu
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
P systems;
complex objects;
generic rules;
data structures;
control flow;
parallel composition;
function calls;
recursion;
numerical P systems;
NP-complete;
applications;
37.
Active Membranes, Proteins on Membranes, Tissue P Systems: Complexity-Related Issues and Challenges
机译:
活性膜,膜上的蛋白质,组织P系统:复杂性相关的问题和挑战
作者:
Petr Sosík
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Active Membranes;
Complexity-Related Issues;
Challenges;
38.
Communication Rules Controlled by Generated Membrane Boundaries
机译:
由生成的膜边界控制的通信规则
作者:
Tamás Mihálydeák
;
Zoltán Ern? Csajbók
;
Péter Takács
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Membrane computing;
multiset theory;
partial approximation of multisets;
39.
Flattening in (Tissue) P Systems
机译:
在(组织)P系统中平坦化
作者:
Rudolf Freund
;
Alberto Leporati
;
Giancarlo Mauri
;
Antonio E. Porreca
;
Sergey Verlan
;
Claudio Zandron
会议名称:
《International Conference on Membrane Computing》
|
2014年
40.
Implementation of P Systems by Using Big Data Technologies
机译:
使用大数据技术实现P系统
作者:
Alex Ciobanu
;
Florentin Ipate
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
P systems testing;
Hadoop;
P system computation tree;
Map Reduce;
Big Data;
NoSQL;
41.
Flattening in (Tissue) P Systems
机译:
在(组织)P系统中平坦化
作者:
Rudolf Freund
;
Alberto Leporati
;
Giancarlo Mauri
;
Antonio E. Porreca
;
Sergey Verlan
;
Claudio Zandron
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Flattening;
Tissue;
P Systems;
42.
Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
机译:
通过在变量数量的线性时间中通过具有主动膜的P系统解决坐姿
作者:
Zsolt Gazdag
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Membrane computing;
P systems;
SAT problem;
43.
Communication Rules Controlled by Generated Membrane Boundaries
机译:
由生成的膜边界控制的通信规则
作者:
Tamas Mihalydeak
;
Zoltan Erno Csajbok
;
Peter Takacs
会议名称:
《International Conference on Membrane Computing》
|
2014年
关键词:
Membrane computing;
Multiset theory;
Partial approximation of multisets;
44.
Towards a Theory of Life
机译:
朝着生命理论
作者:
Andres Moya
会议名称:
《International Conference on Membrane Computing》
|
2015年
45.
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年
46.
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;
47.
Polarizationless P Systems with One Active Membrane
机译:
具有一个活性膜的偏光性P系统
作者:
Artiom Alhazov
;
Rudolf Freund
会议名称:
《International Conference on Membrane Computing》
|
2015年
48.
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;
49.
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年
50.
Bridging Deterministic P Systems and Conditional Grammars
机译:
桥接确定性P系统和条件语法
作者:
Artiom Alhazov
;
Rudolf Freund
;
Sergey Verlan
会议名称:
《International Conference on Membrane Computing》
|
2015年
51.
Dynamically Changing Environment for Generalized Communicating P Systems
机译:
用于广义通信P系统的动态变化环境
作者:
Akos Balasko
;
Erzsebet Csuhaj-Varju
;
Gyorgy Vaszil
会议名称:
《International Conference on Membrane Computing》
|
2015年
52.
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;
53.
On the Power of Catalytic P Systems with One Catalyst
机译:
用一种催化剂催化P系统的功率
作者:
Rudolf Freund
;
Petr Sosik
会议名称:
《International Conference on Membrane Computing》
|
2015年
54.
Automatic Translation of MP+V Systems to Register Machines
机译:
MP + V系统的自动翻译为注册机器
作者:
Ricardo Henrique Gracini Guiraldelli
;
Vincenzo Manca
会议名称:
《International Conference on Membrane Computing》
|
2015年
55.
P Systems with Generalized Multisets Over Totally Ordered Abelian Groups
机译:
P Systems具有完全订购阿比越亚群体的广义多项
作者:
Rudolf Freund
;
Sergiu Ivanov
;
Sergey Verlan
会议名称:
《International Conference on Membrane Computing》
|
2015年
56.
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年
57.
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年
58.
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;
59.
Automated Verification of Stochastic Spiking Neural P Systems
机译:
随机尖峰神经P系统的自动验证
作者:
Bogdan Aman
;
Gabriel Ciobanu
会议名称:
《International Conference on Membrane Computing》
|
2015年
60.
About Models Derived from Colonies
机译:
关于来自殖民地的模型
作者:
Sarka Vavreckova
;
Ludek Cienciala
;
Lucie Ciencialova
会议名称:
《International Conference on Membrane Computing》
|
2015年
61.
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;
62.
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年
63.
Chemistry-Inspired Adaptive Stream Processing
机译:
化学启发自适应流处理
作者:
Javier Rojas Balderrama
;
Matthieu Simonin
;
Cedric Tedeschi
会议名称:
《International Conference on Membrane Computing》
|
2015年
64.
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年
65.
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;
66.
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;
67.
Information Theory in Genome Analysis
机译:
基因组分析中的信息理论
作者:
Vincenzo Manca
会议名称:
《International Conference on Membrane Computing》
|
2015年
68.
A Solution of Horn-SAT with P Systems Using Antimatter
机译:
使用反物质的HORN-SAT与P系统解决方案
作者:
Gabor Kolonits
会议名称:
《International Conference on Membrane Computing》
|
2015年
69.
Shallow Non-confluent P Systems
机译:
浅非汇益P系统
作者:
Alberto Leporati
;
Luca Manzoni
;
Giancarlo Mauri
;
Antonio E. Porreca
;
Claudio Zandron
会议名称:
《International Conference on Membrane Computing》
|
2017年
70.
A View of P Systems from Information Theory
机译:
信息理论中的P系统看
作者:
Jose M. Sempere
会议名称:
《International Conference on Membrane Computing》
|
2017年
关键词:
Communication P systems;
Information theory;
Entropy;
71.
Coping with Dynamical Structures for Interdisciplinary Applications of Membrane Computing
机译:
应对膜计算的跨学科应用动力学结构
作者:
Thomas Hinze
会议名称:
《International Conference on Membrane Computing》
|
2017年
72.
Continuation Passing Semantics for Membrane Systems
机译:
继续传递膜系统的语义
作者:
Gabriel Ciobanu
;
Eneia Nicolae Todoran
会议名称:
《International Conference on Membrane Computing》
|
2017年
73.
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;
74.
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;
75.
The Evolutionary Resilience of Distributed Cellular Computing
机译:
分布式蜂窝计算的进化恢复力
作者:
Matteo Cavaliere
;
Alvaro Sanchez
会议名称:
《International Conference on Membrane Computing》
|
2017年
76.
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年
77.
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;
78.
Computational Power of Protein Networks
机译:
蛋白质网络的计算能力
作者:
Bogdan Aman
;
Gabriel Ciobanu
会议名称:
《International Conference on Membrane Computing》
|
2017年
79.
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年
80.
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;
81.
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;
82.
Chemical Term Reduction with Active P Systems
机译:
用活性P系统减少化学术语
作者:
Peter Battyanyi
;
Gyorgy Vaszil
会议名称:
《International Conference on Membrane Computing》
|
2017年
83.
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;
84.
Simulating R Systems by P Systems
机译:
通过P系统模拟R系统
作者:
Artiom Alhazov
;
Bogdan Aman
;
Rudolf Freund
;
Sergiu Ivanov
会议名称:
《International Conference on Membrane Computing》
|
2017年
85.
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;
86.
P Systems Working in Maximal Variants of the Set Derivation Mode
机译:
P系统在集派生模式的最大变体中工作
作者:
Artiom Alhazov
;
Rudolf Freund
;
Sergey Verlan
会议名称:
《International Conference on Membrane Computing》
|
2017年
87.
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;
88.
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年
89.
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年
90.
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年
91.
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;
92.
Computationally Complete Generalized Communicating P Systems with Three Cells
机译:
具有三个单元的计算方式完全通信P系统
作者:
Erzsebet Csuhaj-Varju
;
Sergey Verlan
会议名称:
《International Conference on Membrane Computing》
|
2018年
93.
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;
94.
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年
95.
Controlled Reversibility in Reaction Systems
机译:
在反应系统中控制可逆性
作者:
Bogdan Aman
;
Gabriel Ciobanu
会议名称:
《International Conference on Membrane Computing》
|
2018年
96.
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;
97.
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;
98.
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems
机译:
多立模式及其在膜系统中动态因果区的应用
作者:
Roberto Barbuti
;
Roberta Gori
;
Paolo Milazzo
会议名称:
《International Conference on Membrane Computing》
|
2018年
99.
Reversing Steps in Membrane Systems Computations
机译:
膜系统计算中的步骤
作者:
G. Michele Pinna
会议名称:
《International Conference on Membrane Computing》
|
2018年
100.
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年
意见反馈
回到顶部
回到首页