退潮
发表于 2025-3-27 00:50:02
http://reply.papertrans.cn/87/8606/860567/860567_31.png
TIA742
发表于 2025-3-27 04:22:44
Optimized Program Extraction for Induction and Coinduction,y positive induction and derive from this a new computationally meaningful formulation of the Archimedean property for real numbers. We give an example of program extraction in computable analysis and show that Archimedean induction can be used to eliminate countable choice.
Heart-Attack
发表于 2025-3-27 09:06:49
http://reply.papertrans.cn/87/8606/860567/860567_33.png
WAG
发表于 2025-3-27 13:02:08
Divide and Conquer Computation of the Multi-string BWT and LCP Array,f several algorithms on a collection of strings..In this paper we explore lightweight and parallel computational strategies for building the BWT and LCP array. We design a novel algorithm based on a divide and conquer approach that leads to a simultaneous and parallel computation of multi-string BWT and LCP array.
flamboyant
发表于 2025-3-27 13:44:49
Online Computability and Differentiation in the Cantor Space,hat if a computable online function . has derivate . at a weakly 1-random point, then . has derivative . on a set of positive measure. We also explore the family of online functions on the Cantor space which represent real-valued functions.
绕着哥哥问
发表于 2025-3-27 18:47:43
http://reply.papertrans.cn/87/8606/860567/860567_36.png
disrupt
发表于 2025-3-27 23:58:49
Using Structural Properties for Integer Programs,their algorithmic implications in the area of approximation algorithms and fixed parameter tractability. Concretely, we show how these structural properties lead to optimal approximation algorithms for the classical . scheduling problem and to exact polynomial-time algorithm for the . problem with a constant number of different item sizes.
foodstuff
发表于 2025-3-28 05:26:53
http://reply.papertrans.cn/87/8606/860567/860567_38.png
染色体
发表于 2025-3-28 10:08:57
http://reply.papertrans.cn/87/8606/860567/860567_39.png
Coma704
发表于 2025-3-28 13:26:00
http://reply.papertrans.cn/87/8606/860567/860567_40.png