RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS (Q5404514): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Created claim: DBLP publication ID (P1635): journals/ijfcs/GheorghePPR13, #quickstatements; #temporary_batch_1731547958265
 
(6 intermediate revisions by 5 users not shown)
Property / author
 
Property / author: Grzegorz Rozenberg / rank
Normal rank
 
Property / author
 
Property / author: Grzegorz Rozenberg / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q57518263 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A comparison of tree transductions defined by monadic second order logic and by attribute grammars / rank
 
Normal rank
Property / cites work
 
Property / cites work: An infinite hierarchy of languages defined by dP systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Spiking neural P systems with extended rules: universality and languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources / rank
 
Normal rank
Property / cites work
 
Property / cites work: Spiking neural P systems with neuron division and budding / rank
 
Normal rank
Property / cites work
 
Property / cites work: On uniformity within \(NC^ 1\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: The computational power of membrane systems under tight uniformity conditions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity classes in models of cellular computing with membranes / rank
 
Normal rank
Property / cites work
 
Property / cites work: <font>P</font>SYSTEMS WITH ACTIVE MEMBRANES WORKING IN POLYNOMIAL SPACE / rank
 
Normal rank
Property / cites work
 
Property / cites work: Membrane computing and complexity theory: A characterization of PSPACE / rank
 
Normal rank
Property / cites work
 
Property / cites work: PP is as Hard as the Polynomial-Time Hierarchy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computational efficiency of dissolution rules in membrane systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Membrane Dissolution and Division in P / rank
 
Normal rank
Property / cites work
 
Property / cites work: A uniform family of tissue P systems with cell division solving 3-COL in a linear time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computational complexity of tissue-like P systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using enzymatic numerical P systems for modeling mobile robot controllers / rank
 
Normal rank
Property / cites work
 
Property / cites work: A rewriting logic framework for operational semantics of membrane systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite state based testing of P systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Test generation from P systems using model checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: FORMAL VERIFICATION OF <font>P</font> SYSTEMS USING SPIN / rank
 
Normal rank
Property / cites work
 
Property / cites work: Learning finite cover automata from queries / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounded sequence testing from deterministic finite state machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversing computation in membrane systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rule-based and object-based event structures for membrane systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: The chemical abstract machine / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trading polarizations for labels in P systems with active membranes / rank
 
Normal rank
Property / cites work
 
Property / cites work: A TOUR OF REACTION SYSTEMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Events and modules in reaction systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introducing time in reaction systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards bridging two cell-inspired models: P systems and R systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: MEMBRANE ALGORITHM WITH BROWNIAN SUBALGORITHM AND GENETIC SUBALGORITHM / rank
 
Normal rank
Property / cites work
 
Property / cites work: A membrane algorithm with quantum-inspired subalgorithms and its application to image processing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metabolic approximation of real periodical functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: LOG-GAIN STOICHIOMETRIC STEPWISE REGRESSION FOR <font>MP</font> SYSTEMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Discrete solutions to differential equations by metabolic P systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: REGISTER MACHINE COMPUTATIONS ON BINARY NUMBERS BY OSCILLATING AND CATALYTIC CHEMICAL REACTIONS MODELLED USING MASS-ACTION KINETICS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Simulating FAS-induced apoptosis by using P systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: The metabolic algorithm for P systems: principles and applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: MODELING DIFFUSION IN A SIGNAL TRANSDUCTION PATHWAY: THE USE OF VIRTUAL VOLUMES IN <font>P</font> SYSTEMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deterministic and stochastic P systems for modelling cellular processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: MODULAR ASSEMBLY OF CELL SYSTEMS BIOLOGY MODELS USING<font>P</font>SYSTEMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Scene segmentation by spike synchronization in reciprocally connected visual areas. II: Global assemblies and synchronization on larger space and time scales / rank
 
Normal rank
Property / cites work
 
Property / cites work: Spatial and temporal pattern analysis via spiking neurons / rank
 
Normal rank
Property / cites work
 
Property / cites work: Array-rewriting P systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: P systems and computational algebraic topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Contextual array P systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probabilistic regularisation and symmetry in binocular dynamic programming stereo / rank
 
Normal rank
Property / DBLP publication ID
 
Property / DBLP publication ID: journals/ijfcs/GheorghePPR13 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 03:17, 14 November 2024

scientific article; zbMATH DE number 6273014
Language Label Description Also known as
English
RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
scientific article; zbMATH DE number 6273014

    Statements

    RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS (English)
    0 references
    0 references
    0 references
    0 references
    24 March 2014
    0 references
    natural computing
    0 references
    cell membranes
    0 references
    spiking neurons
    0 references
    membrane computing
    0 references
    P system
    0 references
    complexity classes
    0 references
    finite automata
    0 references
    formal languages
    0 references
    semantics and formal verification
    0 references
    simulation frameworks
    0 references
    applications of membrane computing
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references