Search Results - subject:"and verification"

Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs

Popov, Nikolaj; Jebelean, Tudor - In: Mathematics and Computers in Simulation (MATCOM) 79 (2009) 8, pp. 2302-2309

We describe an innovative method for proving total correctness of tail recursive programs having a specific structure, namely programs in which an auxiliary tail recursive function is driven by a main nonrecursive function, and only the specification of the main function is provided. The...

Persistent link: https://www.econbiz.de/10011051043

Empirical modeling and information semantics

Dodig-Crnkovic, Gordana - In: Mind and Society: Cognitive Studies in Economics and … 7 (2008) 2, pp. 157-166

Persistent link: https://www.econbiz.de/10004966086

Modeling of Groundwater Artificial Recharge by Reactivating an Old Stream Bed

Pliakas, F.; Petalas, C.; Diamantis, I.; Kallioras, A. - In: Water Resources Management 19 (2005) 3, pp. 279-294

This paper refers to the development and verification of a groundwater artificial recharge model in Xanthi plain …

Persistent link: https://www.econbiz.de/10010794349

Application of different turbulence closure model for stratified tidal flows and salinity in an estuarine system

Liu, Wen-Cheng; Hsu, Ming-Hsi; Kuo, Albert Y. - In: Mathematics and Computers in Simulation (MATCOM) 59 (2002) 5, pp. 437-451

mixing. Model calibration and verification is performed to use parameterization of mixing coefficients against observational …

Persistent link: https://www.econbiz.de/10010870389