Embedding real-time in stochastic process algebras

We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actions and passage of time. The operational semantics is a spent time semantics, avoiding explicit clocks. We discuss the embedding of weak-choice real-time process theories and analyze the behavior of parallel composition in the weak choice framework

Insulin-Like Growth Factor I Does Not Drive New Bone Formation in Experimental Arthritis

Insulin like growth factor (IGF)-I can act on a variety of cells involved in cartilage and bone repair, yet IGF-I has not been studied extensively in the context of inflammatory arthritis. The objective of this study was to investigate whether IGF-I overexpression in the osteoblast lineage could lead to increased reparative or pathological bone formation in rheumatoid arthritis and/or spondyloarthritis respectively.status: publishe

Robot-Assisted vs. Conventional Laparoscopic Rectopexy for Rectal Prolapse: A Comparative Study on Costs and Time

PURPOSE: Laparoscopic rectopexy has become one of the most advocated treatments for full-thickness rectal prolapse, offering good functional results compared with open surgery and resulting in less postoperative pain and faster convalescence. However, laparoscopic rectopexy can be technically demanding. Once having mastered dexterity, with robotic assistance, laparoscopic rectopexy can be performed faster. Moreover, it shortens the learning curve in simple laparoscopic tasks. This may lead to faster and safer laparoscopic surgery. Robot-assisted rectopexy has been proven safe and feasible; however, until now, no study has been performed comparing costs and time consumption in conventional laparoscopic rectopexy vs. robot-assisted rectopexy. METHODS: Our first 14 cases of robot-assisted laparoscopic rectopexy were reviewed and compared with 19 patients who underwent conventional laparoscopic rectopexy in the same period. RESULTS: Robot-assisted laparoscopic rectopexy did not show more complications. However, the average operating time was 39 minutes longer, and costs were 557.29 (or: $745.09) higher. CONCLUSION: Robot-assisted laparoscopic rectopexy is a safe and feasible procedure but results in increased time and higher costs than conventional laparoscopy. AD - Department of Surgery, Maastricht University Hospital, Maastricht, The Netherlands

HIV Protective Efficacy and Correlates of Tenofovir Blood Concentrations in a Clinical Trial of PrEP for HIV Prevention

Background: Antiretroviral pre-exposure prophylaxis (PrEP) is a novel HIV prevention strategy for which adherence is a known determinant of efficacy. Blood concentrations of PrEP medications are one objective marker of adherence. Methods: In a placebo-controlled PrEP efficacy trial of tenofovir disoproxil fumarate (TDF) and TDF with emtricitabine (FTC/TDF) among 4747 African women and men with an HIV-infected partner, we measured plasma tenofovir concentrations from participants in the active PrEP arms: 29 HIV seroconverters (cases) and 196 randomly selected controls who remained uninfected. Results: Among controls, 71% of visits had tenofovir concentrations >40 ng/mL, consistent with steady-state daily dosing, compared with 21% of cases at the visit HIV was first detected. Pill count data indicated that 96% of controls and 66% of cases had >80% adherence for these same visits. The estimated protective effect of PrEP against HIV, based on concentrations >40 ng/mL, was 88% (95% confidence interval: 60 to 96, P 40 ng/mL at month 1, 75% maintained this concentration at month 12. Only 5 of 29 seroconverters seemed to be consistently adherent to PrEP. Tenofovir concentrations >40 ng/mL were associated with older age and shorter time on study; concentrations ≤40 ng/mL occurred more commonly when participants reported no sex with their HIV-infected partner. Conclusions: Plasma concentrations of tenofovir consistent with daily dosing were highly predictive of protection from HIV acquisition. Most of those who took PrEP seemed to have high and consistent adherence