Temporal Justification Logic

Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to modal logics. The behavior and interaction of agents in distributed system is often modeled using logics of knowledge and time. In this paper, we sketch some preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with an appropriate justification logic

Semirings of Evidence

In traditional justification logic, evidence terms have the syn-tactic form of polynomials, but they are not equipped with the corre-sponding algebraic structure. We present a novel semantic approach tojustification logic that models evidence by a semiring. Hence justificationterms can be interpreted as polynomial functions on that semiring. Thisprovides an adequate semantics for evidence terms and clarifies the roleof variables in justification logic. Moreover, the algebraic structure makesit possible to compute with evidence. Depending on the chosen semiringthis can be used to model trust, probabilities, cost, etc. Last but notleast the semiring approach seems promising for obtaining a realizationprocedure for modal fixed point logic

Degradation of azithromycin using Ti/RuO2 anode as catalyst followed by DPV, HPLC-UV and MS analysis

The electrodegradation of azithromycin was studied by its indirect oxidation using dimensionally stable Ti/RuO2 anode as catalyst in the electrolyte containing methanol, 0.05 M NaHCO3, sodium chloride and deionized water. The optimal conditions for galvanostatic electrodegradation for the azithromycin concentration of 0.472 mg cm(-3) were found to be NaCl concentration of 7 mg cm(-3) and the applied current of 300 mA. The differential pulse voltammetry using glassy carbon electrode was performed for the first time in the above-mentioned content of electrolyte for the nine concentration of azithromycin (0.075-0.675 mg cm(-3)) giving the limits of azithromycin detection and of quantification as: LOD 0.044 mg cm(-3) and LOQ 0.145 mg cm(-3). The calibration curve was constructed enabling the electrolyte analysis during its electrodegradation process. The electrolyte was analyzed by high-performance liquid chromatography and electrospray ionization time-of-flight mass spectrometry. The electrooxidation products were identified and after 180 min there was no azithromycin in the electrolyte while TOC analysis showed that 79% of azithromycin was mineralized. The proposed degradation scheme is presented

Development of Activity-Based Proteomic Probes for Protein Citrullination.

Protein arginine deiminases (PADs) catalyze the post-translational deimination of peptidyl arginine to form peptidyl citrulline. This modification is increased in multiple inflammatory diseases and in certain cancers. PADs regulate a variety of signaling pathways including apoptosis, terminal differentiation, and transcriptional regulation. Activity-based protein profiling (ABPP) probes have been developed to understand the role of the PADs in vivo and to investigate the effect of protein citrullination in various pathological conditions. Furthermore, these ABPPs have been utilized as a platform for high-throughput inhibitor discovery. This review will showcase the development of ABPPs targeting the PADs. In addition, it provides a brief overview of PAD structure and function along with recent advances in PAD inhibitor development