Statistical systems as the basis for national accounts calculations

Includes bibliography

A percepção da doença de Alzheimer pelos estudantes da F.F.C. Júlio de Mesquita Filho da UNESP, Marília

Alzheimer’s disease (AD) accounts for approximately 56% of all cases of dementia. The present study aimed to report the perception of AD by students of Physiotherapy, Speech Therapy and Occupational Therapy from Faculty of Philosophy and Science “Julio de Mesquita Filho” – UNESP – Marília, with regard to the symptoms, diagnosis and treatment, between 2011 and 2012. The questionnaire with open and closed questions was administered to 101 students, using as a criterion for exclusion those who refused to answer the survey and / or not signed the informed consent form. After the questionnaire application, the answers have undergone quantitative analysis, checking which information and concepts about Alzheimer’s disease these students acquired during the undergraduate years. The data shows that although students have knowledge about the signs and symptoms of the disease, few mention the importance of family, the caregiver and the relationship of the disease with dependence that commonly reaches this population.

A decaying factor accounts for contained activity in neuronal networks with no need of hierarchical or modular organization

The mechanisms responsible for containing activity in systems represented by networks are crucial in various phenomena, for example, in diseases such as epilepsy that affect the neuronal networks and for information dissemination in social networks. The first models to account for contained activity included triggering and inhibition processes, but they cannot be applied to social networks where inhibition is clearly absent. A recent model showed that contained activity can be achieved with no need of inhibition processes provided that the network is subdivided into modules (communities). In this paper, we introduce a new concept inspired in the Hebbian theory, through which containment of activity is achieved by incorporating a dynamics based on a decaying activity in a random walk mechanism preferential to the node activity. Upon selecting the decay coefficient within a proper range, we observed sustained activity in all the networks tested, namely, random, Barabasi-Albert and geographical networks. The generality of this finding was confirmed by showing that modularity is no longer needed if the dynamics based on the integrate-and-fire dynamics incorporated the decay factor. Taken together, these results provide a proof of principle that persistent, restrained network activation might occur in the absence of any particular topological structure. This may be the reason why neuronal activity does not spread out to the entire neuronal network, even when no special topological organization exists.

Hydroxyl scavenging activity accounts for differential antioxidant protection of Plantago major against oxidative toxicity in isolated rat liver mitochondria

Objectives The aim of this work was to study the effects of P. major against the oxidative damage of isolated rat liver mitochondria. Methods The extracts were obtained using methanol (MeOH), ethyl acetate (EAc), dichloromethane (DCM), and hexane (Hex) as solvents. Key findings Hex, DCM, and EAc totally, and MeOH partially, inhibited ROS generation and lipid peroxidation of membranes induced by Fe2+ or t-BOOH. However, only MeOH was able to prevent the t-BOOH-induced glutathione and NAD(P)H oxidation. All extracts chelated Fe2+ and reduced DPP Hradicals. EPR analysis revealed that P. major exhibited potent scavenger activity for hydroxyl radicals. Conclusions The potent antioxidant activity exhibited by P. major was able to prevent oxidative mitochondrial damage, contributing to the understanding of its hepatoprotective action against ROS-mediated toxicity.

The protein LJM 111 from Lutzomyia longipalpis Salivary Gland Extract (SGE) accounts for the SGE-inhibitory effects upon inflammatory parameters in experimental arthritis model

Several studies have pointed out the immunomodulatory properties of the Salivary Gland Extract (SGE) from Lutzomyia longipalpis. We aimed to identify the SGE component (s) responsible for its effect on ovalbumin (OVA)-induced neutrophil migration (NM) and to evaluate the effect of SGE and components in the antigen-induced arthritis (AIA) model. We tested the anti-arthritic activities of SGE and the recombinant LJM111 salivary protein (rLJM111) by measuring the mechanical hypernociception and the NM into synovial cavity. Furthermore, we measured IL-17, TNF-alpha and IFN-gamma released by lymph nodes cells stimulated with mBSA or anti-CD3 using enzyme-linked immunosorbent assay (ELISA). Additionally, we tested the effect of SGE and rLJM111 on co-stimulatory molecules expression (MHC-II and CD-86) by flow cytometry. TNF-alpha and IL-10 production (ELISA) of bone marrow-derived dendritic cells (BMDCs) stimulated with LPS, chemotaxis and actin polymerization from neutrophils. Besides, the effect of SGE on CXCR2 and GRK-2 expression on neutrophils was investigated. We identified one plasmid expressing the protein LJM111 that prevented NM in OVA-challenged immunized mice. Furthermore, both SGE and rLJM111 inhibited NM and pain sensitivity in AIA and reduced IL-17, TNF-alpha and IFN-gamma. SGE and rLJM111 also reduced MHC-II and CD-86 expression and TNF-alpha whereas increased IL-10 release by LPS-stimulated BMDCs. SGE, but not LJM 111, inhibited neutrophils chemotaxis and actin polymerization. Additionally, SGE reduced neutrophil CXCR2 expression and increased GRK-2. Thus, rLJM111 is partially responsible for SGE mechanisms by diminishing DC function and maturation but not chemoattraction of neutrophils. (C) 2012 Elsevier B.V. All rights reserved.

