We investigate the possibility of constructing a fully compositional concurrent process algebra (dubbed Communicating Visibly pushdown Processes or CVP for short) based on visibly pushdown automata. CVP is a superset of CSP, thus combining all the good properties of finite-state algebrae with context-free features. In particular, CVP includes support for parallel composition (which has however ...

in this paper, we nd the relationships between module contractibility of abanach algebra and its ideals. we also prove that module contractibility ofa banach algebra is equivalent to module contractibility of its module uniti-zation. finally, we show that when a maximal group homomorphic image ofan inverse semigroup s with the set of idempotents e is nite, the moduleprojective tensor product ...

The present paper was inspired by the work on polarized embeddings by Cardinali et al. (J. Algebr. Comb. 25(1):7–23, 2007) although some of our results in it date back to 1999. They study polarized embeddings of certain dual polar spaces, and identify the minimal polarized embeddings for several such geometries. We extend some of their results to arbitrary shadow spaces of spherical buildings, ...

In the last two decades, continuous, ever-growing demand for energy has driven significant development in production of photovoltaic (PV) modules. A critical issue module design process is adoption suitable encapsulant materials and technologies cell embedding. Adopted encapsulants have a impact on efficiency, stability, reliability. addition, to ensure unchanged performance PV modules time, mu...

Medium-low resolution (M-LR) remote sensing ship detection is a challenging problem due to the small target sizes and insufficient appearance information. Although image super (SR) has become popular solution in recent years, ability of SR limited since much information lost input images. Inspired by powerful embedding encoder rescaling, this paper, we introduce rescaling guide training SR. Spe...

This paper describes the intonation prediction algorithm used in the speech synthesis component of the SmartKom dialog system. Both prosodic phrasing and default accent prediction operate on syntactic structure generated by a language generation module. Two configurational rules are applied to find candidate prosodic phrases. A harmonization algorithm selects the best candidates taking into acc...

Let R <-* S be an embedding of associative noetherian rings such that 5 is finitely generated as a right Ä-module. There is a correspondence from the prime spectrum of S to the prime spectrum of R obtained by associating to a given prime ideal P of S the prime ideals of R minimal over P n R . The prime and primitive ideal theories for several specific noncommutative noetherian rings, including ...

Extracting information from the huge time series is a challenging task. Databases are prepared by keeping in mind the type of information required. Indexing a time series is a difficult task, where shape may not be exact. Finding the minima and maxima of the time series is another difficult job dependent on the expert’s subjectivity. In this information age algorithmic trading is the buzz word....

This paper proposes a heuristic reward reinforcement learning framework for point cloud registration. As an essential step of many 3D computer vision tasks such as object recognition and reconstruction, registration has been well studied in the existing literature. contributes to literature by addressing limitations embedding functions methods. An improved state-embedding module stochastic func...

Many real-world networks can be modeled as attributed networks, where nodes are affiliated with attributes. When we implement network embedding, need to face two types of heterogeneous information, namely, structural information and attribute information. The undirected is usually expressed a symmetric adjacency matrix. Network embedding learning utilize the above learn vector representations i...