Parametric timed automata (PTA) are a powerful formalism to model and reason about concurrent systems with some unknown timing delays.In 1979-1993 this paper, we address the (untimed) language- and trace-preservation problems: given a reference parameter valuation, does there exist another parameter valuation with the same untimed language, or with

BackgroundThe transcription factor Tcfap2c has been demonstrated to be essential for various processes during mammalian development.It has been found to be upregulated in various undifferentiated tumors and is implicated with poor prognosis.Tcfap2c is reported to impinge on cellular proliferation, differentiation and apoptosis.However, the physiolo

This paper proposes a color image encryption algorithm based on a cloud model Fibonacci chaotic system, as well as a matrix convolution operation that can protect image content effectively and safely.The algorithm combines the cloud model with the generalized Fibonacci, creating a new complex chaotic system that realizes the dynamic random variatio

Background: The sun is a natural source of electromagnetic radiation, upon which are found the ultraviolet (UV) rays, where only the types A and B are able to irradiate over the surface of the Earth in different proportions.Although the sun helps human skin in the formation of vitamin D, the mineralization of bones, and absorption of calcium and ph

All the life process in society are changeover in the globalization era.The role of state is changed too by non state actors, namely Multinationals Corporations Downlights (MNCs).The MNCs have an authority to fulfill the food of society.Actually, the MNCs made his product without submissive the food safety products.The consequence of the dangerous