• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Selected Publications of the Faculty

2016

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

Optimal stopping under model uncertainty: Randomized stopping times approach  
Belomestny D., Krätschmer V.  
Annals of Applied Probability 26, 1260-1295

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

Towards a reverse Newman’s theorem in interactive Iinformation complexity  
Brody J., Vereshchagin N. et al.  
Algorithmica 76, 749-781

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

A-Wardpβ: Effective hierarchical clustering using the Minkowski metric and a fast k-means initialization  
Cordeiro de Amorim R., Makarenkov V. Mirkin B.  
Information Sciences 370-371, 343-354

Application of sorting and next generation sequencing to study 5'-UTR influence on translation efficiency in Escherichia coli  
Evfratov S., Gelfand M.  et al.  
Nucleic Acids Research 45, 3487-3502

Small open reading frames, non-coding RNAs and repetitive elements in Bradyrhizobium japonicum USDA 110  
Hahn J., Gelfand M. et al. Evguenieva-Hackenberg E.  
PLoS ONE 11:e0165429

Online recommender system for radio station hosting based on information fusion and adaptive tag-aware profiling  
Ignatov D., Nikolenko S., Abaev T.Poelmans J.  
Expert Systems with Applications 55, 546-558

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

Corrigendum: A dynamical model improves reconstruction of handwriting from multichannel electromyographic recordings  
Okorokova E., Ossadtchi A. et al.  
Frontiers in Neuroscience 9:517

Linear switching systems with slow growth of trajectories  
Protasov V.  
Systems and Control Letters 90, 54-60

Novel biomarkers in cancer: The whole is greater than the sum of its parts  
Samatov T., Galatenko V.  et al.  
Seminars in Cancer Biology 45, 50-57

How secure is your radiology department? Mapping digital radiology adoption and security worldwide  
Stites M., Pianykh O.  
American Journal of Roentgenology 206, 797-804

Nitrogen fixation and molecular oxygen: Comparative genomic reconstruction of transcription regulation in Alphaproteobacteria  
Tsoy O., Gelfand M. et al.  
Frontiers in Microbiology 7:1343

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

Publications 2020

Publications 2019

Publications 2018

Publications 2017

Publications 2015

Fast Depth Map Super-Resolution Using Deep Neural Network