g-HOL: A Graphical User Interface for the HOL Proof Assistant

2016 ◽  
pp. 265-269 ◽  
Author(s):  
Fahd Arshad ◽  
Hassan Mehmood ◽  
Fauzan Raza ◽  
Osman Hasan
Keyword(s):  
User Interface ◽  
Graphical User Interface ◽  
Proof Assistant

HOW TO USE CROP GROWTH MODEL WOFOST FOR FORECASTING GROWTH AND YIELD OF A CROP

2016 ◽  
Vol 3 (1) ◽  
Author(s):  
LAL SINGH ◽  
PARMEET SINGH ◽  
RAIHANA HABIB KANTH ◽  
PURUSHOTAM SINGH ◽  
SABIA AKHTER ◽  
...  
Keyword(s):  
User Interface ◽  
Graphical User Interface ◽  
Input Data ◽  
Growth And Yield ◽  
Weather Data ◽  
Data Sets ◽  
Crop Growth Model ◽  
Control Center ◽  
Field Crops ◽  
Crop Calendar

WOFOST version 7.1.3 is a computer model that simulates the growth and production of annual field crops. All the run options are operational through a graphical user interface named WOFOST Control Center version 1.8 (WCC). WCC facilitates selecting the production level, and input data sets on crop, soil, weather, crop calendar, hydrological field conditions, soil fertility parameters and the output options. The files with crop, soil and weather data are explained, as well as the run files and the output files. A general overview is given of the development and the applications of the model. Its underlying concepts are discussed briefly.

Sign in / Sign up

Export Citation Format

Share Document