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

Acceleration of Nucleophilic CH Activation by Strongly Basic Solvents

(IPI)Ru(II)(OH)_n(H_2O)_m, 2, where IPI is the NNN-pincer ligand, 2,6-diimidizoylpyridine, is shown to catalyze H/D exchange between hydrocarbons and strongly basic solvents at higher rates than in the case of the solvent alone. Significantly, catalysis by 2 is accelerated rather than inhibited by increasing solvent basicity. The evidence is consistent with the reaction proceeding by base modulated nucleophilic CH activation

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

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

Mechanism of efficient anti-Markovnikov olefin hydroarylation catalyzed by homogeneous Ir(III) complexes

The mechanism of the hydroarylation reaction between unactivated olefins (ethylene, propylene, and styrene) and benzene catalyzed by [(R)Ir(μ-acac-O,O,C^3)-(acac-O,O)_2]_2 and [R-Ir(acac-O,O)_2(L)] (R = acetylacetonato, CH_3, CH_2CH_3, Ph, or CH_2CH_2Ph, and L = H_2O or pyridine) Ir(III) complexes was studied by experimental methods. The system is selective for generating the anti-Markovnikov product of linear alkylarenes (61 : 39 for benzene + propylene and 98 : 2 for benzene + styrene). The reaction mechanism was found to follow a rate law with first-order dependence on benzene and catalyst, but a non-linear dependence on olefin. ^(13)C-labelling studies with CH_3^(13)CH_2-Ir-Py showed that reversible β-hydride elimination is facile, but unproductive, giving exclusively saturated alkylarene products. The migration of the ^(13)C-label from the α to β-positions was found to be slower than the C–H activation of benzene (and thus formation of ethane and Ph-d_5-Ir-Py). Kinetic analysis under steady state conditions gave a ratio of the rate constants for CH activation and β-hydride elimination (k_(CH): k_β) of 0.5. The comparable magnitude of these rates suggests a common rate determining transition state/intermediate, which has been shown previously with B3LYP density functional theory (DFT) calculations. Overall, the mechanism of hydroarylation proceeds through a series of pre-equilibrium dissociative steps involving rupture of the dinuclear species or the loss of L from Ph-Ir-L to the solvento, 16-electron species, Ph-Ir(acac-O,O)_2-Sol (where Sol refers to coordinated solvent). This species then undergoes trans to cis isomerization of the acetylacetonato ligand to yield the pseudo octahedral species cis-Ph-Ir-Sol, which is followed by olefin insertion (the regioselective and rate determining step), and then activation of the C–H bond of an incoming benzene to generate the product and regenerate the catalyst

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

Designing organometallic compounds for catalysis and therapy

Bioorganometallic chemistry is a rapidly developing area of research. In recent years organometallic compounds have provided a rich platform for the design of effective catalysts, e.g. for olefin metathesis and transfer hydrogenation. Electronic and steric effects are used to control both the thermodynamics and kinetics of ligand substitution and redox reactions of metal ions, especially Ru II. Can similar features be incorporated into the design of targeted organometallic drugs? Such complexes offer potential for novel mechanisms of drug action through incorporation of outer-sphere recognition of targets and controlled activation features based on ligand substitution as well as metal- and ligand-based redox processes. We focus here on η 6-arene, η 5-cyclopentadienyl sandwich and half-sandwich complexes of Fe II, Ru II, Os II and Ir III with promising activity towards cancer, malaria, and other conditions. © 2012 The Royal Society of Chemistry

Chromosomal-level assembly of the Asian Seabass genome using long sequence reads and multi-layered scaffolding

We report here the ~670 Mb genome assembly of the Asian seabass (Lates calcarifer), a tropical marine teleost. We used long-read sequencing augmented by transcriptomics, optical and genetic mapping along with shared synteny from closely related fish species to derive a chromosome-level assembly with a contig N50 size over 1 Mb and scaffold N50 size over 25 Mb that span ~90% of the genome. The population structure of L. calcarifer species complex was analyzed by re-sequencing 61 individuals representing various regions across the species' native range. SNP analyses identified high levels of genetic diversity and confirmed earlier indications of a population stratification comprising three clades with signs of admixture apparent in the South-East Asian population. The quality of the Asian seabass genome assembly far exceeds that of any other fish species, and will serve as a new standard for fish genomics

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