丰满有漂亮
发表于 2025-3-25 06:17:43
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
裹住
发表于 2025-3-25 10:41:43
http://reply.papertrans.cn/95/9413/941203/941203_22.png
osculate
发表于 2025-3-25 14:08:31
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
发表于 2025-3-25 19:28:10
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
撕裂皮肉
发表于 2025-3-25 22:08:26
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
勉励
发表于 2025-3-26 01:36:48
http://reply.papertrans.cn/95/9413/941203/941203_26.png
种属关系
发表于 2025-3-26 07:49:05
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
发表于 2025-3-26 11:46:05
http://reply.papertrans.cn/95/9413/941203/941203_28.png
贞洁
发表于 2025-3-26 14:10:10
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
发表于 2025-3-26 20:37:44
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