ACTORS: A Model of Concurrent Computation in Distributed Systems

A foundational model of concurrency is developed in this thesis. We examine issues in the design of parallel systems and show why the actor model is suitable for exploiting large-scale parallelism. Concurrency in actors is constrained only by the availability of hardware resources and by the logical dependence inherent in the computation. Unlike dataflow and functional programming, however, actors are dynamically reconfigurable and can model shared resources with changing local state. Concurrency is spawned in actors using asynchronous message-passing, pipelining, and the dynamic creation of actors. This thesis deals with some central issues in distributed computing. Specifically, problems of divergence and deadlock are addressed. For example, actors permit dynamic deadlock detection and removal. The problem of divergence is contained because independent transactions can execute concurrently and potentially infinite processes are nevertheless available for interaction.

Electronic structure of point defects in controlled self-doping of the TiO2 (110) surface: Combined photoemission spectroscopy and density functional theory study

Point defects in metal oxides such as TiO2 are key to their applications in numerous technologies. The investigation of thermally induced nonstoichiometry in TiO2 is complicated by the difficulties in preparing and determining a desired degree of nonstoichiometry. We study controlled self-doping of TiO2 by adsorption of 1/8 and 1/16 monolayer Ti at the (110) surface using a combination of experimental and computational approaches to unravel the details of the adsorption process and the oxidation state of Ti. Upon adsorption of Ti, x-ray and ultraviolet photoemission spectroscopy (XPS and UPS) show formation of reduced Ti. Comparison of pure density functional theory (DFT) with experiment shows that pure DFT provides an inconsistent description of the electronic structure. To surmount this difficulty, we apply DFT corrected for on-site Coulomb interaction (DFT+U) to describe reduced Ti ions. The optimal value of U is 3 eV, determined from comparison of the computed Ti 3d electronic density of states with the UPS data. DFT+U and UPS show the appearance of a Ti 3d adsorbate-induced state at 1.3 eV above the valence band and 1.0 eV below the conduction band. The computations show that the adsorbed Ti atom is oxidized to Ti2+ and a fivefold coordinated surface Ti atom is reduced to Ti3+, while the remaining electron is distributed among other surface Ti atoms. The UPS data are best fitted with reduced Ti2+ and Ti3+ ions. These results demonstrate that the complexity of doped metal oxides is best understood with a combination of experiment and appropriate computations.

Whole-brain functional connectivity during emotional word classification in medication-free Major Depressive Disorder: abnormal salience circuitry and relations to positive emotionality

Major Depressive Disorder (MDD) has been associated with biased processing and abnormal regulation of negative and positive information, which may result from compromised coordinated activity of prefrontal and subcortical brain regions involved in evaluating emotional information. We tested whether patients with MDD show distributed changes in functional connectivity with a set of independently derived brain networks that have shown high correspondence with different task demands, including stimulus salience and emotional processing. We further explored if connectivity during emotional word processing related to the tendency to engage in positive or negative emotional states. In this study, 25 medication-free MDD patients without current or past comorbidity and matched controls (n=25) performed an emotional word-evaluation task during functional MRI. Using a dual regression approach, individual spatial connectivity maps representing each subject’s connectivity with each standard network were used to evaluate between-group differences and effects of positive and negative emotionality (extraversion and neuroticism, respectively, as measured with the NEO-FFI). Results showed decreased functional connectivity of the medial prefrontal cortex, ventrolateral prefrontal cortex, and ventral striatum with the fronto-opercular salience network in MDD patients compared to controls. In patients, abnormal connectivity was related to extraversion, but not neuroticism. These results confirm the hypothesis of a relative (para)limbic-cortical decoupling that may explain dysregulated affect in MDD. As connectivity of these regions with the salience network was related to extraversion, but not to general depression severity or negative emotionality, dysfunction of this network may be responsible for the failure to sustain engagement in rewarding behavior.

A Framework supporting collaboration on the distributed design of integrated systems

