Initial segments of computable linear orders with additional computable predicatesWe
study computable linear orders with
computable neighborhood and block predicates. In particular
Computational Techniques in the Study of the Properties of Clathrate HydratesComputational Techniques in the
Study of the Properties of Clathrate Hydrates
Computable Linear Orders and the Ershov Hierarchy exactly all n-
computable enumerable degrees. We also
study interconnections of these relations among
Hydrology@Home: A distributed volunteer computing framework for hydrological research and applications and clients' dependence on the desktop software present challenges in volunteer
computing projects. This
study Computable isomorphisms of distributive lattices© Springer Nature Switzerland AG 2019. A standard tool for the classifying
computability On computably enumerable structures by the author at Algebra
Computability and Logic conference in Kazan, June 1–6, 2014. The paper is a new
Initial segments of computable linear orders with additional computable predicatesWe
study computable linear orders with
computable neighborhood and block predicates. In particular
Artificial Intelligence in Modern Computer Games: A Scoping Review in
computer games were decision trees and machine learning in general. The least
studied were recurrent neural
COMPUTER SCIENCE TERMINOLOGY (A CASE STUDY OF THE SPANISH LANGUAGE).
Study of the
computer term system building in different languages, including Spanish, becomes a relevant