document.write("«&nbsp;<a href='/news/view?id=85206'>Duplication-Correcting Codes. (arXiv:1712.09345v1 [cs.IT])</a>");document.write(" | ");document.write("<a href='/news/view?id=85208'>Dynamic Game-based Maintenance Scheduling of Integrated Electric and Natural Gas Grids with a Bilevel Approach. (arXiv:1712.09443v1 [math.OC])</a>&nbsp;»");