Zobrazeno 1 - 10
of 348
pro vyhledávání: '"68q05"'
Autor:
Li, Yaqiao, McKenzie, Pierre
A model of computation for which reasonable yet still incomplete lower bounds are known is the read-once branching program. Here variants of complexity measures successful in the study of read-once branching programs are defined and studied. Some new
Externí odkaz:
http://arxiv.org/abs/2305.11276
We study an abstract group of reversible Turing machines. In our model, each machine is interpreted as a homeomorphism over a space which represents a tape filled with symbols and a head carrying a state. These homeomorphisms can only modify the tape
Externí odkaz:
http://arxiv.org/abs/2303.17270
Autor:
Drakopoulos, Georgios, Marountas, Michail, Liapakis, Xenophon, Tzimas, Giannis, Mylonas, Phivos, Sioutas, Spyros
Blockchain is a linearly linked, distributed, and very robust data structure. Originally proposed as part of the Bitcoin distributed stack, it found a number of applications in a number of fields, most notably in smart contracts, social media, secure
Externí odkaz:
http://arxiv.org/abs/2301.04725
Autor:
Pavlovic, Dusko
This is a draft of the textbook/monograph that presents computability theory using string diagrams. The introductory chapters have been taught as graduate and undergraduate courses and evolved through 8 years of lecture notes. The later chapters cont
Externí odkaz:
http://arxiv.org/abs/2208.03817
Autor:
Maletto, Giacomo, Roversi, Luca
Reversible Primitive Permutations (RPP) are recursively defined functions designed to model Reversible Computation. We illustrate a proof, fully developed with the proof-assistant Lean, certifying that: "RPP can encode every Primitive Recursive Funct
Externí odkaz:
http://arxiv.org/abs/2201.10443
Autor:
Lin, Bogang
Based on the propositional description of even Goldbach conjecture, in order to verify the truth of even Goldbach conjecture, we will deeply discuss this question and present a new computing model of $G{{N}_{e}}TM$ Turing Machine. This paper proves t
Externí odkaz:
http://arxiv.org/abs/2112.13205
Autor:
Jiang, Xinwen, Wool, Holden
An NP-complete graph decision problem, the "Multi-stage graph Simple Path" (abbr. MSP) problem, is introduced. The main contribution of this paper is a poly-time algorithm named the ZH algorithm for the problem together with the proof of its correctn
Externí odkaz:
http://arxiv.org/abs/2108.03877
Autor:
Shamshirband, Shahaboddin, Hadipoor, Masoud, Baghban, Alireza, Mosavi, Amir, Bukor, Jozsef, Koczy, Annamaria Varkonyi
Accurate prediction of mercury content emitted from fossil fueled power stations is of utmost important for environmental pollution assessment and hazard mitigation. In this paper, mercury content in the output gas of power stations boilers was predi
Externí odkaz:
http://arxiv.org/abs/1910.05118
Publikováno v:
Applied Mathematics and Nonlinear Sciences, Vol 9, Iss 1 (2024)
This study focuses on a high-quality development model that integrates cultural tourism (Literature and Tourism) and rural revitalization, and takes Bengbu City in Anhui Province as a case study to explore the implementation path and effect of the
Externí odkaz:
https://doaj.org/article/8598876abeae4debb66095dade08a61a
Autor:
Ma Rong
Publikováno v:
Applied Mathematics and Nonlinear Sciences, Vol 9, Iss 1 (2024)
This paper explores the application of BIM technology in the whole life cycle management of assembled buildings and investigates its role in improving construction efficiency, reducing costs and optimizing project management. The application of BIM t
Externí odkaz:
https://doaj.org/article/7ccfd31e8ea3432b94b43e1e6aa16e74