RESEARCH TRENDS IN HUMANITARIAN LOGISTICS AND SUSTAINABLE DEVELOPMENT: A BIBLIOMETRIC ANALYSIS



Pore-scale physics of ice melting within unconsolidated porous media revealed by non-destructive magnetic resonance characterization

Abstract Melting of ice in porous media TV widely exists in energy and environment applications as well as extraterrestrial water resource utilization.In order to characterize the ice-water phase transition within complicated opaque porous media, we employ the nuclear magnetic resonance (NMR) and imaging (MRI) approaches.Transient distributions of

read more


A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

Asparagus Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns.In the model checking approach, the behavior and structure of system should be modeled.Graph transformation system is a graphical formal modeling language to spe

read more