Oleksandr Maksymets
Oleksandr Maksymets
Facebook AI Research, Ph.D. in Computer Science
Vahvistettu sähköpostiosoite verkkotunnuksessa fb.com - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Habitat: A platform for embodied ai research
M Savva, A Kadian, O Maksymets, Y Zhao, E Wijmans, B Jain, J Straub, ...
Proceedings of the IEEE/CVF International Conference on Computer Vision …, 2019
1942019
Embodied question answering in photorealistic environments with point cloud perception
E Wijmans, S Datta, O Maksymets, A Das, G Gkioxari, S Lee, I Essa, ...
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2019
382019
Zhao
M Savva, A Kadian, O Maksymets
Y., Wijmans, E., Jain, B., Straub, J., Liu, J., Koltun, V., Malik, J …, 2019
112019
Objectnav revisited: On evaluation of embodied agents navigating to objects
D Batra, A Gokaslan, A Kembhavi, O Maksymets, R Mottaghi, M Savva, ...
arXiv preprint arXiv:2006.13171, 2020
82020
Integrating Egocentric Localization for More Realistic Point-Goal Navigation Agents
S Datta, O Maksymets, J Hoffman, S Lee, D Batra, D Parikh
arXiv preprint arXiv:2009.03231, 2020
22020
Searching Online Social Networks Using Entity-based Embeddings
K Subbian, H Wang, O Maksymets
US Patent App. 15/782,475, 2019
22019
Program verification: State of the art, problems, and results. I
SL Kryvyi, OM Maksymets
Cybernetics and Systems Analysis 49 (6), 805-814, 2013
22013
Application of minimization algorithm for finite acyclic automata in finding condition’s basis for program invariant search
OM Maksymets
Proceedings of International Conference on Theoretical and Applied Aspects …, 2011
22011
Program invariant generation over polynomial ring using iterative methods
SL Kryvyi, OM Maksymets
Intern. J.“Information Theories & Applications 20, 113-121, 1993
21993
Automating the Conversion of Colored Petri Nets with Qualitative Tokens Into Colored Petri Nets with Quantitative Tokens
DK Hlomozda, MM Glybovets, OM Maksymets
Cybernetics and Systems Analysis 54 (4), 650-661, 2018
12018
Верификация программ: состояние, проблемы, экспериментальные результаты. I
АН Максимец
Проблеми програмування, 2013
12013
Upper approximation method for polynomial invariants
O Maksymets
Theoretical and Applied Aspects of Cybernetics. Proceedings of the 2nd …, 0
1
Memory-Augmented Reinforcement Learning for Image-Goal Navigation
L Mezghani, S Sukhbaatar, T Lavril, O Maksymets, D Batra, P Bojanowski, ...
arXiv preprint arXiv:2101.05181, 2021
2021
Search for invariants of UY-programs by an interactive algorithm over completely free data algebras
OM Maksymets
PROBLEMS IN PROGRAMMING, 2015
2015
Algebraic automata analysis methods of procedural programs and reactive systems
O Maksymets
Taras Shevchenko National University of Kyiv, 2014
2014
Разработка и обоснование алгоритмов на основе семантических свойств
СЛ Крывый, АН Максимец
Проблеми програмування, 151-159, 2014
2014
Program Verification: State of the Art, Problems, and Results. II1
SL Kryvyi, OM Maksymets
Cybernetics and Systems Analysis 50 (1), 8-16, 2014
2014
Program polynomial invariants generation.
MOM Kryvyi S.L.
Material 11-th International Scientific Conference "AVIA 2013" 1, 14-17, 2013
2013
Formal verification methods based on Petri nets.
OMM S.L. Kryvyi
Materials of 10th International Scientific Conference "Theoretical and …, 2013
2013
Software verification applications using machine learning.
O Maksymets
Materials of the 8th international scientific conference of young scientists …, 2013
2013
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20