Passage time distributions in large Markov chains

Accepted versio

Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models

Submitted versio

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

Systematically missing confounders in individual participant data meta-analysis of observational cohort studies.

One difficulty in performing meta-analyses of observational cohort studies is that the availability of confounders may vary between cohorts, so that some cohorts provide fully adjusted analyses while others only provide partially adjusted analyses. Commonly, analyses of the association between an exposure and disease either are restricted to cohorts with full confounder information, or use all cohorts but do not fully adjust for confounding. We propose using a bivariate random-effects meta-analysis model to use information from all available cohorts while still adjusting for all the potential confounders. Our method uses both the fully adjusted and the partially adjusted estimated effects in the cohorts with full confounder information, together with an estimate of their within-cohort correlation. The method is applied to estimate the association between fibrinogen level and coronary heart disease incidence using data from 154,012 participants in 31 cohort

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

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