In this paper completely simple semigroups or generalized groups are considered. We characterize generalized groups which are normal generalized groups. Homomorphisms of generalized groups are considered. Equivalent conditions for the kernel of a homomorphism are deduced. We prove that the group components of a generalized group have the same cardinality. We also prove that if G is a finite nor...

All rights, including translation into other languages reserved by the publisher. No part of this journal may be reproduced or used in any form or by any means without written permission from the publisher, except for noncommercial, educational use including classroom teaching purposes. Product or company names used in this journal are for identification purposes only. Inclusion of the names of...

A monolithic caisson is one of the major structural components commonly used in the construction of docks, breakwaters, and container terminal quay walls. Since the structure of monolithic caissons is typical and somewhat simple, its design process is also typical and repetitive, but still time consuming. To reduce the total time and enhance productivity, we developed a parametric model in Revi...

We consider infinite state reactive systems specified by using linear constraints over the integers, and we address the problem of verifying safety properties of these systems by applying reachability analysis techniques. We propose a method based on program specialization, which improves the effectiveness of the backward and forward reachability analyses. For backward reachability our method c...

We find the threshold between avoidable and unavoidable repetitions in circular words over k letters for any k > 6. Namely, we show that the number CRT(k) = ⌈k/2⌉+1 ⌈k/2⌉ satisfies the following properties. For any n there exists a k-ary circular word of length n containing no repetition of exponent greater than CRT(k). On the other hand, k-ary circular words of some lengths must have a repetit...

Article history: Received 11 June 2012 Received in revised form 22 April 2013 Accepted 30 June 2013 Available online 6 July 2013

Reaching a ground state of a spin system is analogous to a protein evolving into its native state. We study the “folding” times for various random Ising spin systems and determine characteristic temperatures that relate to the “folding”. Under optimal kinetic conditions, the “folding” times scale with the system size as a power law with a non-universal exponent. This is similar to what happens ...

A new moving domain wall solution is obtained for a flat 3-universe. This consists of a bulk metric depending on both time and the extra coordinate, plus a dynamically interacting domain wall, admitted by the metric and inhabited by the three-universe. The matter contents are cosmological constants on the domain wall and the bulk. The bulk space is shown to be (A)dS5. A remarkable fact concerni...