In this paper we deene a compositional semantics for a generalized composition operator on logic programs. Static and dynamic inheritance as well as composition by union of clauses can all be obtained by specializing the general operator. The semantics is based on the notion of diierential programs, logic programs annotated with declarations that establish the programs' external interfaces.

First order neutral di¤erential equations are studied and su‰cient conditions are derived for every solution to be oscillatory. Our approach is to reduce the oscillation of neutral di¤erential equations to the nonexistence of eventually positive solutions of non-neutral di¤erential inequalities. Our results extend and improve several known results in the literature.

a novel and eective method based on haar wavelets and block pulse functions(bpfs) is proposed to solve nonlinear fredholm integro-dierential equations of fractional order.the operational matrix of haar wavelets via bpfs is derived and together with haar waveletoperational matrix of fractional integration are used to transform the mentioned equation to asystem of algebraic equations. our new m...

Prediction and ltering of continuous-time stochastic processes require a solver of a continuous-time di erential Lyapunov equation (cdle). Even though this can be recast into an ordinary di erential equation (ode), where standard solvers can be applied, the dominating approach in Kalman lter applications is to discretize the system and then apply the discrete-time di erence Lyapunov equation (d...

| Four schemes for linearizing the transconductance of the basic di erential pair in subthreshold CMOS are examined. They are: source degeneration via (1) diode-connected transistors, (2) a single di usor and (3) symmetric di usors, and (4) multiple asymmetric di erential pairs. We derive equations for the di erential output current for each linearizing technique. We apply a maximally at optimi...

We give a short introduction to the stochastic calculus for Itô-Lévy processes, and review brie‡y the two main methods of optimal control of stochastic systems described by such processes, namely: (i) Dynamic programming and the Hamilton-Jacobi-Bellman (HJB) equation (ii) The stochastic maximum principle and its associated adjoint backward stochastic di¤erential equation (BSDE). The two methods...

one of the ecient and powerful schemes to solve linear and nonlinear equationsis homotopy analysis method (ham). in this work, we obtain the approximate solution ofa system of partial dierential equations (pdes) by means of ham. for this purpose, wedevelop the concept of ham for a system of pdes as a matrix form. then, we prove theconvergence theorem and apply the proposed method to nd the a...

In a di erential equations course, one typically studies a few classes of problems for which there are closed form solutions, such as ordinary, linear di erential equations with constant coe cients. Most problems of interest in real world simulation problems are much more complex, however, involving domains of two or more dimensions or nonlinear e ects, yielding partial di erential equations or...

In this paper, we study the existence and stability of traveling waves in lattice dynamical systems, in particular, in lattice ordinary di erential equations (lattice ODE's) and in coupled map lattices (CML's). Instead of employing the moving coordinate approach as for partial di erential equations, we construct a local coordinate system around a traveling wave solution of a lattice ODE, analog...

ADi erentially controlled monolithic LC-VCO along with a di erential charge pump are used to implement a di erential PLL for substrate noise immunity. The di erential VCO control is achieved with minimal increase in the power consumption and without sacri cing the tuning range. In a 0.5 m CMOS technology the measured VCO phase noise is -119dBc @1.0MHz and the tuning range is 26% of the 1.25GHz ...