DSpace Repository

Browsing by Type "Preprint"

Browsing by Type "Preprint"

Sort by: Order: Results:

  • Automated Theorem Proving in a Chat Environment 
    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 ...
  • Returning from study abroad and transitioning as a scholar: Stories of foreign PhD holders from Kazakhstan. 
    Kuzhabekova, A.; Sparks, J.; Temerbayeva, A. (Research in Comparative and International Education., 2019-01-01)
    The article reports the results of an interview-based study exploring how international PhD holders re-integrate into the research environment in Kazakhstan. One of the main results consistent with prior studies is that ...