Sequential decision problems under uncertainty are commonly studied with stochastic programing. An important modeling choice is the number of stages. More stages allow additional information to be captured, but associated a coarser representation may worsen solution quality. In this paper, we study trade-off, objective advance understanding how affect quality in We show: (i) optimistic bounds f...

The purpose of this work is to define a theorem prover that retains the procedural aspects of logic programing. The proof system we propose (SLWV1 resolution) is defined for a set of clauses in the implicational form (keeping to the form of logic programs), not requiring contrapositives, and has an execution method that respects the execution order of literals in a clause, preserving the proced...

This work aims to validate the wide use of an algorithm developed using genetic programing (GP) techniques allowing discern between water and non-water pixels near infrared band different thresholds. A total 34 wetlands shallow lakes 18 ecological types were used for validation. These include marshes, salt ponds, saline freshwater, temporary permanent lakes. Furthermore, based on spectral match...

Several attempts have been made for estimating the vital swelling index parameter conducted by expensive and time-consuming Oedometer test. However, they only focused on neuron network neglecting other advanced methods that could increased predictive capability of models. In order to overcome this limitation, current study aims elaborate an alternative model from geotechnical physical parameter...

A mathematical programming approach to deal with the global configuration of resource constraints is presented. A specialized parametric programming algorithm to obtain the pareto set for the biobjective problem that appears to deal with the global configuration for 0-1-Integer Linear Programing problems is presented and implemented. Computational results for Multiconstrained Knapsack problems ...

This paper represents an integrated development environment for visual parallel programing. We believe that parallelism is clearly seen in visual form. Many classes of the problems are naturally described in flowchart form. So we design the integrated develop environment, described all its parts, and trace the entire path of the algorithm’s development.

Stress perception, response, adaptation, and coping strategies are individually distinct, and the sequel of stress and/or glucocorticoids (GCs) is also distinct between subjects. In the last years, it has become clear that early life stress is a powerful modulator of neuroendocrine stress-responsive circuits, programing intrinsic susceptibility to stress, and potentiating the appearance of stre...

Thirst and sodium appetite are the sensations responsible for the motivated behaviors of water and salt intake, respectively, and both are essential responses for the maintenance of hydromineral homeostasis in animals. These sensations and their related behaviors develop very early in the postnatal period in animals. Many studies have demonstrated several pre- and postnatal stimuli that are res...

Let A be an (m × n) integral matrix, and let P = {x : Ax ≤ b} be an n-dimensional polytope. The width of P is defined as w(P ) = min{x ∈ Z\{0} : maxx∈Pxu−minx∈Pxv}. Let ∆(A) and δ(A) denote the greatest and the smallest absolute values of a determinant among all r(A)× r(A) submatrices of A, where r(A) is the rank of a matrix A. We prove that if every r(A) × r(A) sub-matrix of A has a determinan...