Background and objectives: Carvacrol is one of the main pharmacologically active components of Thymus vulgaris essential oil which has shown several therapeutic effects. There are few works regarding the formulation of essential oils as oral solid dosage forms due to their liquid nature, stability and technical problems. The aim of this study was to combine the solid-d...

We give three formalizations of the Kerberos 5 authentication protocol in the Multi-Set Rewriting (MSR)formalism. One is a high-level formalization containing just enough detail to prove authentication andconfidentiality properties of the protocol. A second formalization refines this by adding a variety of protocoloptions; we similarly refine proofs of properties in the first fo...

To authenticate a web server, modern browsers check whether a TLS certificate is valid. This check is socio-technical because, when the technical validation fails, it may request the user to decide, intertwining the usual technical issues with social elements, such as trust and cultural values. Hence the need for a methodology aimed at a socio-technical understanding of TLS certificate validati...

technical terminology has a significant role in translation of technical or scientific texts. unfortunately, most of research in this area has not perceived the urgent need for a model to analyze or shown how translate technical or scientific terminology. in this paper, the researcher attempts to designs a workable model for translation of technical or scientific terminology. the major aim of t...

Dendrimers are a new class of polymeric materials. They are highly branched, monodisperse macromolecules. The structure of these materials has a great impact on their physical and chemical properties. As a result of their unique behaviour dendrimers are suitable for a wide range of biomedical and industrial applications. The paper gives a concise review of dendrimers' physico-chemical propertie...