962 resultados para Reversible Computation
Resumo:
We introduce a model of computation based on read only memory (ROM), which allows us to compare the space-efficiency of reversible, error-free classical computation with reversible, error-free quantum computation. We show that a ROM-based quantum computer with one writable qubit is universal, whilst two writable bits are required for a universal classical ROM-based computer. We also comment on the time-efficiency advantages of quantum computation within this model.
Resumo:
Cellular automata are models for massively parallel computation. A cellular automaton consists of cells which are arranged in some kind of regular lattice and a local update rule which updates the state of each cell according to the states of the cell's neighbors on each step of the computation. This work focuses on reversible one-dimensional cellular automata in which the cells are arranged in a two-way in_nite line and the computation is reversible, that is, the previous states of the cells can be derived from the current ones. In this work it is shown that several properties of reversible one-dimensional cellular automata are algorithmically undecidable, that is, there exists no algorithm that would tell whether a given cellular automaton has the property or not. It is shown that the tiling problem of Wang tiles remains undecidable even in some very restricted special cases. It follows that it is undecidable whether some given states will always appear in computations by the given cellular automaton. It also follows that a weaker form of expansivity, which is a concept of dynamical systems, is an undecidable property for reversible one-dimensional cellular automata. It is shown that several properties of dynamical systems are undecidable for reversible one-dimensional cellular automata. It shown that sensitivity to initial conditions and topological mixing are undecidable properties. Furthermore, non-sensitive and mixing cellular automata are recursively inseparable. It follows that also chaotic behavior is an undecidable property for reversible one-dimensional cellular automata.
Resumo:
In this paper we present results for the systematic study of reversible-equivariant vector fields - namely, in the simultaneous presence of symmetries and reversing symmetries - by employing algebraic techniques from invariant theory for compact Lie groups. The Hilbert-Poincare series and their associated Molien formulae are introduced,and we prove the character formulae for the computation of dimensions of spaces of homogeneous anti-invariant polynomial functions and reversible-equivariant polynomial mappings. A symbolic algorithm is obtained for the computation of generators for the module of reversible-equivariant polynomial mappings over the ring of invariant polynomials. We show that this computation can be obtained directly from a well-known situation, namely from the generators of the ring of invariants and the module of the equivariants. (C) 2008 Elsevier B.V, All rights reserved.
Resumo:
We study the existence of homoclic solutions for reversible Hamiltonian systems taking the family of differential equations u(iv) + au - u +f(u, b) = 0 as a model, where fis an analytic function and a, b real parameters. These equations are important in several physical situations such as solitons and in the existence of finite energy stationary states of partial differential equations, but no assumptions of any kind of discrete symmetry is made and the analysis here developed can be extended to others Hamiltonian systems and successfully employed in situations where standard methods fail. We reduce the problem of computing these orbits to that of finding the intersection of the unstable manifold with a suitable set and then apply it to concrete situations. We also plot the homoclinic values configuration in parameters space, giving a picture of the structural distribution and a geometrical view of homoclinic bifurcations. (c) 2005 Published by Elsevier B.V.
Resumo:
This work is concerned with dynamical systems in presence of symmetries and reversing symmetries. We describe a construction process of subspaces that are invariant by linear Gamma-reversible-equivariant mappings, where Gamma is the compact Lie group of all the symmetries and reversing symmetries of such systems. These subspaces are the sigma-isotypic components, first introduced by Lamb and Roberts in (1999) [10] and that correspond to the isotypic components for purely equivariant systems. In addition, by representation theory methods derived from the topological structure of the group Gamma, two algebraic formulae are established for the computation of the sigma-index of a closed subgroup of Gamma. The results obtained here are to be applied to general reversible-equivariant systems, but are of particular interest for the more subtle of the two possible cases, namely the non-self-dual case. Some examples are presented. (C) 2011 Elsevier BM. All rights reserved.
Resumo:
Long-acting reversible contraceptives (LARCs) include the copper-releasing intrauterine device (IUD), the levonorgestrel-releasing intrauterine system (LNG-IUS) and implants. Despite the high contraceptive efficacy of LARCs, their prevalence of use remains low in many countries. The objective of this study was to assess the main reasons for switching from contraceptive methods requiring daily or monthly compliance to LARC methods within a Brazilian cohort. Women of 18-50 years of age using different contraceptives and wishing to switch to a LARC method answered a questionnaire regarding their motivations for switching from their current contraceptive. Continuation rates were evaluated 1 year after method initiation. Sample size was calculated at 1040 women. Clinical performance was evaluated by life table analysis. The cutoff date for analysis was May 23, 2013. Overall, 1167 women were interviewed; however, after 1 year of use, the medical records of only 1154 women were available for review. The main personal reason for switching, as reported by the women, was fear of becoming pregnant while the main medical reasons were nausea and vomiting and unscheduled bleeding. No pregnancies occurred during LARC use, and the main reasons for discontinuation were expulsion (in the case of the IUD and LNG-IUS) and a decision to undergo surgical sterilization (in the case of the etonogestrel-releasing implant). Continuation rate was ~95.0/100 women/year for the three methods. Most women chose a LARC method for its safety and for practical reasons, and after 1 year of use, most women continued with the method.
Resumo:
Several numerical methods for boundary value problems use integral and differential operational matrices, expressed in polynomial bases in a Hilbert space of functions. This work presents a sequence of matrix operations allowing a direct computation of operational matrices for polynomial bases, orthogonal or not, starting with any previously known reference matrix. Furthermore, it shows how to obtain the reference matrix for a chosen polynomial base. The results presented here can be applied not only for integration and differentiation, but also for any linear operation.
Resumo:
Cells normally undergo physiological turnover through the induction of apoptosis and phagocytic removal, partly through exposure of cell surface phosphatidylserine (PS). In contrast, neutrophils appear to possess apoptosis-independent mechanisms of removal. Here we show that Galectin-1 (Gal-1) induces PS exposure independent of alterations in mitochondrial potential, caspase activation, or cell death. Furthermore, Gal-1-induced PS exposure reverts after Gal-1 removal without altering cell viability. Gal-1-induced PS exposure is uniquely microdomain restricted, yet cells exposing PS do not display evident alterations in membrane morphology nor do they exhibit bleb formation, typically seen in apoptotic cells. Long-term exposure to Gal-1 prolongs PS exposure with no alteration in cell cycle progression or cell growth. These results demonstrate that Gal-1-induced PS exposure and subsequent phagocytic removal of living cells represents a new paradigm in cellular turnover.
Resumo:
Background: The bed nucleus of stria terminalis (BNST) is a limbic forebrain structure involved in hypothalamo-pituitary-adrenal axis regulation and stress adaptation. Inappropriate adaptation to stress is thought to compromise the organism's coping mechanisms, which have been implicated in the neurobiology of depression. However, the studies aimed at investigating BNST involvement in depression pathophysiology have yielded contradictory results. Therefore, the objective of the present study was to investigate the effects of temporary acute inactivation of synaptic transmission in the BNST by local microinjection of cobalt chloride (CoCl(2)) in rats subjected to the forced swimming test (FST). Methods: Rats implanted with cannulae aimed at the BNST were submitted to 15 min of forced swimming (pretest). Twenty- four hours later immobility time was registered in a new 5 min forced swimming session (test). Independent groups of rats received bilateral microinjections of CoCl(2) (1 mM/100 nL) before or immediately after pretest or before the test session. Additional groups received the same treatment and were submitted to the open field test to control for unspecific effects on locomotor behavior. Results: CoCl(2) injection into the BNST before either the pretest or test sessions reduced immobility in the FST, suggesting an antidepressant-like effect. No significant effect of CoCl(2) was observed when it was injected into the BNST immediately after pretest. In addition, no effect of BNST inactivation was observed in the open field test. Conclusion: These results suggest that acute reversible inactivation of synaptic transmission in the BNST facilitates adaptation to stress and induces antidepressant-like effects.
Resumo:
Thunderclap headache attributed to reversible cerebral vasoconstriction (THARCV) is a syndrome observed in a number of reported cases. In this article we reviewed this new headache entity (idiopathic form) using the clinical-radiological findings of 25 reported patients. In this series of patients 72% were women, the mean age at the onset of first headache episode was 39.4 +/- 2.3 years. In addition to the sine quanon condition of being abrupt and severe (thunderclap) at the onset, the headache was usually described as being explosive, excruciating, or crushing. The feature of pulsatility, accompanied or not by nausea was described by 80% of the patients. Forty percent of the cases manifested vomiting and 24% photophobia. Usually the headache was generalized, and in three cases it was unilateral at least at the onset. In 21 of 25 patients (84%) there was at least one recurrence or a sudden increase in the intensity of the headache. A past history of migraine was present in 52% of the patients. Precipitating factors were identified in 56% of the patients. Sexual intercourse was described by six patients. Of the 25 patients with THARCV syndrome studied, 12 (48%) developed focal neurological signs, transitory ischemic attack (n = 1), or ischemic stroke (n = 11, 44%), and two (8%) of them manifested seizures. The THARCV syndrome is a neurological disturbance perhaps more frequent than expected, preferentially affecting middle aged female migraineurs, and having an unpredictable prognosis, either showing a benign course or leading to stroke.
Resumo:
Human respiratory syncytial virus (HRSV) is the major cause of lower respiratory tract infections in children under 5 years of age and the elderly, causing annual disease outbreaks during the fall and winter. Multiple lineages of the HRSVA and HRSVB serotypes co-circulate within a single outbreak and display a strongly temporal pattern of genetic variation, with a replacement of dominant genotypes occurring during consecutive years. In the present study we utilized phylogenetic methods to detect and map sites subject to adaptive evolution in the G protein of HRSVA and HRSVB. A total of 29 and 23 amino acid sites were found to be putatively positively selected in HRSVA and HRSVB, respectively. Several of these sites defined genotypes and lineages within genotypes in both groups, and correlated well with epitopes previously described in group A. Remarkably, 18 of these positively selected tended to revert in time to a previous codon state, producing a ""flipflop'' phylogenetic pattern. Such frequent evolutionary reversals in HRSV are indicative of a combination of frequent positive selection, reflecting the changing immune status of the human population, and a limited repertoire of functionally viable amino acids at specific amino acid sites.
Resumo:
A new approach to electrochromics, based on the reversible coating-dissolution of an oxide from an inorganic electrochromic electrolyte consisting of a silver-amine complex in a polymer electrolyte (PEO), has proven successful. The reversible electrodeposition of silver onto indium-tin oxide coated glass (ITO) was investigated and the influence of HClO(4) and KI was evaluated. Several characteristics of the electrolyte Ag-PEO make it suitable for use in electrochromic reversible silver electrodeposition devices, such as visible absorption spectrum with an absorbance variation of 60%, an electrochromic efficiency of 5.2 cm(2) C(-1) and an ionic conductivity 4.4 x 10(-4) S cm(-1). The addition of perchloric acid improved the transparency of Ag-PEO, and potassium iodide (KI) was fundamental in setting up the process of reversible silver electrodeposition in the PEO polymeric matrix. A description of the electrochemical processes implied is presented. A number of approaches focusing on the improvement of system performance are tested. (C) 2009 Elsevier Ltd. All rights reserved.
Resumo:
The one-way quantum computing model introduced by Raussendorf and Briegel [Phys. Rev. Lett. 86, 5188 (2001)] shows that it is possible to quantum compute using only a fixed entangled resource known as a cluster state, and adaptive single-qubit measurements. This model is the basis for several practical proposals for quantum computation, including a promising proposal for optical quantum computation based on cluster states [M. A. Nielsen, Phys. Rev. Lett. (to be published), quant-ph/0402005]. A significant open question is whether such proposals are scalable in the presence of physically realistic noise. In this paper we prove two threshold theorems which show that scalable fault-tolerant quantum computation may be achieved in implementations based on cluster states, provided the noise in the implementations is below some constant threshold value. Our first threshold theorem applies to a class of implementations in which entangling gates are applied deterministically, but with a small amount of noise. We expect this threshold to be applicable in a wide variety of physical systems. Our second threshold theorem is specifically adapted to proposals such as the optical cluster-state proposal, in which nondeterministic entangling gates are used. A critical technical component of our proofs is two powerful theorems which relate the properties of noisy unitary operations restricted to act on a subspace of state space to extensions of those operations acting on the entire state space. We expect these theorems to have a variety of applications in other areas of quantum-information science.
Resumo:
Quantum computers promise to increase greatly the efficiency of solving problems such as factoring large integers, combinatorial optimization and quantum physics simulation. One of the greatest challenges now is to implement the basic quantum-computational elements in a physical system and to demonstrate that they can be reliably and scalably controlled. One of the earliest proposals for quantum computation is based on implementing a quantum bit with two optical modes containing one photon. The proposal is appealing because of the ease with which photon interference can be observed. Until now, it suffered from the requirement for non-linear couplings between optical modes containing few photons. Here we show that efficient quantum computation is possible using only beam splitters, phase shifters, single photon sources and photo-detectors. Our methods exploit feedback from photo-detectors and are robust against errors from photon loss and detector inefficiency. The basic elements are accessible to experimental investigation with current technology.
Resumo:
Marijuana is a frequently used recreational drug. We describe the first published case of marijuana related cardiomyopathy.