Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Maharaj Savitri"'
Publikováno v:
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, Vol 17, Pp 13346-13357 (2024)
Water hyacinth (WH) is a notorious invasive species that significantly threatens ecosystems worldwide. Despite WH's well-documented threats and effects, its spatial distribution is not yet fully understood, especially in complex environments such as
Externí odkaz:
https://doaj.org/article/0c79c93f168d4648b57102693b0f48a6
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bostater, Charles R., Neyt, Xavier, Akbari, Vahid, Datta, Aviraj, Bhowmik, Deepayan, Marino, Armando, Kumar, Saurav, Rupavatharam, Srikanth, Prabhu, G. Nagendra, Kleczkowski, Adam, R. P. Sujeetha, J. Alice, Maharaj, Savitri
Publikováno v:
Proceedings of SPIE; October 2022, Vol. 12263 Issue: 1 p122630C-122630C-9, 1103680p
Autor:
Akbari, Vahid, Datta, Aviraj, Bhowmik, Deepayan, Marino, Armando, Kumar, Saurav, Rupavatharam, Srikanth, Prabhu, G. Nagendra, Kleczkowski, Adam, R. P. Sujeetha, J. Alice, Maharaj, Savitri
Publikováno v:
Proceedings of SPIE; 8/19/2022, Vol. 12263, p122630C-122630C-9, 1p
Autor:
Maharaj, Savitri
We study the problem of representing a modular specification language in a type-theory based theorem prover. Our goals are: to provide mechanical support for reasoning about specifications and about the specification language itself; to clarify the s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______463::cb46a18b03407a436f3e303719b18517
http://hdl.handle.net/1842/390
http://hdl.handle.net/1842/390
