Buscar
Mostrando ítems 321-330 de 355
Artículo
A formalization of membrane systems with dynamically evolving structures
(Taylor and Francis, 2013)
This article introduces a general formalism/framework flexible enough to cover descriptions of different variants of P systems having a dynamic membrane structure. Our framework can be useful for the precise definition ...
Artículo
Existentially Closed Models in the Framework of Arithmetic
(The Association for Symbolic Logic, 2016)
We prove that the standard cut is definable in each existentially closed model of IΔ0 + exp by a (parameter free) П1–formula. This definition is optimal with respect to quantifier complexity and allows us to improve some ...
Artículo
A Model of the Quorum Sensing System in Vibrio fischeri Using P Systems
(MIT Press, 2008)
Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to communicate in order to regulate the expression of certain or specific genes in a coordinated way ...
Artículo
Semantic Preserving Embeddings for Generalized Graphs
(Cornell University, 2017)
Artículo
MAREX: A general purpose hardware architecture for membrane computing
(Elsevier, 2022-01)
Membrane computing is an unconventional computing paradigm that has gained much attention in recent decades because of its massively parallel character and its usefulness to build models of complex systems. However, until ...
Artículo
A note on parameter free Π1-induction and restricted exponentiation
(Wiley, 2011)
We characterize the sets of all Π2 and all $\mathcal {B}(\Sigma _{1})$equation image (= Boolean combinations of Σ1) theorems of IΠ−1 in terms of restricted exponentiation, and use these characterizations to prove that both ...
Artículo
Towards a digital geography of Hispanic Baroque art
(Oxford Academic, 2013)
In this article we propose an approach to the study of art history based on geog-raphy of Hispanic Baroque art by digital means that showcase the multiplicity of possible places of art. Our study advances four elements ...
Artículo
Dynamic threshold neural P systems
(Elsevier, 2019)
Pulse coupled neural networks (PCNN, for short) are models abstracting the synchronization behavior observed experimentally for the cortical neurons in the visual cortex of a cat’s brain, and the intersecting cortical ...
Ponencia
A Formal Proof of Dickson’s Lemma in ACL2
(Springer, 2003)
Dickson’s Lemma is the main result needed to prove the termination of Buchberger’s algorithm for computing Gr¨obner basis of polynomial ideals. In this case study, we present a formal proof of Dickson’s Lemma using the ...
Artículo
An infinite hierarchy of languages defined by dP systems
(Elsevier, 2012)
Here, we continue the study of the recently introduced dP automata. They are symport/antiport P systems consisting of a number of components, each one accepting a string, and working together in recognizing the concatenation ...