Runtime verification validates the correctness of a program’s execution trace. Much work has been done on improving the expressiveness and efficiency of runtime verification. However, current approaches require static deployment of the verification logic and are often restricted to a limited set of events that can be captured and analyzed, hindering the adoption of runtime verification in produ...

A series of enantiopure MOP-phosphonite ligands, with tailored steric profiles, have been synthesised and are proven to be very successful in high-yielding, regio- and enantioselective catalytic hydrosilylation reactions of substituted styrenes, affording important chiral secondary alcohols.

Despite the critical need, no previous research has substantiated safe opioid analgesics without abuse liability in primates. Recent advances in medicinal chemistry have led to the development of ligands with mixed mu opioid peptide (MOP)/nociceptin-orphanin FQ peptide (NOP) receptor agonist activity to achieve this objective. BU08028 is a novel orvinol analog that displays a similar binding pr...

OBJECTIVE 8-Methoxypsoralen (8-MOP) is a photoactive compound widely used in the treatment of proliferate disorders. The present study investigates the effects of 8-MOP on ovary function and pituitary-gonad axis in mice. MATERIALS AND METHODS : In this experimental analytical study, 45 female Balb/C mice were divided into three groups (n=15), control, sham (olive oil injection) and experiment...

OBJECTIVE Evaluate the performance of FRAX®, with and without bone mineral densitometry (BMD), in predicting the occurrence of fragility fractures over 10 years. METHODS Participants aged ≥40 years at baseline, with a complete set of data and a minimum of 8.5 years of follow-up were identified from three cohorts (n=2626). Ten-year fracture risk at baseline were estimated with FRAX® and assess...

8-Methoxypsoralen (8-MOP) in ethanol, acetone, benzene, or CC14 is photo-oxidized under UV-irradiation (320-400 nm). Photo-oxidized 8-MOP (O2-8-MOP) is stable in the organic solvents, but it is destructed in water or in liposome suspension. The destruction rate constants are 0.04 s(-1) in water and 0.004 s(-1) in liposome membranes as estimated by the kinetics of the chemiluminescence accompany...