On Undecidable Dynamical Properties of Reversible One-Dimensional Cellular Automata

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.

Non-obese adult onset diabetes with oral hypoglycemic agent failure: islet cell autoantibodies or reversible beta cell refractoriness?

Pancreatic ß cell function and insulin sensitivity, analyzed by the homeostasis model assessment, before and after 24 weeks of insulin therapy were studied and correlated with the presence of autoantibodies against ß cells (islet cell and anti-glutamic acid decarboxylase antibodies), in a group of 18 Brazilian lean adult non-insulin-dependent diabetes mellitus (NIDDM) patients with oral hypoglycemic agent failure (OHAF). Median fasting plasma glucose before and after insulin treatment was 19.1 and 8.5 mmol/l, respectively (P < 0.001); median HbA1c was 11.7% before vs 7.2% after insulin treatment (P < 0.001). Forty-four percent of the patients were positive (Ab+) to at least one autoantibody. Fasting C-peptide levels were lower in Ab+ than Ab- patients, both before (Ab+: 0.16 ± 0.09 vs Ab-: 0.41 ± 0.35 nmol/l, P < 0.003) and after insulin treatment (Ab+: 0.22 ± 0.13 vs Ab-: 0.44 ± 0.24 nmol/l, P < 0.03). Improvement of Hß was seen in Ab- (median before: 7.3 vs after insulin therapy: 33.4%, P = 0.003) but not in Ab+ patients (median before: 6.6 vs after insulin therapy: 20.9%). These results show that the OHAF observed in the 18 NIDDM patients studied was due mainly to two major causes: autoantibodies and ß cell desensitization. Autoantibodies against ß cells could account for 44% of OHAF, but Ab- patients may still present ß cell function recovery, mainly after a period of ß cell rest with insulin therapy. However, the effects of ß cell function recovery on the restoration of the response to oral hypoglycemic agents need to be determined.

Effects of reversible inactivation of the dorsomedial hypothalamus on panic- and anxiety-related responses in rats

The medial hypothalamus is part of a neurobiological substrate controlling defensive behavior. It has been shown that a hypothalamic nucleus, the dorsomedial hypothalamus (DMH), is involved in the regulation of escape, a defensive behavior related to panic attacks. The role played by the DMH in the organization of conditioned fear responses, however, is less clear. In the present study, we investigated the effects of reversible inactivation of the DMH with the GABA A agonist muscimol on inhibitory avoidance acquisition and escape expression by male Wistar rats (approximately 280 g in weight) tested in the elevated T-maze (ETM). In the ETM, inhibitory avoidance, a conditioned defensive response, has been associated with generalized anxiety disorder. Results showed that intra-DMH administration of the GABA A receptor agonist muscimol inhibited escape performance, suggesting an antipanic-like effect (P < 0.05), without changing inhibitory avoidance acquisition. Although a higher dose of muscimol (1.0 nmol/0.2 µL; N = 7) also altered locomotor activity in an open field when compared to control animals (0.2 µL saline; N = 13) (P < 0.05), the lower dose (0.5 nmol/0.2 µL; N = 12) of muscimol did not cause any motor impairment. These data corroborate previous evidence suggesting that the DMH is specifically involved in the modulation of escape. Dysfunction of this regulatory mechanism may be relevant in the genesis/maintenance of panic disorder.

Reversible flow of cholesteryl ester between high-density lipoproteins and triacylglycerol-rich particles is modulated by the fatty acid composition and concentration of triacylglycerols

