Leaf Area Index Estimation Algorithm for GF-5 Hyperspectral Data Based on Different Feature Selection and Machine Learning Methods

Leaf area index (LAI) is an essential vegetation parameter that represents the light energy utilization and vegetation canopy structure.As the only in-operation hyperspectral satellite launched by China, GF-5 is potentially useful for accurate LAI estimation.However, there is no research focus on evaluating GF-5 data for LAI estimation.Hyperspectra

read more

Expressive Logics for Coinductive Predicates

The classical Hennessy-Milner theorem says that two states of an image-finite transition system are bisimilar if and only if they satisfy the same formulas in a certain modal Socks logic.In this paper we study this type of result in a general context, moving from transition systems to coalgebras and from bisimilarity to coinductive predicates.We fo

read more