A printable version of this syllabus is available here.

In various Internet of Things (IoT) applications, a number devices and sensors are used to collect data sets. As become more capable smarter, they can not only sets but also process them locally. However, since most would be limited in terms computing power energy, take advantage offloading so that their tasks carried out at mobile-edge (MEC) servers. this article, we discuss computation for Io...

This proposal sets out some conventions for representing names in a friendly manner, and shows how this can be used to achieve really friendly naming. This then leads to a specification of a standard format for representing names, and to procedures to resolve them. This leads to a specification which allows directory names to be communicated between humans. The format in this specification is i...

In [8] we proved that the index-set corresponding to any recursively enumerable degree a is of the highest isomorphism-type possible for sets belonging to S3(a). From the proof of this result we derived Sacks' theorem [4] that the recursively enumerable degrees are dense. In the present paper we classify three other indexsets associated with any given recursively enumerable degree a, namely the...