Partitioning Methods for Satis ability Testing on Large Formulas (2008)
Tai Joon, Park Allen, Van Gelder
Abstract. A propositional satis ability tester is needed as a subroutine for many applications in automated veri cation, automated theorem proving, and other elds. Such applications may generate very...
Partitioning Methods for Satis ability Testing on Large Formulas (Extended Abstract) (2008)
Tai Joon, Park Allen, Van Gelder
Abstract. Methods for partitioning large propositional formulas are investigated, with the goal of producing a set of smaller formulas whose satis ability can be determined within reasonable time...
Some Issues About the Generalization of Neural Networks for Time Series Prediction (2008)
Wen Wang, Van Gelder, J. K. Vrijling
Abstract. Some issues about the generalization of ANN training are investigated through experiments with several synthetic time series and real world time series. One commonly accepted view is that...
Predictability of streamflow processes of the Yellow River (2008)
Wen Wang, Van Gelder, J. K. Vrijling
Understanding the predictability of a streamflow process is important for making decision for flood control and water management. However not much attention has been paid to the predictability study...
Wen Wang A, Van Gelder, Jun Ma C
Testing for nonlinearity of streamflow processes at different timescales
CRITICAL THINKING IN PHYSIOLOGY: A REASON!ABLE APPROACH (2007)
To help improve their critical thinking skills, undergraduate science students used a new software package, Reason!, to assist them identify and evaluate arguments. At the outset students could not...
Abstract Forecasting daily streamflow using hybrid ANN models (2005)
Wen Wang A, Van Gelder, Jun Ma C
In this paper, the classic ‘divide and conquer (DAC) ’ paradigm is applied as a top-down black-box technique for the forecasting of daily streamflows from the streamflow records alone, i.e....
Link Vectors, Prof Anujan Varma, Prof Allen, Van Gelder, Jochen Behrens, ...
Dean of Graduate Studies and Research Copyright c fl by