Results 31 to 40 of about 384,528 (314)
Formal verification of secure group communication protocols modelled in UML [PDF]
, 2010 The paper discusses an experience in using UML and two complementary verification tools in the framework of SAFECAST, a project on secured group communication systems design. AVISPA enabled detecting and fixing security flaws.
Chridi, Najah +9 more
core +1 more source
On the Order Sequence of a Group
The Electronic Journal of CombinatoricsThis paper provides a bridge between two active areas of research, the spectrum (set of element orders) and the power graph of a finite group. The order sequence of a finite group $G$ is the list of orders of elements of the group, arranged in non-decreasing order.
Peter J. Cameron, Hiranya Kishore Dey
openaire +4 more sources
On a Theorem on Ordered Groups [PDF]
Proceedings of the Glasgow Mathematical Association, 1958 The following work establishes a new proof of the theorem: Every archimedean ordered group is abelian. This theorem has been proved differently by many authors. It was first proved by O. Hölder [2]. A second proof has been given by H. Cartan [1]: he uses the topology which is naturally introduced in the group by its order.
openaire +2 more sources
A classification of finite rank dimension groups by their representations in ordered real vector spaces [PDF]
, 2011 Peer ...
Aaron Tikuisis +5 more
core +1 more source
Abelization of join spaces of affine transformations of ordered field with proximity
Applied General Topology, 2005 Using groups of affine transformations of linearly ordered fields a certain construction of non-commutative join hypergroups is presented based on the criterion of reproducibility of semi-hypergroups which are determined by ordered semigroups. The aim of
Sárka Hosková
doaj +1 more source
On orderability of topological groups
International Journal of Mathematics and Mathematical Sciences, 1985 A necessary and sufficient condition for a topological group whose topology can be induced by a total order compatible with the group structure is given and such groups are called ordered or orderable topological groups.
G. Rangan
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Osteosarcoma (OS) and Ewing sarcoma (EWS) are the most common primary bone cancers in children, but acute thrombosis is poorly characterized in this population. Our study evaluated the rates of venous thromboembolism (VTE) and associated risk factors in pediatric patients with bone sarcomas treated over a 10‐year period encompassing
Sarah Kappa +8 more
wiley +1 more source
International Journal of Algebra and Computation, 2019 We introduce a structure on a Garside group that we call Dehornoy structure and we show that an iteration of such a structure leads to a left-order on the group. We define two conditions on a Garside group [Formula: see text] and we show that if [Formula: see text] satisfies these two conditions, then [Formula: see text] has a Dehornoy structure. Then,
Diego Arcis, Luis Paris
openaire +2 more sources
L-ordered and L-lattice ordered groups [PDF]
Information Sciences, 2015 This paper pursues an investigation on groups equipped with an $L$-ordered relation, where $L$ is a fixed complete complete Heyting algebra. First, by the concept of join and meet on an $L$-ordered set, the notion of an $L$-lattice is introduced and some related results are obtained. Then we applied them to define an $L$-lattice ordered group.
Rajab Ali Borzooei +2 more
openaire +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Wilms tumor (WT) treatment imposes a significant time burden on patients and their families. Time toxicity is a patient‐centered metric that quantifies the burden of healthcare interaction. We sought to define time toxicity in the first year after diagnosis of WT and hypothesized that it would increase as tumor stage and treatment ...
Caleb Q. Ashbrook +6 more
wiley +1 more source