The work described in this thesis aims to support the distributed design of integrated systems and considers specifically the need for collaborative interaction among designers. Particular emphasis was given to issues which were only marginally considered in previous approaches, such as the abstraction of the distribution of design automation resources over the network, the possibility of both synchronous and asynchronous interaction among designers and the support for extensible design data models. Such issues demand a rather complex software infrastructure, as possible solutions must encompass a wide range of software modules: from user interfaces to middleware to databases. To build such structure, several engineering techniques were employed and some original solutions were devised. The core of the proposed solution is based in the joint application of two homonymic technologies: CAD Frameworks and object-oriented frameworks. The former concept was coined in the late 80's within the electronic design automation community and comprehends a layered software environment which aims to support CAD tool developers, CAD administrators/integrators and designers. The latter, developed during the last decade by the software engineering community, is a software architecture model to build extensible and reusable object-oriented software subsystems. In this work, we proposed to create an object-oriented framework which includes extensible sets of design data primitives and design tool building blocks. Such object-oriented framework is included within a CAD Framework, where it plays important roles on typical CAD Framework services such as design data representation and management, versioning, user interfaces, design management and tool integration. The implemented CAD Framework - named Cave2 - followed the classical layered architecture presented by Barnes, Harrison, Newton and Spickelmier, but the possibilities granted by the use of the object-oriented framework foundations allowed a series of improvements which were not available in previous approaches: - object-oriented frameworks are extensible by design, thus this should be also true regarding the implemented sets of design data primitives and design tool building blocks. This means that both the design representation model and the software modules dealing with it can be upgraded or adapted to a particular design methodology, and that such extensions and adaptations will still inherit the architectural and functional aspects implemented in the object-oriented framework foundation; - the design semantics and the design visualization are both part of the object-oriented framework, but in clearly separated models. This allows for different visualization strategies for a given design data set, which gives collaborating parties the flexibility to choose individual visualization settings; - the control of the consistency between semantics and visualization - a particularly important issue in a design environment with multiple views of a single design - is also included in the foundations of the object-oriented framework. Such mechanism is generic enough to be also used by further extensions of the design data model, as it is based on the inversion of control between view and semantics. The view receives the user input and propagates such event to the semantic model, which evaluates if a state change is possible. If positive, it triggers the change of state of both semantics and view. Our approach took advantage of such inversion of control and included an layer between semantics and view to take into account the possibility of multi-view consistency; - to optimize the consistency control mechanism between views and semantics, we propose an event-based approach that captures each discrete interaction of a designer with his/her respective design views. The information about each interaction is encapsulated inside an event object, which may be propagated to the design semantics - and thus to other possible views - according to the consistency policy which is being used. Furthermore, the use of event pools allows for a late synchronization between view and semantics in case of unavailability of a network connection between them; - the use of proxy objects raised significantly the abstraction of the integration of design automation resources, as either remote or local tools and services are accessed through method calls in a local object. The connection to remote tools and services using a look-up protocol also abstracted completely the network location of such resources, allowing for resource addition and removal during runtime; - the implemented CAD Framework is completely based on Java technology, so it relies on the Java Virtual Machine as the layer which grants the independence between the CAD Framework and the operating system. All such improvements contributed to a higher abstraction on the distribution of design automation resources and also introduced a new paradigm for the remote interaction between designers. The resulting CAD Framework is able to support fine-grained collaboration based on events, so every single design update performed by a designer can be propagated to the rest of the design team regardless of their location in the distributed environment. This can increase the group awareness and allow a richer transfer of experiences among them, improving significantly the collaboration potential when compared to previously proposed file-based or record-based approaches. Three different case studies were conducted to validate the proposed approach, each one focusing one a subset of the contributions of this thesis. The first one uses the proxy-based resource distribution architecture to implement a prototyping platform using reconfigurable hardware modules. The second one extends the foundations of the implemented object-oriented framework to support interface-based design. Such extensions - design representation primitives and tool blocks - are used to implement a design entry tool named IBlaDe, which allows the collaborative creation of functional and structural models of integrated systems. The third case study regards the possibility of integration of multimedia metadata to the design data model. Such possibility is explored in the frame of an online educational and training platform.

Intravesical oxybutynin protects the vesical wall against functional and smooth muscle changes in rabbits with detrusor overactivity

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Functional capacity of Brazilian patients with Parkinson's disease (PD): Relationship between clinical characteristics and disease severity

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Stability results for impulsive functional differential equations with infinite delay

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Differential distribution of functional alpha(1)-adrenergic receptor subtypes along the rat tail artery

