Results 211 to 220 of about 61,632 (243)
Development and Characterization of Liposome-Based Dermocosmetic Formulations with Red Grape Pomace and <i>Polygonum cuspidatum</i> Extracts. [PDF]
Antioxidants (Basel)Radulescu C +8 more
europepmc +1 more source
Simultaneous Label-Free Autofluorescence Multi-Harmonic Microscopy. [PDF]
J Vis ExpTan KKD +4 more
europepmc +1 more source
Influence of LPCVD-Si<sub>3</sub>N<sub>4</sub> Thickness on Polarization Coulomb Field Scattering in AlGaN/GaN Metal-Insulator-Semiconductor High-Electron-Mobility Transistors. [PDF]
Micromachines (Basel)Jiang G +8 more
europepmc +1 more source
Highly precise optical detection of mass destruction nerve agents based on photonic crystal fibers. [PDF]
Sci RepElabdein MZ +3 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication, 2020
Recently, traffic engineering mechanisms have been developed that guarantee that a network (cloud provider WAN, or ISP) does not experience congestion under failures. In this paper, we show that existing congestion-free mechanisms, notably FFC, achieve performance far short of the network's intrinsic capability.
Chuan Jiang +2 more
openaire +1 more source
Recently, traffic engineering mechanisms have been developed that guarantee that a network (cloud provider WAN, or ISP) does not experience congestion under failures. In this paper, we show that existing congestion-free mechanisms, notably FFC, achieve performance far short of the network's intrinsic capability.
Chuan Jiang +2 more
openaire +1 more source
Propagation Properties and Stress Sensitivity of S-PCF, H-PCF and O-PCF
Journal of Communications, 2012Propagation properties of square, hexagonal and octagonal lattice photonic crystal fibers (PCFs) have been analyzed here for both stressed and unstressed conditions. The analysis has been carried out using finite element method. All types of PCFs are investigated here by varying number of air hole rings with same design and operating parameters.
M. R. Khatun, M. S. Islam
openaire +1 more source
ACM SIGPLAN Notices, 2011
Linearity is a multi-faceted and ubiquitous notion in the analysis and the development of programming language concepts. We study linearity in a denotational perspective by picking out programs that correspond to linear functions between coherence spaces. We introduce a language, named Sl PCF *
Gaboardi M., Paolini L., Piccolo M.
openaire +4 more sources
Linearity is a multi-faceted and ubiquitous notion in the analysis and the development of programming language concepts. We study linearity in a denotational perspective by picking out programs that correspond to linear functions between coherence spaces. We introduce a language, named Sl PCF *
Gaboardi M., Paolini L., Piccolo M.
openaire +4 more sources
Journal of Symbolic Logic, 2000
AbstractWe deal with several pcf problems: we characterize another version of exponentiation: maximal number ofk-branches in a tree withλnodes, deal with existence of independent sets in stable theories, possible cardinalities of ultraproducts and the depth of ultraproducts of Boolean Algebras.
openaire +1 more source
AbstractWe deal with several pcf problems: we characterize another version of exponentiation: maximal number ofk-branches in a tree withλnodes, deal with existence of independent sets in stable theories, possible cardinalities of ultraproducts and the depth of ultraproducts of Boolean Algebras.
openaire +1 more source
2011
This chapter introduces a specific programming language called PCF (and sometimes mini-ML). This language is one of the backbones of the book. It will be evaluated, interpreted, compiled, and extended (with types, references, records and objects) in the rest of the book.
Gilles Dowek, Jean-Jacques Lévy
openaire +1 more source
This chapter introduces a specific programming language called PCF (and sometimes mini-ML). This language is one of the backbones of the book. It will be evaluated, interpreted, compiled, and extended (with types, references, records and objects) in the rest of the book.
Gilles Dowek, Jean-Jacques Lévy
openaire +1 more source