Generic process algebra: a programming challenge

Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application areas for process algebras. This, however, entails the need for more generic and adaptable approaches to their design. For example, some applications may require similar programming constructs coexisting with different interaction disciplines. In such a context, this paper pursues a research programme on a coinductive rephrasal of classic process algebra, proposing a clear separation between structural aspects and interaction disciplines. A particular emphasis is put on the study of interruption combinators defined by natural co-recursion. The paper also illustrates the verification of their properties in an equational and pointfree reasoning style as well as their direct encoding in HaskellFundação para a Ciência e a Tecnologia (FCT

Aerobic and anoxic growth and nitrate removal capacity of a marine denitrifying bacterium isolated from a recirculation aquaculture system

Bacterial biofilters used in marine recirculation aquaculture systems need improvements to enhance nitrogen removal efficiency. Relatively little is known about biofilter autochthonous population structure and function. The present study was aimed at isolating and characterizing an Autochthonous denitrifying bacterium from a marine biofilter installed at a recirculation aquaculture system. Colonization of four different media in a marine fish farm was followed by isolation of various denitrifying strains and molecular classification of the most promising one, strain T2, as a novel member of the Pseudomonas fluorescens cluster. This strain exhibits high metabolic versatility regarding N and C source utilization and environmental conditions for growth. It removed nitrate through aerobic assimilatory metabolism at a specific rate of 116.2 mg NO3-N g dw _1 h _1. Dissimilatory NO3-N removal was observed under oxic conditions at a limited rate, where transient NO2-N formed represented 22% (0.17 mg L _1) of the maximum transient NO2-N observed under anoxic conditions. Dissimilatory NO3-N removal under anoxic conditions occurred at a specific rate of 53.5 mgNO3-N g dw _1 h _1. The isolated denitrifying strain was able to colonize different materials, such as granular activated carbon (GAC), Filtralite and Bioflow plastic rings, which allow the development of a prototype bioreactor for strain characterization under dynamic conditions and mimicking fish-farm operating conditions

La autonomía de los estudiantes del último año de la escuela secundaria: un estudio sobre las actividades de orientación que realizan

Los estudiantes que cursan el último año de la escuela secundaria transitan la situación de finalización de una etapa escolar a partir de la cual se les plantea el interrogante acerca de qué hacer una vez terminada. Finalizar la escuela, los conduce a una encrucijada que se presenta con una diversidad amplia de caminos posibles a seguir y nuevas responsabilidades. La orientación vocacional puede acompañar y ayudarlos a identificar cuál es aquel camino a tomar y a develar los motivos de su elección, así como a identificar los recursos y los obstáculos personales para afrontar la nueva etapa que requiere de mayor autonomía. Uno de los objetivos de la Orientación Vocacional en la actualidad es favorecer la construcción de proyectos de vida, educativo y laboral y, una de las modalidades para lograrlo es el abordaje grupal (Aisenson, 2007). Año tras año, desde la Dirección Técnica Programa de Orientación al Estudiante (DOE), dependiente de la Subsecretaría de Coordinación Académica, Secretaría de Asuntos Académicos de la Universidad de Buenos Aires (UBA) se desarrollan grupos de orientación destinados a alumnos que se encuentran terminando la escuela media, pertenecientes a establecimientos públicos y privados de la Ciudad Autónoma de Buenos Aires (CABA), del Gran Buenos Aires (GBA) y del interior del país, que se acercan a la DOE de manera personal y/o espontánea para solicitar orientación. Los objetivos de este artículo son describir el perfil sociodemográfico de los jóvenes consultantes de los grupos de orientación vocacional y ocupacional desarrollados en la DOE durante el periodo 2014-2016, presentar las actividades de orientación vocacional realizadas previamente a su participación en el grupo desde la perspectiva de la autonomía adolescente y analizar la valoración del dispositivo grupal en la construcción de proyectos de estudio y trabajo

Autonomy in students attending last year of high schools: A study about guidance activities performed

The ending of high school raises, in students of last year, questions about what to do once they finished school. The wide variety of possible paths to choose, places youth at a crossroads that inevitably involves making decisions about the future. Vocational guidance can accompany young people and help them to identify what path to start and to consider the reasons for their choice. In this sense, guidance is currently conceived as a process that contributes to build a life project, setting goals, planning and developing strategies for it. One of the objectives of Psychology of Orientation, at present, is favor the construction of life, educational and job projects, being one of the objectives, the group approach (Aisenson, 2007). Year after year, the Direccion Técnica Programa Orientación al Estudiante (DOE) – Subsecretaria de Coordinación Académica, Secretaría de Asuntos Académicos, Universidad de Buenos Aires - develops orientation groups destined to students of the last year of high school, that come from public or private educational establishments in the Autonomous City of Buenos Aires, the outskirts of the city and other places all over Argentina, who approach the DOE in a personal and spontaneous manner demanding vocational guidance. Our objectives are describe sociodemographic profile of young people consultants of vocational guidance group developed in DOE, present activities of vocational guidance done before their participation in the groups from the perspective of adolescent autonomy and analyse group device appraisal in the setting up of study and work project

Assessment of solubility and intestinal absorption in vitro of praziquantel in solid dispersions of polyethylene glycol 6000

The aim of this study was to investigate the impact of solid dispersions of polyethylene glycol 6000 (PEG 6000), using the co-precipitation method, on the in vitro solubility and intestinal absorption of praziquantel (PZQ). The solubility of PZQ in solid dispersions and physical mixtures was assessed in purified water and TC-199 buffer. The everted intestinal sac model was employed to assess, in vitro, intestinal absorption of PZQ. A significant enhancement in both in vitro solubility and intestinal absorption of PZQ was found in solid dispersions compared to pure PZQ and physical mixtures. This positive series of preliminary results showed that solid dispersion of PEG 6000 is a valuable strategy for increasing bioavailability of PZQ and could also prove useful for other poorly water-soluble drugs.Colegio de Farmacéuticos de la Provincia de Buenos Aire

Key Modulatory Role of Presynaptic Adenosine A 2A

Basal ganglia processing results from a balanced activation of direct and indirect striatal efferent pathways, which are controlled by dopamine D1 and D2 receptors, respectively. Adenosine A2A receptors are considered novel antiparkinsonian targets, based on their selective postsynaptic localization in the indirect pathway, where they modulate D2 receptor function. The present study provides evidence for the existence of an additional, functionally significant, segregation of A2A receptors at the presynaptic level. Using integrated anatomical, electrophysiological, and biochemical approaches, we demonstrate that presynaptic A2A receptors are preferentially localized in cortical glutamatergic terminals that contact striatal neurons of the direct pathway, where they exert a selective modulation of corticostriatal neurotransmission. Presynaptic striatal A2A receptors could provide a new target for the treatment of neuropsychiatric disorders

Trypanosoma cruzi Adjuvants Potentiate T Cell-Mediated Immunity Induced by a NY-ESO-1 Based Antitumor Vaccine

Immunological adjuvants that induce T cell-mediate immunity (TCMI) with the least side effects are needed for the development of human vaccines. Glycoinositolphospholipids (GIPL) and CpGs oligodeoxynucleotides (CpG ODNs) derived from the protozoa parasite Trypanosoma cruzi induce potent pro-inflammatory reaction through activation of Toll-Like Receptor (TLR)4 and TLR9, respectively. Here, using mouse models, we tested the T. cruzi derived TLR agonists as immunological adjuvants in an antitumor vaccine. For comparison, we used well-established TLR agonists, such as the bacterial derived monophosphoryl lipid A (MPL), lipopeptide (Pam3Cys), and CpG ODN. All tested TLR agonists were comparable to induce antibody responses, whereas significant differences were noticed in their ability to elicit CD4+ T and CD8+ T cell responses. In particular, both GIPLs (GTH, and GY) and CpG ODNs (B344, B297 and B128) derived from T. cruzi elicited interferon-gamma (IFN-γ) production by CD4+ T cells. On the other hand, the parasite derived CpG ODNs, but not GIPLs, elicited a potent IFN-γ response by CD8+ T lymphocytes. The side effects were also evaluated by local pain (hypernociception). The intensity of hypernociception induced by vaccination was alleviated by administration of an analgesic drug without affecting protective immunity. Finally, the level of protective immunity against the NY-ESO-1 expressing melanoma was associated with the magnitude of both CD4+ T and CD8+ T cell responses elicited by a specific immunological adjuvant

Estudos paleoambientais interdisciplinares: dinâmica da vegetação, do ambiente marinho e inferências climáticas milenares a atuais na Costa Norte do Espírito Santo, Brasil

Estudos paleoambientais desde ~50.000 anos na costa do Brasil e, em particular, no litoral do Espírito Santo, são ainda insuficientes para servir de base a reconstituições da dinâmica da vegetação, de oscilações do nível relativo do mar e de flutuações climáticas e respectivas influências sobre a ação humana milenar. Para obter essas informações, uma equipe interdisciplinar, financiada por projetos temáticos FAPESP e CNPq, desenvolveu pesquisas correlatas na Reserva Natural Vale (RNV) e região. Para a caracterização da dinâmica da vegetação e marinha, com inferências climáticas, em locais de floresta de tabuleiros e campos naturais da RNV e região desde ~16.000 anos, utilizaram-se isótopos do C (12C, 13C e 14C) da matéria orgânica do solo e sedimentar, além de palinologia em sedimentos lacustres e terrestres. No estudo da dinâmica do ecótono floresta – campo, apresentam-se inferências preliminares sobre a evolução pedogenética dos Espodossolos associados ao campo, com ênfase às suas características físico-químicas, e também dos Argissolos, encontrados sob floresta. Finaliza-se com o estágio inicial de uma coleção de referência de fitólitos, bioindicador de vegetação utilizado em estudos paleoambientais, extraídos de plantas da floresta de tabuleiros da RNV.A equipe agradece todo o empenho dos funcionários e apoio logístico da Reserva Natural Vale, Linhares, Espírito Santo; à FAPESP através do projeto Temático 2011/00995-7 (ProjES); e ao CNPq – Universal 2012-5/470210, pelo aporte financeiro e a colaboração dos técnicos do Laboratório 14C, Liz Mary Bueno de Moraes e Thiago Casemiro Barrios de Campos, na preparação de amostras gasosas para a datação 14C.Peer Reviewe