On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases

This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted class of weak deterministic automata, used as symbolic set representations in actual applications. In previous work, it has been established that the sets of numbers that are recognizable by weak deterministic automata in two bases that do not share the same set of prime factors are exactly those that are definable in the first order additive theory of real and integer numbers. This result extends Cobham's theorem, which characterizes the sets of integer numbers that are recognizable by finite automata in multiple bases. In this article, we first generalize this result to multiplicatively independent bases, which brings it closer to the original statement of Cobham's theorem. Then, we study the sets of reals recognizable by Muller automata in two bases. We show with a counterexample that, in this setting, Cobham's theorem does not generalize to multiplicatively independent bases. Finally, we prove that the sets of reals that are recognizable by Muller automata in two bases that do not share the same set of prime factors are exactly those definable in the first order additive theory of real and integer numbers. These sets are thus also recognizable by weak deterministic automata. This result leads to a precise characterization of the sets of real numbers that are recognizable in multiple bases, and provides a theoretical justification to the use of weak automata as symbolic representations of sets.Comment: 17 page

Analytical solution of a one-dimensional Ising model with zero temperature dynamics

The one-dimensional Ising model with nearest neighbour interactions and the zero-temperature dynamics recently considered by Lefevre and Dean -J. Phys. A: Math. Gen. {\bf 34}, L213 (2001)- is investigated. By introducing a particle-hole description, in which the holes are associated to the domain walls of the Ising model, an analytical solution is obtained. The result for the asymptotic energy agrees with that found in the mean field approximation.Comment: 6 pages, no figures; accepted in J. Phys. A: Math. Gen. (Letter to the Editor

User-definable resource bounds analysis for logic programs

We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in general be functions of input data sizes. A resource in our approach is a quite general, user-defined notion which associates a basic cost function with elementary operations. The analysis then derives the related (upper- and lower-bound) resource usage functions for all predicates in the program. We also present an assertion language which is used to define both such resources and resourcerelated properties that the system can then check based on the results of the analysis. We have performed some preliminary experiments with some concrete resources such as execution steps, bytes sent or received by an application, number of files left open, number of accesses to a datábase, number of calis to a procedure, number of asserts/retracts, etc. Applications of our analysis include resource consumption verification and debugging (including for mobile code), resource control in parallel/distributed computing, and resource-oriented specialization

Glassy timescale divergence and anomalous coarsening in a kinetically constrained spin chain

We analyse the out of equilibrium behavior of an Ising spin chain with an asymmetric kinetic constraint after a quench to a low temperature T. In the limit T\to 0, we provide an exact solution of the resulting coarsening process. The equilibration time exhibits a `glassy' divergence \teq=\exp(const/T^2) (popular as an alternative to the Vogel-Fulcher law), while the average domain length grows with a temperature dependent exponent, \dbar ~ t^{T\ln 2}. We show that the equilibration time \teq also sets the timescale for the linear response of the system at low temperatures.Comment: 4 pages, revtex, includes two eps figures. Proof of energy barrier hierarchy added. Version to be published in Phys Rev Let

Integrating evolution into ecological modelling: accommodating phenotypic changes in agent based models.

PMCID: PMC3733718This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.Evolutionary change is a characteristic of living organisms and forms one of the ways in which species adapt to changed conditions. However, most ecological models do not incorporate this ubiquitous phenomenon. We have developed a model that takes a 'phenotypic gambit' approach and focuses on changes in the frequency of phenotypes (which differ in timing of breeding and fecundity) within a population, using, as an example, seasonal breeding. Fitness per phenotype calculated as the individual's contribution to population growth on an annual basis coincide with the population dynamics per phenotype. Simplified model variants were explored to examine whether the complexity included in the model is justified. Outputs from the spatially implicit model underestimated the number of individuals across all phenotypes. When no phenotype transitions are included (i.e. offspring always inherit their parent's phenotype) numbers of all individuals are always underestimated. We conclude that by using a phenotypic gambit approach evolutionary dynamics can be incorporated into individual based models, and that all that is required is an understanding of the probability of offspring inheriting the parental phenotype

The systematic guideline review: method, rationale, and test on chronic heart failure

Background: Evidence-based guidelines have the potential to improve healthcare. However, their de-novo-development requires substantial resources-especially for complex conditions, and adaptation may be biased by contextually influenced recommendations in source guidelines. In this paper we describe a new approach to guideline development-the systematic guideline review method (SGR), and its application in the development of an evidence-based guideline for family physicians on chronic heart failure (CHF). Methods: A systematic search for guidelines was carried out. Evidence-based guidelines on CHF management in adults in ambulatory care published in English or German between the years 2000 and 2004 were included. Guidelines on acute or right heart failure were excluded. Eligibility was assessed by two reviewers, methodological quality of selected guidelines was appraised using the AGREE instrument, and a framework of relevant clinical questions for diagnostics and treatment was derived. Data were extracted into evidence tables, systematically compared by means of a consistency analysis and synthesized in a preliminary draft. Most relevant primary sources were re-assessed to verify the cited evidence. Evidence and recommendations were summarized in a draft guideline. Results: Of 16 included guidelines five were of good quality. A total of 35 recommendations were systematically compared: 25/35 were consistent, 9/35 inconsistent, and 1/35 un-rateable (derived from a single guideline). Of the 25 consistencies, 14 were based on consensus, seven on evidence and four differed in grading. Major inconsistencies were found in 3/9 of the inconsistent recommendations. We re-evaluated the evidence for 17 recommendations (evidence-based, differing evidence levels and minor inconsistencies) - the majority was congruent. Incongruity was found where the stated evidence could not be verified in the cited primary sources, or where the evaluation in the source guidelines focused on treatment benefits and underestimated the risks. The draft guideline was completed in 8.5 man-months. The main limitation to this study was the lack of a second reviewer. Conclusion: The systematic guideline review including framework development, consistency analysis and validation is an effective, valid, and resource saving-approach to the development of evidence-based guidelines

Ribosomal S6 Kinase 2 (RSK2) Maintains Genomic Stability by Activating the Atm/p53-Dependent DNA Damage Pathway

10.1371/journal.pone.0074334PLoS ONE89-POLN

Radio-Frequency Spectroscopy

Contains reports on four research projects

Prostate cancer cell malignancy via modulation of HIF-1 alpha pathway with isoflurane and propofol alone and in combination

BACKGROUND: Surgery is considered to be the first line treatment for solid tumours. Recently, retrospective studies reported that general anaesthesia was associated with worse long-term cancer-free survival when compared with regional anaesthesia. This has important clinical implications; however, the mechanisms underlying those observations remain unclear. We aim to investigate the effect of anaesthetics isoflurane and propofol on prostate cancer malignancy. METHODS: Prostate cancer (PC3) cell line was exposed to commonly used anaesthetic isoflurane and propofol. Malignant potential was assessed through evaluation of expression level of hypoxia-inducible factor-1α (HIF-1α) and its downstream effectors, cell proliferation and migration as well as development of chemoresistance. RESULTS: We demonstrated that isoflurane, at a clinically relevant concentration induced upregulation of HIF-1α and its downstream effectors in PC3 cell line. Consequently, cancer cell characteristics associated with malignancy were enhanced, with an increase of proliferation and migration, as well as development of chemoresistance. Inhibition of HIF-1α neosynthesis through upper pathway blocking by a PI-3K-Akt inhibitor or HIF-1α siRNA abolished isoflurane-induced effects. In contrast, the intravenous anaesthetic propofol inhibited HIF-1α activation induced by hypoxia or CoCl(2). Propofol also prevented isoflurane-induced HIF-1α activation, and partially reduced cancer cell malignant activities. CONCLUSIONS: Our findings suggest that modulation of HIF-1α activity by anaesthetics may affect cancer recurrence following surgery. If our data were to be extrapolated to the clinical setting, isoflurane but not propofol should be avoided for use in cancer surgery. Further work involving in vivo models and clinical trials is urgently needed to determine the optimal anaesthetic regimen for cancer patients