Filters








131,704 Hits in 3.7 sec

Semi – Bounded Modules

Baghdad Science Journal
2012 Baghdad Science Journal  
Moreover, some relations between semi-bounded modules and other types of modules are considered.  ...  In this paper, some properties and characterizations of semi-bounded modules are given. Also, various basic results about semi-bounded modules are considered.  ...  If P is a prime ideal of R and M is a finitely generated semi-bounded Rmodule, then M P is a semi-bounded R P -module. t Some Relations Between Semi-Bounded Modules and Other Modules In this section,  ... 
doi:10.21123/bsj.9.4.720-727 fatcat:dvw5euydwvbtnfxkf7x7vxmxsy

Learning Dual Retrieval Module for Semi-supervised Relation Extraction [article]

Hongtao Lin, Jun Yan, Meng Qu, Xiang Ren
2019 arXiv   pre-print
In this way, high-quality samples selected by retrieval module from unlabeled data can be used to improve prediction module, and vice versa.  ...  To model this intuition, we propose DualRE, a principled framework that introduces a retrieval module which is jointly trained with the original relation prediction module.  ...  We would like to thank all the collaborators in INK research lab for their constructive feedback on the work.  ... 
arXiv:1902.07814v2 fatcat:wv4qtt7wbrfipbp4dh3e7hrowm

Abstracts of Theses

1967 Canadian mathematical bulletin  
A weak analogue of the Faith-Utumi ci -ci theorem is given for orders in group rings of finite groups. Commutative semi-perfect group rings are examined.  ...  (in appropriate cases) of a bound equal to the spectral radius of a matrix.  ... 
doi:10.1017/s0008439500028770 fatcat:bptuvvndufdixmqy5c4att5iuu

Page 1140 of Mathematical Reviews Vol. 53, Issue 4 [page]

1977 Mathematical Reviews  
If the fully bounded Noetherian ring R is an order in an Artin ring A, the above is related to the question of when A is of finite representation type.  ...  Let Q be a locally finite quasi-ordered set, i.e., Q has a relation S which is reflexive and transitive and each interval [x, y] in Q is finite.  ... 

You Only Move Once: An Efficient Convolutional Neural Network for Face Detection

Jie Xu, Ye Tian, Haoyu Wu, Baowen Luo, Jinhong Guo
2019 IEEE Access  
YOMO performs scale-invariantly by utilizing top-down architecture with feature agglomeration, and multiple detection modules instead of in an image pyramid approach.  ...  At the same time, we propose a semi-soft random cropping algorithm that enables different detection module adequately trained by different scales of samples.  ...  In order to improve the recall rate in ContROC, we train an ellipse regressor to convert rectangle bounding boxes to ellipses.  ... 
doi:10.1109/access.2019.2954936 fatcat:ysw3ifrcwbgzpezxppkyhf4unu

On Modular Termination Proofs of General Logic Programs [article]

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
2001 arXiv   pre-print
We consider programs consisting of a hierarchy of modules and supply a general result for proving termination by dealing with each module separately.  ...  It is based on the notion of acceptable programs, but it allows us to prove termination in a truly modular way.  ...  Since A is bounded, we can conclude that L i θ i is bounded and also that max |A| > max |L i θ i |. We are going to extend the above theorem in order to handle the presence of more than two modules.  ... 
arXiv:cs/0005018v2 fatcat:dytwyicysfam3g56e55usihdji

On modular termination proofs of general logic programs

ANNALISA BOSSI, NICOLETTA COCCO, SABINA ROSSI, SANDRO ETALLE
2002 Theory and Practice of Logic Programming  
We consider programs consisting of a hierarchy of modules and supply a general result for proving termination by dealing with each module separately.  ...  It is based on the notion of acceptable programs, but it allows us to prove termination in a truly modular way.  ...  Since A is bounded, we can conclude that L i θ i is bounded and also that max |A| > max |L i θ i |. We are going to extend the above theorem in order to handle the presence of more than two modules.  ... 
doi:10.1017/s1471068402001382 fatcat:nwjud3ape5fqnjgn53bphqaz5y

On the complexity of zero-dimensional multiparameter persistence [article]

