The weak pigeonhole principle for function classes in S 12

It is well known that S ¹₂ cannot prove the injective weak pigeonhole principle for polynomial time functions unless RSA is insecure. In this note we investigate the provability of the surjective (dual) weak pigeonhole principle in S ¹₂ for provably weaker function classes. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Propagation of microcontinuity for nonstandard polynomials

This paper explores the differences between real and complex microcontinuity for hyperreal polynomials, with hypernatural degree and nonstandard coefficients. On the real line, complex microcontinuity differs from real microcontinuity in replacing the coefficients with their absolute values. Apart from this feature, not much analogy is found between (absolute) convergence of series and (absolute) microcontinuity of infinite polynomials, even if these are infinite partial sums of a standard series. Real microcontinuity may be confined to isolated monalds, whereas complex microcontinuity always propagates a noninfinitesimal distance. An infinite partial sum of a power series can be microcontinuous outside the circle of convergence.     

Resonant-cavity-enhanced photodetectors and LEDs in the mid-infrared

In this paper we outline the use of resonant-cavity enhancement for increasing the exterior coupling efficiency of photodetectors and light-emitting diodes (LEDs) in the mid-infrared (MIR) spectral region. This method is potentially very important in the MIR because encapsulation is not presently feasible due to the lack of suitable materials. Among other potential applications, resonant-cavity-enhanced (RCE) photodetectors and LEDs could be particularly suitable for greenhouse gas detection because of their ‘pre-tunable’ spectrally narrowed resonantly enhanced peaks. We also present the optical characterization of an InAs RCE photodetector aimed at the detection of methane gas (λ≈3.3 μm), and an InAs/InAs_0.91Sb_0.09 resonant-cavity LED (RCLED) aimed at carbon dioxide gas (λ≈4.2 μm). The high peak responsivity of the RCE photodetector was 34.7 A/W at λ=3.14 μm, and the RCLED peaked at λ=3.96 μm. These are among the longest operating wavelengths for III–V RCE photodetectors and RCLEDs reported in the literature.     

软件:有效数字化广告牌背后的"大脑"

日益精密且成本逐渐下降的的显示技术使人们对下一代户内、户外广告的"数字化"充满了期待。然而运行显示网络必不可少的"大脑"是不容忽略的。下面综述了成功的数字广告系统的软件需求,以及这些系统的工作方式。