A Fast Algorithm Finding the Shortest Reset Words

In this paper we present a new fast algorithm finding minimal reset words for finite synchronizing automata. The problem is know to be computationally hard, and our algorithm is exponential. Yet, it is faster than the algorithms used so far and it works well in practice. The main idea is to use a bidirectional BFS and radix (Patricia) tries to store and compare resulted subsets. We give both theoretical and practical arguments showing that the branching factor is reduced efficiently. As a practical test we perform an experimental study of the length of the shortest reset word for random automata with $n$ states and 2 input letters. We follow Skvorsov and Tipikin, who have performed such a study using a SAT solver and considering automata up to $n=100$ states. With our algorithm we are able to consider much larger sample of automata with up to $n=300$ states. In particular, we obtain a new more precise estimation of the expected length of the shortest reset word $\approx 2.5\sqrt{n-5}$.Comment: COCOON 2013. The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-642-38768-5_1

Coherent multi-flavour spin dynamics in a fermionic quantum gas

Microscopic spin interaction processes are fundamental for global static and dynamical magnetic properties of many-body systems. Quantum gases as pure and well isolated systems offer intriguing possibilities to study basic magnetic processes including non-equilibrium dynamics. Here, we report on the realization of a well-controlled fermionic spinor gas in an optical lattice with tunable effective spin ranging from 1/2 to 9/2. We observe long-lived intrinsic spin oscillations and investigate the transition from two-body to many-body dynamics. The latter results in a spin-interaction driven melting of a band insulator. Via an external magnetic field we control the system's dimensionality and tune the spin oscillations in and out of resonance. Our results open new routes to study quantum magnetism of fermionic particles beyond conventional spin 1/2 systems.Comment: 9 pages, 5 figure

Site-Directed Insertion: Decision Problems, Maximality and Minimality

Site-directed insertion is an overlapping insertion operation that can be viewed as analogous to the overlap assembly or chop operations that concatenate strings by overlapping a suffix and a prefix of the argument strings. We consider decision problems and language equations involving site-directed insertion. By relying on the tools provided by semantic shuffle on trajectories we show that one variable equations involving site-directed insertion and regular constants can be solved. We consider also maximal and minimal variants of the site-directed insertion operation

Multi-orbital and density-induced tunneling of bosons in optical lattices

We show that multi-orbital and density-induced tunneling have a significant impact on the phase diagram of bosonic atoms in optical lattices. Off-site interactions lead to density-induced hopping, the so-called bond-charge interactions, which can be identified with an effective tunneling potential and can reach the same order of magnitude as conventional tunneling. In addition, interaction-induced higher-band processes also give rise to strongly modified tunneling, on-site and bond-charge interactions. We derive an extended occupation-dependent Hubbard model with multi-orbitally renormalized processes and compute the corresponding phase diagram. It substantially deviates from the single-band Bose-Hubbard model and predicts strong changes of the superfluid to Mott-insulator transition. In general, the presented beyond-Hubbard physics plays an essential role in bosonic lattice systems and has an observable influence on experiments with tunable interactions.Comment: 21 pages, 7 figure

Implementation of Code Properties via Transducers

The FAdo system is a symbolic manipulator of formal language objects, implemented in Python. In this work, we extend its capabilities by implementing methods to manipulate transducers and we go one level higher than existing formal language systems and implement methods to manipulate objects representing classes of independent languages (widely known as code properties). Our methods allow users to define their own code properties and combine them between themselves or with fixed properties such as prefix codes, suffix codes, error detecting codes, etc. The satisfaction and maximality decision questions are solvable for any of the definable properties. The new online system LaSer allows one to query about a code property and obtain the answer in a batch mode. Our work is founded on independence theory as well as the theory of rational relations and transducers, and contributes with improved algorithms on these objects

Home-based voluntary HIV counselling and testing found highly acceptable and to reduce inequalities

<p>Abstract</p> <p>Background</p> <p>Low uptake of voluntary HIV counselling and testing (VCT) in sub-Saharan Africa is raising acceptability concerns which might be associated with ways by which it is offered. We investigated the acceptability of home-based delivery of counselling and HIV testing in urban and rural populations in Zambia where VCT has been offered mostly from local clinics.</p> <p>Methods</p> <p>A population-based HIV survey was conducted in selected communities in 2003 (n = 5035). All participants stating willingness to be HIV tested were offered VCT at home and all counselling was conducted in the participants' homes. In the urban area post-test counselling and giving of results were done the following day whereas in rural areas this could take 1-3 weeks.</p> <p>Results</p> <p>Of those who indicated willingness to be HIV tested, 76.1% (95%CI 74.9-77.2) were counselled and received the test result. Overall, there was an increase in the proportion ever HIV tested from 18% before provision of home-based VCT to 38% after. The highest increase was in rural areas; among young rural men aged 15-24 years up from 14% to 42% vs. for urban men from 17% to 37%. Test rates by educational attainment changed from being positively associated to be evenly distributed after home-based VCT.</p> <p>Conclusions</p> <p>A high uptake was achieved by delivering HIV counselling and testing at home. The highest uptakes were seen in rural areas, in young people and groups with low educational attainment, resulting in substantial reductions in existing inequalities in accessing VCT services.</p

