Containment and equivalence of weighted automata: Probabilistic and max-plus cases

This paper surveys some results regarding decision problems for probabilistic and max-plus automata, such as containment and equivalence. Probabilistic and max-plus automata are part of the general family of weighted automata, whose semantics are maps from words to real values. Given two weighted automata, the equivalence problem asks whether their semantics are the same, and the containment problem whether one is point-wise smaller than the other one. These problems have been studied intensively and this paper will review some techniques used to show (un)decidability and state a list of open questions that still remain

Parallel dynamics of continuous Hopfield model revisited

We have applied the generating functional analysis (GFA) to the continuous Hopfield model. We have also confirmed that the GFA predictions in some typical cases exhibit good consistency with computer simulation results. When a retarded self-interaction term is omitted, the GFA result becomes identical to that obtained using the statistical neurodynamics as well as the case of the sequential binary Hopfield model.Comment: 4 pages, 2 figure

Genetic Diversity in Zoysiagrass Ecotypes Based on Morphological Characteristics and SSR Markers

Zoysiagrass consists of a number of interfertile species, some of which are important grasses for turfgrass and grazing pasture in Japan. Recently, we developed simple sequence repeats (SSRs) markers from Zoysia japonica “Asagake” genomic DNA by enriched genomic library method (Yamamoto et al., 2002). Here we identify genetic diversity in 38 ecotypes of zoysiagrass (Z. matrella and Z. tenuifolia) from a group of southwest islands of Japan based on morphological characteristics and SSR markers

Leishmania isoenzyme polymorphisms in Ecuador: Relationships with geographic distribution and clinical presentation

Background: Determinants of the clinical presentation of the leishmaniases are poorly understood but Leishmania species and strain differences are important. To examine the relationship between clinical presentation, species and isoenzyme polymorphisms, 56 Leishmania isolates from distinct presentations of American tegumentary leishmaniasis (ATL) from Ecuador were analyzed. Methods: Isolates were characterized by multilocus enzyme electrophoresis for polymorphisms of 11 isoenzymes. Patients were infected in four different ecologic regions: highland and lowland jungle of the Pacific coast, Amazonian lowlands and Andean highlands. Results: Six Leishmania species constituting 21 zymodemes were identified: L. (Viannia) panamensis (21 isolates, 7 zymodemes), L. (V.) guyanensis (7 isolates, 4 zymodemes), L. (V.) braziliensis (5 isolates, 3 zymodemes), L. (Leishmania) mexicana (11 isolates, 4 zymodemes), L. (L.) amazonensis (10 isolates, 2 zymodemes) and L. (L.) major (2 isolates, 1 zymodeme). L. panamensis was the species most frequently identified in the Pacific region and was associated with several clinical variants of cutaneous disease (CL); eight cases of leishmaniasis recidiva cutis (LRC) found in the Pacific highlands were associated with 3 zymodemes of this species. Mucocutaneous leishmaniasis found only in the Amazonian focus was associated with 3 zymodemes of L. braziliensis. The papular variant of CL, Uta, found in the Andean highlands was related predominantly with a single zymodeme of L. mexicana. Conclusion: Our data show a high degree of phenotypic variation within species, and some evidence for associations between specific variants of ATL (i.e. Uta and LRC) and specific Leishmania zymodemes. This study further defines the geographic distribution of Leishmania species and clinical variants of ATL in Ecuador

Characteristics of gravity waves generated in a convective and a non-convective environment revealed from hourly radiosonde observation under CPEA-II campaign

Analyses of hourly radiosonde data of temperature, wind, and relative humidity during four days (two with convection and two with no convection) as a part of an intensive observation period in CPEA-2 campaign over Koto Tabang (100.32° E, 0.20° S), Indonesia, are presented. Characteristics of gravity waves in terms of dominant wave frequencies at different heights and their vertical wavelengths are shown in the lower stratosphere during a convective and non-convective period. Gravity waves with periods ~10 h and ~4–5 h were found dominant near tropopause (a region of high stability) on all days of observation. Vertical propagation of gravity waves were seen modified near heights of the three identified strong wind shears (at ~16, 20, and 25 km heights) due to wave-mean flow interaction. Between 17 and 21 km heights, meridional wind fluctuations dominated over zonal wind, whereas from 22 to 30 km heights, wave fluctuations with periods ~3–5 h and ~8–10 h in zonal wind and temperature were highly associated, suggesting zonal orientation of wave propagation. Gravity waves from tropopause region to 30 km heights were analyzed. In general, vertical wavelength of 2–5 km dominated in all the mean-removed (~ weekly mean) wind and temperature hourly profiles. Computed vertical wavelength spectra are similar, in most of the cases, to the source spectra (1–16 km height) except that of zonal wind spectra, which is broad during active convection. Interestingly, during and after convection, gravity waves with short vertical wavelength (~2 km) and short period (~2–3 h) emerged, which were confined in the close vicinity of tropopause, and were not identified on non-convective days, suggesting convection to be the source for them. Some wave features near strong wind shear (at 25 km height) were also observed with short vertical wavelengths in both convective and non-convective days, suggesting wind shear to be the sole cause of generation and seemingly not associated with deep convection below. A drop in the temperature up to ~4–5 K (after removal of diurnal component) was observed at ~16 km height near a strong wind shear (~45–55 m s⁻¹ km⁻¹) during active period of convection

