In this study, a new and efficient approach is presented for numerical solution of Fredholm integro-differential equations (FIDEs) of the second kind on unbounded domain with degenerate kernel based on operational matrices with respect to generalized Laguerre polynomials(GLPs). Properties of these polynomials and operational matrices of integration, differentiation are introduced and are ultili...

We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative style of interaction between tools. We propose the use of an existing planning technique, called proof planning, as a possible basis for achieving strong integration.

The rendering software supports direct point lighting and also environment lighting. We approximate environment lighting based on captured lighting environments. We use an image-based environment illumination technique to light the face with a specified environment map. An example is shown in Figure 1.The environment map is prefiltered with several blur kernels, for diffuse integration, glossy ...

This paper presents a hybrid positioning technique combining both loosely and tightly coupled Kalman Filter (KF) algorithms for an autonomous multi-wheeled combat vehicle. The developed algorithm is able to provide accurate information even if number of visible satellites falls below the minimum due harsh operation environments. Two modes were considered which automatically switch between them ...

ManyWindows-based legacy applications can be programmatically accessed using COM interfaces. However, calling COM components from Java is not straightforward. This report compares four open source Java-COM integration packages. A technique for typesafe Java-COM integration is presented. The technique is based on typesafe COM interface wrappers using jcom, java2com and JACOB libraries. Examples ...

We present a full implementation of the parareal algorithm—an integration technique to solve di erential equations in parallel— in the Julia programming language for a fully general, rst-order, initial-value problem. Our implementation accepts both coarse and ne integrators as functional arguments. We use Euler’s method and another Runge-Kutta integration technique as the integrators in our exp...