This paper generalizes traditional models of security policies, from specifications of whether programs are secure, to specifications of how secure programs are. This is a generalization from qualitative, black-and-white policies to quantitative, gray policies. Included are generalizations from traditional definitions of safety and liveness policies to definitions of gray-safety and gray-livene...

Article history: Received 1 August 2014 Accepted 1 August 2014 Available online 28 August 2014 Against the background of demographic change, gray entrepreneurship has become more prevalent.When gray entrepreneurs chose to leave paid employment to become self-employed, it is of concern for companies whomay lose highly capable older employees. One of the reasons for this can be a failure to under...

One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we continue the work of [7] to adapt the machinery of globular operads [4] to this task. The resulting theory includes the Gray tensor product of 2-categories and the Crans tensor product [12] of Gray categories. Moreover much of the pre...

Current theory suggests that neurocognitive late effects of treatments for childhood cancer such as difficulties with attention, processing speed and visual-motor ability are the result of white matter damage. Neuroimaging studies have produced a variety of white matter findings. However, although white matter is thought to be differentially affected, previous studies have not demonstrated a di...

in this research, the coupling between non-gray radiation and separation convection flow in a duct is investigated numerically. distributions of absorption coefficients across the spectrum  are obtained from the hitran2008 database. the full-spectrum k-distribution method is used to deal with the non-gray part of the problem, while the gray radiation calculations are performed using the planck ...

The accurate selection of a processing plant site can result in decreasing total mining cost. This problem can be solved by multi-criteria decision-making (MCDM) methods. This research introduces a new approach by integrating fuzzy AHP and gray MCDM methods to solve all decision-making problems. The approach is applied in the case of a copper mine area. The critical criteria are considered adja...

The geometric and algebraic properties of Gray categories with duals are investigated by means of a diagrammatic calculus. The diagrams are three-dimensional stratifications of a cube, with regions, surfaces, lines and vertices labelled by Gray category data. These can be viewed as a generalisation of ribbon diagrams. The Gray categories present two types of duals, which are extended to functor...