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 ...

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 ...

Introducing explicit quantum transport into Si transistors in a manner amenable to industrial fabrication has proven challenging. Hybrid field-effect/bipolar Si transistors fabricated on an industrial 45 nm process line ...