Registration Number
0217U000712,
0112U000740
, R & D reports
Title
Develop methods of data mining with the use of intellectual agents in super-large and heterogeneous data storage and verification using deductive methods of created agents.
popup.stage_title
Head
Letichevsky Aleksander Adol'fovich,
Registration Date
22-02-2017
Organization
V.M.Glushkov Institute of Cybernetics, National Academy of Science of Ukraine
popup.description2
An integrated technique and program support for analysis and automatic verification of dynamic properties of formal models has been developed An approach and a toolkit for implementation of efficient intelligent agents in the REST web service architecture for search and navigation in big data warehouses as well as for content analysis has been developed. The toolkit has been tested during development of several cloud applications.
Product Description
popup.authors
Летичевський Олександр Олександрович
Мелащенко Андрей Олегович
Мороховець Марина Костянтинівна
Пинько Олексій Павлович
Потієнко Степан Валерійович
popup.nrat_date
2020-04-02
