Semantic Scholar uses AI to extract papers important to this topic.
We study the determinants of antimalarial drug quality in developing countries using data from the retail market in Uganda. We… Expand In this paper, a low-voltage fourth-order 2-2 cascade delta-sigma (ΔΣ) modulator using the proposed double-sampling switched… Expand In response to the Fiscal Year 2006 National Defense Authorization Act, the US Navy conducted an alternative propulsion study… Expand A MATLABTM toolbox for the design and simulation of continuous time (CT) and discrete time Sigma-Delta modulators is presented… Expand This paper presents the novel design of a second-order continuous-time low-power and low-voltage SigmaDelta modulator. The… Expand Abstract We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF… Expand This brief addresses some practical issues on the implementation of the input-feedforward delta-sigma modulators. First, the… Expand Abductive Logic Programming (ALP) combines abductive reasoning with logic programming. In recent work , we have introduced a… Expand We describe a system implementing a novel extension of Fung and Kowalski’s IFF abductive proof procedure which we call CIFF, and… Expand We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that… Expand