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

2018

Statistical model checking of distance fraud attacks on the Hancke-Kuhn family of protocols  
Alturki M., Kanovich M., Scedrov A. et al.  
ACM Conference on Computer and Communications Security (CCS 2018), 60-71

Two techniques that enhance the performance of multi-robot prioritized path planning  
Andreychuk A., Yakovlev K.  
International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), 2177-2179

Decomposing 1-sperner hypergraphs
Boros E., Gurvich V., Milanic M. 
Electronic Journal of Combinatorics 26:18

Linguistic equilibrium with local and world languages: Challenges of globalisation
Davydov D., Shapoval A., Weber S.
World Economy 41, 1790-1811

Randomized block cubic Newton method  
Doikov N., Richtarik P.  
International Conference on Machine Learning (ICML 2018), 1290-1298

Computational optimal transport: Complexity by accelerated gradient descent is better than by Sinkhorn's algorithm  
Dvurechensky P., Gasnikov A., Kroshnin A.  
International Conference on Machine Learning (ICML 2018), 2196-2220

Realistic post-processing of rendered 3D scenes  
Feygina A., Ignatov D., Makarov I.  
ACM SIG International Conference on Computer Graphics and Interactive Techniques (SIGGRAPH 2018), 42:1-42:2

Conditional generators of words definitions  
Gadetsky A., Yakubovskiy I., Vetrov D. Kroshnin A.  
Annual Meeting of the Association for Computational Linguistics (ACL 2018) 2, 266-271

Loss surfaces, mode connectivity, and fast ensembling of DNNs  
Garipov T., Podoprikhin D., Vetrov D. et al.  
Advances in Neural Information Processing Systems (NeurIPS 2018), 8789-8798

Averaging weights leads to wider optima and better generalization
Izmailov P., Podoprikhin D., Vetrov D.  et al.  
Conference on Uncertainty in Artificial Intelligence  (UAI 2018), 876-885

A logical framework with commutative and non-commutative subexponentials  
Kanovich M., Kuznetsov S., Scedrov A. 
International Joint Conference on Automated Reasoning (IJCAR 2018), 228-245

Fast depth map super-resolution using deep neural network  
Korinevskaya A., Makarov I.  
IEEE International Symposium on Mixed and Augmented Reality (ISMAR-Adjunct), 117-122

Recommending co-authorship via network embeddings and feature engineering: The case of National Research University Higher School of Economics  
Makarov I., Gerasimova O., Sulimov P., Zhukov L.  
ACM/IEEE Joint Conference on Digital Libraries (JCDL 2018), 365-366

Non-metric similarity graphs for maximum inner product search  
Morozov S., Babenko A.  
Advances in Neural Information Processing Systems (NeurIPS 2018), 4726-4735

ChronosDB: distributed, file Based, geospatial array DBMS  
Rodriges Zalipynis R.A.  
International Conference on Very Large Data Bases (VLDB 2018). Proceedings of the VLDB Endowment 11, 1247-1261

Marginal weighted maximum log-likelihood for efficient learning of perturb-and-map models  
Shpakova T., Bach F., Osokin A.  
Conference on Uncertainty in Artificial Intelligence (UAI 2018), 279-289

Quantifying learning guarantees for convex but inconsistent surrogates  
Struminsky K., Lacoste-Julien S., Osokin A.  
Advances in Neural Information Processing Systems (NeurIPS 2018), 667-675

First measurement of the CP-violating phase ϕs dd in B s 0 → (K + π −)(K − π +) decays  
Aaij R., Ratnikov F. et al.  (The LHCb collaboration)  
Journal of High Energy Physics 2018:140

Evidence for the rare decay Σ+ →pμ+μ-  
Aaij R., Ratnikov F. et al.  (The LHCb collaboration)  
Physical Review Letters 120:221803

Measurement of the CP asymmetry in B − →  D  s  −  D 0 and B −  →  D − D 0 decays  
Aaij R., Ratnikov F. et al. (The LHCb collaboration)  
Journal of High Energy Physics 2018:160

Search for the rare decay Λc + →pμ+μ-  
Aaij R., Ratnikov F.   et al. (The LHCb collaboration)  
Physical Review D 97:091101

Studies of the resonance structure in D0→ K∓π±π±π∓decays  
Aaij R., Ratnikov F. et al. (The LHCb collaboration)  
European Physical Journal C 78:443

Final results of the OPERA experiment on ντ appearance in the CNGS neutrino beam*  
Agafonova N., Ustyuzhanin A. et al. (OPERA Collaboration)  
Physical Review Letters 120:211801

*and 36 other publications prepared within the framework of CERN collaborations

A fast scaling algorithm for the weighted triangle-free 2-matching problem  
Artamonov S., Babenko M. 
European Journal of Combinatorics 68, 3-23

Deviation of polynomials from their expectations and isoperimetry  
Arutyunyan L., Kosov E.  
Bernoulli 24, 2043-2063

New and old results on spherical varieties via moduli theory  
Avdeev R. , Cupit-Foutou S.  
Advances in Mathematics 328, 1299-1352

On the irreducible components of moduli schemes for affine spherical varieties  
Avdeev R., Cupit-Foutou S.  
Transformation Groups 23, 299-327

Bounds for a spectral exponential sum  
Balkanova O., Frolenkov D.  
Journal of the London Mathematical Society 99, 249-272

The mean value of symmetric square L-functions  
Balkanova O., Frolenkov D.  
Algebra and Number Theory 12, 35-59

On the prediction loss of the lasso in the partially labeled setting  
Bellec P., Dalalyan A., Grappin E., Paris Q.  
Electronic Journal of Statistics 12, 3443-3472

Minimax theorems for American options without time-consistency  
Belomestny D., et al.  
Finance and Stochastics 23, 209-238

Regression-based complexity reduction of the nested Monte Carlo methods  
Belomestny D., Häfner S., Urusov M.  
SIAM Journal on Financial Mathematics 9, 665-689

Projected particle methods for solving McKean-Vlasov stochastic differential equations  
Belomestny D., Schoenmakers J.  
SIAM Journal on Numerical Analysis 56, 3169-3195

Low-rank diffusion matrix estimation for high-dimensional time-changed Lévy processes  
Belomestny D., Trabs M.  
Annales de l'Institut Henri Poincare, Probabilités et Statistiques 54, 1583-1621

Ontology-mediated queries: Combined complexity and succinctness of rewritings via circuit complexity  
Bienvenu M., Podolskii V., Zakharyaschev M. et al.  
Journal of the ACM 65:28

Berry-Esseen bounds for typical weighted sums  
Bobkov S., Chistyakov G., Götze F.  
Electronic Journal of Probability 23:92

Genome rearrangements and phylogeny reconstruction in Yersinia pestis  
Bochkareva O., Gelfand M. et al.  
PeerJ 6:e4545

Genome rearrangements and selection in multi-chromosome bacteria Burkholderia spp.  
Bochkareva O., Gelfand M. et al.  
BMC Genomics 19:965

A potential reduction algorithm for two-person zero-sum mean payoff stochastic games  
Boros E., Gurvich V. et al. 
Dynamic Games and Applications  8, 22-41

A pathwise approach to the extinction of branching processes with countably many types  
Braunsteins P., Decrouez G., Hautphenne S. et al. 
Stochastic Processes and their Applications  129, 713-739

Sparse selfreducible sets and nonuniform lower bounds  
Buhrman H., Torenvliet L., Unger F., Vereshchagin N.  
Algorithmica 81, 179-200

UPLC-MS triglyceride profiling in sunflower and rapeseed seeds  
Chernova A., Mazin P. et al.  
Biomolecules 9:9

Asymptotic estimate for the counting problems corresponding to the dynamical system on some decorated graphs  
Chernyshev V., Tolchennikov A.   
Ergodic Theory and Dynamical Systems 38, 1697-1708

Linear switched dynamical systems on graphs  
Cicone A., Guglielmi N., Protasov V.
Nonlinear Analysis: Hybrid Systems 29, 165-186 

Latent variable method for automatic adaptation to background states in motor imagery BCI  
Dagaev N., Volkova K., Ossadtchi A. 
Journal of Neural Engineering 15:016004

On the exponentially weighted aggregate with the Laplace prior  
Dalalyan A., Grappin E., Paris Q.  
Annals of Statistics 46, 2452-2478

Model-free offline change-point detection in multidimensional time series of arbitrary nature via ε-complexity: Simulations and applications  
Darkhovsky B., Piryatinska A.  
Applied Stochastic Models in Business and Industry 34, 633-644

