Membrane computing (an introduction): Power and efficiency

Relatore
Gheorghe Paun - Institute of Mathematics of the Romanian Academy

Data e ora
giovedì 18 ottobre 2007 alle ore 17.00 - Inizio alle 17:30, Caffe' e biscotti alle 17:00.

Luogo
Ca' Vignal 3 - Piramide, Piano 0, Sala Verde

Referente
Vincenzo Manca

Referente esterno

Data pubblicazione
26 settembre 2007

Dipartimento
 

Riassunto

Membrane computing is a branch of natural computing which
abstracts computing models starting from the structure and the functioning
of the cell and from the cooperations of cells in tissues, organs, etc.
Several cell-like, tissue-like, and neural-like models were considered
(called, in general, P systems). The main ingredients are the
compartmentalization, multiset processing, parallelism. Most of these
systems were proved to be Turing complete and, in many cases where an
enhanced parallelism is available, polynomial solutions to computationally
hard problems (typically, NP-complete problems) were devised. No lab
implementation was reported, but many programs for simulating P systems
are available. Membrane computing is much explored as a framework for
writing models for biological and bio-medical processes, while
applicationsto/links with economics, approximate optimization, computer
graphics, linguistics,
cryptography, etc were reported. Comprehensive details can be found at
http://psystems.disco.unimib.it The talk will be a overview of the domain,
only introducing the basic notions and types of P systems, mentioning
types of results, some typical applications, as well as several research
topics and open problems.

 

Gheorghe Paun (home page http://www.imar.ro/~gpaun/) e' un
ricercatore di fama internazionale nell'area del "natural computing"
e della teoria dei linguaggi formali. Oltre ad avere una sterminata
produzione scientifica e' autore di testi  che sono diventati fonti
primarie di riferimento dei relativi settori di ricerca. Nel '98 ha
introdotto un modello di calcolo distribuito (Membrane Computing)
che nel 2003 e' stato considerato dall'Istitute of Scientific
Information (ISI) come uno dei piu' significativi "Fast Emerging
Research Front in Computer Science".

 

ornamento
Inizio pagina