-
and CH4) from headwaters, and use of machine learning and process-based model for large scale assessments and projections of the land-water carbon cycle to variation in climate conditions. The detailed
-
transformations. The project investigates a hybrid approach that combines deep learning with grammatical inference to develop models that are interpretable, efficient, and mathematically verifiable while leveraging
Searches related to model checking
Enter an email to receive alerts for model-checking positions