Parasympathetic neural activity accounts for the lowering of exercise heart rate at high altitude

[EN] BACKGROUND: In chronic hypoxia, both heart rate (HR) and cardiac output (Q) are reduced during exercise. The role of parasympathetic neural activity in lowering HR is unresolved, and its influence on Q and oxygen transport at high altitude has never been studied. METHODS AND RESULTS: HR, Q, oxygen uptake, mean arterial pressure, and leg blood flow were determined at rest and during cycle exercise with and without vagal blockade with glycopyrrolate in 7 healthy lowlanders after 9 weeks' residence at >/=5260 m (ALT). At ALT, glycopyrrolate increased resting HR by 80 bpm (73+/-4 to 153+/-4 bpm) compared with 53 bpm (61+/-3 to 114+/-6 bpm) at sea level (SL). During exercise at ALT, glycopyrrolate increased HR by approximately 40 bpm both at submaximal (127+/-4 to 170+/-3 bpm; 118 W) and maximal (141+/-6 to 180+/-2 bpm) exercise, whereas at SL, the increase was only by 16 bpm (137+/-6 to 153+/-4 bpm) at 118 W, with no effect at maximal exercise (181+/-2 bpm). Despite restoration of maximal HR to SL values, glycopyrrolate had no influence on Q, which was reduced at ALT. Breathing FIO(2)=0.55 at peak exercise restored Q and power output to SL values. CONCLUSIONS: Enhanced parasympathetic neural activity accounts for the lowering of HR during exercise at ALT without influencing Q. The abrupt restoration of peak exercise Q in chronic hypoxia to maximal SL values when arterial PO(2) and SO(2) are similarly increased suggests hypoxia-mediated attenuation of Q.

Certificates for Incremental Type Checking

The central topic of this thesis is the study of algorithms for type checking, both from the programming language and from the proof-theoretic point of view. A type checking algorithm takes a program or a proof, represented as a syntactical object, and checks its validity with respect to a specification or a statement. It is a central piece of compilers and proof assistants. We postulate that since type checkers are at the interface between proof theory and program theory, their study can let these two fields mutually enrich each other. We argue by two main instances: first, starting from the problem of proof reuse, we develop an incremental type checker; secondly, starting from a type checking program, we evidence a novel correspondence between natural deduction and the sequent calculus.

Domain-Specific Program Checking

Lint-like program checkers are popular tools that ensure code quality by verifying compliance with best practices for a particular programming language. The proliferation of internal domain-specific languages and models, however, poses new challenges for such tools. Traditional program checkers produce many false positives and fail to accurately check constraints, best practices, common errors, possible optimizations and portability issues particular to domain-specific languages. We advocate the use of dedicated rules to check domain-specific practices. We demonstrate the implementation of domain-specific rules, the automatic fixing of violations, and their application to two case-studies: (1) Seaside defines several internal DSLs through a creative use of the syntax of the host language; and (2) Magritte adds meta-descriptions to existing code by means of special methods. Our empirical validation demonstrates that domain-specific program checking significantly improves code quality when compared with general purpose program checking.

Natural Language Checking with Program Checking Tools

Written text is an important component in the process of knowledge acquisition and communication. Poorly written text fails to deliver clear ideas to the reader no matter how revolutionary and ground-breaking these ideas are. Providing text with good writing style is essential to transfer ideas smoothly. While we have sophisticated tools to check for stylistic problems in program code, we do not apply the same techniques for written text. In this paper we present TextLint, a rule-based tool to check for common style errors in natural language. TextLint provides a structural model of written text and an extensible rule-based checking mechanism.

Model Checking for ROC Regression Analysis

The Receiver Operating Characteristic (ROC) curve is a prominent tool for characterizing the accuracy of continuous diagnostic test. To account for factors that might invluence the test accuracy, various ROC regression methods have been proposed. However, as in any regression analysis, when the assumed models do not fit the data well, these methods may render invalid and misleading results. To date practical model checking techniques suitable for validating existing ROC regression models are not yet available. In this paper, we develop cumulative residual based procedures to graphically and numerically assess the goodness-of-fit for some commonly used ROC regression models, and show how specific components of these models can be examined within this framework. We derive asymptotic null distributions for the residual process and discuss resampling procedures to approximate these distributions in practice. We illustrate our methods with a dataset from the Cystic Fibrosis registry.