Հոդված
Creating a Sentiment Analyzer for Text Messages
Հրապարակումներ
Հոդված
Artificial Intelligence Methods in Osteoporosis Prediction Problem
Հոդված
Remote Health Monitoring System for Patients
Հոդված
КОЛИЧЕСТВО КРАТЧАЙШИХ РАЗРЕЗОВ ГРАФА
ՈՒսումնական ձեռնարկ
Մաթեմատիկական ֆիզիկայի հավասարումներ: Խնդիրներ և լուծումներ:
2023
226
Դասագիրք
Մաթեմատիկական անալիզի հիմունքներ
2023
320
Դասագիրք
Մաթեմատիկական ֆիզիկայի հավասարումներ: Խնդիրներ և լուծումներ:
2023
226
Հոդված
The Non-Classical Problem of Thermoelastic Stability of an Elastically Restrained Orthotropic Plate of Variable Thickness
Հոդված
On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus
Հոդված
O сложностях выводов балансированных формул в двух пропозициональных системах выводов
Հոդված
Сравнение длин линейных и древовидных выводов некоторых семейств формул в ряде систем исчисления высказываний
Հոդված
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS
Հոդված
Relations between the Proof Complexities in Frege Systems, Deep-Inference Proof Systems KS and eKS
Հոդված
О СУЩЕСТВОВАНИИ НЕПРЕРЫВНЫХ СЕЛЕКЦИЙ МНОГОЗНАЧНОГО ОТОБРАЖЕНИЯ, СВЯЗАННОГО С ЗАДАЧЕЙ МИНИМИЗАЦИИ ФУНКЦИОНАЛА
Հոդված
ON THE PALETTE INDEX OF GRAPHS HAVING A SPANNING STAR
Հոդված
Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems
ՈՒսումնական ձեռնարկ
Введение в метод конечных элементов
2022
142
Հոդված
Analytical Inversion of Tridiagonal Hermitian Matrices
ՈՒսումնական ձեռնարկ
Մատրիցային անալիզի տարրեր
2022
224
