Titlebook: Membrane Computing; 8th International Wo George Eleftherakis,Petros Kefalas,Arto Salomaa Conference proceedings 2007 Springer-Verlag Berlin

Madrigal

Membrane Computing in Connex Environment by the recent trend of promoting the parallel computation as a real competitor on the consumer market. The Connex environment has an integral parallel architecture, which is introduced here and its main performances are presented. Some suggestions are provided about how to use the Connex environment as accelerator for membrane computation.

燈泡

A Hybrid Approach to Modeling Biological SystemsDaikon, used in software reverse-engineering, and PRISM, a probabilistic model checker, are investigated for their expressiveness and complementary roles in describing and analyzing biological systems. A simple case study illustrates this approach.

狂怒

感染

拋媚眼

978-3-540-77311-5Springer-Verlag Berlin Heidelberg 2007

鴿子

interference

休息

Interregnum

Conformon-P Systems with Negative ValuesSome initial results on the study of conformon-P systems with negative values are reported..One model of these conformon-P systems is proved to be computationally universal while another is proved to be at least as powerful as partially blind program machines.

linguistics

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/630355.jpg