‎by considering a degenerate $p(x)-$laplacian equation‎, ‎a generalized compact embedding in weighted variable‎ ‎exponent sobolev space is presented‎. ‎multiplicity of positive solutions are discussed by applying fibering map approach for the‎ ‎corresponding nehari manifold‎.

Program state-space exploration is central to software security, testing, and verification. In this paper, we propose a novel technique for state-space exploration of software that maintains an ongoing interaction with its environment. Our technique uses a combination of symbolic and concrete execution to build an abstract model of the analyzed application, in the form of a finite-state automat...

This paper considers the identification of large-scale 1D networks consisting of identical LTI dynamical systems. A new subspace identification method is developed that only uses local input-output information and does not rely on knowledge about the local state interaction. The identification of the local system matrices (up to a similarity transformation) is done via a low dimensional subspac...

Next Generation Air Traffic Management will allow for the possibility of free flight, in which each aircraft chooses its own optimal route, altitude and speed. In a free flight environment, the trajectories of several aircraft may be conflicting, in which case aircraft may or may not cooperate in resolving the conflict. This paper presents a method for noncooperative conflict resolution in whic...

This paper provides new empirical evidence that price-based technical indicator variables can enhance the ability of accounting variables in explaining cross-sectional stock returns. We apply both OLS and state-space modelling to a sample of firms included in the Russell 3000 index over the period from 1999-2012 to compare the roles of the two main types of information typically used by stock i...

We investigate a new class of metrics to find good variable orders for decision diagrams in symbolic state-space generation. Most of the previous work on static ordering is centered around the concept of minimum variable span, which can also be found in the literature under several other names. We use a similar concept, but applied to event span, and generalize it to a family of metrics paramet...