Lagrangian Reachabililty

We introduce LRT, a new Lagrangian-based ReachTube computation algorithm that conservatively approximates the set of reachable states of a nonlinear dynamical system. LRT makes use of the Cauchy-Green stretching factor (SF), which is derived from an over-approximation of the gradient of the solution flows. The SF measures the discrepancy between two states propagated by the system solution from two initial states lying in a well-defined region, thereby allowing LRT to compute a reachtube with a ball-overestimate in a metric where the computed enclosure is as tight as possible. To evaluate its performance, we implemented a prototype of LRT in C++/Matlab, and ran it on a set of well-established benchmarks. Our results show that LRT compares very favorably with respect to the CAPD and Flow* tools.Comment: Accepted to CAV 201

Osteoblastic differentiation and P-glycoprotein multidrug resistance in a murine osteosarcoma model

A recent study of multidrug resistance (MDR) 1 gene transfected osteosarcoma cells found a cause-effect relationship between increased expression of P-glycoprotein (P-gp) and a low aggressive phenotype. However, several experimental and clinical studies have observed contradictory findings in that P-gp expression has been associated with tumour progression. In the present study, we characterized P-gp-positive and P-gp-negative single-cell clones of a murine osteosarcoma, to further investigate the relationship between P-gp expression and changes in cell phenotype. Although these clones were all selected by doxorubicin (DOX) exposure, they were heterogeneous with respect to MDR1 gene expression. The P-gp-positive clones revealed MDR phenotype, whereas the P-gp-negative clones showed no resistance to drugs. Morphological and functional analysis showed that both the P-gp-positive and P-gp-negative clones were more differentiated than the parent cells in terms of enhanced activity of cellular alkaline phosphatase, an increase in well-organized actin stress fibres and enhanced osteogenic activity. Moreover, these subclones all displayed a decrease in malignant potential such as oncogenic activity, tumour growth rate and metastatic ability, regardless of their P-gp status. These results indicate that the observed osteoblastic differentiation and less aggressive phenotype in DOX-selected osteosarcoma cells may not only be explained by the direct effect of P-gp, and accordingly, consideration of the effect of DOX, as well as P-gp, appears to be important. © 2000 Cancer Research Campaig

Evolutionary Patterns and Selective Pressures of Odorant/Pheromone Receptor Gene Families in Teleost Fishes

BACKGROUND: Teleost fishes do not have a vomeronasal organ (VNO), and their vomeronasal receptors (V1Rs, V2Rs) are expressed in the main olfactory epithelium (MOE), as are odorant receptors (ORs) and trace amine-associated receptors (TAARs). In this study, to obtain insights into the functional distinction among the four chemosensory receptor families in teleost fishes, their evolutionary patterns were examined in zebrafish, medaka, stickleback, fugu, and spotted green pufferfish. METHODOLOGY/PRINCIPAL FINDINGS: Phylogenetic analysis revealed that many lineage-specific gene gains and losses occurred in the teleost fish TAARs, whereas only a few gene gains and losses have taken place in the teleost fish vomeronasal receptors. In addition, synonymous and nonsynonymous nucleotide substitution rate ratios (K(A)/K(S)) in TAARs tended to be higher than those in ORs and V2Rs. CONCLUSIONS/SIGNIFICANCE: Frequent gene gains/losses and high K(A)/K(S) in teleost TAARs suggest that receptors in this family are used for detecting some species-specific chemicals such as pheromones. Conversely, conserved repertoires of V1R and V2R families in teleost fishes may imply that receptors in these families perceive common odorants for teleosts, such as amino acids. Teleost ORs showed intermediate evolutionary pattern between TAARs and vomeronasal receptors. Many teleost ORs seem to be used for common odorants, but some ORs may have evolved to recognize lineage-specific odors

Extensive Copy-Number Variation of Young Genes across Stickleback Populations

MM received funding from the Max Planck innovation funds for this project. PGDF was supported by a Marie Curie European Reintegration Grant (proposal nr 270891). CE was supported by German Science Foundation grants (DFG, EI 841/4-1 and EI 841/6-1). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript