Results 201 to 210 of about 9,900 (232)

Hybrid Intersection Types for PCF

EPiC Series in Computing
Intersection type systems have been independently applied to different evaluation strate- gies, such as call-by-name (CBN) and call-by-value (CBV). These type systems have been then generalized to different subsuming paradigms being able, in particular, to encode CBN and CBV in a unique unifying framework.
Pablo Barenbaum, Delia Kesner, Mariana Milicich   +2 more
openaire   +1 more source

Highly sensitive refractive index sensing based on a novel Mach-Zehnder interferometer with TCF-PCF composite structure

Infrared Physics and Technology, 2022
Ji-An Duan, Xinran Dong, Dongkai Chu
exaly  

Identification of detrimental chemicals of plastic products using PCF in the THz regime

Measurement: Sensors, 2021
Rayhan Habib Jibon
exaly  

Solid Core PCFs (SC-PCFs)

2022
openaire   +1 more source

Hollow Core PCFs (HC-PCFs)

2022
openaire   +1 more source

The polarization crossfire (PCF) sensor suite focusing on satellite remote sensing of fine particulate matter PM2.5 from space

Journal of Quantitative Spectroscopy and Radiative Transfer, 2022
Zhenhai Liu, , Guangliang Fu
exaly  

The PCF in the War

2022
Roger Martelli, Jean Vigreux, Serge Wolikow   +2 more
openaire   +1 more source

PCF-39

Drugs of the Future, 1987
Cornaglia Ferraris P., Perezzani L. S., Stradi R., Forni G., RICCARDI, Carlo   +4 more
openaire   +3 more sources

Experimental and numerical characterization of a D-shaped PCF refractive index sensor

Optical and Quantum Electronics, 2022
Mohamed Farhat O Hameed, Ghafour Amouzad Mahdiraji, Faisal Rafiq Mahamd Adikan   +2 more
exaly  

A non-invertible PCF language

Bull. EATCS, 1987
The author gives a negative answer to the question if every pure context- free language over an arbitrary alphabet is invertible and asks if every pure context-free language over a two letter alphabet is invertible. The problem of decidability of invertibility also seems to be interesting.
openaire   +1 more source