The rat tail artery has been used for the study of vasoconstriction mediated by alpha(1A)-adrenoceptors (ARs). However, rings from proximal segments of the tail artery (within the initial 4 cm, PRTA) were at least 3- fold more sensitive to methoxamine and phenylephrine (n = 6 - 12; p < 0.05) than rings from distal parts (between the sixth and 10th cm, DRTA). Interestingly, the imidazolines N-[ 5-( 4,5- dihydro- 1H- imidazol-2-yl)-2-hydroxy-5,6,7,8- tetrahydronaphthalen- 1- yl] methanesulfonamide hydrobromide (A-61603) and oxymetazoline, which activate selectively alpha(1A)- ARs, were equipotent in PRTA and DRTA (n = 4 - 12), whereas buspirone, which activates selectively alpha(1D)-AR, was approximate to 70-fold more potent in PRTA than in DRTA (n = 8; p < 0.05). The selective alpha(1D)-AR antagonist 8-[2-[4-(methoxyphenyl)-1-piperazinyl] ethyl]-8-azaspiro[4.5] decane-7,9-dione dihydrochloride (BMY- 7378) was approximate to 70- fold more potent against the contractions induced by phenylephrine in PRTA (pK(B) of approximate to 8.45; n = 6) than in DRTA (pK B of approximate to 6.58; n = 6), although the antagonism was complex in PRTA. 5-Methylurapidil, a selective alpha(1A)-antagonist, was equipotent in PRTA and DRTA (pK(B) of approximate to 8.4), but the Schild slope in DRTA was 0.73 +/- 0.05 ( n = 5). The noncompetitive alpha(1B)-antagonist conotoxin rho-TIA reduced the maximal contraction induced by phenylephrine in DRTA, but not in PRTA. These results indicate a predominant role for alpha(1A)-ARs in the contractions of both PRTA and DRTA but with significant coparticipations of alpha(1D)-ARs in PRTA and alpha(1B)-ARs in DRTA. Semiquantitative reverse transcription-polymerase chain reaction revealed that mRNA encoding alpha(1A)- and alpha(1B)-ARs are similarly distributed in PRTA and DRTA, whereas mRNA for alpha(1D)-ARs is twice more abundant in PRTA. Therefore, alpha(1)-ARs subtypes are differentially distributed along the tail artery. It is important to consider the segment from which the tissue preparation is taken to avoid misinterpretations on receptor mechanisms and drug selectivities. antagonism was complex in PRTA. 5- Methylurapidil, a selective alpha(1A)-antagonist, was equipotent in PRTA and DRTA (pK(B) of approximate to 8.4), but the Schild slope in DRTA was 0.73 +/- 0.05 ( n = 5). The noncompetitive alpha(1B)-antagonist conotoxin rho-TIA reduced the maximal contraction induced by phenylephrine in DRTA, but not in PRTA. These results indicate a predominant role for alpha(1A)-ARs in the contractions of both PRTA and DRTA but with significant coparticipations of alpha(1D)-ARs in PRTA and alpha(1B)-ARs in DRTA. Semiquantitative reverse transcription-polymerase chain reaction revealed that mRNA encoding alpha(1A)- and alpha(1B)- ARs are similarly distributed in PRTA and DRTA, whereas mRNA for alpha(1D)-ARs is twice more abundant in PRTA. Therefore, alpha(1)-ARs subtypes are differentially distributed along the tail artery. It is important to consider the segment from which the tissue preparation is taken to avoid misinterpretations on receptor mechanisms and drug selectivities.

Functional and structural analysis of two fibrinogen-activating enzymes isolated from the venoms of Crotalus durissus terrificus and Crotalus durissus collilineatus

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Functional trophic composition of the ichthyofauna of forest streams in eastern Brazilian Amazon

