The proceedings contain 28 papers. The topics discussed include: on the power of threshold measurements as oracles; size lower bounds for quantum automata; population protocols on graphs: a hierarchy; spectral representation of some computably enumerable sets with an application to quantum provability; on the power of P automata; array insertion and deletion P systems; Boolean logic gates from a single memristor via low-level sequential logic; light ray concentration reduces the complexity of the wavelength-based machine on PSPACE languages; small steps toward hypercomputation via infinitary machine proof verification and proof generation; secure information transmission based on physical principles; hypergraph automata: a theoretical model for patterned self-assembly; modeling heart pacemaker tissue by a network of stochastic oscillatory cellular automata; and asynchronous signal passing for tile self-assembly: fuel efficient computation and efficient assembly of shapes.
Mauri, G., Dennunzio, A., Manzoni, L., Porreca, A. (2013). Preface [to Proceedings UCNC 2013 – 12th Unconventional Computation and Natural Computation]. In G. Mauri, A. Dennunzio, L. Manzoni, A.E. Porreca (a cura di), Proc. UCNC 2013 – 12th Unconventional Computation and Natural Computation. Springer [10.1007/978-3-642-39074-6].
Preface [to Proceedings UCNC 2013 – 12th Unconventional Computation and Natural Computation]
MAURI, GIANCARLO;DENNUNZIO, ALBERTO;MANZONI, LUCA;PORRECA, ANTONIO ENRICO
2013
Abstract
The proceedings contain 28 papers. The topics discussed include: on the power of threshold measurements as oracles; size lower bounds for quantum automata; population protocols on graphs: a hierarchy; spectral representation of some computably enumerable sets with an application to quantum provability; on the power of P automata; array insertion and deletion P systems; Boolean logic gates from a single memristor via low-level sequential logic; light ray concentration reduces the complexity of the wavelength-based machine on PSPACE languages; small steps toward hypercomputation via infinitary machine proof verification and proof generation; secure information transmission based on physical principles; hypergraph automata: a theoretical model for patterned self-assembly; modeling heart pacemaker tissue by a network of stochastic oscillatory cellular automata; and asynchronous signal passing for tile self-assembly: fuel efficient computation and efficient assembly of shapes.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
