Article THE MAIN ASPECTS MODELLING OF THE REAL AND COMPLEX ANALYSIS IN THE FRAMEWORK OF HYPERNATURAL Yuri Lovyagin, Elena Prazdnikova May 2008
Article RESULT FORECASTING METHOD FOR MULTISUBJECT COMPETITION IN THE INFORMATION TECHNOLOGIES Leonid Osovetsky, Artyom Pavlyutenkov, Alexey Vyakhirev May 2008
Article MODELING OF THE ASYMETRICAL SHAFT HEATING EFFECT INFLUENCE ON ITS TRAJECTORY IN THE JOURNAL BEARING Boris Grigoriev, Alexander Fedorov May 2008
Article A METHOD OF TESTS FOR API GENERATION ON THE BASE OF FINITE-STATE MODEL OF TESTING Konstantin Rubinov, Vladimir Vedeneev, Vladimir Parfenov April 2008
Article VERIFICATION OF INTERACTION OF PARTS OF A REACTIVE SYSTEM IMPLEMENTED USING AUTOMATA-BASED APPROACH Sergey Kanzhelev April 2008
Article APPLICATION OF GENETIC PROGRAMMING AND OF REDUCED TRANSITION TABLES METHOD AND OF DECISION TREES METHOD FOR CONSTRUCTING A CONTROL SYSTEM FOR A MODEL OF AN UNMANNED AIRCRAFT Dmitry Sokolov, Fedor Tsarev, Andrey Davydov April 2008
Article A TOOL SUPPORTING AUTOMATA-BASED PROGRAMMING – UNIMOD 2. DESIGN. VALIDATION. VERIFICATION. IMPLEMENTATION Dmitry Kochelev, Ivan Lagunov, Bulat Khasanzyanov, Bulat Jaminov April 2008
Article DEVELOPMENT OF A VERIFIER FOR AUTOMATA-BASED PROGRAMS Kirill Egorov, Shalyto Anatoly A. April 2008
Article A METHOD OF REPRESENTING AUTOMATA WITH DECISION TREES FOR GENETIC PROGRAMMING Vladimir Danilov, Kirill Timofeev April 2008