This paper introduces a -calculus with explicit substitutions, corresponding to an S4 modal logic of constructive necessity. As well as being semantically well motivated, the calculus can be used (a) to develop abstract machines, and (b) as a framework for specifying and analysing computation stages in the context of functional languages. We prove several syntactic properties of this calculus,...

The nuclear fuel cycle can be truly closed by supp lementing today’s thermal reactors with fast reactors, which can use as fuel the heavy, fissionable isotopes that accumulate in thermal-reactor fuel. In a fully closed cycle, the waste for disposal consists only of fission products with trace amounts of actinides. Eliminating the transuranics reduces the heat load in the repository, increasing ...

Fixed charge solid transportation problems are formulated as profit maximization problems under a budget constraint at each destination. Here item is purchased in different depots at different prices. Accordingly the item is transported to different destinations from different depots using different vehicles. Unitsare sold from different destinations to the customers at different selling prices...

This paper investigates a fuzzy portfolio selection problem with guaranteed reliability, in which the fuzzy variables are used to capture the uncertain returns of different securities. To effectively handle the fuzziness in a mathematical way, a new expected value operator and variance of fuzzy variables are defined based on the mλ measure that is a linear combination of the possibility measure...

The secretion of endogenous zinc (Zn) into the gut and subsequent excretion in the feces is understood to play a major role in maintaining Zn homeostasis in humans. Therefore, the measurement of endogenous Zn losses in the feces (EFZ) can be an important aspect of the study of Zn metabolism and homeostasis. The methods currently used to measure EFZ have the disadvantage of requiring complete fe...

A chief cybernetic feature of natural living systems is the recycling of nutrients, which tends to enhance stability and is one of the principal causes of ecosystem complexity. In 1976, Finn proposed a simple and effective measure (later known as the Finn cycling index [FCI]) to assess the quantitative importance of cycles in ecosystems. This index was successfully applied as a gauge of ecosyst...

Abstract Transparency has become the constant refrain of democratic politics. However, executive branch officials consistently seek to insulate their activities from public scrutiny. A recurrent rationale presents secrecy as a necessary measure called for in circumstances which basic interests state are at stake. The purpose this paper is normatively assess appeals necessity governance. fleshes...

The preferences of an agent can be expressed in various ways. The agent may indicate goals having different levels of priority for him, or provides classes of choices with their level of satisfaction for him. The first type of specification can be captured in possibilistic logic under the form of constraints on a necessity measure. It is shown in this paper that the second manner for expressing...