Results 191 to 200 of about 62,379 (242)
Effect of AlN Cap Layer on Polarization Coulomb Field Scattering in AlGaN/GaN Heterostructure Field Effect Transistor. [PDF]
Cheng Q +9 more
europepmc +1 more source
Household air pollution and association with heart disease among women in India: evidence from the nationally representative survey (NFHS-5). [PDF]
Dolui M, Sarkar S.
europepmc +1 more source
Coronary Atherosclerosis in Former NFL Players: A Case Series From the GAMEFILM Registry. [PDF]
Rogers C +5 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

