BACKGROUND In 2015, 5.3 million babies died in the third trimester of pregnancy and first month following birth. Progress in reducing neonatal mortality and stillbirth rates has lagged behind the substantial progress in reducing postneonatal and maternal mortality rates. The benefits to prenatal and neonatal health (PNH) from maternal and child health investments cannot be assumed. METHODS We...

In South Asia, a fruit often known as Bael is valuable medicinal plant, which scientifically named Aegle marmelos. Not just the fruits but also leaves, stems, bark, and roots are used in traditional medicine. Since ancient times, plant has been to treat variety of chronic illnesses. Several scientific investigations have confirmed nutritional properties plant-derived compounds. Global concern a...

Data exchange [5, 1] is the problem of migrating a data instance from a source schema to a target schema such that the materialized data on the target schema satisfies a number of given integrity constraints (mainly inclusion and functional dependencies). The target schema typically contains some new attributes that are defined using existentially quantified variables: the main issue is to redu...

In this work, we extend the dependency pair approach for automated proofs of termination in order to automate the termination proofs of narrowing. Narrowing is a generalization of term rewriting that allows free variables in terms (as in logic programming) and replaces pattern matching by syntactic unification. Narrowing has a number of important applications including execution of functional–l...