There are several semantics based for negation as failure in logic programming. These semantics can be realized with a combination of induction and coinduction, and this realization can be used to develop a goal-directed ...

Forty years have passed since the Sanger DNA sequencing technique faced the world. In the past 20 years, the advancement of the sequencing technique has suddenly sped up. This development has shared interests with the ...

Effective real-time monitoring is the key to understanding and tackling the issue of pharmaceutical contamination of water. This research demonstrates the utility of an alumina nanochannel-based electrochemical sensor ...

Recently, solution-processed hybrid halide perovskite has emerged as promising materials for advanced optoelectronic devices such as photovoltaics, photodetectors, light emitting diodes and lasers. In the mean time, ...

Nanostrucutured and nanoporous materials are the materials with at least one dimension and a pore size in nanoscale, respectively. The nanomaterials have been intensively studied for various applications ranging from energy ...

Early project-level initiatives of reducing emissions from deforestation and forest degradation' (REDD+) have left a negative impression among many forest-dependent peoples (FDP) across the tropics. As countries move towards ...

Due to dramatic growth of user population in the past decade, online social networks have become attractive channels for companies to launch marketing campaigns. We study a couple of closely related problems in online ...