- Full text PDF available (2)
- This year (0)
- Last five years (1)
predicted Bed elevations were in a good agreement with the field measurements and imply that the CCHE2D model can simulate, to an extent of satisfaction, an unsteady natural river channel flow with a complicated geometry with sharp bends and wider flood plains.
Formal verification of software is a perennial problem and an inclusion to formal verification challenges is AOP (Aspect Oriented programs). Likewise, several contrary formal verification approaches exist for OOP (Object Oriented programs) but unable to deliver same robustness for AOP verification and also the proposed approaches to verify AOP seem to be… (More)
Titanate nanotubes containing 2.5 wt% Ni were synthesized from TiO2 sol using alkali hydrothermal treatment followed by a simple ion-exchange process. The changes in phase, shape and morphology, surface area, and photocatalytic activity of these nanotubes have been explored as a function of calcination temperature. The samples were characterized using… (More)