In this paper we describe a computer program for searching all four-element multiplicatively idempotent semirings. We have established that up to the isomorphism of such semirings exactly 381, they are represented by Cayley tables additive and multiplicative reducts. give necessary definitions, properties illustrations.

We think of Match as an operator which takes two graph-like structures and produces a mapping between semantically related nodes. The matching process is essentially divided into two steps: element level and structure level. Element level matchers consider only labels of nodes, while structure level matchers start from this information to consider the full graph. In this paper we present variou...

Routing protocols aim at establishing a route between nodes on a network. Secured versions of routing protocols have been proposed in order to provide more guarantees on the resulting routes. Formal methods have proved their usefulness when analysing standard security protocols such as confidentiality or authentication protocols. However, existing results and tools do not apply to routing proto...

We present a new numerical technique for modeling the flow around multiple objects moving in a fluid. The method tracks the dynamic interaction between each particle and the fluid. The movements of the fluid and the object are directly coupled. A background mesh is designed to fit the geometry of the overall domain. The mesh is designed independently of the presence of the particles except in t...

In this work, an implicit algorithm is used for analyzing the free dynamic behavior of Functionally Graded Material (FGM) plates. The Third order Shear Deformation Theory (TSDT) to develop proposed model. contribution, formulation written without any homogenization technique as rule mixture. Hamilton principle establish resulting equations motion. For spatial discretization based on Finite Elem...