1 documents found
Information × 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 Close
R & D report
Head: Letichevsky Aleksander Adol'fovich. 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: ). V.M.Glushkov Institute of Cybernetics, National Academy of Science of Ukraine. № 0217U000712
1 documents found

Updated: 2026-03-24