Results 1 to 10 of about 62,379 (242)
Israel Journal of Mathematics, 2012 We continue our investigation on pcf with weak form of choice. Characteristically we assume DC + P(Y) when looking and prod_{s in Y} delta_s.
Shelah, Saharon
core +3 more sources
PCF Based Sensor with High Sensitivity, High Birefringence and Low Confinement Losses for Liquid Analyte Sensing Applications [PDF]
Sensors, 2015 In this paper, we report a design of high sensitivity Photonic Crystal Fiber (PCF) sensor with high birefringence and low confinement losses for liquid analyte sensing applications.
Ademgil, Huseyin, Haxha, Shyqyri
core +5 more sources
Full abstraction for probabilistic PCF [PDF]
Journal of the ACM, 2015 We present a probabilistic version of PCF, a well-known simply typed universal functional language. The type hierarchy is based on a single ground type of natural numbers. Even if the language is globally call-by-name, we allow a call-by-value evaluation
Ehrhard, Thomas +2 more
core +6 more sources
Automatic differentiation in PCF [PDF]
Proceedings of the ACM on Programming Languages, 2021 We study the correctness of automatic differentiation (AD) in the context of a higher-order, Turing-complete language (PCF with real numbers), both in forward and reverse mode. Our main result is that, under mild hypotheses on the primitive functions included in the language, AD is almost everywhere correct, that is, it computes the ...
Mazza, Damiano, Pagani, Michele
openaire +4 more sources
Ultra low bending loss equiangular spiral photonic crystal fibers in the terahertz regime [PDF]
, 2012 An Equiangular Spiral Photonic Crystal Fiber (ES-PCF) design in Topas® for use in the Terahertz regime is presented. The design shows ultra low bending loss and very low confinement loss compared to conventional Hexagonal PCF (H-PCF).
Agrawal, A. +5 more
core +2 more sources
Numerical analysis of second harmonic generation in soft glass equiangular spiral photonic crystal fibers [PDF]
, 2012 In this paper, the accurate and numerically efficient finite element (FE)-based beam propagation method (BPM) has been employed to investigate second harmonic generation (SHG) in highly nonlinear soft glass (SF57) equiangular spiral photonic crystal ...
Agrawal, A. +4 more
core +1 more source
Special curves and postcritically-finite polynomials [PDF]
, 2013 We study the postcritically-finite (PCF) maps in the moduli space of complex polynomials $\mathrm{MP}_d$. For a certain class of rational curves $C$ in $\mathrm{MP}_d$, we characterize the condition that $C$ contains infinitely many PCF maps.
De Marco, Laura, Matthew Baker
core +1 more source
Inductive Definition and Domain Theoretic Properties of Fully Abstract [PDF]
, 2007 A construction of fully abstract typed models for PCF and PCF^+ (i.e., PCF + "parallel conditional function"), respectively, is presented. It is based on general notions of sequential computational strategies and wittingly consistent non-deterministic ...
Luke Ong, Vladimir Sazonov
core +3 more sources
Intrinsically narrowband pair photon generation in microstructured fibres [PDF]
, 2011 In this paper we study the tailoring of photon spectral properties generated by four-wave mixing in a birefringent photonic crystal fibre (PCF). The aim is to produce intrinsically narrow-band photons and hence to achieve high non-classical interference ...
Agrawal G P +16 more
core +5 more sources