We consider the descriptive complexity of some subsets of the infinite permutation group S∞ which arise naturally from the classical series rearrangement theorems of Riemann, Levy, and Steinitz. In particular, given some fixed conditionally convergent series of vectors in Euclidean space Rd, we study the set of permutations which make the series diverge, as well as the set of permutations which...

There is a growing need for abstractions in logic specification languages such as FO(·) and ASP. One technique to achieve these abstractions are templates (sometimes called macros). While the semantics of templates are virtually always described through a syntactical rewriting scheme, we present an alternative view on templates as second order definitions. To extend the existing definition cons...

<span lang="EN-US">Teachers are the torch bearers of sustainable development, promoting social change and maintaining balance between two important concepts development sustainability. They have a pivotal role in education for (ESD) perpetuating leading to progressive futuristic growth society. ESD is one millennium goals acknowledged globally need get practiced widely. Teachers play prom...

Cloud computing has been devoted to the development of recent advanced technology, aiding in improving a government’s functioning and services it offers its people organizations. It achieved widespread popularity due rising number benefits, including scalability, versatility, reliability, safety, confidentiality, pay-per-use, dynamicity for distribution IT services. This paper explores descript...