Prostacyclin, not only nitric oxide, is a mediator of the vasorelaxation induced by acetylcholine in aortas from rats submitted to cecal ligation and perforation (CLP)

Nitric oxide has been pointed out as the main agent involved in the vasodilatation, which is the major symptom of septic shock. However, there must be another mediator contributing to the circulatory failure observed in sepsis. This study aimed to investigate the endothelium-dependent relaxation induced by acetylcholine and the factors involved in this relaxation, using aortic rings isolated from rats submitted to cecal ligation and perforation (CLP), 2 h after induction of sepsis, which characterizes the hyperdynamic phase of sepsis. Under inhibition of constitutive NO-synthases (cNOS), the relaxation induced by acetylcholine was greater in the aortic rings of rats submitted to CLP compared with sham-operated rat aortic rings. The cyclooxygenase inhibitor indomethacin normalized this response, and the concentration of the stable metabolite of prostacyclin in the aorta of CLP rats increased in basal conditions and after stimulation with acetylcholine. Acetylcholine-induced NO production was lower in the endothelial cells from the aorta of CLP rats compared with sham rat aorta, but the protein expression of the cNOS was not altered. Moreover, iNOS protein expression could not be detected. Therefore, prostacyclin, and not only nitric oxide, is a mediator of the vasorelaxation induced by acetylcholine in aortas from rats submitted to CLP. (C) 2011 Elsevier Inc. All rights reserved.

Conversão automática de código CLP para ambientes de simulação com recurso a normas internacionais

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Cardiac Lineage Protein-1 (CLP-1) Regulates Cardiac Remodeling via Transcriptional Modulation of Diverse Hypertrophic and Fibrotic Responses and Angiotensin II-transforming Growth Factor β (TGF-β1) Signaling Axis.

It is well known that the renin-angiotensin system contributes to left ventricular hypertrophy and fibrosis, a major determinant of myocardial stiffness. TGF-β1 and renin-angiotensin system signaling alters the fibroblast phenotype by promoting its differentiation into morphologically distinct pathological myofibroblasts, which potentiates collagen synthesis and fibrosis and causes enhanced extracellular matrix deposition. However, the atrial natriuretic peptide, which is induced during left ventricular hypertrophy, plays an anti-fibrogenic and anti-hypertrophic role by blocking, among others, the TGF-β-induced nuclear localization of Smads. It is not clear how the hypertrophic and fibrotic responses are transcriptionally regulated. CLP-1, the mouse homolog of human hexamethylene bis-acetamide inducible-1 (HEXIM-1), regulates the pTEFb activity via direct association with pTEFb causing inhibition of the Cdk9-mediated serine 2 phosphorylation in the carboxyl-terminal domain of RNA polymerase II. It was recently reported that the serine kinase activity of Cdk9 not only targets RNA polymerase II but also the conserved serine residues of the polylinker region in Smad3, suggesting that CLP-1-mediated changes in pTEFb activity may trigger Cdk9-dependent Smad3 signaling that can modulate collagen expression and fibrosis. In this study, we evaluated the role of CLP-1 in vivo in induction of left ventricular hypertrophy in angiotensinogen-overexpressing transgenic mice harboring CLP-1 heterozygosity. We observed that introduction of CLP-1 haplodeficiency in the transgenic α-myosin heavy chain-angiotensinogen mice causes prominent changes in hypertrophic and fibrotic responses accompanied by augmentation of Smad3/Stat3 signaling. Together, our findings underscore the critical role of CLP-1 in remodeling of the genetic response during hypertrophy and fibrosis.

Solução da equação de difusão-advecção para uma CLP não-homogênea e não-estacionária pelo método GILTT

Neste trabalho é apresentada a solução da equação de difusão-advecção transiente para simular a dispersão de poluentes na Camada Limite Planetária. A solução é obtida através do método analítico GILTT (Generalized Integral Laplace Transform Technique) e da técnica de inversão numérica da quadratura de Gauss. A validação da solução é comprovada utilizando as concentraçãos obtidas a partir do modelo com as obtidas experimentalmente pelo Experimento de Copenhagen. Nesta comparação foram utilizados os perfis de vento potencial e logaritmo e os parâmetros de turbulência propostos por Degrazia et al (1997) [19] e (2002) [17]. Os melhores resultados foram obtidos utilizando o perfil de vento potencial e o coeficiente de difusão propostos por Degrazia et al (1997). A influência da velocidade vertical é mostrada através do comportamento das concentrações de poluentes na pluma. Além disso, as velocidades verticais e longitudinais geradas pelo Large Eddy Simulation (LES) foram colocadas no modelo para poder simular uma camada limite turbulenta mais realística, a qual apresentou resultados satisfatórios quando comparados com os disponíveis na literatura.

