In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of constraints on local variables in non-Boolean expressions. Specifications using these facilities are often more succinct. However, these specifications are typically executed on solvers that only support questions of the fo...

In this paper, a recursive state estimator is developed to handle the problem of state estimation of nonlinear discrete-time dynamical systems when some of the states of these systems are subject to equality or inequality constraints which are due to physical or practical considerations. The system model and the measurements are assumed to be corrupted by zero mean white Gaussian noise. The pro...

Java’s memory-safety relies on the Java Virtual Machine checking that each access to an array does not exceed the bounds of that array. When static analysis can determine that some array access instruction will never use an out of bounds index, the cost of dynamically checking the index each time the instruction is executed can be avoided. This report introduces Block-Qualified Variable Elimina...

in this study, an effort has been made to determine the most important risk factors of tuberculosis (tb) in district mardan. a total of 645 cases were examined, and their personal and medical data were collected. for each case, the phenomenon of tb was studied in relation to different risk factors. statistical techniques of logistic regression and backward elimination procedure were used to ana...

In this paper, a strategy involving the combination of optimal discrete-time sliding-mode control and recurrent neural networks is proposed for class uncertain linear systems. First, performance index based on reaching law signal defined. Then, constrained quadratic programming problem formulated considering limitations as static constraint. The dynamic algebraic model network derived optimizat...