2019 Ivannikov Ispras Open Conference (ISPRAS)
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 29)

H-INDEX

2

(FIVE YEARS 2)

Published By IEEE

9781728160559

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study

2019 Ivannikov Ispras Open Conference (ISPRAS) ◽

10.1109/ispras47671.2019.00008 ◽

2019 ◽

Author(s):

Nikita Malyshev ◽

Irina Dudina ◽

Daniil Kutz ◽

Alexander Novikov ◽

Sergey Vartanov

Keyword(s):

Symbolic Execution ◽

Smt Solvers ◽

Dynamic Symbolic Execution

Download Full-text

GPU Simulation of Sloshing in a Vibrating Water Tank with Smooth Particle Hydrodynamics (SPH) Method

2019 Ivannikov Ispras Open Conference (ISPRAS) ◽

10.1109/ispras47671.2019.00018 ◽

2019 ◽

Author(s):

Tufan Arslan ◽

Murat Ozbulut

Keyword(s):

Smooth Particle Hydrodynamics ◽

Particle Hydrodynamics

Download Full-text

[Title page i]

2019 Ivannikov Ispras Open Conference (ISPRAS) ◽

10.1109/ispras47671.2019.00001 ◽

2019 ◽

Keyword(s):

Download Full-text

Collecting Influencers: A Comparative Study of Online Network Crawlers

2019 Ivannikov Ispras Open Conference (ISPRAS) ◽

10.1109/ispras47671.2019.00012 ◽

2019 ◽

Author(s):

Mikhail Drobyshevskiy ◽

Denis Aivazov ◽

Denis Turdakov ◽

Alexander Yatskov ◽

Maksim Varlamov ◽

...

Keyword(s):

Comparative Study

Download Full-text

Parametric Study of the Accuracy of OpenFOAM Solvers for the Oblique Shock Wave Problem

2019 Ivannikov Ispras Open Conference (ISPRAS) ◽

10.1109/ispras47671.2019.00023 ◽

2019 ◽

Author(s):

Alexander Bondarev ◽

Artem Kuvshinnikov

Keyword(s):

Parametric Study ◽

Oblique Shock ◽

Oblique Shock Wave ◽

Download Full-text

Numerical Experiments with the Coupled Ocean-Earth-Atmosphere Circulation Model and the Analysis of Decadal Variability of Its Main Physical Characteristic

2019 Ivannikov Ispras Open Conference (ISPRAS) ◽

10.1109/ispras47671.2019.00028 ◽

2019 ◽

Author(s):

Natalia Tuchkova ◽

Konstantin Belyaev ◽

Gury Mikhailov

Keyword(s):

Physical Characteristic ◽

Numerical Experiments ◽

Decadal Variability ◽

Circulation Model ◽

Earth Atmosphere

Download Full-text

The Application of Modular Arithmetic for Matrix Calculations

2019 Ivannikov Ispras Open Conference (ISPRAS) ◽

10.1109/ispras47671.2019.00013 ◽

2019 ◽

Author(s):

Viktor Kuchukov ◽

Mikhail Babenko

Keyword(s):

Modular Arithmetic

Download Full-text

Kubernetes Container Orchestration as a Framework for Flexible and Effective Scientific Data Analysis

2019 Ivannikov Ispras Open Conference (ISPRAS) ◽

10.1109/ispras47671.2019.00016 ◽

2019 ◽

Author(s):

Anton Tesliuk ◽

Sergey Bobkov ◽

Viacheslav Ilyin ◽

Alexander Novikov ◽

Alexey Poyda ◽

...

Keyword(s):

Data Analysis ◽

Scientific Data ◽

Scientific Data Analysis ◽

Container Orchestration

Download Full-text

Detection of Variable Misuse Using Static Analysis Combined with Machine Learning

2019 Ivannikov Ispras Open Conference (ISPRAS) ◽

10.1109/ispras47671.2019.00009 ◽

2019 ◽

Author(s):

Gleb Morgachev ◽

Valery Ignatyev ◽

Andrey Belevantsev

Keyword(s):

Machine Learning ◽

Static Analysis

Download Full-text

Implementation of Regularized Equations for the Disk Pump Simulation Problem in OpenFOAM

2019 Ivannikov Ispras Open Conference (ISPRAS) ◽

10.1109/ispras47671.2019.00026 ◽

2019 ◽

Author(s):

Tatiana Stenina ◽

Tatiana Elizarova ◽

Daniil Ryazanov ◽

Eugene Ryabinkin

Keyword(s):

Simulation Problem

Download Full-text