Репозиторий NUR

Articles

Articles

 

Недавние добавления

  • A FORMAL MODEL FOR THE SIMULATION AND ANALYSIS OF EARLY BIOFILM FORMATION 
    Cerone, Antonio; Marsili, Enrico (From Data to Models and Back, 2021-03-05)
    Biofilms are structured communities of bacterial cells adherent to a surface. This bacterial state is called sessile. This paper focuses on the modelling of the transition between planktonic and sessile state using ...
  • A FORMAL MODEL FOR EMULATING THE GENERATION OF HUMAN KNOWLEDGE IN SEMANTIC MEMORY 
    Cerone, Antonio; Pluck, Graham (From Data to Models and Back, 2021-03)
    The transfer of information processed by human beings from their short-term memory (STM) to their semantic memory creates two kinds of knowledge: a semantic network of associations and a structured set of rules to govern ...
  • BEHAVIOUR AND REASONING DESCRIPTION LANGUAGE (BRDL) 
    Cerone, Antonio (Software Engineering and Formal Methods, 2020)
    In this paper we present a basic language for describing human behaviour and reasoning and present the cognitive architecture underlying the semantics of the language. The language is illustrated through a number of ...
  • SUBJECT-INDEPENDENT BRAIN–COMPUTER INTERFACES BASED ON DEEP CONVOLUTIONAL NEURAL NETWORKS 
    Kwon, O-Yeon; Lee, Min-Ho; Guan, Cuntai; Lee, Seong-Whan (IEEE Transactions on Neural Networks and Learning Systems, 2020-10)
    For a brain-computer interface (BCI) system, a calibration procedure is required for each individual user before he/she can use the BCI. This procedure requires approximately 20-30 min to collect enough data to build a ...
  • 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 ...