Attenzione: i dati modificati non sono ancora stati salvati. Per confermare inserimenti o cancellazioni di voci è necessario confermare con il tasto SALVA LE MODIFICHE in fondo alla pagina
Bicocca Open Archive
We show how existing P systems with active membranes can be used as modules inside a larger P system; this allows us to simulate
subroutines or oracles. As an application of this construction, which is (in principle) quite general, we provide a new, improved lower bound to the complexity class PMCAM(−d,−n) of problems solved by polynomial-time P systems with (restricted) elementary active membranes: this class is proved to contain P^PP and hence, by Toda’s theorem, the whole polynomial hierarchy.
Porreca, A., Leporati, A., Mauri, G., & Zandron, C. (2012). P Systems Simulating Oracle Computations. In Proc. CMC 2011 – 12th Int. Conf. on Membrane Computing (pp.346-358). Berlin : Springer Verlag [10.1007/978-3-642-28024-5_23].
We show how existing P systems with active membranes can be used as modules inside a larger P system; this allows us to simulate
subroutines or oracles. As an application of this construction, which is (in principle) quite general, we provide a new, improved lower bound to the complexity class PMCAM(−d,−n) of problems solved by polynomial-time P systems with (restricted) elementary active membranes: this class is proved to contain P^PP and hence, by Toda’s theorem, the whole polynomial hierarchy.
Porreca, A., Leporati, A., Mauri, G., & Zandron, C. (2012). P Systems Simulating Oracle Computations. In Proc. CMC 2011 – 12th Int. Conf. on Membrane Computing (pp.346-358). Berlin : Springer Verlag [10.1007/978-3-642-28024-5_23].
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10281/42639
Citazioni
12
ND
Social impact
simulazione ASN
Il report seguente simula gli indicatori relativi alla propria produzione scientifica in relazione alle soglie ASN 2021-2023 del proprio SC/SSD. Si ricorda che il superamento dei valori soglia (almeno 2 su 3) è requisito necessario ma non sufficiente al conseguimento dell'abilitazione. La simulazione si basa sui dati IRIS e sugli indicatori bibliometrici alla data indicata e non tiene conto di eventuali periodi di congedo obbligatorio, che in sede di domanda ASN danno diritto a incrementi percentuali dei valori. La simulazione può differire dall'esito di un’eventuale domanda ASN sia per errori di catalogazione e/o dati mancanti in IRIS, sia per la variabilità dei dati bibliometrici nel tempo. Si consideri che Anvur calcola i valori degli indicatori all'ultima data utile per la presentazione delle domande.
La presente simulazione è stata realizzata sulla base delle specifiche raccolte sul tavolo ER del Focus Group IRIS coordinato dall’Università di Modena e Reggio Emilia e delle regole riportate nel DM 598/2018 e allegata Tabella A. Cineca, l’Università di Modena e Reggio Emilia e il Focus Group IRIS non si assumono alcuna responsabilità in merito all’uso che il diretto interessato o terzi faranno della simulazione. Si specifica inoltre che la simulazione contiene calcoli effettuati con dati e algoritmi di pubblico dominio e deve quindi essere considerata come un mero ausilio al calcolo svolgibile manualmente o con strumenti equivalenti.