Learning Moore Machines from Input-Output Traces

The problem of learning automata from example traces (but no equivalence or membership queries) is fundamental in automata learning theory and practice. In this paper we study this problem for finite state machines with inputs and outputs, and in particular for Moore machines. We develop three algorithms for solving this problem: (1) the PTAP algorithm, which transforms a set of input-output traces into an incomplete Moore machine and then completes the machine with self-loops; (2) the PRPNI algorithm, which uses the well-known RPNI algorithm for automata learning to learn a product of automata encoding a Moore machine; and (3) the MooreMI algorithm, which directly learns a Moore machine using PTAP extended with state merging. We prove that MooreMI has the fundamental identification in the limit property. We also compare the algorithms experimentally in terms of the size of the learned machine and several notions of accuracy, introduced in this paper. Finally, we compare with OSTIA, an algorithm that learns a more general class of transducers, and find that OSTIA generally does not learn a Moore machine, even when fed with a characteristic sample

Sharper and Simpler Nonlinear Interpolants for Program Verification

Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR. Intrigued by the recent result by Dai et al.\ that combines real algebraic geometry and SDP optimization in synthesis of polynomial interpolants, the current paper contributes its enhancement that yields sharper and simpler interpolants. The enhancement is made possible by: theoretical observations in real algebraic geometry; and our continued fraction-based algorithm that rounds off (potentially erroneous) numerical solutions of SDP solvers. Experiment results support our tool's effectiveness; we also demonstrate the benefit of sharp and simple interpolants in program verification examples

Complete larval development of the hermit crabs Clibanarius aequabilis and Clibanarius erythropus (Decapoda : Anomura : Diogenidae), under laboratory conditions, with a revision of the larval features of genus Clibanarius

The complete larval development (four zoeae and one megalopa) of Clibanarius aequabilis and C. erythropus, reared under laboratory conditions, is described and illustrated. The larval stages of the two northeastern Atlantic Clibanarius species cannot be easily differentiated. Their morphological characters are compared with those of other known Clibanarius larvae. The genus Clibanarius is very homogeneous with respect to larval characters. All Clibanarius zoeae display a broad and blunt rostrum, smooth abdominal segments and an antennal scale without a terminal spine. Beyond the second zoeal stage, the fourth telson process is present as a fused spine, and the uropods are biramous. In the fourth larval stage all species display a mandibular palp. The Clibanarius megalopa presents weakly developed or no ocular scales, symmetrical chelipeds, apically curved corneous dactylus in the second and third pereiopods, and 5-11 setae on the posterior margin of the telson. Apart from the number of zoeal stages, Clibanarius species may be separated, beyond the second zoeal stage, by the telson formula and the morphology of the fourth telson process.info:eu-repo/semantics/publishedVersio

Designed Azolopyridinium Salts Block Protective Antigen Pores In Vitro and Protect Cells from Anthrax Toxin

Background:Several intracellular acting bacterial protein toxins of the AB-type, which are known to enter cells by endocytosis, are shown to produce channels. This holds true for protective antigen (PA), the binding component of the tripartite anthrax-toxin of Bacillus anthracis. Evidence has been presented that translocation of the enzymatic components of anthrax-toxin across the endosomal membrane of target cells and channel formation by the heptameric/octameric PA63 binding/translocation component are related phenomena. Chloroquine and some 4-aminoquinolones, known as potent drugs against Plasmodium falciparium infection of humans, block efficiently the PA63-channel in a dose dependent way.Methodology/Principal Findings:Here we demonstrate that related positively charged heterocyclic azolopyridinium salts block the PA63-channel in the μM range, when both, inhibitor and PA63 are added to the same side of the membrane, the cis-side, which corresponds to the lumen of acidified endosomal vesicles of target cells. Noise-analysis allowed the study of the kinetics of the plug formation by the heterocycles. In vivo experiments using J774A.1 macrophages demonstrated that the inhibitors of PA63-channel function also efficiently block intoxication of the cells by the combination lethal factor and PA63 in the same concentration range as they block the channels in vitro.Conclusions/Significance:These results strongly argue in favor of a transport of lethal factor through the PA63-channel and suggest that the heterocycles used in this study could represent attractive candidates for development of novel therapeutic strategies against anthrax. © 2013 Beitzinger et al

Pb(II) Induces Scramblase Activation and Ceramide-Domain Generation in Red Blood Cells