We determined the influence of fasting (FAST) and feeding (FED) on cholesteryl ester (CE) flow between high-density lipoproteins (HDL) and plasma apoB-lipoprotein and triacylglycerol (TG)-rich emulsions (EM) prepared with TG-fatty acids (FAs). TG-FAs of varying chain lengths and degrees of unsaturation were tested in the presence of a plasma fraction at d > 1.21 g/mL as the source of CE transfer protein. The transfer of CE from HDL to FED was greater than to FAST TG-rich acceptor lipoproteins, 18% and 14%, respectively. However, percent CE transfer from HDL to apoB-containing lipoproteins was similar for FED and FAST HDL. The CE transfer from HDL to EM depended on the EM TG-FA chain length. Furthermore, the chain length of the monounsaturated TG-containing EM showed a significant positive correlation of the CE transfer from HDL to EM (r = 0.81, P < 0.0001) and a negative correlation from EM to HDL (r = -041, P = 0.0088). Regarding the degree of EM TG-FAs unsaturation, among EMs containing C18, the CE transfer was lower from HDL to C18:2 compared to C18:1 and C18:3, 17.7%, 20.7%, and 20%, respectively. However, the CE transfer from EMs to HDL was higher to C18:2 than to C18:1 and C18:3, 83.7%, 51.2%, and 46.3%, respectively. Thus, the EM FA composition was found to be the rate-limiting factor regulating the transfer of CE from HDL. Consequently, the net transfer of CE between HDL and TG-rich particles depends on the specific arrangement of the TG acyl chains in the lipoprotein particle core.

Biochemical adaptations of mammalian hibernation: exploring squirrels as a perspective model for naturally induced reversible insulin resistance

An important disease among human metabolic disorders is type 2 diabetes mellitus. This disorder involves multiple physiological defects that result from high blood glucose content and eventually lead to the onset of insulin resistance. The combination of insulin resistance, increased glucose production, and decreased insulin secretion creates a diabetic metabolic environment that leads to a lifetime of management. Appropriate models are critical for the success of research. As such, a unique model providing insight into the mechanisms of reversible insulin resistance is mammalian hibernation. Hibernators, such as ground squirrels and bats, are excellent examples of animals exhibiting reversible insulin resistance, for which a rapid increase in body weight is required prior to entry into dormancy. Hibernator studies have shown differential regulation of specific molecular pathways involved in reversible resistance to insulin. The present review focuses on this growing area of research and the molecular mechanisms that regulate glucose homeostasis, and explores the roles of the Akt signaling pathway during hibernation. Here, we propose a link between hibernation, a well-documented response to periods of environmental stress, and reversible insulin resistance, potentially facilitated by key alterations in the Akt signaling network, PPAR-γ/PGC-1α regulation, and non-coding RNA expression. Coincidentally, many of the same pathways are frequently found to be dysregulated during insulin resistance in human type 2 diabetes. Hence, the molecular networks that may regulate reversible insulin resistance in hibernating mammals represent a novel approach by providing insight into medical treatment of insulin resistance in humans.

TGA2 dual activity: N-terminus regulation of reversible DNA binding influenced by NPRI and CK2

TGA2 is a dual-function Systemic Acquired Resistance (SAR) transcription factor involved in the activation and repression of pathogenesis-related (PR) genes. Recent studies have shown that TGA2 is able to switch from a basal repressor to activator, likely, through regulatory control from its N-terminus. The N-terminus has also been shown to affect DNA binding of the TGA2 bZIP domain when phosphorylated by Casein Kinase II (CK2). The mechanisms involved for directing a switch from basal repressor to activator, and the role of kinase activity, have not previously been looked at in detail. This study provides evidence for the involvement of a CK2-like kinase in the switch of TGA2 activity from repressor to activator, by regulating the DNA-binding activity of TGA2 by phosphorylating residues in the N terminus of the protein.

Optimización e innovación de cédulas de laminación en frío para un molino reversible del tipo cuatro para un acero 1006.

Tesis (Doctor en Ingeniería de Materiales) UANL, 2009.

Reversible ferromagnetic switching in ZnO:(Co,Mn) powders

We report here on the magnetic properties of ZnO:Mn- and ZnO:Co-doped nanoparticles. We have found that the ferromagnetism of ZnO:Mn can be switched on and off by consecutive low-temperature annealings in O2 and N2, respectively, while the opposite phenomenology was observed for ZnO:Co. These results suggest that different defects (presumably n-type for ZnO:Co and p-type for ZnO:Mn) are required to induce a ferromagnetic coupling in each case. We will argue that ferromagnetism is likely to be restricted to a very thin, nanometric layer at the grain surface. These findings reveal and give insight into the dramatic relevance of surface effects to the occurrence of ferromagnetism in ZnO-doped oxides.

Giant heat dissipation at the low temperature reversible-irreversible transition in Gd5Ge4

