As initiatives for decarbonization take place, there are growing expectations for green hydrogen and ammonia produced using renewable energy, but reducing the costs of full-scale implementation has ...
Abstract: Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is ...
Abstract: NASA’s Deep Space Network (DSN) is a globally-spanning communications network responsible for supporting the interplanetary spacecraft missions of NASA and other international users. The DSN ...
Economic Viability Evaluated under METI's "FY2023 Supplementary Funds for The Global South Future-Oriented Co-Creation Program" --- An analysis was conducted, in collaboration with Hygenco-MHI's partn ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results