The mechanisms of Pb(II) toxicity have been studied in human red blood cells using confocal microscopy, immunolabeling, fluorescence-activated cell sorting and atomic force microscopy. The process follows a sequence of events, starting with calcium entry, followed by potassium release, morphological change, generation of ceramide, lipid flip-flop and finally cell lysis. Clotrimazole blocks potassium channels and the whole process is inhibited. Immunolabeling reveals the generation of ceramide-enriched domains linked to a cell morphological change, while the use of a neutral sphingomyelinase inhibitor greatly delays the process after the morphological change, and lipid flip-flop is significantly reduced. These facts point to three major checkpoints in the process: first the upstream exchange of calcium and potassium, then ceramide domain formation, and finally the downstream scramblase activation necessary for cell lysis. In addition, partial non-cytotoxic cholesterol depletion of red blood cells accelerates the process as the morphological change occurs faster. Cholesterol could have a role in modulating the properties of the ceramide-enriched domains. This work is relevant in the context of cell death, heavy metal toxicity and sphingolipid signaling.AGA was a predoctoral student supported by the Basque Government and later by the University of the Basque Country (UPV/EHU). This work was also supported in part by grants from the Spanish Government (FEDER/MINECO BFU 2015-66306-P to F.M.G. and A.A.) and the Basque Government (IT849-13 to F.M.G. and IT838-13 to A.A.), and by the Swiss National Science Foundation

Remarks on Andrew Lang's World Trade Law After Neo-Liberalism

No abstract available

Pleiotropic functions of the tumor- and metastasis-suppressing Matrix Metalloproteinase-8 in mammary cancer in MMTV-PyMT transgenic mice

Matrix metalloproteinase-8 (MMP-8; neutrophil collagenase) is an important regulator of innate immunity which has onco-suppressive actions in numerous tumor types

The Mechanisms of Codon Reassignments in Mitochondrial Genetic Codes

Many cases of non-standard genetic codes are known in mitochondrial genomes. We carry out analysis of phylogeny and codon usage of organisms for which the complete mitochondrial genome is available, and we determine the most likely mechanism for codon reassignment in each case. Reassignment events can be classified according to the gain-loss framework. The gain represents the appearance of a new tRNA for the reassigned codon or the change of an existing tRNA such that it gains the ability to pair with the codon. The loss represents the deletion of a tRNA or the change in a tRNA so that it no longer translates the codon. One possible mechanism is Codon Disappearance, where the codon disappears from the genome prior to the gain and loss events. In the alternative mechanisms the codon does not disappear. In the Unassigned Codon mechanism, the loss occurs first, whereas in the Ambiguous Intermediate mechanism, the gain occurs first. Codon usage analysis gives clear evidence of cases where the codon disappeared at the point of the reassignment and also cases where it did not disappear. Codon disappearance is the probable explanation for stop to sense reassignments and a small number of reassignments of sense codons. However, the majority of sense to sense reassignments cannot be explained by codon disappearance. In the latter cases, by analysis of the presence or absence of tRNAs in the genome and of the changes in tRNA sequences, it is sometimes possible to distinguish between the Unassigned Codon and Ambiguous Intermediate mechanisms. We emphasize that not all reassignments follow the same scenario and that it is necessary to consider the details of each case carefully.Comment: 53 pages (45 pages, including 4 figures + 8 pages of supplementary information). To appear in J.Mol.Evo

Quantum dynamics in strong fluctuating fields

A large number of multifaceted quantum transport processes in molecular systems and physical nanosystems can be treated in terms of quantum relaxation processes which couple to one or several fluctuating environments. A thermal equilibrium environment can conveniently be modelled by a thermal bath of harmonic oscillators. An archetype situation provides a two-state dissipative quantum dynamics, commonly known under the label of a spin-boson dynamics. An interesting and nontrivial physical situation emerges, however, when the quantum dynamics evolves far away from thermal equilibrium. This occurs, for example, when a charge transferring medium possesses nonequilibrium degrees of freedom, or when a strong time-dependent control field is applied externally. Accordingly, certain parameters of underlying quantum subsystem acquire stochastic character. Herein, we review the general theoretical framework which is based on the method of projector operators, yielding the quantum master equations for systems that are exposed to strong external fields. This allows one to investigate on a common basis the influence of nonequilibrium fluctuations and periodic electrical fields on quantum transport processes. Most importantly, such strong fluctuating fields induce a whole variety of nonlinear and nonequilibrium phenomena. A characteristic feature of such dynamics is the absence of thermal (quantum) detailed balance.Comment: review article, Advances in Physics (2005), in pres

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente