Избранные публикации сотрудников факультета

Learning supervised pagerank with gradient-based and gradient-free optimization methods
Bogolubsky L., Nesterov Y. et al.
Advances in Neural Information Processing Systems (NeurIPS 2016), 4914-4922

Model checking for symbolic-heap separation logic with inductive predicates
Brotherston J., Kanovich M. et al.
ACM Symposium on Principles of Programming Languages (POPL 2016), 84-96

PerforatedCNNs: Acceleration through elimination of redundant convolutions
Figurnov M., Vetrov D. et al.
Advances in Neural Information Processing Systems (NeurIPS 2016), 955-963

First-person shooter game for virtual reality headset with advanced multi-agent intelligent system
Makarov I., Tokmakov M., Polyakov P., Zyuzin P. , Martynov M., Konoplya O., Kuznetsov G. , Guschenko-Cheverda I., Uriev M., Mokeev I. , Gerasimova O., Tokmakova L., Kosmachev A.
ACM Multimedia Conference (MM 2016), 735-736

Defining usability problems
Manakhov P., Ivanov V.
Conference on Human Factors in Computing Systems (CHI 2016), 3144-3151

A superlinearly-convergent proximal Newton-type method for the optimization of finite sums
Rodomanov A., Kropotov D.
International Conference on Machine Learning (ICML 2016), 3827-3853

Meta-learning with memory-augmented neural networks
Santoro A., Bartunov S. et al.
International Conference on Machine Learning (ICML 2016), 2740-2751

Convergence of an alternating maximization procedure
Andresen A., Spokoiny V.
Journal of Machine Learning Research 17, 2229-2281

Algorithms for hub label optimization
Babenko M. et al.
ACM Transactions on Algorithms 13:16

URS DataBase: Universe of RNA structures and their motifs
Baulin E., Yacovlev V., Roytberg M. et al.
Database 2016:baw085

Stratified regression-based variance reduction approach for weak approximation schemes
Belomestny D., Häfner S., Urusov M.
Mathematics and Computers in Simulation 143, 125-137

Statistical inference for time-changed Lévy processes via Mellin transform approach
Belomestny D., Schoenmakers J.
Stochastic Processes and their Applications 126, 2092-2122

Tangent cones to Schubert varieties in types An, Bn and Cn
Bochkarev M., Ignatyev M., Shevchenko A.
Journal of Algebra 465, 259-286

A new proof of the Lagrange multiplier rule
Brinkhuis J., Protasov V.
Operations Research Letters 44, 400-402

On mining complex sequential data by means of FCA and pattern structures
Buzmakov A., Kuznetsov S. et al.
International Journal of General Systems 42, 135-159

On dynamics of lagrangian trajectories for Hamilton–Jacobi equations
Khanin K., Sobolevski A.
Archive for Rational Mechanics and Analysis 219, 861-885

A subgradient method for free material design
Kǒcvara M., Nesterov Y., Xia Y.
SIAM Journal on Optimization 26, 2314-2354

On the nature of the phase "η-TiO2"
Vasilyeva I., Podbel’skiy V. et al.
New Journal of Chemistry 40, 151-161

Fast Depth Map Super-Resolution Using Deep Neural Network