Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2014

2014

We study the determinants of antimalarial drug quality in developing countries using data from the retail market in Uganda. We… Expand

2010

2010

In this paper, a low-voltage fourth-order 2-2 cascade delta-sigma (ΔΣ) modulator using the proposed double-sampling switched… Expand

2009

2009

In response to the Fiscal Year 2006 National Defense Authorization Act, the US Navy conducted an alternative propulsion study… Expand

2009

2009

A MATLABTM toolbox for the design and simulation of continuous time (CT) and discrete time Sigma-Delta modulators is presented… Expand

2009

2009

This paper presents the novel design of a second-order continuous-time low-power and low-voltage SigmaDelta modulator. The… Expand

2009

2009

Abstract We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF… Expand

Highly Cited

2006

Highly Cited

2006

This brief addresses some practical issues on the implementation of the input-feedforward delta-sigma modulators. First, the… Expand

2005

2005

Abductive Logic Programming (ALP) combines abductive reasoning with logic programming. In recent work [2], we have introduced a… Expand

2004

2004

We describe a system implementing a novel extension of Fung and Kowalski’s IFF abductive proof procedure which we call CIFF, and… Expand

Highly Cited

2004

Highly Cited

2004

We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that… Expand