Titlebook: Sailing Routes in the World of Computation; 14th Conference on C Florin Manea,Russell G. Miller,Dirk Nowotka Conference proceedings 2018 Sp

退潮

TIA742

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

WAG

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

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.

绕着哥哥问

disrupt

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

染色体

Coma704