Jacek Brodzki, Matthew Burfitt, Mariam Pirashvili
2020 arXiv   pre-print
In particular, we consider the multiparameter persistence modules of the zero-dimensional homology of filtered topological spaces when they are finitely generated.  ...  In particular we identify a natural class of representations that decompose and can be extended back to form zero-dimensional multiparameter persistence modules.  ...  Any semi-component module S over a finite partial order P arises as a summand of a component module C in the following way C = S ⊕ I, where I is an interval module over P . Proof.  ... 
arXiv:2008.11532v1 fatcat:ljg2tjrg7femznkcjjven6mhbe

Vandermonde varieties, mirrored spaces, and the cohomology of symmetric semi-algebraic sets [article]

Saugata Basu, Cordian Riener
2020 arXiv   pre-print
We prove that the Specht modules corresponding to partitions having long lengths cannot occur with positive multiplicity in the isotypic decompositions of low dimensional cohomology modules of closed semi-algebraic  ...  ,X_k]^S_k_≤ d, where D is an ordered domain contained in R, and computes the ranks of the first (ℓ+1) cohomology groups, of the symmetric semi-algebraic set defined by Φ.  ...  Relation between Solomon modules and Specht modules. We next prove a recursive formula for computing the multiplicities of Specht modules in the Solomon modules (Proposition 2 and Corollary 1).  ... 
arXiv:1812.10994v3 fatcat:kmwmhjznvrekfovm76kz72toxi

Page 55 of Mathematical Reviews Vol. 52, Issue 1 [page]

1976 Mathematical Reviews  
For example in § 3 the author shows that these conditions are equivalent : (a) R satisfies (N); (b) the semi-group of M-primary complete ideals is semi-factorial {complete here is in the sense related  ...  The idea is to use the multiplicity to force boundedness or prime boundedness in low Krull dimension. Examples are also provided which display the limits of these techniques. J. L.  ... 

Structure theory of multi-level deterministically synchronized sequential processes

Laura Recalde, Enrique Teruel, Manuel Silva
2001 Theoretical Computer Science  
Among them the existence of a polynomial time necessary and su cient condition for the existence of a live and bounded marking.  ...  In order to concentrate on Fig. 8 .  ...  The ÿrst one is that any L&B system is also str. bounded, i.e., a non-str. bounded (DS) * SP net cannot be L&B marked. In other words, under liveness boundedness and str. boundedness are equivalent.  ... 
doi:10.1016/s0304-3975(99)00112-7 fatcat:zllbu76gwbgtfbjwoex72hyn2q

Page 134 of American Mathematical Society. Bulletin of the American Mathematical Society Vol. 63, Issue 2 [page]

1957 American Mathematical Society. Bulletin of the American Mathematical Society  
Barnett: Semi-covariants in projec- tive differential geometry.  ...  If A is an abelian variety, let ®, ®o be the k-modules of, respectively, the closed, and the exact classes; typical re- sults are: (1) @/@o is a k-module of order m; (2) there is an isomorphism a of the  ... 

Page 195 of Mathematical Reviews Vol. 15, Issue 3 [page]

1954 Mathematical Reviews  
Let K be a topological division ring which is locally bounded and minimal in the sense that no weaker locally bounded topology exists.  ...  A second, closely related, result is that 2 has a faithful representation x—S, in a space over an extension 2 of ® such that §(%) = {x|tr(S,S,)=0 for every y in }. W. G. Lister (Providence, R. I.).  ... 

Smarandache – R-Module And Commutative And Bounded Be-Algebras

N. KANNAPPA, P. HIRUDAYARAJ
2015 Zenodo  
In this paper we introduced Smarandache – 2 – algebraic structure of R-Module namely Smarandache – R-Module.  ...  We define Smarandache – R-Module and obtain some of its characterization through Commutative and Bounded BE-Algebras.  ...  By <proper subset> of a set A, We consider a set P included in A and different from A, different from the empty set, and from the unit element in Aif any they rank the algebraic structures using an order  ... 
doi:10.5281/zenodo.23505 fatcat:w6rb2ztshffxvk6trowtuiu4bu

Page 38 of Mathematical Reviews Vol. 20, Issue 1 [page]

1959 Mathematical Reviews  
to 0, is itself order- bounded.  ...  of elements is | order-bounded.  ... 
« Previous Showing results 1 — 15 out of 131,704 results