3179 search results - page 1 / 636 » Applications of PCF Theory |
JSYML
2000
13 years 5 months ago
2000
We deal with several pcf problems; we characterize another version of exponentiation: number of -branches in a tree with nodes, deal with existence of independent sets in stable t...
WCE
2007
13 years 6 months ago
2007
Photonic crystal fibre (PCF)s with zero chromatic dispersion at the telecommunication wavelength is reported. The PCF design parameters, such as the effects of air holes and struct...
APAL
2004
13 years 5 months ago
2004
Abstract. We start by studying the relationship between two invariants isolated by Shelah, the sets of good and approachable points. As part of our study of these invariants, we pr...
CCGRID
2008
IEEE
13 years 7 months ago
2008
IEEE
Fault tolerance is one of the key issues for large scale applications executed on high performance computing systems. In a cluster federation, clusters are gathered to provide hug...
CSL
2009
Springer
13 years 12 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...