Mnemonics
发表于 2025-3-30 11:26:39
http://reply.papertrans.cn/59/5812/581125/581125_51.png
飞镖
发表于 2025-3-30 12:47:07
https://doi.org/10.1007/978-3-319-08019-2algorithms; automata theory; bio-inspired computation; biological computing; computability theory; comput
Aerophagia
发表于 2025-3-30 20:09:13
http://reply.papertrans.cn/59/5812/581125/581125_53.png
信条
发表于 2025-3-31 00:42:48
http://reply.papertrans.cn/59/5812/581125/581125_54.png
SLING
发表于 2025-3-31 03:47:55
Graph Polynomials Motivated by Gene Rearrangements in Ciliates,. propose a graph polynomial abstracting basic features of the assembly process, like the number of segments excised. We show that this . is essentially . a single variable case of the . by Jaeger and . a special case of the . introduced for simple graphs by Traldi and Zulli.
财产
发表于 2025-3-31 06:38:46
http://reply.papertrans.cn/59/5812/581125/581125_56.png
食道
发表于 2025-3-31 10:04:47
http://reply.papertrans.cn/59/5812/581125/581125_57.png
COWER
发表于 2025-3-31 16:57:54
Algorithmic Randomness for Infinite Time Register Machines,A concept of randomness for infinite time register machines (.s), resembling Martin-Löf-randomness, is defined and studied. In particular, we show that for this notion of randomness, computability from mutually random reals implies computability and that an analogue of van Lambalgen’s theorem holds.
THROB
发表于 2025-3-31 20:56:48
Deciding the Borel Complexity of Regular Tree Languages,We show that it is decidable whether a given a regular tree language belongs to the class . of the Borel hierarchy, or equivalently whether the Wadge degree of a regular tree language is countable.
Meander
发表于 2025-3-31 23:18:12
Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY,PORGY is a visual modelling tool, where a system is defined by a strategic graph program. In this paper, we provide an operational semantics for strategic graph programs by means of an abstract machine. The semantics specifies the valid transformation steps, providing a link between the model and its implementation in PORGY.