A realistic system for planning with unccrtaln information in partially observable domains must be able to reason about sensing actions and to condition its further actions on the sensed information. Among implemented planning systems, we can distinguish two approaches to contingent decision-theoretic planning. The first is characterized by a highly unconstrained plan space, while the second is...

In this paper, we introduce $rho$-altering $J$-type mappings in modular spaces. We prove some fixed point theorems for $rho$-altering and $rho$-altering $J$-type mappings in modular spaces. We also furnish illustrative examples to express relationship between these mappings. As a consequence, the results are applied to the existence of solution of an integral equation arising from an ODE ...

Many organisational environments are far from equilibrium. The strategic flexibilities of modular product designs can help organisations prepare for an uncertain future, but managers must develop ways to imagine possible futures in order to use such flexibilities to respond to them. This paper discusses a scenario-based approach to anticipating and responding to uncertain futures by developing ...

In a graph G = (V,E), a subset $S⊂V$ is said to be an open packing set if no two vertices of S have a common neighbour in G. The maximum cardinality of an open packing set is called the open packing number and is denoted by $ρ^{o}$. This paper further studies on this parameter by obtaining some new bounds.

We investigate the interaction between structured recursion combinators and modularization in the style of Standard ML. When built-in structured recursion combinators are straightforwardly added to a language like SML’97 or OCaml, they cannot operate over values of abstractly specified types. Consequently, when a program is modularized in an abstract and fine-grained way, the structured recursi...

In this paper an overview on proof systems for structured algebraic specifications is presented. As underlying language we choose an ASL-like kernel language which includes reachability and observability operators. Three different kinds of proof systems are studied. The first two approaches are non-compositional systems where the basic idea is to compute for any structured specification a flat ...

Volatile Organic Compounds (VOCs) having different polarities were absorbed in two viscous waste oils (a transformer oil and a lubricant, whose viscosities are equal to 19 mPa s 79 s, respectively) structured packing (1 m height) operated at counter-current. A synthetic hydrophobic solvent (PDMS 20, silicone oil) water also used as reference solvents. Removal efficiencies of VOCs up 80–90% meas...