From 161bf7d38f148c0e452f6394169b2cef14c03960 Mon Sep 17 00:00:00 2001 From: ginox Date: Tue, 7 May 2019 14:02:02 +0200 Subject: [PATCH] modificata descrizione membrane --- talks/calcolatori-membrane/meta.yaml | 21 ++++----------------- 1 file changed, 4 insertions(+), 17 deletions(-) diff --git a/talks/calcolatori-membrane/meta.yaml b/talks/calcolatori-membrane/meta.yaml index e657417..6dc47e1 100644 --- a/talks/calcolatori-membrane/meta.yaml +++ b/talks/calcolatori-membrane/meta.yaml @@ -1,18 +1,6 @@ -title: "Calcolatori a Membrane Cellulari: uno studio inerente alla teoria della complessità" +title: "Membrane computing" text: | - Verrà presentato uno studio di informatica in cui si parte dalla - classificazione dei problemi (in particolare ci si concentrerà sulle - classi P. NP, NP-Complete, Co-NP e cancellettoP). Poi verranno introdotti dei - nuovi modelli di calcolatori che vanno ben oltre le macchine di von - neumann. Spiegherò poi come fanno questi calcolatori a membrana ad - essere in grado di svolgere computazionalmente dei problemi appartenenti - alle classi sopraelencate in tempo lineare (se poi si sale di livello di - diffcoltà per andare a vedere cosa esiste oltre NP il tempo - semplicemente diventa polinomiale) senza usare il trucco del - non-determinismo dove una macchina di turing deterministica impiega - tempi non umani. - - Sì, penso possano aprire una gpg in pochi secondi :) + I calcolatori a membrana sono un modello di macchina ispirato ad alcuni comportamenti delle cellule. Alcuni di questi modelli computazionali sono in grado di risolvere in tempo polinomiale problemi appartenenti a classi computazionali che non possono essere risolti in tempo polinomiale da Macchine di Turing deterministiche (a meno che P=NP). Sara` mostrato come sia possibile risolvere problemi appartenenti alle classi NP, Co-NP e \#P. Verranno presentati alcuni esempi di risolutori del problema SAT e ad altri esempi risolutori di problemi ad esso legati. # Se ancora non è stata assegnata una stanza al talk, commentala. Non usare un valore tipo "qualunque" o # cose del genere, che ci si incasina tutto @@ -31,9 +19,8 @@ tags: - informatica teorica # Devono essere dei link validi! links: - - http://ppage.psystems.eu/index.php/Theses - - http://ppage.psystems.eu/index.php/Papers - - https://www.springer.com/gp/book/9783540436010 + - http://ppage.psystems.eu/ + # mail dovrebbe contenere un link all'email in lista hackmeeting in cui il talk è stato proposto # così si può sapere chi contattare e se c'è stata una discussione # prendi il link da https://lists.autistici.org/list/hackmeeting.en.html