Saltwater intrusion risk assessment is a foundational step for preventing and controlling salinization in coastal regions. The Vietnamese Mekong Delta (VMD) highly affected by drought threats, especially severe under the impacts of global climate change rapid development an upstream hydropower dam system. This study aimed to apply modified DRASTIC model, which combines generic model with hydrol...

Recently, model checkers have become commercially available. To investigate their ability, Solidify is selected as the representative of them and applied to a verification of a new processor. The processor adopts new memory hierarchy and new instructions. Its instruction issue is pipelined and in-order. Our experiment reveals that Solidify can verify the processor but drastic abstraction is ind...

Received () Revised () A bit-string model of biological life-histories is parallelized, with hundreds of millions of individuals. It gives the desired drastic decay of survival probabilities with increasing age for 32 age intervals.