Logical inference tools in systems of analytical computations
Chertov, Oleg Romanovich, 1991, Candidate of Sciences dissertation
Kyiv
140 pp.
More works in this specialty
- Mathematical and software support for knowledge base management based on multilevel semantic models of heterogeneous information resources
Greger, Sergei Eduardovich · 2016 · Candidate of Sciences · Moscow State Technological University
- Representation of data mining algorithms and their implementation in distributed environments based on the actor model
Petukhov, Ilya Vitalyevich · 2016 · Candidate of Sciences · Saint Petersburg State Electrotechnical University (LETI)
- Task assignment and scheduling in distributed real-time systems
Skorodumov, Yuriy Mikhailovich · 2016 · Candidate of Sciences · Saint Petersburg State Electrotechnical University "LETI"
- Algorithms of dynamically reconfigurable computing environments for image processing
Shashev, Dmitry Vadimovich · 2016 · Candidate of Sciences · National Research Tomsk State University
- Methods and means of reducing the execution time of parallel programs for shared-memory computing systems
Shapovalov, Oleg Vladimirovich · 2016 · Candidate of Sciences · Southern Federal University