Participação social no processo legislativo federal : um estudo da Comissão de Legislação Participativa (CLP), da Comissão de Direitos Humanos e Legislação Participativa (CDH) e da iniciativa popular de lei

Esta pesquisa tem como objetivo verificar se as Comissões de Legislação Participativa da Câmara dos Deputados e do Senado Federal facilitaram a participação social no processo legislativo frente ao tradicional instituto da Iniciativa Popular de lei. Essa investigação será pautada pelo estudo dogmático do processo legislativo federal; pela investigação de como a participação social está prescrita na Constituição Federal e nos Regimentos Internos das Casas do Legislativo, visando constatar como a participação política se implementa no processo de produção legislativa; ademais do estudo sobre a relação entre representação e participação. Para tanto, foi utilizada revisão bibliográfica, análise documental, levantamento de dados, estudo de caso e entrevistas. A pesquisa realizada permite afirmar que as Comissões facilitaram a participação social na produção legislativa no que se refere à eliminação de parte dos requisitos formais que a obstaculizavam via Iniciativa Popular; além de ampliar o rol dos tipos de proposições legislativas que a sociedade pode apresentar. Entretanto, esses novos mecanismos reproduziram limitações que a Iniciativa Popular apresenta, ademais de desconsiderar na sua estruturação elementos essenciais à consecução de um processo legislativo efetivamente participativo, os quais são contemplados pelo instituto tradicional, permitindo, então, afirmar que as Comissões são inovações institucionais limitadas frente ao instituto da Iniciativa Popular.

Construção,modelagem e controle de um pêndulo invertido com CLP e software scada

Pós-graduação em Engenharia Elétrica - FEIS

Febrile response induced by cecal ligation and puncture (CLP) in rats: involvement of prostaglandin E-2 and cytokines

The purpose of the present study was to better understand the events involved in the febrile response induced by cecal ligation and puncture (CLP), a complex infectious process. To this end, we conducted in vivo experiments in rats examining (1) fever development, (2) bacterial number in the infection focus and in blood, (3) peripheral and hypothalamic synthesis of cytokines, (4) hypothalamic and cerebrospinal fluid (CSF) synthesis of prostaglandin E-2 (PGE(2)), (5) the effect of anti-IL-6 antibody on fever, and (6) the effect of celecoxib on fever and hypothalamic synthesis of PGE(2) after CLP induction. We found that CLP promotes fever and animal death depending on the number of punctures. The peak of CLP-induced fever overlapped with the maximal increase in the number of bacteria in the infectious focus and blood, which occurred at 6 and 12 h. The peak of the febrile response also coincided with increased amounts of interleukin (IL)-1 beta, IL-6 and IL-10 in the peritoneal exudate and serum; IL-6 in the hypothalamus and PGE(2) in the CSF and predominantly in the hypothalamus. Moreover, intracerebroventricularly injected anti-IL-6 antibody reduced the febrile response while celecoxib reduced the fever and PGE(2) amount in the hypothalamus induced by CLP. Tumor necrosis factor (TNF)-alpha peaked at 3 h at all sites studied. Conversely, IL-10 concentration decreased in the hypothalamus. These findings show that the peak of CLP-induced fever is accompanied by an increase of bacteria in peritoneal fluid (local infection) and blood; local synthesis of pyrogenic (IL-1 beta, IL-6) and antipyretic (IL-10) cytokines and central production of IL-6 and PGE(2), suggesting that these last are the central mediators of this response.

Independence in CLP Languages

Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel while preserving correctness and eciency. We extend the concept of independence to constraint logic programs (CLP) and prove that it also ensures the correctness and eciency of the parallel evaluation of independent goals. Independence for CLP languages is more complex than for logic programming as search space preservation is necessary but no longer sucient for ensuring correctness and eciency. Two additional issues arise. The rst is that the cost of constraint solving may depend upon the order constraints are encountered. The second is the need to handle dynamic scheduling. We clarify these issues by proposing various types of search independence and constraint solver independence, and show how they can be combined to allow dierent optimizations, from parallelism to intelligent backtracking. Sucient conditions for independence which can be evaluated \a priori" at run-time are also proposed. Our study also yields new insights into independence in logic programming languages. In particular, we show that search space preservation is not only a sucient but also a necessary condition for ensuring correctness and eciency of parallel execution.

