Today, the use of CMOS technology for the manufacture of electronic ICs has faced many limitations. Many alternatives to CMOS technology are offered and made every day. Quantum-dot cellular automata (QCA) is one of the most widely used. QCA gates and circuits have many advantages including small size, low power consumption and high speed. On the other hand, using special digital gates called re...

A structure-property relationship study of neutral heteroleptic (1 and 2, [Ir(C∧N)2(L∧X)]) and homoleptic (3 and 4, fac-[Ir(C∧N)3]) Ir(III) complexes (where L∧X = anionic 2,2,6,6-tetramethylheptane-3,5-dionato-κO3,κO6 (thd) and C∧N = a cyclometalating ligand bearing a pentafluorosulfanyl (-SF5) electron-withdrawing group (EWG) at the C4 (HL1) and C3 (HL2) positions of the phenyl moiety) is pres...

[reaction: see text] Conjugated oligomers with an alternating phenylene-pyrimidine structure have been synthesized by the successive Suzuki coupling reaction starting from 2-bromo-5-iodopyrimidine. The photoluminescence properties and quasi-reversible redox behavior of these oligomers make them applicable as an active material for a light-emitting device. Blue light-emitting electroluminescent ...

We study quasi-periodic tori under a normal-internal resonance, possibly with multiple eigenvalues. Two non-degeneracy conditions play a role. The first of these generalizes invertibility of the Floquet matrix and prevents drift of the lower dimensional torus. The second condition involves a Kolmogorovlike variation of the internal frequencies and simultaneously versality of the Floquet matrix ...

We study non-autonomous planar Hamiltonian or reversible vector fields that vanish at the origin. The time-dependence is quasi-periodic with strongly non-resonant frequencies. First we give a simple criterion in terms of the averaged system for the trivial solution to be dynamically stable. Then we obtain destabilizations for classes of examples where the conditions of the criterion are not sat...

This paper describes a reversible resolution method based on proof procedures. A monotonic semantics is given for a subset of the Core Language Engine (CLE)’s quasi-logical form (QLF) [AC92] which defines a relation (CAT ) realised by a series of declarative statements describing possible resolutions for terms. The application of paraphrasing is used to demonstrate the method in a useful functi...