Finite sample properties of the mean occupancy counts and probabilities  
Decrouez G., Grabchak, M., Paris Q.
Bernoulli 24, 1910-1941

Bias-corrected estimation in continuous sampling plans  
Decrouez G., Robinson A.  
Risk Analysis 38, 177-193 

Structure factors for tunneling ionization rates of molecules: General grid-based methodology and convergence studies  
Dnestryan A. et al.  
Journal of Chemical Physics 149:164107

Knockdown of L1CAM significantly reduces metastasis in a xenograft model of human melanoma: L1CAM is a potential target for anti-melanoma therapy  
Ernst A., Galatenko V. et al.  
PLoS ONE 13:e0192525

FUS(1-359) transgenic mice as a model of ALS: pathophysiological and molecular aspects of the proteinopathy  
Funikov S., Rezvykh A., Mazin P. et al.  
Neurogenetics 19, 189-204

Comparative genomic analysis of Holospora spp., intranuclear symbionts of Paramecia  
Garushyants S., Gelfand M. et al.  
Frontiers in Microbiology 9:738

On the local semicircular law for Wigner ensembles  
Götze F., Naumov A. et al.  
Bernoulli 24, 2358-2400

Tropical effective primary and dual Nullstellensätze  
Grigoriev D., Podolskii V.
Discrete and Computational Geometry 59, 507-552

On the closest stable/unstable nonnegative matrix and related stability radii  
Guglielmi N., Protasov Y.
SIAM Journal on Matrix Analysis and Applications 39, 1642-1669

Relations between counting functions on free groups and free monoids
Hartnick T., Talambutsa A.  
Groups, Geometry, and Dynamics 12, 1485-1521

Particle-identification techniques and performance at LHCb in Run 2  
Hushchyn M., Chekalina V. (on behalf of the LHCb collaboration)  
Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment 936, 568-569

An evolutionary mechanism for the generation of competing RNA structures associated with mutually exclusive exons  
Ivanov T., Pervouchine D.  
Genes 9:356

A conditional information inequality and its combinatorial applications  
Kaced T., Romashchenko A., Vereshchagin N.  
IEEE Transactions on Information Theory 64, 3610-3615

Ontology-based access to temporal data with Ontop: A framework proposal  
Kalayci E., Zakharyaschev M. et al.  
International Journal of Applied Mathematics and Computer Science 29, 17-30

The genes of the sulphoquinovose catabolism in Escherichia coli are also associated with a previously unknown pathway of lactose degradation  
Kaznadzey A., Gelfand M. et al. 
Scientific Reports  8:3177 

Extremal Kähler–Einstein metric for two-dimensional convex bodies  
Klartag B., Kolesnikov A.  
Journal of Geometric Analysis 29, 2347-2373

Poincaré and Brunn-Minkowski inequalities on the boundary of weighted Riemannian manifolds  
Kolesnikov A., Milman E.  
American Journal of Mathematics 140, 1147-1185

The KLS isoperimetric conjecture for generalized Orlicz balls  
Kolesnikov A., Milman E.  
Annals of Probability 46, 3578-3615

Testing the efforts model of simultaneous interpreting: An ERP study  
Koshkin R., Shtyrov Y., Myachykov A., Ossadtchi A.  
PLoS ONE, 10:e0206129

Fractional smoothness of images of logarithmically concave measures under polynomials  
Kosov E.  
Journal of Mathematical Analysis and Applications 462, 390-406

On panchromatic colourings of a random hypergraph  
Kravtsov D., Krokhmal N., Shabanov D.  
Russian Mathematical Surveys 73, 731-733

Structural Instability in single-crystal rare-earth scandium borates RESc3(BO3)4  
Kuz’micheva G., Podbel’sky V., Chuykin N.   et al.  
Crystal Growth and Design 18, 1571-1580

On interestingness measures of formal concepts  
Kuznetsov S., Makhalova T.  
Information Sciences 442-443, 202-219

Commentary: Injecting instructions into premotor cortex  
Lebedev M., Ossadtchi A.  
Frontiers in Cellular Neuroscience 12:65

Navigation patterns and scent marking: Underappreciated contributors to hippocampal and entorhinal spatial representations?  
Lebedev M., Pimashkin A., Ossadtchi A.  
Frontiers in Behavioral Neuroscience 12:98

