background: pentavalent antimonials are the first line drugs for the treatment of leishmaniasis. unresponsiveness of leishmania spp. to antimonial drugs is a serious problem in some endemic areas. investigations on molecular mechanisms involved in drug resistance are essential for monitoring and managing of the disease. cal-cineurin is an essential protein phosphatase for number of signal trans...

vaccines is considered as a critical point and in-process of quality control (ipqc) test of vaccine production. rapid tests, like real time pcr, are more appropriated when the production occurs at industrial scale because of the amounts of starting materials and the excess of consumed time required. in the current study, a real-time quantitative reverse transcription-polymerase chain reaction (...

background: polycystic ovary syndrome (pcos) is related to obesity and to major metabolic alterations including both insulin resistance and beta-cell dysfunction. ghrelin was identified as the endogenous ligand for the growth hormone secretagogue (ghs) receptor. the actions of ghrelin are carried out through interaction with specific receptor, named ghs-r. objective: in a case-control study, we...

RT-LOTOS is a timed process algebra which enables compact and abstract specification of real-time systems. This paper proposes and illustrates a structural translation of RT-LOTOS terms into behaviorally equivalent (timed bisimilar) finite Time Petri nets. It is therefore possible to apply Time Petri nets verification techniques to the profit of RT-LOTOS. Our approach has been implemented in RT...