Browsing by Subject "Real-Time Maude"

Now showing items 1-2 of 2

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 ...