Platform Dependent Verification: On Engineering Verification Tools for 21st Century

The paper overviews recent developments in platform-dependent explicit-state LTL model checking.Comment: In Proceedings PDMC 2011, arXiv:1111.006

НАПРАВЛЕНИЯ СОВЕРШЕНСТВОВАНИЯ ОБРУДОВАНИЯ ДЛЯ ФЛОТАЦИОННОГО ОБОГАЩЕНИЯ ТОНКОДИСПЕРСНыХ МАТЕРИАЛОВ

Проблема и ее связь с научными и практическими задачами. В связи с тем, что в поступающем на обогатительные фабрики сырье содержится до 30% ма-териала крупностью менее 1 мм, роль процесса флотации существенно возрас-тает. Этому способствует и возможность создания достаточно простых замкну-тых водно-шламовых схем, включающих флотацию в качестве основного эле-мента очистки оборотных вод. Многими исследованиями, которые проводились ранее и продолжают выполняться и в настоящее время, установлены направле-ния совершенствования этого достаточно сложного физико-химического про-цесс

Biomarkers for ragwort poisoning in horses: identification of protein targets

BACKGROUND: Ingestion of the poisonous weed ragwort (Senecio jacobea) by horses leads to irreversible liver damage. The principal toxins of ragwort are the pyrrolizidine alkaloids that are rapidly metabolised to highly reactive and cytotoxic pyrroles, which can escape into the circulation and bind to proteins. In this study a non-invasive in vitro model system has been developed to investigate whether pyrrole toxins induce specific modifications of equine blood proteins that are detectable by proteomic methods. RESULTS: One dimensional gel electrophoresis revealed a significant alteration in the equine plasma protein profile following pyrrole exposure and the formation of a high molecular weight protein aggregate. Using mass spectrometry and confirmation by western blotting the major components of this aggregate were identified as fibrinogen, serum albumin and transferrin. CONCLUSION: These findings demonstrate that pyrrolic metabolites can modify equine plasma proteins. The high molecular weight aggregate may result from extensive inter- and intra-molecular cross-linking of fibrinogen with the pyrrole. This model has the potential to form the basis of a novel proteomic strategy aimed at identifying surrogate protein biomarkers of ragwort exposure in horses and other livestock