From post

Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP.

, , и . MFCS, том 272 из LIPIcs, стр. 44:1-44:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Near real-time deforestation monitoring in tropical ecosystems using satellite image time series., , , и . IGARSS, стр. 2020-2023. IEEE, (2012)Multi Scale Vegetation and Water Body Mapping in Arctic Regions Within the Data User Element Permafrost., , , , и . Geoinformatik, стр. 219-220. AKA, (2010)Assessing effects of temporal compositing and varying observation periods for large-area land-cover mapping in semi-arid ecosystems: Implications for global monitoring, , , , , , и . Remote Sensing of Environment, 115 (10): 2445-2459 (2011)Alert-Driven Community-Based Forest Monitoring: A Case of the Peruvian Amazon., , , , , , , и . Remote. Sens., 14 (17): 4284 (2022)Dual Polarimetric SAR Covariance Matrix Estimation Using Deep Learning., , , и . IGARSS, стр. 700-703. IEEE, (2020)Research and Development Needs for REDD+ and Forest Monitoring., , и . IGARSS, стр. 1007-1010. IEEE, (2021)Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP., , и . MFCS, том 272 из LIPIcs, стр. 44:1-44:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)New global land cover mapping exercise in the framework of the ESA Climate Change Initiative., , , , , и . IGARSS, стр. 44-47. IEEE, (2012)Assessment of deforestation drivers and national carbon emissions using remote sensing analysis., , , , и . IGARSS, стр. 6224-6227. IEEE, (2012)Error Sources in Deforestation Detection Using BFAST Monitor on Landsat Time Series Across Three Tropical Sites., , , , и . IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 9 (8): 3667-3679 (2016)