English
Related papers

Related papers: On the Number of Membranes in Unary P Systems

200 papers

We investigate the descriptional complexity of limited propagating Lindenmayer systems and their deterministic and tabled variants with respect to the number of rules and the number of symbols. We determine the decrease of complexity when…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Bianca Truthe

A system of PDE describing bilayers amphiphilic membranes is studied by Lie group analysis. This algorithmic approach allows us to show all the symmetries of the system, to determine all possible symmetry reductions, to recover the…

Soft Condensed Matter · Physics 2017-08-23 Giovanni De Matteis

We provide a classification of the homogeneous 3-dimensional permutation structures, i.e. homogeneous structures in a language of 3 linear orders, partially answering a question of Cameron. We also arrive at a natural description of all…

Logic · Mathematics 2020-02-26 Samuel Braunfeld

We present a structure associated to the class of linear codes. The properties of that structure are similar to some structures in the linear algebra techniques into the framework of the Gr\"obner bases tools. It allows to get some insight…

Commutative Algebra · Mathematics 2007-05-23 M. Borges-Quintana , M. Borges-Trenard , E. Martinez-Moro

Membrane computing and P systems are a paradigm of massively parallel natural computing introduced by Gheorghe P\u{a}un in 1999, inspired by the structure of the living cell and by its biochemical reactions. In spite of this explicit…

Formal Languages and Automata Theory · Computer Science 2022-09-01 Artiom Alhazov , Rudolf Freund , Sergiu Ivanov

In this paper we investigate the affect of various acceptance conditions on recogniser membrane systems without dissolution. We demonstrate that two particular acceptance conditions (one easier to program, the other easier to prove…

Computational Complexity · Computer Science 2009-06-19 Niall Murphy , Damien Woods

P systems are computing conceptual computing devices that are at least as powerful as Turing machines. However, until recently it was not known how one can encode any recursive function as a P~system. Here we propose a new encoding of…

Formal Languages and Automata Theory · Computer Science 2018-09-25 Apostolos Syropoulos , Stratos Doumanis , Konstantinos T. Sotiriades

We introduce the percolation with plasticity (PWP) systems that exhibit neuromorphic functionalities including multi-valued memory, random number generation, matrix-vector multiplication, and associative learning. PWP systems have multiple…

Disordered Systems and Neural Networks · Physics 2019-10-24 V. G. Karpov , Maria Patmiou

Bimorphic lenses are a simplification of polymorphic lenses that (like polymorphic lenses) have a type defined by 4 parameters, but which are defined in a monomorphic type system (i.e. an ordinary category with finite products). We show…

Category Theory · Mathematics 2019-08-27 Jules Hedges

We present a necessary and sufficient condition for a 3 by 3 matrix to be unitarily equivalent to a symmetric matrix with complex entries, and an algorithm whereby an arbitrary 3 by 3 matrix can be tested. This test generalizes to a…

Functional Analysis · Mathematics 2009-08-18 James E. Tener

In this paper we consider linear systems of $\mathbb{P}^2$ with all but one of the base points of multiplicity 5. We give an explicit way to evaluate the dimensions of such systems.

Algebraic Geometry · Mathematics 2007-05-23 Antonio Laface , Luca Ugaglia

Systems now exist which are able to compile unification grammars into language models that can be included in a speech recognizer, but it is so far unclear whether non-trivial linguistically principled grammars can be used for this purpose.…

Computation and Language · Computer Science 2007-05-23 Manny Rayner , Beth Ann Hockey , Frankie James , Elizabeth O. Bratt , Sharon Goldwater , Mark Gawron

Heterogeneity is one important feature of complex systems, leading to the complexity of their construction and analysis. Moving the heterogeneity at model level helps in mastering the difficulty of composing heterogeneous models which…

Software Engineering · Computer Science 2017-07-24 J. Christian Attiogbé

Membranes are present in all cells and tissues. Mathematical models of cells and tissues need a compact mathematical description of membranes with a resolution of about 1 nm. Membranes isolate cells because ions have difficulty penetrating…

Dynamical Systems · Mathematics 2021-06-01 Yi Zhu , Shixin Xu , Robert S. Eisenberg , Huaxiong Huang

The problem of membrane topology in the matrix model of M-theory is considered. The matrix regularization procedure, which makes a correspondence between finite-sized matrices and functions defined on a two-dimensional base space, is…

High Energy Physics - Theory · Physics 2010-04-05 H. Shimada

Waring problem for homogeneus forms asks for additive decomposition of a form $f$ into powers of linear forms. A classical problem is to determine when such a decomposition is unique. In this paper I answer this question when the degree of…

Algebraic Geometry · Mathematics 2007-05-23 Massimiliano Mella

Cell membranes separate the cell interior from the external environment. They are constituted by a variety of lipids; their composition determines the dynamics of membrane proteins and affects the ability of the cells to adapt. Even though…

Quantitative Methods · Quantitative Biology 2018-10-04 Nicola Galvanetto

We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification…

Logic · Mathematics 2020-02-26 Samuel Braunfeld , Pierre Simon

A feature of current membrane systems is the fact that objects and membranes are persistent. However, this is not true in the real world. In fact, cells and intracellular proteins have a well-defined lifetime. Inspired from these biological…

Formal Languages and Automata Theory · Computer Science 2009-10-08 Bogdan Aman , Gabriel Ciobanu

Let A and B be normal matrices with coefficients that are continuous complex-valued functions on a topological space X that has the homotopy type of a CW complex, and suppose these matrices have the same distinct eigenvalues at each point…

Operator Algebras · Mathematics 2018-12-31 Greg Friedman , Efton Park