Hypersafety properties of arity n are program that relate traces a (or, more generally, programs). Classic examples include determinism, idempotence, and associativity. A number relational logics have been introduced to target this class properties. Their aim is construct simpler proofs by capitalizing on structural similarities between the related programs. We propose an unexplored, complement...

Diode lasers operating at 3 mu m in continuous wave mode at room temperature were fabricated using metamorphic molecular beam epitaxy. The laser heterostructures have a lattice constant 1.3-1.6% bigger than that of the GaSb substrates. The mismatch between the epi-structure and the substrate lattice constants was accommodated by a network of misfit dislocations confined within linearly composit...

The paper addresses the problem of designing a component that combined with a known part of a system, called the context FSM, is a reduction of a given specification FSM. We study compositionally progressive solutions of synchronous FSM equations. Such solutions, when combined with the context, do not block any input that may occur in the specification, so they are of practical use. We show tha...

The paper addresses the problem of designing a component that combined with a known part of a system, called the context FSM, is a reduction of a given specification FSM. We study compositionally progressive solutions of synchronous FSM equations. Such solutions, when combined with the context, do not block any input that may occur in the specification, so they are of practical use. We show tha...

let $g$ be a group with identity $e$. let $r$ be a $g$-graded commutative ring with a non-zero identity and $m$ be a graded $r$-module. in this article, we introduce the concept of graded almost semiprime submodules. also, we investigate some basic properties of graded almost semiprime and graded weakly semiprime submodules and give some characterizations of them.

Interface modification for control of ultrafast magnetic properties using low-dose focused ion beam irradiation is demonstrated for bilayers of two technologically important materials: Ni81Fe19 and Pt. Magnetization dynamics were studied using an all-optical time-resolved magneto-optical Kerr microscopy method. Magnetization relaxation, precession, damping and the spatial coherence of magnetiza...

The latest deep ultra-violet (DUV) photomask technology requires macroscopic properties such as optical transmission, reflectance, and chemical reactivity to be precisely controlled. Therefore, a fundamental understanding of the relationship between atomic bonding and nanometer scale property variation is required. Thin films of Cr-OC-N are compositionally graded to produce specific attenuation...

IPTME, Loughborough University of Technolom, LEI 1 3TU, UK " 9 7 z777$ __ Abstract P.9 F" Compositionally modulated alloy (CMA) coatings can be synthesised electrochemically The technique is performed by electrodeposition from a plating bath usually containing two different metal ions The alloy modulation is attained through pulsing the voltage or current between two or more pre-optimised level...