Defensive actions in critical infrastructure environments will increasingly require automated agents to manage the complex, dynamic interactions that occur between operators and malicious actors. Characterizing such agent behavior requires the ability to reason about distributed environments where the state of a channel or process depends on the actions of the opposing sides. This paper describ...

the present work is the successful extension of an improved equation of state (eos) to refrigerant fluids. the objective is the prediction of isothermal and saturated liquid densities of refrigerants. two temperature-independent parameters appearing in the modified eos are closely related to critical point properties of refrigerant fluids. our results showed that, the proposed eos can predict w...

We present Woodin’s proof that if there exists a measurable Woodin cardinal δ, then there is a forcing extension satisfying all Σ2 sentences φ such that CH+φ holds in a forcing extension of V by a partial order in Vδ. We also use some of the techniques from this proof to show that if there exists a stationary limit of stationary limits of Woodin cardinals, then in a homogeneous forcing extensio...

Introduction Agricultural development is critical to the reconstruction of Afghanistan. Central to rebuilding the agriculture sector is the need for an effective agriculture research and extension system. Throughout the world, and in Afghanistan, agriculture research and extension is in transition – influenced by trends toward reduced government intervention in the economy, growth of the privat...