Proceedings of Ivannikov ISPRAS Open Conferenceсборник

Статьи, опубликованные в сборнике

---

• 
  • 2020 Catalyst: Combining Co-training and Active Learning for Lifelong Classification
  • Ryndin M.A., Turdakov D.Y., Kuznetsov S.D.
  • в сборнике Proceedings of Ivannikov ISPRAS Open Conference, место издания IEEE, с. 96-101 DOI
• • 2020 Development of snowYadeFoam solver for snow particles simulation
  • Romanova Daria, Strijhak Sergei, Kraposhin Matvey
  • в сборнике Proceedings of Ivannikov ISPRAS Open Conference, место издания IEEE DOI
• 
  • 2020 Formally verified complete quantifier instatiation strategy for the theory of bounded linear integer arithmetic
  • Sadykov Rafael, Mandrykin Mikhail
  • в сборнике Proceedings of Ivannikov ISPRAS Open Conference, место издания IEEE, с. 26-34 DOI
• 
  • 2020 Numerical and laboratory study of flows around a tilted plate
  • Chashechkin Yu D., Zagumennyi Ia V.
  • в сборнике Proceedings of Ivannikov ISPRAS Open Conference, место издания IEEE, с. 130-136 DOI
• 
  • 2020 Numerical investigation of cooling down and aerodynamic resistance processes in ribbed tubular elements
  • Gizzatullina Albina, Koroleva Maria, Mishchenkova Olga, Chernova Alena
  • в сборнике Proceedings of Ivannikov ISPRAS Open Conference, место издания IEEE, с. 142-150 DOI
• 
  • 2020 Real-time analytics, hybrid transactional/analytical processing, in-memory data management, and non-volatile memory
  • Kuznetsov S.D., Velikhov P.E., Fu Q.
  • в сборнике Proceedings of Ivannikov ISPRAS Open Conference, место издания IEEE, с. 78-90 DOI
• 
  • 2020 Sydr: Cutting Edge Dynamic Symbolic Execution
  • Vishnyakov Alexey, Fedotov Andrey, Kuts Daniil, Novikov Alexander, Parygina Darya, Kobrin Eli, Logunova Vlada, Belecky Pavel, Kurmangaleev Shamil
  • в сборнике Proceedings of Ivannikov ISPRAS Open Conference, место издания IEEE, с. 46-54 DOI
• • 2020 Сomparison of single-velocity and multi-velocity multiphase models for slope flow simulations
  • Romanova Daria
  • в сборнике Proceedings of Ivannikov ISPRAS Open Conference, место издания IEEE DOI