Article
袨 薪械锌褉械褉褘胁薪褘褏 懈 谢懈锌褕懈褑械胁褘褏 褋械谢械泻褑懈褟褏 屑薪芯谐芯蟹薪邪褔薪褘褏 芯褌芯斜褉邪卸械薪懈泄, 蟹邪写邪薪薪褘褏 褋懈褋褌械屑芯泄 薪械褉邪胁械薪褋褌胁
2023
447-468
Publications
Article
Creating a Security Assurance System Using IoT and ML Technologies
2023
51-56
Article
Creating a Sentiment Analyzer for Text Messages
2023
53-60
Article
Artificial Intelligence Methods in Osteoporosis Prediction Problem
2023
171-177
Article
Generation of Fuzzy Expert Systems via Machine Learning Methods
2023
186-187
Article
Remote Health Monitoring System for Patients
2023
29-48
Article
袣袨袥袠效袝小孝袙袨 袣袪袗孝效袗袡楔袠啸 袪袗袟袪袝袟袨袙 袚袪袗肖袗
2023
22 - 29
Manual
談铡诈榨沾铡湛斋寨铡寨铡斩 謫斋咋斋寨铡盏斋 瞻铡站铡战铡謤崭謧沾斩榨謤: 越斩栅斋謤斩榨謤 謬 宅崭謧债崭謧沾斩榨謤:
2023
226
Book
談铡诈榨沾铡湛斋寨铡寨铡斩 铡斩铡宅斋咋斋 瞻斋沾崭謧斩謩斩榨謤
2023
320
Book
談铡诈榨沾铡湛斋寨铡寨铡斩 謫斋咋斋寨铡盏斋 瞻铡站铡战铡謤崭謧沾斩榨謤: 越斩栅斋謤斩榨謤 謬 宅崭謧债崭謧沾斩榨謤:
2023
226
Article
The Non-Classical Problem of Thermoelastic Stability of an Elastically Restrained Orthotropic Plate of Variable Thickness
2022
195-206
Article
On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus
2022
47-55
Article
O 褋谢芯卸薪芯褋褌褟褏 胁褘胁芯写芯胁 斜邪谢邪薪褋懈褉芯胁邪薪薪褘褏 褎芯褉屑褍谢 胁 写胁褍褏 锌褉芯锌芯蟹懈褑懈芯薪邪谢褜薪褘褏 褋懈褋褌械屑邪褏 胁褘胁芯写芯胁
2022
118-124
Article
小褉邪胁薪械薪懈械 写谢懈薪 谢懈薪械泄薪褘褏 懈 写褉械胁芯胁懈写薪褘褏 胁褘胁芯写芯胁 薪械泻芯褌芯褉褘褏 褋械屑械泄褋褌胁 褎芯褉屑褍谢 胁 褉褟写械 褋懈褋褌械屑 懈褋褔懈褋谢械薪懈褟 胁褘褋泻邪蟹褘胁邪薪懈泄
2022
125-132
Article
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS
2022
58-65
Article
Relations between the Proof Complexities in Frege Systems, Deep-Inference Proof Systems KS and eKS
2022
182-187
Article
袨 小校些袝小孝袙袨袙袗袧袠袠 袧袝袩袪袝袪蝎袙袧蝎啸 小袝袥袝袣笑袠袡 袦袧袨袚袨袟袧袗效袧袨袚袨 袨孝袨袘袪袗袞袝袧袠携, 小袙携袟袗袧袧袨袚袨 小 袟袗袛袗效袝袡 袦袠袧袠袦袠袟袗笑袠袠 肖校袧袣笑袠袨袧袗袥袗
2022
284-299
Article
ON THE PALETTE INDEX OF GRAPHS HAVING A SPANNING STAR
2022
85-96
Article
Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems
2022
61-66
Manual
袙胁械写械薪懈械 胁 屑械褌芯写 泻芯薪械褔薪褘褏 褝谢械屑械薪褌芯胁
2022
142