A colored domino is a rotatable 2× 1 rectangle that is partitioned into two unit squares, which are called faces, each of which is assigned a color. In a colored domino tiling of an orthogonal polygon P , a set of dominoes completely covers P such that no dominoes overlap and so that adjacent faces have the same color. We provide tight bounds on the number of colors required to tile simple and ...

In this article we give a new proof of the undecidability of the periodic domino problem. The main difference with the previous proofs is that this one does not start from a proof of the undecidability of the (general) domino problem but only from the existence of an aperiodic tileset. The formalism of Wang tiles was introduced in [Wan61] to study decision procedures for the ∀∃∀ fragment of the...

We give a detailed evaluation on communication-induced checkpointing protocols which are domino-eeect free. We investigate the validity of a common intuition in the literature, and demonstrate that there is no optimal on-line domino-free protocol in terms of the number of forced checkpoints. Formal proofs on comparing existing protocols in the literature are also given.

A timing optimization algorithm dealing with circuits containing mixed domino and static logic is described. Transistor-level node timing constraints of domino logic is described. The optimization procedure preserves the requirements of maintaining adequate noise margins by constraining the sizing procedure. After sizing, charge-sharing problems are identi ed with a new method and recti ed.

A copper-catalyzed domino protocol for the synthesis of 2-(1,3,4-oxadiazol-2-yl)aniline derivatives has been developed from simple and available isatins and hydrazides. This domino process integrated consecutive condensation, base-promoted ring-opening and the key copper-catalyzed decarboxylative coupling for intramolecular C-O bond formation.

This paper is a study of the charge-sharing problem and its effect on the performance! of CMOS-Domino logic. Several solutions to the charge-sharing problem are examined, and the results are verified by simulation. Thus the charge-sharing problem in CMOS-Domino logic was identified and alltemate approaches were evaluated.

Hexahydro-1H-phenothiazine moieties can be synthesized by domino aziridine ring opening with o-halothiophenols followed by copper-catalyzed Goldberg coupling-cyclization with good to excellent yields. Less reactive o-chlorothiophenols are also successfully utilized for the domino reaction to synthesize phenothiazine derivatives. This methodology is successfully applied in the synthesis of pheno...

A novel domino reaction, alkyne-mediated domino hydroformylation/double cyclization, has been developed for rapid preparation of indolizidine type alkaloids. DFT calculations were applied for rationales of reactivity and selectivity. A concise synthesis of tashiromine as the application of the methodology is also reported.

The inputs and clock signals combination sleep state dependent leakage current characteristics is analyzed and the optimal sleep state is examined in sub-65 nm dual Vt footed domino circuits. Simulations based on 65 and 45 nm BSIM4 models show that the conventional CHIL state (the clock signal is high and inputs are all low) is ineffective for lowering the leakage current and the conventional C...

It is well known that if G admits a f.g. subgroup H with a weakly aperiodic SFT (resp. an undecidable domino problem), then G itself has a weakly aperiodic SFT (resp. an undecidable domino problem). We prove that we can replace the property “H is a subgroup of G” by “H acts translation-like on G”, provided H is finitely presented. In particular: • If G1 and G2 are f.g. infinite groups, then G1 ...