Dual Effect of Beta-Amyloid on α7 and α4β2 Nicotinic Receptors Controlling the Release of Glutamate, Aspartate and GABA in Rat Hippocampus

BACKGROUND: We previously showed that beta-amyloid (Aβ), a peptide considered as relevant to Alzheimer's Disease, is able to act as a neuromodulator affecting neurotransmitter release in absence of evident sign of neurotoxicity in two different rat brain areas. In this paper we focused on the hippocampus, a brain area which is sensitive to Alzheimer's Disease pathology, evaluating the effect of Aβ (at different concentrations) on the neurotransmitter release stimulated by the activation of pre-synaptic cholinergic nicotinic receptors (nAChRs, α4β2 and α7 subtypes). Particularly, we focused on some neurotransmitters that are usually involved in learning and memory: glutamate, aspartate and GABA. METHODOLOGY/FINDINGS: WE USED A DUAL APPROACH: in vivo experiments (microdialysis technique on freely moving rats) in parallel to in vitro experiments (isolated nerve endings derived from rat hippocampus). Both in vivo and in vitro the administration of nicotine stimulated an overflow of aspartate, glutamate and GABA. This effect was greatly inhibited by the highest concentrations of Aβ considered (10 µM in vivo and 100 nM in vitro). In vivo administration of 100 nM Aβ (the lowest concentration considered) potentiated the GABA overflow evoked by nicotine. All these effects were specific for Aβ and for nicotinic secretory stimuli. The in vitro administration of either choline or 5-Iodo-A-85380 dihydrochloride (α7 and α4β2 nAChRs selective agonists, respectively) elicited the hippocampal release of aspartate, glutamate, and GABA. High Aβ concentrations (100 nM) inhibited the overflow of all three neurotransmitters evoked by both choline and 5-Iodo-A-85380 dihydrochloride. On the contrary, low Aβ concentrations (1 nM and 100 pM) selectively acted on α7 subtypes potentiating the choline-induced release of both aspartate and glutamate, but not the one of GABA. CONCLUSIONS/SIGNIFICANCE: The results reinforce the concept that Aβ has relevant neuromodulatory effects, which may span from facilitation to inhibition of stimulated release depending upon the concentration used

Heteroreceptor complexes formed by dopamine D1, histamine H3 and N-methyl-D-aspartate glutamate receptors as targets to prevent neuronal death in Alzheimer's disease

Alzheimer’s disease (AD) is a neurodegenerative disorder causing progressive memory loss and cognitive dysfunction. Anti-AD strategies targeting cell receptors consider them as isolated units. However, many cell surface receptors cooperate and physically contact each other forming complexes having different biochemical properties than individual receptors. We here report the discovery of dopamine D , histamine H , and N-methylD-aspartate (NMDA) glutamate receptor heteromers in heterologous systems and in rodent brain cortex. Heteromers were detected by coimmunoprecipitation and in situ proximity ligation assays (PLA) in the rat cortex where H receptor agonists, via negative cross-talk, and H receptor antagonists, via cross-antagonism, decreased D receptor agonist signaling determined by ERK1/2 or Akt phosphorylation and counteracted D receptormediated excitotoxic cell death. Both D and H receptor antagonists also counteracted NMDA toxicity suggesting a complex interaction between NMDA receptors and D -H receptor heteromer function. Likely due to heteromerization, H receptors act as allosteric regulator for D and NMDA receptors. By bioluminescence resonance energy transfer (BRET), we demonstrated that D or H receptors form heteromers with NR1A/NR2B NMDA receptor subunits. D -H -NMDA receptor complexes were confirmed by BRET combined with fluorescence complementation. The endogenous expression of complexes in mouse cortex was determined by PLA and similar expression was observed in wild-type and APP/PS1 mice. Consistent with allosteric receptor-receptor interactions within the complex, H receptor antagonists reduced NMDA or D receptor-mediated excitotoxic cell death in cortical organotypic cultures. Moreover, H receptor antagonists reverted the toxicity induced by ß -amyloid peptide. Thus, histamine H receptors in D -H -NMDA heteroreceptor complexes arise as promising targets to prevent neurodegeneration