We provide a formal framework within which an Information System (IS) could be modelled, analysed, and verified in a compositional manner. Our work is based on Interval Temporal Logic (ITL) and its programming language subset Tempura. This is achieved by considering IS, of an enterprise, as a class of reactive systems in which it is continually reacting to asynchronously occurring events within...

The purpose of Sustainable Design, SD, is to satisfy customer needs while reducing environmental impacts. The main challenge is to integrate Life Cycle Assessment, Product Service Systems, social and economic aspects while considering the tensions and trade-offs of each activity in depth. SD requires data from many sources in addition to many software tools to perform each analysis. In order to...

Entropy coding is defined to be the compression of a stream of symbols taken from a known symbol set where the probability of occurrence of any symbol from the set at any given point in the stream is constant and independent of any known occurrences of any other symbols. Shannon and Fano showed that the information of such a sequence could be calculated. When measured in bits the information re...

Generalized pair weights of linear codes are generalizations minimum symbol-pair weights, which were introduced by Liu and Pan (2022) recently. can be used to characterize the ability protecting information in read wire-tap channels type II. In this paper, we introduce notion generalized <...

Humans primitive skill of imitative learning is regarded as an origin of human intelligence because it is said that imitation is fundamental function for communication and symbol manipulation He have proposed mimesis model in order to approach to a symbol emergence framework from behavior recogni tion generation for humanoid robots This mimesis model is able to abstract observed others behavior...

Precoding has been conventionally considered as an effective means of mitigating the interference and efficiently exploiting the available in the multiantenna downlink channel, where multiple users are simultaneously served with independent information over the same channel resources. The early works in this area were focused on transmitting an individual information stream to each user by cons...

In this paper, symbol-by-symbol maximum likelihood (ML) detection is proposed for a cooperative diffusionbased molecular communication (MC) system. In this system, a fusion center (FC) chooses the transmitter (TX) symbol that is more likely, given the likelihood of its observations from multiple receivers (RXs), where the TX sends a common information symbol to all RXs. The transmission of a se...