Search

Background: Along with the medical team, clinical pharmacists played a significant role during the public health emergency of COVID-19. However, to our knowledge, few studies on their work experience with combating COVID-19 have been published. Interviews with clinical pharmacists was conducted to better understand their roles. Through these interviews, further insight would be gained regarding the existing problems within pharmaceutical departments in medical institutions. This information could be used to amend emergency plans for when these departments encounter catastrophic public health events. Methods: A qualitative study design was employed with face-to-face and audio-recorded interviews being conducted with 13 clinical pharmacists. This group included nutritional pharmacists from two hospitals that were fighting against COVID-19 in Henan. All interviews were transcribed verbatim, and the interview data were analyzed thematically using Colaizzi software (version 11). Results: The results contributed to a deeper understanding of the clinical pharmacists’ work experiences providing consultation for the medical department. Four themes emerged from interview data, including the role played by clinical pharmacists, experiences encountered by clinical pharmacists, psychological feelings of clinical pharmacists, and career expectations of clinical pharmacists. Conclusions: This exploratory study provides preliminary evidence that some of the work experiences of clinical pharmacists were aligned. However, some deficiencies, such as lack of participation, were highlighted by the clinical pharmacists and these deficiencies are areas that need to be improved by the department of pharmacy.

We present a networked key-value server, implemented in C and formally verified in Coq. The server interacts with clients using a subset of the HTTP/1.1 protocol and is specified and verified using interaction trees and the Verified Software Toolchain. The codebase includes a reusable and fully verified C string library that provides 17 standard POSIX string functions and 17 general purpose non-POSIX string functions. For the KVServer socket system calls, we establish a refinement relation between specifications at user-space level and at CertiKOS kernel-space level., LIPIcs, Vol. 193, 12th International Conference on Interactive Theorem Proving (ITP 2021), pages 32:1-32:19

The immune system is felt to play an essential role in pulmonary fibrosis (PF). CD4

Aims It has been proven that carbon nanoparticles or diesel exhaust particles stimulate platelet activation. However, the effect of fine particle matter (PM2.5) on platelet activation remains unknown, which motivates this study. Methods PM2.5 samples were collected in an urban area of Zhengzhou, China. To study the morphological characteristics and the mass concentrations of trace elements of PM2.5 samples, a filed-emission scanning electron microscope, the Image-J software, and an inductively coupled plasma mass spectrometry were used. Washed human platelets or platelet-rich-plasma were used to study the effect of PM2.5 on platelet aggregation, P-selectin expression, or platelet signaling pathways. The cytotoxicity in platelets exposed to PM2.5 was evaluated by a lactate dehydrogenase assay kit. In addition, platelet adhesion and spreading were studied on collagen-coated surfaces in stable conditions. Results The filed-emission scanning electron microscope scanning showed that PM2.5 samples varied in shape and size distributions. The mean equivalent spherical diameter of these particles was 1.97 ± 0.04 μm, of which 82.40% were particles with equivalent spherical diameters of less than 2.5 μm. The mass concentration of Ca was higher than that of other elements. The other elements followed the trend of Al>Fe>Zn>Mg>Pb>K>Mn>Cu>Ti>Ba>As>Sr>Sn>Sb>Cd>B>Se>Mo>Ag>Ni>TI>V>Co. Furthermore, pretreatment of PM2.5 significantly inhibited rather than potentiated collagen-induced platelet aggregation and P-selectin expression, whereas it had no significant effect on ADP-induced platelet aggregation and P-selectin expression. The lactate dehydrogenase analysis showed trivial cytotoxic effect of PM2.5 exposure on platelets. Pretreatment of PM2.5 inhibited platelet adhesion on immobilized collagen-coated surfaces; however, it almost did not impact the platelet spreading. Immunoblotting analysis indicated that PM2.5 reduced collagen-induced phosphorylation of phospholipase C gamma-2 (PLCγ2) at Tyr759, Akt at Ser473, and glycogen synthase kinase 3β (GSK3β) at Ser9. Conclusions PM2.5 attenuated collagen-induced platelet aggregation, α-granule secretion and adhesion, with the potential mechanism of impairing PLCγ2, Akt, and GSK3β signaling. © 2016 Wiley Periodicals, Inc. Environ Toxicol, 2016.

The immune system is felt to play an essential role in pulmonary fibrosis (PF). CD4+CD25+ regulatory T cells (Tregs) are crucial in maintaining immune tolerance and immune homeostasis, but their role in the pathogenesis of PF is controversial and still unclear. We here explored the relationship between peripheral blood CD4+CD25+ Tregs and the course of bleomycin-induced PF in mice. Mouse PF models were established by intratracheal instillation of bleomycin. Lung histology, hydroxyproline, Th1/Th2 balanc, CD4+CD25+ Tregse were analyzed at the 3rd，7th，14th，21st and 28th days after instillation. CD4+CD25+ Tregs were also transferred into mice with or without PF by tail vein injection. The trend of CD4+CD25+ Tregs changes was increased firstly, decreased, increased again from 7th to 28th days after bleomycin instillation, which had great relevance with alveolitis and fibrosis scores. There also were high Th1 polarization index from 3rd to 14th days and high Th2 polarization index at 21st and 28th days after bleomycin treatment. CD4+CD25+ Tregs could promote the secretion of Th2 cytokines and inhibit the secretion of Th1 cytokines, allow the Th1/Th2 balance to Th2 direction in PF. Moreover, preventive adoptive transfer of CD4+CD25+ Tregs may ameliorate the process of PF, while acute adoptive transfer of CD4+CD25+ Tregs may aggravate the process of PF. These findings suggested that the dynamic changes of CD4+CD25+ Tregs as dependent factor might designate a different course of PF induced by bleomycin in mice, and might be a selected drug use indicator for therapy of PF.

International audience; Property-based random testing a la QuickCheck requires building efficient generators for well-distributed random data satisfying complex logical predicates, but writing these generators can be difficult and error prone. We propose a domain-specific language in which generators are conveniently expressed by decorating predicates with lightweight annotations to control both the distribution of generated values and the amount of constraint solving that happens before each variable is instantiated. This language, called Luck, makes generators easier to write, read, and maintain. We give Luck a formal semantics and prove several fundamental properties, including the soundness and completeness of random generation with respect to a standard predicate semantics. We evaluate Luck on common examples from the property-based testing literature and on two significant case studies, showing that it can be used in complex domains with comparable bug-finding effectiveness and a significant reduction in testing code size compared to handwritten generators.

It has been proven that carbon nanoparticles or diesel exhaust particles stimulate platelet activation. However, the effect of fine particle matter (PMPMThe filed-emission scanning electron microscope scanning showed that PMPM

This paper explores ways of performing commutative tasks by $N$ parties. Tasks are defined as {\sl commutative} if the order at which parties perform tasks can be freely changed without affecting the final result. It is easy to see that arbitrary $N$-party commutative tasks cannot be completed in less than $N-1$ basic time units. We conjecture that arbitrary $N$-party commutative tasks cannot be performed in $N-1$ time units by exchanging less than $4N-6$ messages and provide computational evidence in favor this conjecture. We also explore the most equitable commutative task protocols.