-
Privacy-preserving Linear Computations in Spiking Neural P Systems
Authors:
Mihail-Iulian Plesa,
Marian Gheorghe,
Florentin Ipate
Abstract:
Spiking Neural P systems are a class of membrane computing models inspired directly by biological neurons. Besides the theoretical progress made in this new computational model, there are also numerous applications of P systems in fields like formal verification, artificial intelligence, or cryptography. Motivated by all the use cases of SN P systems, in this paper, we present a new privacy-preser…
▽ More
Spiking Neural P systems are a class of membrane computing models inspired directly by biological neurons. Besides the theoretical progress made in this new computational model, there are also numerous applications of P systems in fields like formal verification, artificial intelligence, or cryptography. Motivated by all the use cases of SN P systems, in this paper, we present a new privacy-preserving protocol that enables a client to compute a linear function using an SN P system hosted on a remote server. Our protocol allows the client to use the server to evaluate functions of the form t_1k + t_2 without revealing t_1, t_2 or k and without the server knowing the result. We also present an SN P system to implement any linear function over natural numbers and some security considerations of our protocol in the honest-but-curious security model.
△ Less
Submitted 24 September, 2023;
originally announced September 2023.
-
Integration Testing of Heterotic Systems
Authors:
Marian Gheorghe,
Mike Stannett
Abstract:
Computational theory and practice generally focus on single-paradigm systems, but relatively little is known about how best to combine components based on radically different approaches (e.g., silicon chips and wetware) into a single coherent system. In particular, while testing strategies for single-technology components are generally well developed, it is unclear at present how to perform integr…
▽ More
Computational theory and practice generally focus on single-paradigm systems, but relatively little is known about how best to combine components based on radically different approaches (e.g., silicon chips and wetware) into a single coherent system. In particular, while testing strategies for single-technology components are generally well developed, it is unclear at present how to perform integration testing on heterotic systems: can we develop a test-set generation strategy for checking whether specified behaviours emerge (and unwanted behaviours do not) when components based on radically different technologies are combined within a single system?
In this paper, we describe an approach to modelling multi-technology heterotic systems using a general-purpose formal specification strategy based on Eilenberg's X-machine model of computation. We show how this approach can be used to represent disparate technologies within a single framework, and propose a strategy for using these formal models for automatic heterotic test-set generation. We illustrate our approach by showing how to derive a test set for a heterotic system combining an X-machine-based device with a cell-based P system (membrane system).
△ Less
Submitted 12 August, 2014;
originally announced August 2014.
-
Further Results on Languages of Membrane Structures
Authors:
Rama Raghavan,
H. Ramesh,
Marian Gheorghe,
Shankara Narayanan Krishna
Abstract:
P systems with active membranes were used to generate languages, in the sense of languages associated with the structure of membrane systems. Here, we analyze the power of P systems with membrane creation and dissolution restricted to elementary membranes, P systems without membrane dissolution operating according to certain output modes. This leads us to characterizations of recursively enumerabl…
▽ More
P systems with active membranes were used to generate languages, in the sense of languages associated with the structure of membrane systems. Here, we analyze the power of P systems with membrane creation and dissolution restricted to elementary membranes, P systems without membrane dissolution operating according to certain output modes. This leads us to characterizations of recursively enumerable languages.
△ Less
Submitted 17 August, 2011;
originally announced August 2011.
-
Vibrational effects in the linear conductance of carbon nanotubes
Authors:
M. Gheorghe,
R. Gutierrez,
N. Ranjan,
A. Pecchia,
A. Di Carlo,
G. Cuniberti
Abstract:
We study the influence of structural lattice fluctuations on the elastic electron transport in single-wall carbon nanotubes within a density-functional-based scheme. In the linear response regime, the linear conductance is calculated via configurational averages over the distorted lattice. Results obtained from a frozen-phonon approach as well as from molecular dynamics simulations are compared.…
▽ More
We study the influence of structural lattice fluctuations on the elastic electron transport in single-wall carbon nanotubes within a density-functional-based scheme. In the linear response regime, the linear conductance is calculated via configurational averages over the distorted lattice. Results obtained from a frozen-phonon approach as well as from molecular dynamics simulations are compared. We further suggest that the effect of structural fluctuations can be qualitatively captured by the Anderson model with bond disorder. The influence of individual vibrational modes on the electronic transport is discussed as well as the role of zero-point fluctuations.
△ Less
Submitted 24 May, 2005; v1 submitted 8 November, 2004;
originally announced November 2004.