Titlebook: Unconventional Computation and Natural Computation; 12th International C Giancarlo Mauri,Alberto Dennunzio,Antonio E. Porre Conference proc

豐滿有漂亮

Spectral Representation of Some Computably Enumerable Sets with an Application to Quantum Provabilit of a formal system, the quantum computer produces through measurement all theorems and proofs of the formal system. We conjecture that the spectral representation is valid for all computably enumerable sets. The conjecture implies that the theorems of a general formal system, like Peano Arithmetic

裹住

osculate

Array Insertion and Deletion P Systemsthe framework of P systems where the applicability of the rules depends on the membrane region. In this paper, we especially focus on examples of two-dimensional array insertion and deletion P systems and show that we can already obtain computational completeness using such P systems with a membrane

Alveoli

Boolean Logic Gates from a Single Memristor via Low-Level Sequential Logica single memristor. The operation makes use of the interaction of current spikes (occasionally called current transients) found in both memristors and other devices. The sequential time-based logic methodology allows two logical input bits to be used on a one-port by sending the bits separated in ti

撕裂皮肉

Light Ray Concentration Reduces the Complexity of the Wavelength-Based Machine on PSPACE Languagesnefits from the parallel nature of light and co-existence of different wavelengths in a light ray to perform computation. In this paper, we have introduced a novel operation for .-machine, called the concentration operation, which enables to concentrate light rays as a single light ray, and check if

勉勵

種屬關系

Secure Information Transmission Based on Physical Principlessecret information to another party over an insecure channel, without any prior secret arrangements between the parties. The distinctive feature of this protocol, compared to all known public-key cryptographic protocols, is that neither party uses a one-way function. In particular, our protocol is s

conifer

貞潔

Modeling Heart Pacemaker Tissue by a Network of Stochastic Oscillatory Cellular Automataardiac pacemaker — the sinus node, are investigated in terms of Kuramoto order parameters of synchronization. We show that such description provides consistent quantification of stationary states in the model. Finally, the model is used to give possible explanations for changes observed in the sinus

CANE

Reaction Systems Made Simpleng reaction systems and derive a classification with respect to the amount of resources (reactants and inhibitors) involved in the reactions. We prove that one reactant and one inhibitor per reaction are sufficient to simulate arbitrary systems. Finally, we show that the equivalence relation of mutu