Program representation size in an intermediate language with intersection and union types

The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates portions of the program where intersection types are introduced and union types are eliminated. This duplication makes it easier to represent type information and to introduce customized data representations. However, duplication incurs compile-time space costs that are potentially much greater than are incurred in TILs employing type-level abstraction or quantification. In this paper, we present empirical data on the compile-time space costs of using CIL as an intermediate language. The data shows that these costs can be made tractable by using sufficiently fine-grained flow analyses together with standard hash-consing techniques. The data also suggests that non-duplicating formulations of intersection (and union) types would not achieve significantly better space complexity.National Science Foundation (CCR-9417382, CISE/CCR ESS 9806747); Sun grant (EDUD-7826-990410-US); Faculty Fellowship of the Carroll School of Management, Boston College; U.K. Engineering and Physical Sciences Research Council (GR/L 36963, GR/L 15685

Sensitivity of Global Modeling Initiative chemistry and transport model simulations of radon-222 and lead-210 to input meteorological data

International audienceWe have used the Global Modeling Initiative chemistry and transport model to simulate the radionuclides radon-222 and lead-210 using three different sets of input meteorological information: 1. Output from the Goddard Space Flight Center Global Modeling and Assimilation Office GEOS-STRAT assimilation; 2. Output from the Goddard Institute for Space Studies GISS II' general circulation model; and 3. Output from the National Center for Atmospheric Research MACCM3 general circulation model. We intercompare these simulations with observations to determine the variability resulting from the different meteorological data used to drive the model, and to assess the agreement of the simulations with observations at the surface and in the upper troposphere/lower stratosphere region. The observational datasets we use are primarily climatologies developed from multiple years of observations. In the upper troposphere/lower stratosphere region, climatological distributions of lead-210 were constructed from ~25 years of aircraft and balloon observations compiled into the US Environmental Measurements Laboratory RANDAB database. Taken as a whole, no simulation stands out as superior to the others. However, the simulation driven by the NCAR MACCM3 meteorological data compares better with lead-210 observations in the upper troposphere/lower stratosphere region. Comparisons of simulations made with and without convection show that the role played by convective transport and scavenging in the three simulations differs substantially. These differences may have implications for evaluation of the importance of very short-lived halogen-containing species on stratospheric halogen budgets

Transition from electron accumulation to depletion at InGaN surfaces

The composition dependence of the Fermi-level pinning at the oxidized (0001) surfaces of n-type InxGa1−xN films (0<=x<=1) is investigated using x-ray photoemission spectroscopy. The surface Fermi-level position varies from high above the conduction band minimum (CBM) at InN surfaces to significantly below the CBM at GaN surfaces, with the transition from electron accumulation to depletion occurring at approximately x=0.3. The results are consistent with the composition dependence of the band edges with respect to the charge neutrality level

Hierarchical Spatial Gossip for Multiresolution Representations in Sensor Networks

In this paper we propose a lightweight algorithm for constructing multi-resolution data representations for sensor networks. At each sensor node u, we compute, O(logn) aggregates about exponentially enlarging neighborhoods centered at u. The ith aggregate is the aggregated data from nodes approximately within 2 i hops of u. We present a scheme, named the hierarchical spatial gossip algorithm, to extract and construct these aggregates, for all sensors simultaneously, with a total communication cost of O(npolylogn). The hierarchical gossip algorithm adopts atomic communication steps with each node choosing to exchange information with a node distance d away with probability ∼ 1/d 3. The attractiveness of the algorithm attributes to its simplicity, low communication cost, distributed nature and robustness to node failures and link failures. We show in addition that computing multi-resolution aggregates precisely (i.e., each aggregate uses all and only the nodes within 2 i hops) requires a communication cost of Ω(n √ n), which does not scale well with network size. An approximate range in aggregate computation like that introduced by the gossip mechanism is therefore necessary in a scalable efficient algorithm. Besides the natural applications of multi-resolution data summaries in data validation and information mining, we also demonstrate the application of the pre-computed multi-resolution data summaries in answering range queries efficiently

Intercomparisons of Aura MLS, ACE, and HALOE Observations of Long-Lived Trace Species Using the Langley Lagrangian Chemistry and Transport Model

We use the LaRC Lagrangian Chemistry and Transport Model (LCTM) [Considine et al., 2007; Pierce et al., 2003] to intercompare ACE, Aura, and HALOE observations of long-lived trace species. The LCTM calculates the transport, mixing, and photochemical evolution of an ensemble of parcels that have been initialized from ACE-FTS measurements. Here we focus on late November, 2004 comparisons, due to the previous 3-week period of continuous HALOE observations and MLS v2.2 data on November 29, 2004

Kinetics of Heterogeneous Single-Species Annihilation

We investigate the kinetics of diffusion-controlled heterogeneous single-species annihilation, where the diffusivity of each particle may be different. The concentration of the species with the smallest diffusion coefficient has the same time dependence as in homogeneous single-species annihilation, A+A-->0. However, the concentrations of more mobile species decay as power laws in time, but with non-universal exponents that depend on the ratios of the corresponding diffusivities to that of the least mobile species. We determine these exponents both in a mean-field approximation, which should be valid for spatial dimension d>2, and in a phenomenological Smoluchowski theory which is applicable in d<2. Our theoretical predictions compare well with both Monte Carlo simulations and with time series expansions.Comment: TeX, 18 page

Corner Exponents in the Two-Dimensional Potts Model

The critical behavior at a corner in two-dimensional Ising and three-state Potts models is studied numerically on the square lattice using transfer operator techniques. The local critical exponents for the magnetization and the energy density for various opening angles are deduced from finite-size scaling results at the critical point for isotropic or anisotropic couplings. The scaling dimensions compare quite well with the values expected from conformal invariance, provided the opening angle is replaced by an effective one in anisotropic systems.Comment: 11 pages, 2 eps-figures, uses LaTex and eps

Adsorption of Reactive Particles on a Random Catalytic Chain: An Exact Solution

We study equilibrium properties of a catalytically-activated annihilation $A + A \to 0$ reaction taking place on a one-dimensional chain of length $N$ ($N \to \infty$) in which some segments (placed at random, with mean concentration $p$) possess special, catalytic properties. Annihilation reaction takes place, as soon as any two $A$ particles land onto two vacant sites at the extremities of the catalytic segment, or when any $A$ particle lands onto a vacant site on a catalytic segment while the site at the other extremity of this segment is already occupied by another $A$ particle. Non-catalytic segments are inert with respect to reaction and here two adsorbed $A$ particles harmlessly coexist. For both "annealed" and "quenched" disorder in placement of the catalytic segments, we calculate exactly the disorder-average pressure per site. Explicit asymptotic formulae for the particle mean density and the compressibility are also presented.Comment: AMSTeX, 27 pages + 4 figure

Surface Critical Behavior in Systems with Non-Equilibrium Phase Transitions

We study the surface critical behavior of branching-annihilating random walks with an even number of offspring (BARW) and directed percolation (DP) using a variety of theoretical techniques. Above the upper critical dimensions d_c, with d_c=4 (DP) and d_c=2 (BARW), we use mean field theory to analyze the surface phase diagrams using the standard classification into ordinary, special, surface, and extraordinary transitions. For the case of BARW, at or below the upper critical dimension, we use field theoretic methods to study the effects of fluctuations. As in the bulk, the field theory suffers from technical difficulties associated with the presence of a second critical dimension. However, we are still able to analyze the phase diagrams for BARW in d=1,2, which turn out to be very different from their mean field analog. Furthermore, for the case of BARW only (and not for DP), we find two independent surface beta_1 exponents in d=1, arising from two distinct definitions of the order parameter. Using an exact duality transformation on a lattice BARW model in d=1, we uncover a relationship between these two surface beta_1 exponents at the ordinary and special transitions. Many of our predictions are supported using Monte-Carlo simulations of two different models belonging to the BARW universality class.Comment: 19 pages, 12 figures, minor additions, 1 reference adde

The interaction of gibberellic acid and 2-(chloroethyl) trimethyl ammonium chloride on fruit cluster development in Vitis vinifera L.

The effects of applications of GA and CCC in factorial combinations and at different stages of development were measured on reproductive development of five cultivars of Vitis vinifera: Doradillo and Muscat (seeded), Sultana (stenospermocarpic), and Cape Currant and Zante Currant (parthenocarpic). The effect of GA on fruit set varied with concentration, stage of development when applied, and the cultivar, that is whether seeded, stenospermocarpic, or parthenocarpic. Set was decreased in the parthenocarpic cultivars by GA applied before anthesis; other timings were without effect. On Sultana, set was decreased by GA applied at anthesis but was increased by earlier or later applications. With the seeded cultivars, GA reduced the number of seeded berries but increased the number of seedless berries, the net effect being usually an increase. The application of CCC two weeks. before anthesis generally increased set. The amount of seed development also influenced the effect of GA on berry fresh weight; seeded berries were unaffected but seedless berries were usually enlarged. The enlargement was greatest in parthenocarpic berries especially when treated at anthesis. On stenospermocarpic berries, treatment two weeks after anthesis had the greatest effect. CCC reduced berry size whether applied before or after anthesis; the reductions ranged from 2 to 20 per cent.GA increased the length/width ratio of berries, particularly when applied at anthesis, but the amount of change depended on the cultivar. CCC reduced the length/width ratio of Sultana berries. The effects of GA and CCC on rachis elongation were also opposite: GA increased the length of the rachis and pedicel, particularly if applied before anthesis; CCC reduced their length.There were few instances where GA and CCC interacted significantly; their effects within the concentration ranges chosen were generally additive.Der Einfluß von Gibberellinsäure und CCC auf die Traubenentwicklung bei Vitis vinifera L.Der Einfluß von Gibberellinsäure (GS)- und CCC-Gaben in faktorieller Kombination und in verschiedenen Entwicklungsphasen auf die generative Entwicklung der fünf Vitis vinifera-Sorten Doradillo und Muskat (samenhaltig), Sultana (stenospermokarp), Cape Currant und Zante Currant (parthenokarp) wurde gemessen. Der Einfluß der GS auf den Fruchtansatz hing von der Konzentration, dem Entwicklungsstadium zur Zeit der Applikation und von der Sorte ab, d. h. ob samenhaltig, stenospermokarp oder parthenokarp. Vor der Anthesis angewendet, verminderte GS den Fruchtansatz; spätere Anwendungen waren ohne Wirkung. Bei Sultana verminderte GS den Fruchtansatz, wenn sie zur Blütezeit, und erhöhte ihn, wenn sie vorher oder nachher appliziert wurde. Bei den samenhaltigen Sorten verminderte GS die Zahl der samenhaltigen und erhöhte die der samenlosen Beeren; die Gesamtzahl der Beeren war gewöhnlich vergrößert. Die Anwendung von CCC zwei Wochen vor dem Blühen erhöhte allgemein den Fruchtansatz.Über die Samenentwicklung beeinflußte GS auch das Frischgewicht der Beeren; samenhaltige Beeren ließen keine Wirkung erkennen, während samenlose meistens vergrößert waren, und zwar am stärksten bei parthenokarpen Beeren, besonders nach Behandlung während der Anthesis. Bei stenospermokarpen Beeren hatte die zwei Wochen nach der Blütezeit applizierte GS die größte Wirkung. CCC, vor oder nach dem Aufblühen angewendet, verminderte die Beerengröße; der Rückgang betrug 2-20%. Durch GS wurde - sortenabhängig - das Verhältnis Länge/Breite der Beeren vergrößert, besonders bei Anwendung während der Anthesis. CCC verminderte dieses Verhältnis bei Sultana-Beeren. Auch das Wachstum des Traubenstieles wurde durch GS und CCC gegensätzlich beeinflußt; GS förderte das Längenwachstum von Traubenund Beerenstielen, besonders bei Anwendung vor der Blüte; CCC verminderte es. In einigen Fällen beeinflußten sich GS und CCC gegenseitig signifikant; im allgemeinen wurden hierdurch bei den verwendeten Konzentrationen ihre Wirkungen gesteigert