5,696 Hits in 7.3 sec

Computational efficiency of dissolution rules in membrane systems

Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Francisco J. Romero-Campero
2006 International Journal of Computer Mathematics  
P systems with active membranes have been successfully used to design (uniform) solutions to well-known NP-complete problems, such as SAT [1], Subset Sum [2], Knapsack [3], Bin Packing [4], Partition [  ...  [7], Subset Sum [8], and QSAT [9].  ...  Acknowledgements The authors wish to acknowledge the support of the project TIN2005-09345-C04-01 of the Ministerio de Educación y Ciencia of Spain, co-financed by FEDER funds, and by a FPU fellowship to  ... 
doi:10.1080/00207160601065413 fatcat:q6kfqk5buvbcrlpnbgbloyvqam

Formal verification of cP systems using PAT3 and ProB

Yezhou Liu, Radu Nicolescu, Jing Sun
2020 Journal of Membrane Computing  
To formally verify the safety and liveness properties of cP systems, we solve a famous NP-Complete problem-the subset sum problem-in cP systems and use the PAT3 and ProB model checkers to verify the cP  ...  As a recently proposed membrane computing model, cP systems are capable of solving computational hard and distributed problems.  ...  Later, another linear solution to the subset sum problem was presented, which used P systems with membrane creation rules to solve the problem in at most 2n + 2k + 12 steps, where n is the number of elements  ... 
doi:10.1007/s41965-020-00036-0 fatcat:sioznotld5fmrpxxpyqzptrzea

A uniform solution to SAT using membrane creation

Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Francisco J. Romero-Campero
2007 Theoretical Computer Science  
In this paper, we provide the first uniform, efficient solution to the SAT problem in the framework of recogniser P systems with membrane creation using dissolution rules.  ...  The use of this type of rule establishes the difference between efficiency and non-efficiency for P systems with membrane creation, and provides a barrier between P and NP (assuming P = NP).  ...  Acknowledgements This work is supported by Ministerio de Ciencia y Tecnología of Spain, by Plan Nacional de I+D+I (2000-2003) (TIC2002-04220-C03-01), cofinanced by FEDER funds, and by a FPI fellowship  ... 
doi:10.1016/j.tcs.2006.10.013 fatcat:teouixhbgjehjgcuhpds7ixe2y

Model Checking Kernel P Systems [chapter]

Ciprian Dragomir, Florentin Ipate, Savas Konur, Raluca Lefticaru, Laurentiu Mierla
2014 Lecture Notes in Computer Science  
Membrane computing, the research field introduced by Gheorghe Pȃun [21] , studies computational models, called P systems, inspired by the functioning and structure of the living cell.  ...  In recent years, significant progress has been made in using various types or classes of P systems to model and simulate systems and problems from many di↵erent areas [5] .  ...  The work of FI, RL and LM was supported by a grant of the Romanian National Authority for Scientific Research, CNCS-UEFISCDI (project number: PN-II-ID-PCE-2011-3-0688).  ... 
doi:10.1007/978-3-642-54239-8_12 fatcat:enbnroioqvfzreld6cltrnbvse

A Linear Time Complexity of Breadth-First Search UsingPSystem with Membrane Division

Einallah Salehi, Siti Mariyam Shamsuddin, Kourosh Nemati
2013 Mathematical Problems in Engineering  
The usual way to find a solution for the problems with exponential time complexity with Membrane Computing techniques is byPSystem with active membrane using division rule.  ...  It makes an exponential workspace and solves the problems with exponential complexity in a polynomial (even linear) time.  ...  Acknowledgments This work is supported by The Ministry of Higher Education (MOHE) under Research University Grant (RUG 03H72).  ... 
doi:10.1155/2013/424108 fatcat:5mgvumj6u5dpxexnuynsfuzthm

Decoding the matrix: Coincident membranes on the plane wave

Raphael Bousso, Aleksey L. Mints
2006 Physical Review D  
The plane wave matrix model provides a laboratory for isolating aspects of this problem in a controlled setting.  ...  From the bulk point of view one expects product states of individual membranes to be contained within the full spectrum.  ...  Maldacena, A. Pasqua, S. Shenker, W. Taylor, and B. Tweedie for helpful discussions and com-  ... 
doi:10.1103/physrevd.73.066014 fatcat:vqk7bwj4wneopbcq2cvmdiuy7q

A constraint-net approach to the resolution of conflicts in a product with multi-technology requirements

A. J. Medland, J. Matthews, G. Mullineux
2009 International journal of computer integrated manufacturing (Print)  
This paper draws upon the experience of designing a disposable cell counting device for medical applications and illustrates its adaptation to other applications through the use of the derived constraint-net  ...  Whilst many procedures exist to support the systematic development of a product, it is often difficult to create an environment in which the early stages of the design are resolved.  ...  Acknowledgements The work reported in this paper has been supported by a number of grants for  ... 
doi:10.1080/09511920802372286 fatcat:j2k4hm7ztredvkx7vvfnlkmtxu

P systems attacking hard problems beyond NP: a survey

Petr Sosík
2019 Journal of Membrane Computing  
In the field of membrane computing, a great attention is traditionally paid to the results demonstrating a theoretical possibility to solve NP-complete problems in polynomial time by means of various models  ...  We also mention a sequence of open problems related to these topics.  ...  The authors demonstrated a (uniform) linear time solution to the NP-complete problem, SUB-SET SUM, using division rules for elementary membranes and communication rules of length at most 3.  ... 
doi:10.1007/s41965-019-00017-y fatcat:4rs3f37vufcwja6fehdwdbqiom

An Integrated Model Checking Toolset for Kernel P Systems [chapter]

Marian Gheorghe, Savas Konur, Florentin Ipate, Laurentiu Mierla, Mehmet E. Bakir, Mike Stannett
2015 Lecture Notes in Computer Science  
P systems are the computational models introduced in the context of membrane computing, a computational paradigm within the more general area of unconventional computing.  ...  by a software framework, called kPWorkbench, which integrates a set of related simulation and verification methodologies and tools.  ...  MB is supported by a PhD studentship provided by the Turkey Ministry of Education.  ... 
doi:10.1007/978-3-319-28475-0_11 fatcat:lydptol4tnhornvxftelrv6kmy

Tissue P systems with cell separation: attacking the partition problem

XingYi Zhang, Shuo Wang, YunYun Niu, LinQiang Pan
2011 Science China Information Sciences  
Specifically, a uniform family of tissue P systems with cell separation is constructed for efficiently solving a well-known NP-complete problem, the partition problem. et al.  ...  Tissue P systems are distributed parallel and non-deterministic computing models in the framework of membrane computing, which are inspired by intercellular communication and cooperation between neurons  ...  In all these works, the tissue P systems with cell division constructed for solving NPcomplete problems are uniform, by which efficient solutions can be obtained in a polynomial time or even in a linear  ... 
doi:10.1007/s11432-010-4162-y fatcat:sz3mdltmefhipd6wnm2ng53ueq

Instrument Bias Correction With Machine Learning Algorithms: Application to Field-Portable Mass Spectrometry

B. Loose, R. T. Short, S. Toler
2020 Frontiers in Earth Science  
However, these can be a challenge to interpret because the sensors are strongly influenced by temperature, humidity, pressure, or other secondary environmental conditions that are not of direct interest  ...  Both models demonstrate a high degree of skill at correcting for instrument bias using correlated environmental measurements; the difference in their respective performance is less than 1% in terms of  ...  ACKNOWLEDGMENTS This research was supported by an award from the National Science Foundation Chemical and Biological Oceanography Program #1429940.  ... 
doi:10.3389/feart.2020.537028 fatcat:ewmvmzfp65a5vo4ztnprw5vsya

From P to MP Systems [chapter]

Vincenzo Manca
2010 Lecture Notes in Computer Science  
A synthetic algebraic formulation of MP system is given, and the log-gain theory of MP systems is outlined, by discussing the research perspectives and the methodological aspects of this approach.  ...  Metabolic P systems (MP systems) represent metabolic processes in a discrete mathematical framework based on P systems.  ...  Here, an induction argument helps us to obtain a further reduction of variables, in order to get a square equation linear system.  ... 
doi:10.1007/978-3-642-11467-0_7 fatcat:bjch5plzp5fkxgtfq6emuuv23y

phd thesis neuroscience[1].pdf

Anil Kumar Bheemaiah
2018 Figshare  
A specific example of a plant action potential is used to illustrate the use of genetic algorithms in the search for parameters of models.  ...  The efficiency of the genetic algorithms as a search method is in the short generation span of the convergence of the algorithm  ...  Adapting the encoding The creation of the ideal encoding for a problem is paramount to solving that problem itself. Usually genetic algorithms are used for hard problems without an easy solution.  ... 
doi:10.6084/m9.figshare.5790030.v1 fatcat:dg2n3ozc4bdo7cjmzzdogtbzlm

Artificial neural networks: fundamentals, computing, design, and application

I.A Basheer, M Hajmeer
2000 Journal of Microbiological Methods  
Finally, as a practical application, BPANNs were used to model the microbial growth curves of S. flexneri.  ...  This paper aims to familiarize the reader with ANN-based computing (neurocomputing) and to serve as a useful companion practical guide and toolkit for the ANNs modeler along the course of ANN project development  ...  The ART of adaptive consideration, regardless of the problem's dimenpattern recognition by a self-organizing neural network.  ... 
doi:10.1016/s0167-7012(00)00201-3 pmid:11084225 fatcat:xoobfmchbfbjhilvzhhcgkexxy

Grid-Enabled Parallel Simulation Based on Parallel Equation Formulation

Bojan Andjelkovic, Vančo B. Litovski, Volker Zerbe
2010 ETRI Journal  
Performances of the developed parallel simulation algorithm are evaluated by simulation of a microelectromechanical system. he was the Head of the Department at the Ilmenau University of Technology.  ...  In addition, the paper describes the development of a grid interface for a parallel simulator that enables a designer to perform simulations on distant computer clusters.  ...  Thus, one comes down to the problem of formulation and solution of a system of nonlinear equations that is solved iteratively, with the help of linearization, that is, by application of Newton methods.  ... 
doi:10.4218/etrij.10.0109.0197 fatcat:74aztapj2bgcjkbvudgmk75mtu
« Previous Showing results 1 — 15 out of 5,696 results