CLP Projection for Constraint Handling Rules

This paper introduces and studies the notion of CLP projection for Constraint Handling Rules (CHR). The CLP projection consists of a naive translation of CHR programs into Constraint Logic Programs (CLP). We show that the CLP projection provides a safe operational and declarative approximation for CHR programs. We demónstrate moreover that a confluent CHR program has a least model, which is precisely equal to the least model of its CLP projection (closing henee a ten year-old conjecture by Abdenader et al.). Finally, we illustrate how the notion of CLP projection can be used in practice to apply CLP analyzers to CHR. In particular, we show results from applying AProVE to prove termination, and CiaoPP to infer both complexity upper bounds and types for CHR programs.

A generic persistence model for CLP systems (and two useful implementations)

This paper describes a model of persistence in (C)LP languages and two different and practically very useful ways to implement this model in current systems. The fundamental idea is that persistence is a characteristic of certain dynamic predicates (Le., those which encapsulate state). The main effect of declaring a predicate persistent is that the dynamic changes made to such predicates persist from one execution to the next one. After proposing a syntax for declaring persistent predicates, a simple, file-based implementation of the concept is presented and some examples shown. An additional implementation is presented which stores persistent predicates in an external datábase. The abstraction of the concept of persistence from its implementation allows developing applications which can store their persistent predicates alternatively in files or databases with only a few simple changes to a declaration stating the location and modality used for persistent storage. The paper presents the model, the implementation approach in both the cases of using files and relational databases, a number of optimizations of the process (using information obtained from static global analysis and goal clustering), and performance results from an implementation of these ideas.

A generic persistence model for CLP systems

This paper describes a model of persistence in (C)LP languages and two different and practically very useful ways to implement this model in current systems. The fundamental idea is that persistence is a characteristic of certain dynamic predicates (i.e., those which encapsulate state). The main effect of declaring a predicate persistent is that the dynamic changes made to such predicates persist from one execution to the next one. After proposing a syntax for declaring persistent predicates, a simple, file-based implementation of the concept is presented and some examples shown. An additional implementation is presented which stores persistent predicates in an external database. The abstraction of the concept of persistence from its implementation allows developing applications which can store their persistent predicates alternatively in files or databases with only a few simple changes to a declaration stating the location and modality used for persistent storage. The paper presents the model, the implementation approach in both the cases of using files and relational databases, a number of optimizations of the process (using information obtained from static global analysis and goal clustering), and performance results from an implementation of these ideas.

Towards independent and-parallelism in CLP

In this paper we propose a complete scheme for automatic exploitation of independent and-parallelism in CLP programs. We first discuss the new problems involved because of the different properties of the independence notions applicable to CLP. We then show how independence can be derived from a number of standard analysis domains for CLP. Finally, we perform a preliminary evaluation of the efficiency, accuracy, and effectiveness of the approach by implementing a parallehzing compiler for CLP based on the proposed ideas and applying it on a number of CLP benchmarks.

Towards a concurrent semantics-based analysis of CC and CLP. principles and practice of constraint programming

Abstract is not available.

A practical approach to the global analysis of CLP programs

This paper presents and illustrates with an example a practical approach to the dataflow analysis of programs written in constraint logic programming (CLP) languages using abstract interpretation. It is first argued that, from the framework point of view, it sufnces to propose relatively simple extensions of traditional analysis methods which have already been proved useful and practical and for which efncient fixpoint algorithms have been developed. This is shown by proposing a simple but quite general extensión of Bruynooghe's traditional framework to the analysis of CLP programs. In this extensión constraints are viewed not as "suspended goals" but rather as new information in the store, following the traditional view of CLP. Using this approach, and as an example of its use, a complete, constraint system independent, abstract analysis is presented for approximating definiteness information. The analysis is in fact of quite general applicability. It has been implemented and used in the analysis of CLP(R) and Prolog-III applications. Results from the implementation of this analysis are also presented.

html.pl: A simple HTML package for Prolog and CLP systems

We describe a simple, public domain, HTML package for LP/CLP systems. The package allows generating HTML documents easily from LP/CLP systems, including HTML forms. It also provides facilities for parsing the input provided by HTML forms, as well as for creating standalone form handlers. The purpose of this document is to serve as a user's manual as well as a short description of the capabilities of the package. The package was originally developed for SICStus Prolog and the UPM &-Prolog/CIAO systems, but has been adapted to a number of popular LP/CLP systems. The document is also a WWW/HTML primer, containing sufficient information for developing medium complexity WWW applications in Prolog and other LP and CLP languages.