Abstract We designed and implemented a novel combination of Sagnac-interferometer with Mach–Zehnder interferometer for source polarization-entangled photons. The new versatile configuration does not require multi-wavelength polarization optics, yet it performs good quality phase-stability over wide wavelength range. demonstrate the using only standard commercial optics to experimentally realize...

The purpose of this paper is to study the application of Boolean Satisfiability to the verification of the PCI Local Bus. The novel feature of this approach is the generation of several propositional formulas that describe the specification of the bus system. The formulas are tested using a powerful SAT solver and the bus is verified for errors. The SAT-based approach has several important adva...

Recently, we proposed that Brainets, i.e. networks formed by multiple animal brains, cooperating and exchanging information in real time through direct brain-to-brain interfaces, could provide the core of a new type of computing device: an organic computer. Here, we describe the first experimental demonstration of such a Brainet, built by interconnecting four adult rat brains. Brainets worked b...

Larger width of P-cladding layer in p-i-n waveguide of traveling wave electroabsorption modulator (TWEAM) results in lower resistance and microwave propagation loss which provides an enhanced high speed electro-optical response. In this paper, a fullvectorial finite-difference-based optical mode solver is presented to analyze mushroom-type TWEAM for the first time. In this analysis, the discont...

In this article we consider the statistical inferences of the unknown parameters of a Weibull distribution when the data are Type-I censored. It is well known that the maximum likelihood estimators do not always exist, and even when they exist, they do not have explicit expressions. We propose a simple fixed point type algorithm to compute the maximum likelihood estimators, when they exist. We ...