Automating the operations of infrastructure networks such as energy grids and oil pipelines requires a range of planning and optimisation technologies. However, current planners face significant challenges in responding to this need. Notably, they are unable to model and reason about the global numerical state constraints necessary to capture flows and similar physical phenomena occurring in th...

This paper deals with linguistic constraints encoded in the form of (binary) tables, generally called lexicon-grammar tables. We describe a unified method to compile sets of tables of linguistic constraints into Finite State Automata. This method has been practically implemented in the linguistic platform Unitex. 1 Motivation Finite State Models have been intensively used in Natural Language Pr...

We describe a constraint-based morphological disambiguation system in which individual constraint rules vote on matching morphological parses followed by its implementation using finite state transducers. Voting constraint rules have a number of desirable properties: The outcome of the disambiguation is independent of the order of application of the local contextual constraint rules. Thus the r...

A state constraint is a new programming construct designed to restrict the domain of definition of a program. It can be used to decompose a program pathwise, i.e., to divide the program into subprograms along the control flow, as opposed to divide the program across the control flow when the program is decomposed into functions and procedures. As the result one can now construct and manipulate ...

For linear dynamic systems with white process and measurement noise, the Kalman ̄lter is known to be the minimum variance linear state estimator. In the case that the random quantities are Gaussian, then the Kalman ̄lter is the minimim variance state estimator. However, in the application of Kalman ̄lters known signal information is often either ignored or dealt with heuristically. For instance...

The study carried out an assessment of agricultural land management practices in food crops production among small scale farmers in Kwara Sate, Nigeria. Specifically, the study determined the socio economic characteristics of crop farmers in Kwara State; ascertained the cropping patterns common among them; highlighted the soil conservation methods adopted by the farmers; examined the relationsh...