On the Disambiguation of Weighted Automata

We present a disambiguation algorithm for weighted automata. The algorithm admits two main stages: a pre-disambiguation stage followed by a transition removal stage. We give a detailed description of the algorithm and the proof of its correctness. The algorithm is not applicable to all weighted automata but we prove sufficient conditions for its applicability in the case of the tropical semiring by introducing the *weak twins property*. In particular, the algorithm can be used with all acyclic weighted automata, relevant to applications. While disambiguation can sometimes be achieved using determinization, our disambiguation algorithm in some cases can return a result that is exponentially smaller than any equivalent deterministic automaton. We also present some empirical evidence of the space benefits of disambiguation over determinization in speech recognition and machine translation applications

Second moment closure analysis of the backstep flow database

A Second Moment Closure computation (SMC) is compared in detail with the Direct Numerical Simulation (DNS) data of Le and Moin for the backstep flow at Re = 5,000 in an attempt to understand why the intensity of the backflow and, consequently, the friction coefficient in the recirculation bubble are severely underestimated. The data show that this recirculation bubble is far from being laminar except in the very near wall layer. A novel 'differential a priori' procedure was used, in which the full transport equation for one isolated component of the Reynolds stress tensor was solved using DNS data as input. Conclusions are then different from what would have been deduced by comparing a full simulation to a DNS. One cause of discrepancy was traced back to insufficient transfer of energy to the normal stress by pressure strain, but was not cured. A significant finding, confirmed by the DNS data in the core region of a channel flow, is that the coefficient that controls destruction of dissipation, C epsilon(sub 2), should be decreased by a factor of 2 when production is vanishing. This is also the case in the recirculation bubble, and a new formulation has cured 25% of the backflow discrepancy

Polarization rotation via a monoclinic phase in the piezoelectric 92%PbZn1/3Nb2/3O3-8%PbTiO3

The origin of ultrahigh piezoelectricity in the relaxor ferroelectric PbZn1/3Nb2/3O3-PbTiO3 was studied with an electric field applied along the [001] direction. The zero-field rhombohedral R phase starts to follow the direct polarization path to tetragonal symmetry via an intermediate monoclinic M phase, but then jumps irreversibly to an alternate path involving a different type of monoclinic distortion. Details of the structure and domain configuration of this novel phase are described. This result suggests that there is a nearby R-M phase boundary as found in the Pb(Ti,Zr)O3 system.Comment: REVTeX file. 4 pages. New version after referees' comment

A New Simulated Annealing Algorithm for the Multiple Sequence Alignment Problem: The approach of Polymers in a Random Media

We proposed a probabilistic algorithm to solve the Multiple Sequence Alignment problem. The algorithm is a Simulated Annealing (SA) that exploits the representation of the Multiple Alignment between $D$ sequences as a directed polymer in $D$ dimensions. Within this representation we can easily track the evolution in the configuration space of the alignment through local moves of low computational cost. At variance with other probabilistic algorithms proposed to solve this problem, our approach allows for the creation and deletion of gaps without extra computational cost. The algorithm was tested aligning proteins from the kinases family. When D=3 the results are consistent with those obtained using a complete algorithm. For $D>3$ where the complete algorithm fails, we show that our algorithm still converges to reasonable alignments. Moreover, we study the space of solutions obtained and show that depending on the number of sequences aligned the solutions are organized in different ways, suggesting a possible source of errors for progressive algorithms.Comment: 7 pages and 11 figure

X-ray photoemission spectroscopy determination of the InN/yttria stabilized cubic-zirconia valence band offset

The valence band offset of wurtzite InN(0001)/yttria stabilized cubic-zirconia (YSZ)(111) heterojunctions is determined by x-ray photoemission spectroscopy to be 1.19±0.17 eV giving a conduction band offset of 3.06±0.20 eV. Consequently, a type-I heterojunction forms between InN and YSZ in the straddling arrangement. The low lattice mismatch and high band offsets suggest potential for use of YSZ as a gate dielectric in high-frequency InN-based electronic devices

Anomalities in the Analysis of Calibrated Data

This study examines effects of calibration errors on model assumptions and data--analytic tools in direct calibration assays. These effects encompass induced dependencies, inflated variances, and heteroscedasticity among the calibrated measurements, whose distributions arise as mixtures. These anomalies adversely affect conventional inferences, to include the inconsistency of sample means; the underestimation of measurement variance; and the distributions of sample means, sample variances, and Student's t as mixtures. Inferences in comparative experiments remain largely intact, although error mean squares continue to underestimate the measurement variances. These anomalies are masked in practice, as conventional diagnostics cannot discern irregularities induced through calibration. Case studies illustrate the principal issues

Goodness-of-Fit Tests for Symmetric Stable Distributions -- Empirical Characteristic Function Approach

We consider goodness-of-fit tests of symmetric stable distributions based on weighted integrals of the squared distance between the empirical characteristic function of the standardized data and the characteristic function of the standard symmetric stable distribution with the characteristic exponent $\alpha$ estimated from the data. We treat $\alpha$ as an unknown parameter, but for theoretical simplicity we also consider the case that $\alpha$ is fixed. For estimation of parameters and the standardization of data we use maximum likelihood estimator (MLE) and an equivariant integrated squared error estimator (EISE) which minimizes the weighted integral. We derive the asymptotic covariance function of the characteristic function process with parameters estimated by MLE and EISE. For the case of MLE, the eigenvalues of the covariance function are numerically evaluated and asymptotic distribution of the test statistic is obtained using complex integration. Simulation studies show that the asymptotic distribution of the test statistics is very accurate. We also present a formula of the asymptotic covariance function of the characteristic function process with parameters estimated by an efficient estimator for general distributions

Probabilistic sequence alignments: realistic models with efficient algorithms

Alignment algorithms usually rely on simplified models of gaps for computational efficiency. Based on an isomorphism between alignments and physical helix-coil models, we show in statistical mechanics that alignments with realistic laws for gaps can be computed with fast algorithms. Improved performances of probabilistic alignments with realistic models of gaps are illustrated. Probabilistic and optimization formulations are compared, with potential implications in many fields and perspectives for computationally efficient extensions to Markov models with realistic long-range interactions

Neutron Diffraction Study of Field Cooling Effects on Relaxor Ferroelectrics Pb[(Zn_{1/3} Nb_{2/3})_{0.92} Ti_{0.08}] O_{3}

High-temperature (T) and high-electric-field (E) effects on Pb[(Zn_{1/3} Nb_{2/3})_{0.92} Ti_{0.08}]O_3 (PZN-8%PT) were studied comprehensively by neutron diffraction in the ranges 300 <= T <= 550 K and 0 <= E <= 15 kV/cm. We have focused on how phase transitions depend on preceding thermal and electrical sequences. In the field cooling process (FC, E parallel [001] >= 0.5 kV/cm), a successive cubic (C) --> tetragonal (T) --> monoclinic (M_C) transition was observed. In the zero field cooling process (ZFC), however, we have found that the system does not transform to the rhombohedral (R) phase as widely believed, but to a new, unidentified phase, which we call X. X gives a Bragg peak profile similar to that expected for R, but the c-axis is always slightly shorter than the a-axis. As for field effects on the X phase, we found an irreversible X --> M_C transition via another monoclinic phase (M_A) as expected from a previous report [Noheda et al. Phys. Rev. Lett. 86, 3891 (2001)]. At a higher electric field, we confirmed a c-axis jump associated with the field-induced M_C --> T transition, which was observed by strain and x-ray diffraction measurements.Comment: 8 pages, 9 figures, revise