DSpace Repository

Browsing Computer Science by Subject "Type of access: Open Access"

Browsing Computer Science by Subject "Type of access: Open Access"

Sort by: Order: Results:

  • 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 ...
  • 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 ...
  • 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 ...
  • QUANTUM EVOLUTIONARY ALGORITHM FOR QUANTUM CIRCUIT SYNTHESIS 
    Krylov, Georgiy (School of Sciences and Technology, 2018-06)
    Quantum computing area has a lot research attention due to opportunities that possessing such device could provide. For example, quantum computers could deliver new insights to previously unsolvable problems. The reason ...
  • 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 ...