This paper characterizes the equilibrium demand and risk premiums in the presence of skewness risk. In a model with a single time period, we extend the classical mean-variance two-fund separation theorem to a three-fund separation theorem. The additional fund is the skewness portfolio, i.e. a portfolio that gives the optimal hedge of the squared market return; it contributes to the skewness ris...

Separation logic has been successful at verifying that programs do not crash due to illegal use of resources. The underlying assumption, however, is that machines do not fail. In practice, machines can fail unpredictably for various reasons, e.g. power loss, corrupting resources. Critical software, e.g. file systems, employ recovery methods to mitigate these effects. We introduce an extension o...

Shabir and Naz in [25] introduced the notion of soft topological spaces. They defined basic notions of soft topological spaces such as open soft sets, closed soft sets, soft subspaces, soft closure, soft nbd of a soft point, soft separation axioms, soft regular spaces, soft normal spaces and they established their several properties. Min in [19] investigated some properties of such soft separat...

We study the location of local minima of the finite sample approximation to the constant modulus cost function. This paper concentrates on source separation. The main result is a connection between the number of samples and the probability of obtaining a local minimum of the finite approximation within a given sphere around the local minimum of the CM cost function.

In this chapter, we describe the use of economic principles as the basis for Grid resource allocation policies and mechanisms. A computational economy in which users “buy” resources from their owners is an attractive method of controlling Grid resource allocation for several reasons. Economies are intuitively easy to understand, they fit the model of flexible resource usage under local control ...

This paper proposes a technique to specify and verify whether a loop can be parallelised. Our approach can be used as an additional step in a parallelising compiler to verify user annotations about loop dependences. Essentially, our technique requires each loop iteration to be specified with the locations it will read and write. From the loop iteration specifications, the loop (in)dependences c...

Reducing CO2 emission and lowering the concentration of greenhouse gases in the atmosphere has quickly become one of the most urgent environmental issues. While a variety of technologies and methods have been developed, the separation of CO2 from gas streams is still a critical issue. Apart from establishing new techniques, the exploration of membrane materials with high separation performance ...

In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to tame, or control, the complexity of concurrent interactions, but neither is the ultimate approach. Rely-guarantee copes naturally with interference, but its specifications are complex because they describe the entire state. Conve...

Die Wartung und Weiterentwicklung von Software-Produktlinien stellen wegen des Umfangs und der angestrebten Nutzungsdauer herausfordernde Aufgaben dar. Die Zerlegung gemäß Separation of Concerns bildet ein grundlegendes Prinzip zur Verbesserung der Wartbarkeit eines Systems, weil es zu starker Kapselung und zu geringer Kopplung von Komponenten führt. Features stehen bei der Entwicklung von Prod...

AIM To examine the association between childhood atopic dermatitis (AD) severity and family impact at baseline and after an intervention by a physician specialist, using validated measures of both severity and family impact. METHODS Cross sectional self administered survey of parent-caregivers of 49 randomly selected children with AD; 35 parents were available for follow up. Family impact was...