Este estudo teve como objetivo descrever a organização funcional da fauna de peixes de riachos do nordeste do estado do Pará, Brasil, com base em observações comportamentais das táticas alimentares das espécies. Sete igarapés foram amostrados entre junho e novembro de 2010 por técnicas de observações diretas durante sessões de mergulho livre, totalizando 91h 51min de observação, nos períodos diurno, crepuscular vespertino e noturno. Foram observadas 73 espécies distribuídas em seis ordens, 26 famílias e 63 gêneros, com predomínio de Characiformes, seguidos por Siluriformes. A partir de informações coligidas por observações ad libitum, as espécies foram organizadas em 18 grupos tróficos funcionais (GTFs), de acordo com duas características principais: (1) a tática alimentar observada com maior frequência; e (2) sua distribuição espacial no riacho, considerando suas dimensões lateral (margens e canal central) e vertical (coluna d'água). Os GTFs mais frequentes foram Catadores noturnos de invertebrados (9 espécies), Coletores diurnos de canal (8 spp.), Catadores diurnos de superfície (7 spp.), e Predadores de tocaia e emboscada (6 spp.). Os GTFs aqui definidos possibilitam uma análise comparativa da estrutura e composição da ictiofauna, que representa uma abordagem alternativa ao uso da estrutura taxonômica em estudos ecológicos. A classificação da ictiofauna baseada em GTFs proposta neste trabalho é comparada com outras três classificações, propostas por Sazima (1986), Sabino & Zuanon (1998) e Casatti et al. (2001).

Controllability and stabilizability of linear time-varying distributed hereditary control systems

This paper is concerned with the controllability and stabilizability problem for control systems described by a time-varyinglinear abstract differential equation with distributed delay in the state variables. An approximate controllability propertyis established, and for periodic systems, the stabilization problem is studied. Assuming that the semigroup of operatorsassociated with the uncontrolled and non delayed equation is compact, and using the characterization of the asymptoticstability in terms of the spectrum of the monodromy operator of the uncontrolled system, it is shown that the approximatecontrollability property is a sufficient condition for the existence of a periodic feedback control law that stabilizes thesystem. The result is extended to include some systems which are asymptotically periodic. Copyright © 2014 John Wiley &Sons, Ltd.

Impact of functional training on cardiac autonomic modulation, cardiopulmonary parameters and quality of life in healthy women

Coordenação de Aperfeiçoamentode Pessoal de Nível Superior (CAPES)

Effects of a multimodal exercise program on the functional capacity of Parkinson's disease patients considering disease severity and gender

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Ethnic Influence in Clinical and Functional Measures of Brazilian Patients with Spondyloarthritis

Objective. Spondyloarthritides (SpA) can present different disease spectra according to ethnic background. The Brazilian Registry of Spondyloarthritis (RBE) is a nationwide registry that comprises a large databank on clinical, functional, and treatment data on Brazilian patients with SpA. The aim of our study was to analyze the influence of ethnic background in SpA disease patterns in a large series of Brazilian patients. Methods. A common protocol of investigation was prospectively applied to 1318 SpA patients in 29 centers distributed through the main geographical regions in Brazil. The group comprised whites (65%), African Brazilians (31.3%), and people of mixed origins (3.7%). Clinical and demographic variables and various disease index scores were compiled. Ankylosing spondylitis (AS) was the most frequent disease in the group (65.1%); others were psoriatic arthritis (18.3%), undifferentiated SpA (6.8%), enteropathic arthritis (3.7%), and reactive arthritis (3.4%). Results. White patients were significantly associated with psoriasis (p = 0.002), positive HLA-B27 (p = 0.014), and use of corticosteroids (p < 0.0001). Hip involvement (p = 0.02), axial inflammatory pain (p = 0.04), and radiographic sacroiliitis (p = 0.025) were associated with African Brazilian descent. Sex distribution, family history, and presence of peripheral arthritis, uveitis, dactylitis, urethritis, and inflammatory bowel disease were similar in the 3 groups, as well as age at disease onset, time from first symptom until diagnosis, and use of anti-tumor necrosis factor-a agents (p > 0.05). Schober test and thoracic expansion were similar in the 3 groups, whereas African Brazilians had higher Maastricht Ankylasing Spondylitis Enthesitis Scores (p = 0.005) and decreased lateral lumbar flexion (p = 0.003), while whites had a higher occiput-to-wall distance (p = 0.02). African Brazilians reported a worse patient global assessment of disease (p = 0.011). Other index scores and prevalence of work incapacity were similar in the 3 groups, although African Brazilians had worse performance in the Ankylosing Spondylitis Quality of Life questionnaire (p < 0.001). Conclusion. Ethnic background is associated with distinct clinical aspects of SpA in Brazilian patients. African Brazilian patients with SpA have a poorer quality of life and report worse disease compared to whites, (First Release Nov 1 2011; J Rheumatol 2012;39:141-7; doi:10.3899/jrheum.110372)

Differential cellular FGF-2 upregulation in the rat facial nucleus following axotomy, functional electrical stimulation and corticosterone: a possible therapeutic target to Bell's palsy

Abstract Background The etiology of Bell's palsy can vary but anterograde axonal degeneration may delay spontaneous functional recovery leading the necessity of therapeutic interventions. Corticotherapy and/or complementary rehabilitation interventions have been employed. Thus the natural history of the disease reports to a neurotrophic resistance of adult facial motoneurons leading a favorable evolution however the related molecular mechanisms that might be therapeutically addressed in the resistant cases are not known. Fibroblast growth factor-2 (FGF-2) pathway signaling is a potential candidate for therapeutic development because its role on wound repair and autocrine/paracrine trophic mechanisms in the lesioned nervous system. Methods Adult rats received unilateral facial nerve crush, transection with amputation of nerve branches, or sham operation. Other group of unlesioned rats received a daily functional electrical stimulation in the levator labii superioris muscle (1 mA, 30 Hz, square wave) or systemic corticosterone (10 mgkg-1). Animals were sacrificed seven days later. Results Crush and transection lesions promoted no changes in the number of neurons but increased the neurofilament in the neuronal neuropil of axotomized facial nuclei. Axotomy also elevated the number of GFAP astrocytes (143% after crush; 277% after transection) and nuclear FGF-2 (57% after transection) in astrocytes (confirmed by two-color immunoperoxidase) in the ipsilateral facial nucleus. Image analysis reveled that a seven days functional electrical stimulation or corticosterone led to elevations of FGF-2 in the cytoplasm of neurons and in the nucleus of reactive astrocytes, respectively, without astrocytic reaction. Conclusion FGF-2 may exert paracrine/autocrine trophic actions in the facial nucleus and may be relevant as a therapeutic target to Bell's palsy.