-
scale. Characterization of ash interactions with products. Imaging and determination of chemical composition with SEM-EDX. Advanced image analysis for quantification of porosity. Multicomponent chemical
-
2007. At all of these sites, most ecosystem carbon fluxes of the canopy, stems, soil and roots have been regularly monitored, generating detailed carbon cycle time series for ~5 years from
-
mathematical modeling of infectious diseases applied to grided spatiotemporal data inputs. The project involves reviewing existing literature and especially synthesize model structures and parameters for the eco
-
expressions when the matrix sizes are unknown at compile-time. The project aims to address the problem using e-graphs. An e-graph is a data structure commonly used in automated theorem provers and recently