Program structures appropriate for concurrency are often in conflict with object-oriented principles. Especially average programmers need high-level language constructs for concurrency with good integration into the object-oriented paradigm. A key concept in this respect is better static knowledge of the data flow. We propose to explicitly specify the flow of data accessibility in a program. Th...

In this paper we study coupled dynamical systems and establish several invariance principles relating to the dimensions of the subspace spanned by solutions of each individual system. We consider two types of coupled systems, one with scalar couplings and the other with matrix couplings. Via the rank-preserving flow theory, we prove that scalar-coupled dynamical systems possess the dimensional-...

We study the initial value problem associated to the BenjaminOno equation. The aim is to establish persistence properties of the solution flow in the weighted Sobolev spaces Zs,r = Hs(R) ∩L2(|x|2rdx), s ∈ R, s ≥ 1 and s ≥ r. We also prove some unique continuation properties of the solution flow in these spaces. In particular, these continuation principles demonstrate that our persistence proper...

We proved uniqueness and instability of the symmetric subsonic– sonic flow solution of the compressible potential flow equation in a surface with convergent areas of cross–sections. Such a surface may be regarded as an approximation of a two–dimensional convergent nozzle in aerodynamics. Mathematically these are uniqueness and nonexistence results of a nonlinear degenerate elliptic equation wit...

This report summarizes the Fifth Workshop on Programming Languages and Operating Systems (PLOS 2009), which was held in conjunction with the SOSP 2009 conference. This report presents the motivation for holding the workshop and summarizes the workshop contributions.

<1> Introduction It is generally assumed that in a language with the accusative case system a sentence with a finite predicate must have the subject NP marked with the nominative case. The abstract Case system developed by the Principles and Parameters approach (PPA) is based on this assumption, using the mechanism of the nominative and accusative Case checking for licensing the NPs with the st...

In this paper, non-standard tight closure is proposed as an alternative for classical tight closure on finitely generated algebras over C. It has the advantage that it admits a functional definition, similar to the characteristic p definition of tight closure, where instead of the characteristic p Frobenius, its ultraproduct, the non-standard Frobenius, is used. This new closure operation cl(·)...

OBJECTIVE To describe the socio-demographic along with the medico-legal characteristics of rape victims reporting to a female police station of Lahore. STUDY DESIGN Observational study. PLACE AND DURATION OF STUDY Female Police Station in Shadman, Lahore, from, June 1995 to January 2009. METHODOLOGY A total of 74 cases of alleged rape victims were identified while reviewing all available ...