Towards Practical Typechecking for Macro Tree Transducers

Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step toward an implementation of mtt typechecker that has a practical efficiency. Our approach is to represent an input type obtained from a backward inference as an alternating tree automaton, in a style similar to Tozawa's XSLT0 typechecking. In this approach, typechecking reduces to checking emptiness of an alternating tree automaton. We propose several optimizations (Cartesian factorization, state partitioning) on the backward inference process in order to produce much smaller alternating tree automata than the naive algorithm, and we present our efficient algorithm for checking emptiness of alternating tree automata, where we exploit the explicit representation of alternation for local optimizations. Our preliminary experiments confirm that our algorithm has a practical performance that can typecheck simple transformations with respect to the full XHTML in a reasonable time

The global picture of self-similar and not self-similar decay in Burgers Turbulence

This paper continue earlier investigations on the decay of Burgers turbulence in one dimension from Gaussian random initial conditions of the power-law spectral type $E_0(k)\sim|k|^n$. Depending on the power $n$, different characteristic regions are distinguished. The main focus of this paper is to delineate the regions in wave-number $k$ and time $t$ in which self-similarity can (and cannot) be observed, taking into account small-$k$ and large-$k$ cutoffs. The evolution of the spectrum can be inferred using physical arguments describing the competition between the initial spectrum and the new frequencies generated by the dynamics. For large wavenumbers, we always have $k^{-2}$ region, associated to the shocks. When $n$ is less than one, the large-scale part of the spectrum is preserved in time and the global evolution is self-similar, so that scaling arguments perfectly predict the behavior in time of the energy and of the integral scale. If $n$ is larger than two, the spectrum tends for long times to a universal scaling form independent of the initial conditions, with universal behavior $k^2$ at small wavenumbers. In the interval $2<n$ the leading behaviour is self-similar, independent of $n$ and with universal behavior $k^2$ at small wavenumber. When $1<n<2$, the spectrum has three scaling regions : first, a $|k|^n$ region at very small $k$\ms1 with a time-independent constant, second, a $k^2$ region at intermediate wavenumbers, finally, the usual $k^{-2}$ region. In the remaining interval, $n<-3$ the small-$k$ cutoff dominates, and $n$ also plays no role. We find also (numerically) the subleading term $\sim k^2$ in the evolution of the spectrum in the interval $-3<n<1$. High-resolution numerical simulations have been performed confirming both scaling predictions and analytical asymptotic theory.Comment: 14 pages, 19 figure

Universality of the Wigner time delay distribution for one-dimensional random potentials

We show that the distribution of the time delay for one-dimensional random potentials is universal in the high energy or weak disorder limit. Our analytical results are in excellent agreement with extensive numerical simulations carried out on samples whose sizes are large compared to the localisation length (localised regime). The case of small samples is also discussed (ballistic regime). We provide a physical argument which explains in a quantitative way the origin of the exponential divergence of the moments. The occurence of a log-normal tail for finite size systems is analysed. Finally, we present exact results in the low energy limit which clearly show a departure from the universal behaviour.Comment: 4 pages, 3 PostScript figure

The OCaml system release 5.0: Documentation and user's manual

This manual documents the release 5.0 of the OCaml system. It is organized as follows. Part I, "An introduction to OCaml", gives an overview of the language. Part II, "The OCaml language", is the reference description of the language. Part III, "The OCaml tools", documents the compilers, toplevel system, and programming utilities. Part IV, "The OCaml library", describes the modules provided in the standard library. Part V, “Indexes”, contains an index of all identifiers defined in the standard library, and an index of keywords

Intersection types for unbind and rebind

We define a type system with intersection types for an extension of lambda-calculus with unbind and rebind operators. In this calculus, a term with free variables, representing open code, can be packed into an "unbound" term, and passed around as a value. In order to execute inside code, an unbound term should be explicitly rebound at the point where it is used. Unbinding and rebinding are hierarchical, that is, the term can contain arbitrarily nested unbound terms, whose inside code can only be executed after a sequence of rebinds has been applied. Correspondingly, types are decorated with levels, and a term has type decorated with k if it needs k rebinds in order to reduce to a value. With intersection types we model the fact that a term can be used differently in contexts providing different numbers of unbinds. In particular, top-level terms, that is, terms not requiring unbinds to reduce to values, should have a value type, that is, an intersection type where at least one element has level 0. With the proposed intersection type system we get soundness under the call-by-value strategy, an issue which was not resolved by previous type systems.Comment: In Proceedings ITRS 2010, arXiv:1101.410

Evolution of Linear Absorption and Nonlinear Optical Properties in V-Shaped Ruthenium(II)-Based Chromophores