The heat exchanged at the low-temperature first-order magnetostructural transition is directly measured in Gd5Ge4 . Results show that the origin and the temperature dependence of the heat exchanged varies with the reversible/irreversible character of the first-order transition. In the reversible regime, the heat exchanged by the sample is mostly due to the latent heat at the transition and decreases with decreasing temperature, while in the irreversible regime, the heat is irreversibly dissipated and increases strongly with decreasing temperature, reaching a value of 237 J/kg at 4 K.

Fault Tolerant Error Coding and Detection using Reversible Gates

In recent years, reversible logic has emerged as one of the most important approaches for power optimization with its application in low power CMOS, quantum computing and nanotechnology. Low power circuits implemented using reversible logic that provides single error correction – double error detection (SEC-DED) is proposed in this paper. The design is done using a new 4 x 4 reversible gate called ‘HCG’ for implementing hamming error coding and detection circuits. A parity preserving HCG (PPHCG) that preserves the input parity at the output bits is used for achieving fault tolerance for the hamming error coding and detection circuits.

A new look at reversible logic implementation of decimal adder

Reversibility plays a fundamental role when logic gates such as AND, OR, and XOR are not reversible. computations with minimal energy dissipation are considered. Hence, these gates dissipate heat and may reduce the life of In recent years, reversible logic has emerged as one of the most the circuit. So, reversible logic is in demand in power aware important approaches for power optimization with its circuits. application in low power CMOS, quantum computing and A reversible conventional BCD adder was proposed in using conventional reversible gates.

Quick Addition of Decimals Using Reversible Conservative Logic

In recent years, reversible logic has emerged as one of the most important approaches for power optimization with its application in low power CMOS, nanotechnology and quantum computing. This research proposes quick addition of decimals (QAD) suitable for multi-digit BCD addition, using reversible conservative logic. The design makes use of reversible fault tolerant Fredkin gates only. The implementation strategy is to reduce the number of levels of delay there by increasing the speed, which is the most important factor for high speed circuits.

Performance Analysis of Reversible Fast Decimal Adders

This paper presents a performance analysis of reversible, fault tolerant VLSI implementations of carry select and hybrid decimal adders suitable for multi-digit BCD addition. The designs enable partial parallel processing of all digits that perform high-speed addition in decimal domain. When the number of digits is more than 25 the hybrid decimal adder can operate 5 times faster than conventional decimal adder using classical logic gates. The speed up factor of hybrid adder increases above 10 when the number of decimal digits is more than 25 for reversible logic implementation. Such highspeed decimal adders find applications in real time processors and internet-based applications. The implementations use only reversible conservative Fredkin gates, which make it suitable for VLSI circuits.

Modelling heterotachy in phylogenetic inference by reversible-jump Markov chain Monte Carlo

The rate at which a given site in a gene sequence alignment evolves over time may vary. This phenomenon-known as heterotachy-can bias or distort phylogenetic trees inferred from models of sequence evolution that assume rates of evolution are constant. Here, we describe a phylogenetic mixture model designed to accommodate heterotachy. The method sums the likelihood of the data at each site over more than one set of branch lengths on the same tree topology. A branch-length set that is best for one site may differ from the branch-length set that is best for some other site, thereby allowing different sites to have different rates of change throughout the tree. Because rate variation may not be present in all branches, we use a reversible-jump Markov chain Monte Carlo algorithm to identify those branches in which reliable amounts of heterotachy occur. We implement the method in combination with our 'pattern-heterogeneity' mixture model, applying it to simulated data and five published datasets. We find that complex evolutionary signals of heterotachy are routinely present over and above variation in the rate or pattern of evolution across sites, that the reversible-jump method requires far fewer parameters than conventional mixture models to describe it, and serves to identify the regions of the tree in which heterotachy is most pronounced. The reversible-jump procedure also removes the need for a posteriori tests of 'significance' such as the Akaike or Bayesian information criterion tests, or Bayes factors. Heterotachy has important consequences for the correct reconstruction of phylogenies as well as for tests of hypotheses that rely on accurate branch-length information. These include molecular clocks, analyses of tempo and mode of evolution, comparative studies and ancestral state reconstruction. The model is available from the authors' website, and can be used for the analysis of both nucleotide and morphological data.