DSpace Repository

Computer Science

Computer Science

 

Collections in this community

Recent Submissions

  • Zhumagambetov, Rustam; Sterling, Mark (Nazarbayev University School of Science and Technology, 2018)
    We present a chat bot interface for the Coq proof assistant system. The bot provides a new modality of interaction with Coq that functions across multiple devices and platforms. Our system is particularly suitable for ...
  • Sterling, Gulnaz (Nazarbayev University School of Science and Technology, 2017-05)
    Energy management in smart buildings and homes has become an important issue. Proper energy management is judged upon the amount of consumed electrical energy as well as the total electricity cost. In this master thesis, ...
  • Mami, Darkhan (Nazarbayev University School of Science and Technology, 2017-04)
    Quantum computing takes significant place among the spheres of modern information technology. Quantum computation is usually expressed by the quantum circuit with its sequences of quantum gates. One of the practical ...
  • Kubigenov, Darkhan (Nazarbayev University School of Science and Technology, 2017-04)
    Active contour has been proven to be effective at solving semantic segmentation of images. However, the use cases of such approaches were mostly on trivial problems with narrow utility. For instance, it was used for ...
  • Ismagambetov, Asset (Nazarbayev University School of Science and Technology, 2017-04)
    Here we presented the model for environment estimation based on the interobject relations. The uniqueness of this model is that it relies on the results of image segmentation and predicts environment based on the object ...
  • Aldabergenov, Aibek (Nazarbayev University School of Science and Technology, 2017-05)
    With the high availability of data on the World Wide Web, researchers are actively using Web content for performing various text analysis operations. The large amount of data introduces challenges in data acquisition, ...