On verification tools implemented in the System for Automated Deduction Alexander Lyaletski1 , Konstantin Verchinine2 , and Andrey Paskevich1,2 1 Faculty of Cybernetics, Kyiv National Taras Shevchenko University,

Source URL: www.cliplab.org

Theoretical and Applied Aspects of Cybernetics International conference of students, postgraduate and young scientists | http://taac.org.ua OFFER FOR COOPERATION TAAC’2015

Source URL: taac.org.ua

• Taras Shevchenko National University of Kyiv
• Taras Shevchenko
• Cybernetics
• Valery Pyatnitsky

NONLINEAR TRANSITION RADIATION OF THE MODULATED ELECTRON BEAM FROM THE SHARP VACUUM-PLASMA BORDER I.O.Anisimov, O.I.Kelnyk, V.K.Tyazhemov Taras Shevchenko National University of Kyiv, Radio Physics Faculty, Kyiv, Ukraine

Source URL: www.kipt.kharkov.ua

INFLUENCE OF TEMPERATURE CONDITION ON THE PROCESS OF СNM GENERATION Iu.P. Veremii, V.Ya. Chernyak, S.A. Filatov, S.V. Olszewski, V.O. Forostyanij Taras Shevchenko National University of Kyiv, Faculty of Radiophysics, De

Source URL: vant.kipt.kharkov.ua

INTEGRATED MEASURING SENSOR FOR ELECTRON RADIATION PARAMETERS S.P.Karasyov, S.V.Maryokhin, A.Eh.Tenishev, V.L.Uvarov, G.L.Fursov, V.A.Shevchenko, I.N.Shlyakhov, I.I.Tsvetkov* NSC KIPT, Kharkov, Ukraine, *D.I.Mendeleyev I

Source URL: www.kipt.kharkov.ua

UN Model – 2015 at Institute of International Relations Taras Shevchenko National University of Kyiv 22 – 24 October 2015

Source URL: www.un.org.ua

UDKWHISTLER WAVE EMISSION BY A MODULATED ELECTRON BEAM ON A METAL-PLASMA BOUNDARY І.О.Anisimov1, О.І.Kelnyk1, C.Krafft2, T.V.Nychyporuk1 Taras Shevchenko National University of Kyiv, Radio Physics Faculty, Ky

Source URL: www.kipt.kharkov.ua

COULOMB SUMS FOR 7 Li NUCLEUS AT 3-MOMENTUM TRANSFERS q = f m−1 A.Yu. Buki∗, N.G. Shevchenko, I.S. Timchenko National Science Center ”Kharkov Institute of Physics and Technology”, 61108, Kharkov,

Source URL: vant.kipt.kharkov.ua

DOSE CALCULATIONS FOR CBM EXPERIMENT O.A. Bezshyyko∗, L.O. Golinka-Bezshyyko, I.M. Kadenko, O.O. Sevastyuk Taras Shevchenko National University, 03022, Kyiv, Ukraine (Received March 22, 2007)

Source URL: vant.kipt.kharkov.ua

COMPUTING AND MODELLING SYSTEMS MAGNETIC LEVITATION IN ORBITRON SYSTEM S. S. Zub Taras Shevchenko National University of Kyiv, 01601, Kyiv, Ukraine

Source URL: vant.kipt.kharkov.ua