We consider a network where an infection has taken place and a subset of infected nodes
has been partially observed. Our goal is to reconstruct the underlying cascade that is likely …

The choice of programming language depends on a number of factors, such as efficiency
and maintainability. With the predicted increase of the soft error rate in coming years due to …

Type systems provide software developers immediate feedback about a subset of
correctness properties of their programs. IDE integrations often take advantage of type …

Системы типов предоставляют разработчикам программного обеспечения
немедленную обратную связь о подмножестве свойств корректности их программ …

Hardware manufacturing advances along with the popularisation of energy saving
techniques are predicted to cause an increase in the soft error rate, which in turn will transfer …