In this article, we describe a series of complexes with electron-rich cis-{Ru^(II)(NH_3)_4}^(2+) centers coordinated to two pyridyl ligands bearing N-methyl/arylpyridinium electron-acceptor groups. These V-shaped dipolar species are new, extended members of a class of chromophores first reported by us (Coe, B. J. et al. J. Am. Chem. Soc. 2005, 127, 4845−4859). They have been isolated as their PF_6− salts and characterized by using various techniques including ^1H NMR and electronic absorption spectroscopies and cyclic voltammetry. Reversible Ru^(III/II) waves show that the new complexes are potentially redox-switchable chromophores. Single crystal X-ray structures have been obtained for four complex salts; three of these crystallize noncentrosymmetrically, but with the individual molecular dipoles aligned largely antiparallel. Very large molecular first hyperpolarizabilities β have been determined by using hyper-Rayleigh scattering (HRS) with an 800 nm laser and also via Stark (electroabsorption) spectroscopic studies on the intense, visible d → π^* metal-to-ligand charge-transfer (MLCT) and π → π^* intraligand charge-transfer (ILCT) bands. The latter measurements afford total nonresonant β_0 responses as high as ca. 600 × 10^(−30) esu. These pseudo-C_(2v) chromophores show two substantial components of the β tensor, β_(zzz) and β_(zyy), although the relative significance of these varies with the physical method applied. According to HRS, β_(zzz) dominates in all cases, whereas the Stark analyses indicate that β_(zyy) is dominant in the shorter chromophores, but β_(zzz) and β_(zyy) are similar for the extended species. In contrast, finite field calculations predict that β_(zyy) is always the major component. Time-dependent density functional theory calculations predict increasing ILCT character for the nominally MLCT transitions and accompanying blue-shifts of the visible absorptions, as the ligand π-systems are extended. Such unusual behavior has also been observed with related 1D complexes (Coe, B. J. et al. J. Am. Chem. Soc. 2004, 126, 3880−3891)

Understanding the decomposition reaction mechanism of chrysanthemic acid: a computational study

<p>Abstract</p> <p>Background</p> <p>Chrysanthemic acid (<b>CHA</b>) is a major product from the photodecomposition of pyrethrin which is an important class of pesticide compounds.</p> <p>In the following paper, Hybrid density functional theory (DFT) calculations of the potential energy surface (PES) for three possible channels decomposition of chrysanthemic acid <b>(</b>cis-trans isomerization, rearrangement and fragmentation) have been carried at the B3LYP/6-311+G** level of theory. DFT was employed to optimize the geometry parameters of the reactants, transition states, intermediates and products based on detailed potential energy surfaces (PES).</p> <p>Results</p> <p>Our results suggest that all three pathways of <b>CHA </b>are endothermic. DFT calculations revealed that the activation barriers for cis-trans isomerization are low, leading to a thermodynamically favorable process than other two pathways. We also investigated the solvent effect on the PES using the polarizable continuum model (PCM). In addition, time-dependent density functional theory (TDDFT) calculations showed that these reactions occur in the ground state rather than in an excited state.</p> <p>Conclusion</p> <p>The rearrangement process seems to be more favorable than the decomposition of <b>CHA </b>to carbene formation. The solvent effect calculations indicated no changes in the shape of the PES with three continua (water, ethanol and cyclohexane), although the solvents tend to stabilize all of the species.</p

Toward understanding of differences in current cloud retrievals of ARM ground-based measurements

Accurate observations of cloud microphysical properties are needed for evaluating and improving the representation of cloud processes in climate models and better estimate of the Earth radiative budget. However, large differences are found in current cloud products retrieved from ground-based remote sensing measurements using various retrieval algorithms. Understanding the differences is an important step to address uncertainties in the cloud retrievals. In this study, an in-depth analysis of nine existing ground-based cloud retrievals using ARM remote sensing measurements is carried out. We place emphasis on boundary layer overcast clouds and high level ice clouds, which are the focus of many current retrieval development efforts due to their radiative importance and relatively simple structure. Large systematic discrepancies in cloud microphysical properties are found in these two types of clouds among the nine cloud retrieval products, particularly for the cloud liquid and ice particle effective radius. Note that the differences among some retrieval products are even larger than the prescribed uncertainties reported by the retrieval algorithm developers. It is shown that most of these large differences have their roots in the retrieval theoretical bases, assumptions, as well as input and constraint parameters. This study suggests the need to further validate current retrieval theories and assumptions and even the development of new retrieval algorithms with more observations under different cloud regimes

Mimicking the chemistry of natural eumelanin synthesis: the ke sequence in polypeptides and in proteins allows for a specific control of nanosized functional polydopamine formation

The oxidation of dopamine and of other catecholamines leads to the formation of conformal films on the surface of all known materials and to the formation of a precipitate in solution. In some cases, it has been shown that the addition of additives in the dopamine solution, like certain surfactants or polymers, polyelectrolytes, and certain proteins, allows to get polydopamine nanoparticles of controlled size and the concomitant decrease, in an additive/dopamine dependent manner, in film formation on the surface of the reaction beaker. However, the mechanism behind this controlled oxidation and self-assembly of catecholamines is not known. In this article, it is shown that a specific diad of amino acids in proteins, namely KE, allows for specific control in the oxidation-self-assembly of dopamine to obtain polydopamine@protein core–shell nanoparticles which are biocompatible. The interactions between dopamine and the adjacent KE amino acids potentially responsible for the size control of polydopamine aggregates was investigated by molecular dynamics simulations. The obtained core– shell nanoparticles display the biological activity of the protein used to control the self- assembly of PDA. The photon to heat conversion ability of PDA is conserved in the PDA@protein particles

Wells turbine for wave energy conversion : a review

In the past twenty years, the use of wave energy systems has significantly increased, generally depending on the oscillating water column (OWC) concept. Wells turbine is one of the most efficient OWC technologies. This article provides an updated and a comprehensive account of the state of the art research on Wells turbine. Hence, it draws a roadmap for the contemporary challenges which may hinder future reliance on such systems in the renewable energy sector. In particular, the article is concerned with the research directions and methodologies which aim at enhancing the performance and efficiency of Wells turbine. The article also provides a thorough discussion of the use of computational fluid dynamics (CFD) for performance modeling and design optimization of Wells turbine. It is found that a numerical model using the CFD code can be employed successfully to calculate the performance characteristics of W-T as well as other experimental and analytical methods. The increase of research papers about CFD, especially in the last five years, indicates that there is a trend that considerably depends on the CFD method