The XOR-Ising model on a graph consists of random spin configurations on vertices of the graph obtained by taking the product at each vertex of the spins of two independent Ising models. In this paper, we explicitly relate loop configurations of the XOR-Ising model and those of a dimer model living on a decorated, bipartite version of the Ising graph. This result is proved for graphs embedded i...

A sinusoidal mask grating oriented orthogonally to and superimposed onto an optimally oriented base grating reduces a cortical neuron's response amplitude. The spatial selectivity of cross-orientation suppression (XOR) has been described, so for this paper we investigated the temporal properties of XOR. We recorded from single striate cortical neurons (n = 72) in anesthetized and paralyzed cats...

In this paper a new architecture for delay locked loops will be presented.  One of problems in phase-frequency detectors (PFD) is static phase offset or reset path delay. The proposed structure decreases the jitter resulted from PFD by switching two PFDs. In this new architecture, a conventional PFD is used before locking of DLL to decrease the amount of phase difference between input and outpu...

Overproduction of reactive oxygen species (ROS) by NADPH oxidase (NOX) and xanthine oxidoreductase (XOR) with a concomitant decrease in the bioavailability of nitric oxide (NO) from eNOS contributes to the development of cardiovascular and metabolic disorders. Extensive research has proven the existence of an alternative NOS-independent pathway for NO production. This nitrate-nitrite-NO pathway...

چکیده: در ایـن مقاله طراحی یک مبدل زمان به دیجیتال 12 بیتی رزولوشن بالا و توان مصرفی کم مبتنی بر اسیلاتور حلقوی چند­مسیره (multi-path gated ring oscillator) در تکنولوژی nm-cmos130 بیان شده است. برای افزایش رزولوشن دو مسیر گیت با رزولوشن­های متفاوت، رزولوشن درشت و رزولوشن ریز، به­صورت ساختار ورنیر استفاده شده است. تأخیر گیت هر مسیر تعیین­کننده رزولوشن آن مسیر و به دلیل به ­کار بردن آن­ها در ساخت...

For any point xEX, we denote by HXEG the isotropy subgroup of G at xEX. The group G will be a compact Lie group. The space X is assumed to be locally compact, locally connected, finite dimensional and separable metric. We shall use the Alexander-Wallace-Spanier cohomology groups. A subscript c will denote cohomology with compact supports. The coefficient ring J will denote either the integers Z...

We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is the API of the IBM 4758 hardware security module. We also show how our technique can be applied to standard security protocols.