Towards computable analysis on the generalised real line

In this paper we use infinitary Turing machines with tapes of length $\kappa$ and which run for time $\kappa$ as presented, e.g., by Koepke \& Seyfferth, to generalise the notion of type two computability to $2^{\kappa}$, where $\kappa$ is an uncountable cardinal with $\kappa^{<\kappa}=\kappa$. Then we start the study of the computational properties of $\mathbb{R}_\kappa$, a real closed field extension of $\mathbb{R}$ of cardinality $2^{\kappa}$, defined by the first author using surreal numbers and proposed as the candidate for generalising real analysis. In particular we introduce representations of $\mathbb{R}_\kappa$ under which the field operations are computable. Finally we show that this framework is suitable for generalising the classical Weihrauch hierarchy. In particular we start the study of the computational strength of the generalised version of the Intermediate Value Theorem

Damage Tolerant Active Contro l: Concept and State of the Art

Damage tolerant active control is a new research area relating to fault tolerant control design applied to mechanical structures. It encompasses several techniques already used to design controllers and to detect and to diagnose faults, as well to monitor structural integrity. Brief reviews of the common intersections of these areas are presented, with the purpose to clarify its relations and also to justify the new controller design paradigm. Some examples help to better understand the role of the new area

Mortality in Parkinson's disease : A systematic review and meta-analysis

© 2014 International Parkinson and Movement Disorder Society.Peer reviewedPublisher PD

Corrections to Finite Size Scaling in Percolation

A 1/L-expansion for percolation problems is proposed, where L is the lattice finite length. The square lattice with 27 different sizes L = 18, 22 ... 1594 is considered. Certain spanning probabilities were determined by Monte Carlo simulations, as continuous functions of the site occupation probability p. We estimate the critical threshold pc by applying the quoted expansion to these data. Also, the universal spanning probability at pc for an annulus with aspect ratio r=1/2 is estimated as C = 0.876657(45)

The Relationship Between the Sersic Law Profiles Measured Along the Major and Minor Axes of Elliptical Galaxies

In this paper we discuss the reason why the parameters of the Sersic model best-fitting the major axis light profile of elliptical galaxies can differ significantly from those derived for the minor axis profile. We show that this discrepancy is a natural consequence of the fact that the isophote eccentricity varies with the radius of the isophote and present a mathematical transformation that allows the minor axis Sersic model to be calculated from the major axis model, provided that the elliptical isophotes are aligned and concentric and that their eccentricity can be represented by a well behaved, though quite general, function of the radius. When there is no variation in eccentricity only the effective radius changes in the Sersic model, while for radial-dependent eccentricity the transformation which allows the minor axis Sersic model to be calculated from the major axis model is given by the Lerch Phi transcendental function. The proposed transformation was tested using photometric data for 28 early-type galaxies.Comment: 16 pages, 14 figures, LaTex with mn2e.cls. Accepted to MNRA

A new method based on noise counting to monitor the frontend electronics of the LHCb muon detector

A new method has been developed to check the correct behaviour of the frontend electronics of the LHCb muon detector. This method is based on the measurement of the electronic noise rate at different thresholds of the frontend discriminator. The method was used to choose the optimal discriminator thresholds. A procedure based on this method was implemented in the detector control system and allowed the detection of a small percentage of frontend channels which had deteriorated. A Monte Carlo simulation has been performed to check the validity of the method

Arquitetura da Informação: análise da base de dados BENANCIB com ênfase na descrição física e temática

TCC (graduação) - Universidade Federal de Santa Catarina. Centro de Ciências da Educação. Curso de Biblioteconomia.O estudo trata da análise dos elementos da arquitetura da informação no repositório Questões em Rede que abriga a coleção BENANCIB. Os elementos da arquitetura da informação estão relacionados aos processos de organização da informação como a classificação, a indexação e a catalogação e podem ou não serem facilitadores da navegação na interface e da recuperação da informação, dependendo da forma como são apresentados. Este trabalho teve como objetivo geral analisar quais são os elementos da Arquitetura da Informação que estão sendo utilizados na estrutura no repositório Questões em Rede, no que se refere à descrição física e temática da informação. A pesquisa, descritiva de caráter qualitativo, utilizou como instrumento para análise do repositório sobre a relação entre os procedimentos de organização da informação e os elementos da arquitetura da informação exatos e ambíguos. O resultado da análise mostra a fácil usabilidade da base de dados perante as interfaces de navegações que apresentam algumas características marcantes dos elementos da arquitetura da informação.This research is about analysis of elements of information architecture at repository “Issues Network” which host BENACIB collection. Elements of information architecture are related with information organization process such as classification, indexation and cataloguing. This elements may or may not be navigation facilitators at interface or retrieval information, depending how them are showed. This research aimed to analyze which elements of information architecture are being used in the structure in the repository “Issues Network”, in relation to the physical description and thematic information. It was used analysis descriptive to analyze qualitative data from repository “Issues Network” on the relationship between organizational procedures of information and the architecture elements of accurate and unambiguous information. This analysis shows high-usability of database in front of navigation interfaces that present some remarkable characteristics of elements of information architecture

Pdxdc1 modulates prepulse inhibition of acoustic startle in the mouse.

Current antipsychotic medications used to treat schizophrenia all target the dopamine D2 receptor. Although these drugs have serious side effects and limited efficacy, no novel molecular targets for schizophrenia treatment have been successfully translated into new medications. To identify novel potential treatment targets for schizophrenia, we searched for previously unknown molecular modulators of acoustic prepulse inhibition (PPI), a schizophrenia endophenotype, in the mouse. We examined six inbred mouse strains that have a range of PPI, and used microarrays to determine which mRNA levels correlated with PPI across these mouse strains. We examined several brain regions involved in PPI and schizophrenia: hippocampus, striatum, and brainstem, found a number of transcripts that showed good correlation with PPI level, and confirmed this with real-time quantitative PCR. We then selected one candidate gene for further study, Pdxdc1 (pyridoxal-dependent decarboxylase domain containing 1), because it is a putative enzyme that could metabolize catecholamine neurotransmitters, and thus might be a feasible target for new medications. We determined that Pdxdc1 mRNA and protein are both strongly expressed in the hippocampus and levels of Pdxdc1 are inversely correlated with PPI across the six mouse strains. Using shRNA packaged in a lentiviral vector, we suppressed Pdxdc1 protein levels in the hippocampus and increased PPI by 70%. Our results suggest that Pdxdc1 may regulate PPI and could be a good target for further investigation as a potential treatment for schizophrenia