This paper presents a novel shooting algorithm for solving two-point boundary value problems (BVPs) for differential equations of one independent variable. This algorithm includes the following steps: First, a shooting step is performed, in which a guess for the initial condition is made and a forward numerical integration of the differential equation is performed so that an Initial Value Probl...

Although best known for his work in symbolic logic, George Boole made seminal contributions in the logic of probabilities. He solved the probabilistic inference problem with a projection method, leading to the insight that inference (as well as optimization) is essentially a projection problem. This unifying perspective has applications in constraint programming, because consistency maintenance...

This paper describes a block (affine) projection algorithm that has exactly the same convergence rate as the original sample-by-sample algorithm and smaller computational complexity than the fast affine projection algorithm. This is achieved by 1) introducing a correction term that compensates for the filter output difference between the sample-by-sample projection algorithm and the straightfor...

During the evaluation of a constraint logic program, many local variables become inaccessible, or dead. In Prolog and other programming languages, the data bound to local variables can be removed automatically by garbage collection. The case of CLP is more complex, as the variables may be involved in several constraints. We can consider dead variables to be existentially quantiied. Removing an ...

Machine learning models have been successfully used in many scientific and engineering fields. However, it remains difficult for a model to simultaneously utilize domain knowledge experimental observation data. The application of knowledge-based symbolic AI represented by an expert system is limited the expressive ability model, data-driven connectionism neural networks prone produce prediction...

The security aspects of aeronautical ad-hoc networks (AANET) relying on reflective intelligent surface (RIS) are considered. A projection-based deep neural network (DNN) is designed for maximizing the secrecy rate proposed RIS-aided AANET. While multiple-layer architecture DNN enables learning ...