This paper presents a novel efficient method for gridless line spectrum estimation problem with single snapshot, namely the gradient descent least squares (GDLS) method. Conventional snapshot (a.k.a. measure vector or SMV) methods either rely on smoothing techniques that sacrifice array aperture, adopt sparsity constraint and utilize compressed sensing (CS) by defining prior grids resulting in ...

The joint-sparse recovery problem aims to recover, from sets of compressed measurements, unknown sparse matrices with nonzero entries restricted to a subset of rows. This is an extension of the single-measurement-vector (SMV) problem widely studied in compressed sensing. We analyze the recovery properties for two types of recovery algorithms. First, we show that recovery using sum-of-norm minim...

Multiple Measurement Vectors (MMV) is a newly emerged problem in sparse over-complete representation. Efficient methods have been designed. Considering many theoretical results that are available in a simple case— Single Measure Vector (SMV)—the theoretical analysis regarding MMV is lacking. In this paper, some known results of SMV are generalized to MMVs; new results particularly for MMV are a...

Abdominal pain is a common occurrence, and it may vary from subtle pain to very severe pain due to a variety of causes, some of which may even be life-threatening. It is commonly believed that a life-threatening cause is almost always very severe with regards to the symptomatology. However, here in this case report, we report an unusual case of abdominal pain due to superior mesenteric vein (SM...

This paper proposes an objective quality assessment method for voice communication systems using packet loss information. Based on the fact that the effect of packet loss to perceptual quality varies depending on the signal characteristics of lost packets, different weighting factors are applied to predicting overall quality. Considering the key paradigm of low bit rate speech coders such as pa...

In this paper we enlarge the language of MV-algebras by a unary operation r equationally described so as to preserve the basic properties of a state in its original meaning. The resulting class of algebras will be called MV-algebras with internal state (or SMV-algebras for short). After discussing some basic algebraic properties of SMV-algebras, we apply them to the study of the coherence probl...

Embedded systems are becoming increasingly popular due to their widespread applications. For safety-critical applications an approach is needed to validate the complexity of VLSI designs at a higher abstraction level. With formal verification we verify that every possible behavior of the target system satisfies the specification. SMV is a formal verification system for hardware designs, based o...

The superior mesenteric vein (SMV) is one of the two tributaries to portal vein, which main pre- hepatic drainage channel splanchnic circulation. Venous thrombosis in SMV rare causes ischemic syndrome. Clinical presentation often vague abdominal symptoms. It seldom presents with hematemesis, may further confound diagnosis, thereby increasing risk poor outcomes. This case highlights an otherwise...

Presenter: Omero Costa Filho MD, MSc | Hospital Militar de Área Porto Alegre (HMAPA) Methods: Description of our conventional technique for LPD using hanging maneuver to expose uncinate process with the principles “artery-first” approach. Results: is performed patient placed in a supine, split-leg position and carefully secured operative table, surgeon on foot between legs, an assistant at each...