A notion of stability for k-means clustering  
Le Gouic T., Paris Q.  
Electronic Journal of Statistics 12, 4239-4263

60S dynamic state of bacterial ribosome is fixed by yeast mitochondrial initiation factor 3  
Levitskii S., Golovin A.   et al.  
PeerJ 6:e5620

Proteogenomics of malignant melanoma cell lines: The effect of stringency of exome data filtering on variant peptide identification in shotgun proteomics  
Lobas A., Pyatnitskiy M. et al.  
Journal of Proteome Research 17, 1801-1811

Conservation, evolution, and regulation of splicing during prefrontal cortex development in humans, chimpanzees, and macaques  
Mazin P., Gelfand M. et al. 
RNA  24, 585-596

Cooption of heat shock regulatory system for anhydrobiosis in the sleeping chironomid Polypedilum vanderplanki  
Mazin P., Gelfand M. et al.  
Proceedings of the National Academy of Sciences of the United States of America 115, E2477-E2486

Pangenomic definition of prokaryotic species and the phylogenetic structure of Prochlorococcus spp.  
Moldovan M., Gelfand M.
Frontiers in Microbiology  9:428 

Qualitative judgement of research impact: Domain taxonomy as a fundamental framework for judgement of the quality of research  
Murtagh F., Orlov M., Mirkin B.
Journal of Classification 

Bootstrap confidence sets for spectral projectors of sample covariance  
Naumov A., Spokoiny V., Ulyanov V.  
Probability Theory and Related Fields 174, 1091-1132

Dual subgradient method with averaging for optimal resource allocation  
Nesterov Y.,  Shikhman V. European Journal of Operational Research  270,    907-916

Phase shift invariant imaging of coherent sources (PSIICOS) from MEG data  
Ossadtchi A., Altukhov D., Jerbi K.  
NeuroImage 183, 950-971

PQ, a new program for phylogeny reconstruction  
Penzar D., Krivozubov M., Spirin S.  
BMC Bioinformatics 19:374

Towards long-range RNA structure prediction in eukaryotic genes  
Pervouchine D.   
Genes 9:302

Entangled conditional adversarial autoencoder for de novo drug discovery  
Polykovskiy D., Vetrov D.  et al.  
Molecular Pharmaceutics 15, 4398-4405

Avoidance of recognition sites of restriction-modification systems is a widespread but not universal anti-restriction strategy of prokaryotic viruses  
Rusinov I., Spirin S. et al.  
BMC Genomics 19:885

Unconstrained face identification using maximum likelihood of distances between deep off-the-shelf features  
Savchenko A., Belova N.  
Expert Systems with Applications 108, 170-182

Observational evidence in favor of scale-free evolution of sunspot groups  
Shapoval A. et al.  
Astronomy and Astrophysics 618:A183

Microbiomes of gall-inducing copepod crustaceans from the corals Stylophora pistillata (Scleractinia) and Gorgonia ventalina (Alcyonacea)  
Shelyakin P., Gelfand M.  et al.  
Scientific Reports 8:11563

Bayesian inference for spectral projectors of the covariance matrix  
Silin I., Spokoiny V.  
Electronic Journal of Statistics 12, 1948-1987

NFBLab-A versatile software for neurofeedback and brain-computer interface research  
Smetanin N., Ossadtchi A. et al.  
Frontiers in Neuroinformatics 12:100

Predictive model for bottomhole pressure based on machine learning  
Spesivtsev P., Umnov A., Yarullin R.,   Vetrov D.   et al.  
Journal of Petroleum Science and Engineering 166, 825-841 

Building web-based services for practical exercises in parallel and distributed computing  
Sukhoroslov O.  
Journal of Parallel and Distributed Computing 118, 177-188 

Functional status of neuronal calcium sensor-1 is modulated by zinc binding  
Tsvetkov P., Golovin A.  et al.  
Frontiers in Molecular Neuroscience 11:459 

Consolidated mathematical growth model of the primary tumor and secondary distant metastases of breast cancer (CoMPaS)  
Tyuryumina E., Neznanov A.  
PLoS ONE 13:e0200148

Публикации 2023

Публикации 2022

Публикации 2021

Публикации 2020

Публикации 2019

Публикации 2017

Публикации 2016

Публикации 2015