Certificação de composições de serviços web semânticos

This thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certification

Situações geográficas em movimento nas praias da área de proteção ambiental de Jenipabu: das ideologias ambientais ao território usado pelo circuito inferior do turismo

The Área de Proteção Ambiental de Jenipabu was created by Decreto 12,620/95, covering the beaches of Redinha Nova, Santa Rita and Jenipabu and Campina communities in the municipality of Extremoz, and Africa community fragment, in Natal. This protected area was created in the context of expansion of tourism in Rio Grande do Norte, in the 1990s, in which PRODETUR investments made possible the installation of infrastructure equipment, mainly in the Via Costeira and Ponta Negra beach in Natal by inserting it in the sun and sea tourism route to Northeast Brazil. In this context the beach Jenipabu in Extremoz, became one of the main attractions for those visiting Natal, due to the natural elements of its landscape, its dune field, which is offered to tourists the buggy ride. In December 1994 the excess buggy rides held in these dunes led to IBAMA ban their access to buggy for carrying out environmental study. This measure resulted in the creation of APAJ in 1995 with the goal of ordering the use and occupation to protect its ecosystems, especially the dunes, the disordered tourism. Given this context, this work aims to analyze the process of creating the APAJ and changes in the geographic space of its beaches, Redinha Nova, Santa Rita and Jenipabu, from the materialization of tourism process, as well as their implications for its residents. To this end, this paper presents a discussion of environmental currents that developed in the western portion of the globe, focusing on the need to regulate small areas of the national territory in protected areas, and an analysis of public policies that enabled the implementation tourism in APAJ as well as the laws and decrees governing the process of creation and management. Using the theory of circuits of urban economy of the Santos (2008) to analyze the territory used by tourism on the beaches of Redinha Nova, Santa Rita and Jenipabu, showing their dependent relationship with the territory used by the upper circuit on the Via Costeira and in the Ponta Negra beach and its influence on the APAJ urbanization process. Ending with the analysis of the influence of the materialization of tourism in the transformation of stocks ways of being-in-space and space-be of the Santa Rita and Jenipabu beaches in each geographical situation of APAJ among the first decades of the twentieth century to the 2014. Fieldwork was conducted between 2012 and 2014, performing actions of qualitative interviews with older residents of Santa Rita and Jenipabu beaches, interviews with structured questionnaire with merchants of APAJ and collecting GPS points trades, identifying and mapping the territory used by the lower circuit in APAJ beaches.

Ecologia trófica de uma comunidade de lagartos da caatinga

The trophic ecology studies issues related to the diet of individuals within a community .The relation between the body size of the predator and the prey size, individual specialization and niche breadth are some of the issues that can be discussed by it .I collected the lizards using pitfall trap, glue and active collecting traps in a fragment of Caatinga. The most common species in this community were Tropidurus hispidus, T. semitaeniatus and Cnemidophorus ocellifer. The visits to the farm also relied on collecting invertebrates at each season to understand how the nutritional resources of lizards were presented in each one of them. I tried to answer some questions : 1) If there was a positive relation between body size of the predator and the size of prey of the community ; 2) If in different seasons the relation of body size of the predator and the maximum and/or minimum size of the prey would be positive ; 3) If species with different foraging strategies have positive relation on the size of the predatorprey relation; 4) If the seasonality would influence on the individual expertise of lizards community and more common species; 5) If the breadth of the niche would be influenced by seasonality ; 6) If more individuals with different morphology between them would present less similar diet. I found that there was indeed a positive relationship between size of prey and predator, but nonexistent related to the minimum size of prey; Among the seasons relative size of predators and prey was different for the maximum and minimum size, but was positively related only to the size of the maximum prey. And comparisons between different foraging strategies had the maximum and minimum line inclination greater than zero and different from each other; individual specialization was not influenced by seasonality and the niche breadth was wider in the dry season only to T. semitaeniatus. At last I didn't find a significant negative relationship between morphological dissimilarity and similarity of diet.

Farelo do bagaço de caju na restrição alimentar qualitativa para suínos em terminação

The objective of this study was to evaluate the effects of the use of cashew bagasse bran (CBB) as food ingredient in qualitative feed restriction programs on the carcass traits, meat quality, organs weight and intestinal morphometry of barrows and gilts. Twenty – four crossbred pigs were used (12 barrows and 12 gilts) with an average initial body weight of 57.93 ± 3.67 kg/LW. The experimental designs was in randomized blocks 3x2 factorial arrangement with three level (0%, 15% e 30% CBB), two genders (barrows and gilts) and four repetition. A total of twenty-four instalments. The treatments were composed of basal diet (BD) formulated with corn, soybean meal and commercial base mix for finishing pigs, being containing different levels of CBB. At the end of the trial period the animals were slaughtered for the evaluation of the meat quality, traits carcass, Absolute Weight (AW) and Relative Weight (RW) of the organs and morphometric study of small intestine fragment. The inclusion of (CBB) in the diets did not affect the traits carcass of gilts, but interfered in the traits carcass of the barrow positively, increasing the yield of meat into cold carcass and reducing the thickness of subcutaneous fat, without affecting the fatty acid profile. However, we observed increased weight of organs and partial volume of absortiva mucosa of gilts. In the comparison between sex was observed a greater liver weight (AW) and (RW), and surface density of absortiva mucosa of barrow. The use of CBB was considered as ingredient to be used in programs of qualitative feed restriction for finishing pigs.

Farelo do bagaço de caju na restrição alimentar qualitativa para suínos em terminação

The objective of this study was to evaluate the effects of the use of cashew bagasse bran (CBB) as food ingredient in qualitative feed restriction programs on the carcass traits, meat quality, organs weight and intestinal morphometry of barrows and gilts. Twenty – four crossbred pigs were used (12 barrows and 12 gilts) with an average initial body weight of 57.93 ± 3.67 kg/LW. The experimental designs was in randomized blocks 3x2 factorial arrangement with three level (0%, 15% e 30% CBB), two genders (barrows and gilts) and four repetition. A total of twenty-four instalments. The treatments were composed of basal diet (BD) formulated with corn, soybean meal and commercial base mix for finishing pigs, being containing different levels of CBB. At the end of the trial period the animals were slaughtered for the evaluation of the meat quality, traits carcass, Absolute Weight (AW) and Relative Weight (RW) of the organs and morphometric study of small intestine fragment. The inclusion of (CBB) in the diets did not affect the traits carcass of gilts, but interfered in the traits carcass of the barrow positively, increasing the yield of meat into cold carcass and reducing the thickness of subcutaneous fat, without affecting the fatty acid profile. However, we observed increased weight of organs and partial volume of absortiva mucosa of gilts. In the comparison between sex was observed a greater liver weight (AW) and (RW), and surface density of absortiva mucosa of barrow. The use of CBB was considered as ingredient to be used in programs of qualitative feed restriction for finishing pigs.

Desenvolvimento e validação de testes de fluxo lateral para a detecção de cultivares geneticamente modificados e de aflatoxinas em produtos agrícolas

The expansion of cultivated areas with genetically modified crops (GM) is a worldwide phenomenon, stimulating regulatory authorities to implement strict procedures to monitor and verify the presence of GM varieties in agricultural crops. With the constant growing of plant cultivating areas all over the world, consumption of aflatoxin-contaminated food also increased. Aflatoxins correspond to a class of highly toxic contaminants found in agricultural products that can have harmful effects on human and animal health. Therefore, the safety and quality evaluation of agricultural products are important issues for consumers. Lateral flow tests (strip tests) is a promising method for the detection both proteins expressed in GM crops and aflatoxins-contaminated food samples. The advantages of this technique include its simplicity, rapidity and cost-effective when compared to the conventional methods. In this study, two novel and sensitive strip tests assay were developed for the identification of: (i) Cry1Ac and Cry8Ka5 proteins expressed in GM cotton crops and; (ii) aflatoxins from agricultural products. The first strip test was developed using a sandwhich format, while the second one was developed using a competitive format. Gold colloidal nanoparticles were used as detector reagent when coated with monoclonal antibodies. An anti-species specific antibody was sprayed at the nitrocellulose membrane to be used as a control line. To validate the first strip test, GM (Bollgard I® e Planta 50- EMBRAPA) and non-GM cotton leaf (Cooker 312) were used. The results showed that the strip containing antibodies for the identification of Cry1Ac and Cry8Ka5 proteins was capable of correctly distinguishing between GM samples (positive result) and non-GM samples (negative result), in a high sensitivity manner. To validate the second strip test, artificially contaminated soybean with Aspergillus flavus (aflatoxin-producing fungus) was employed. Food samples, such as milk and soybean, were also evaluated for the presence of aflatoxins. The strip test was capable to distinguish between samples with and without aflatoxins samples, at a sensitivity concentration of 0,5 μg/Kg. Therefore, these results suggest that the strip tests developed in this study can be a potential tool as a rapid and cost-effective method for detection of insect resistant GM crops expressing Cry1Ac and Cry8Ka5 and aflatoxins from food samples.

Desenvolvimento e validação de testes de fluxo lateral para a detecção de cultivares geneticamente modificados e de aflatoxinas em produtos agrícolas

The expansion of cultivated areas with genetically modified crops (GM) is a worldwide phenomenon, stimulating regulatory authorities to implement strict procedures to monitor and verify the presence of GM varieties in agricultural crops. With the constant growing of plant cultivating areas all over the world, consumption of aflatoxin-contaminated food also increased. Aflatoxins correspond to a class of highly toxic contaminants found in agricultural products that can have harmful effects on human and animal health. Therefore, the safety and quality evaluation of agricultural products are important issues for consumers. Lateral flow tests (strip tests) is a promising method for the detection both proteins expressed in GM crops and aflatoxins-contaminated food samples. The advantages of this technique include its simplicity, rapidity and cost-effective when compared to the conventional methods. In this study, two novel and sensitive strip tests assay were developed for the identification of: (i) Cry1Ac and Cry8Ka5 proteins expressed in GM cotton crops and; (ii) aflatoxins from agricultural products. The first strip test was developed using a sandwhich format, while the second one was developed using a competitive format. Gold colloidal nanoparticles were used as detector reagent when coated with monoclonal antibodies. An anti-species specific antibody was sprayed at the nitrocellulose membrane to be used as a control line. To validate the first strip test, GM (Bollgard I® e Planta 50- EMBRAPA) and non-GM cotton leaf (Cooker 312) were used. The results showed that the strip containing antibodies for the identification of Cry1Ac and Cry8Ka5 proteins was capable of correctly distinguishing between GM samples (positive result) and non-GM samples (negative result), in a high sensitivity manner. To validate the second strip test, artificially contaminated soybean with Aspergillus flavus (aflatoxin-producing fungus) was employed. Food samples, such as milk and soybean, were also evaluated for the presence of aflatoxins. The strip test was capable to distinguish between samples with and without aflatoxins samples, at a sensitivity concentration of 0,5 μg/Kg. Therefore, these results suggest that the strip tests developed in this study can be a potential tool as a rapid and cost-effective method for detection of insect resistant GM crops expressing Cry1Ac and Cry8Ka5 and aflatoxins from food samples.

Análise da imunoexpressão da podoplanina e da triptase em carcinoma epidermóide de língua e sua relação com parâmetros clinicopatológicos

Oral tongue squamous cell carcinoma (OTSCC) has an aggressive biological behavior, with a high propensity for the development of lymph node metastases. In this context, lymphangiogenesis is considered an important phenomenon for the spread of tumor cells and may be influenced by microenvironmental stimuli. Mast cells have been implicated in tumor progression, although their influence in the formation of lymphatic vessels is not well established. The aim of this study was to analyze, in a case series of OTSCC (n=50), possible correlations between lymphatic vessel density (LVD), mast cell count and clinicopathological features, including tumor-node-metastasis (TNM) stage, histological grade of malignancy (Bryne, 1998), and nodal metastasis. LVD was established as the mean number of lymphatic vessels immunostained by anti-podoplanin (D2-40) antibody, identified in five microscopic fields (200x). For the analysis of mast cells, tryptase-immunoreactive cells were quantified in five fields (400x). Both immunostainings were analyzed in the tumor center and invasion front. Intratumoral lymphatic density (ILD) was higher in cases in advanced clinical stages (III-IV), compared to those in initial stages (I-II), as well as in metastatic cases in respect of non-metastatic (p<0,05). There were no statistically significant differences between low-grade and high-grade malignancy cases with respect to ILD (p>0,05). Peritumoral lymphatic density (PLD) and mast cell counts showed no significant relations with any of the clinicopathological parameters evaluated (p>0,05). Also there were no significant correlations between LVD and mast cell counts, whether in intratumoral (r = -0,004; p=0,977) or peritumoral region (r = -0,154; p=0,285). The results of the present study suggest that intratumoral lymphatic vessels may contribute in part to the progression of OTSCC, although PLD may be insufficient to justify differences in biological behavior. This supports the hypothesis of involvement of other mechanisms in metastatic spread of malignant cells, which could complement the effects of lymphangiogenesis. Although mast cells perform several pro- and antitumoral functions, they do not appear to directly influence aggressiveness of OTSCC. In addition, the quantity of these cells may not be essential for lymphatic vessel formation.

Imaginários da morte: poética das imagens em cemitérios brasileiros

The thesis presented is committed to a poetic reading that results in the creation of meaning and images of the death from the various cultural practices and symbolic representations exposed in urban cemeteries in some Brazilian cities, aiming to give visibility to new understandings about the imaginary of the in the contemporary scene. Death, therefore, will be seen as a imagining condition of anthroposwhen starts itself from the prerogative of the human consciousness of death (MORIN, 1970), in other words, this awareness that man has he will die and that triggers reflections about their existence allows the emergence of a number of practices such as: mourning, funeral rituals and the creation of several impregnated representations of human emotions emerged from the death facing the man and present, in a more evident form in cemeterial spaces. For this, it focuses on the conflictuous dimension that man establishes with death, because the cultural practices and symbolic representations observed in the research field are the result of this conflict and allow the expansion of the senses about this issue, to the extent that these are coated with a fantastic aura, mystical, secret, spooky, fearful, religious, building a complex imagination. The general plan of this study is to discuss and create, from a phenomenology of imagination and materials / dynamics imagination, as well as along the lines treated by Gaston Bachelard, images of death, from a field experience in cemeteries in Brazil. For this, it is assumed, to observe the cultural practices and symbolic representations in these spaces, a posture able to make the experience into the search field a moment of symbolic exchanges and creation. Thus, it was used observation, conversations with visitors and employees of the cemeteries and the capture of photographic records. The data produced as a fragment of a conversation, a tearful outburst about the loss of a relative, a melancholic epitaph, a flower on the grave or a cry captured by photography were seen as detonators of meanings and a poetic of the imagination.

Imaginários da morte: poética das imagens em cemitérios brasileiros

The thesis presented is committed to a poetic reading that results in the creation of meaning and images of the death from the various cultural practices and symbolic representations exposed in urban cemeteries in some Brazilian cities, aiming to give visibility to new understandings about the imaginary of the in the contemporary scene. Death, therefore, will be seen as a imagining condition of anthroposwhen starts itself from the prerogative of the human consciousness of death (MORIN, 1970), in other words, this awareness that man has he will die and that triggers reflections about their existence allows the emergence of a number of practices such as: mourning, funeral rituals and the creation of several impregnated representations of human emotions emerged from the death facing the man and present, in a more evident form in cemeterial spaces. For this, it focuses on the conflictuous dimension that man establishes with death, because the cultural practices and symbolic representations observed in the research field are the result of this conflict and allow the expansion of the senses about this issue, to the extent that these are coated with a fantastic aura, mystical, secret, spooky, fearful, religious, building a complex imagination. The general plan of this study is to discuss and create, from a phenomenology of imagination and materials / dynamics imagination, as well as along the lines treated by Gaston Bachelard, images of death, from a field experience in cemeteries in Brazil. For this, it is assumed, to observe the cultural practices and symbolic representations in these spaces, a posture able to make the experience into the search field a moment of symbolic exchanges and creation. Thus, it was used observation, conversations with visitors and employees of the cemeteries and the capture of photographic records. The data produced as a fragment of a conversation, a tearful outburst about the loss of a relative, a melancholic epitaph, a flower on the grave or a cry captured by photography were seen as detonators of meanings and a poetic of the imagination.

O político nas imagens de A missão de Heiner Müller e O homem que era uma fábrica de Augusto Boal

Augusto Boal (Brasil) y Heiner Müller (Alemania) son dramaturgos del siglo XX que vivieron en países y contextos evidentemente distintos. Sin embargo, con la crisis del teatro burgués y de las condiciones de legitimidad del régimen de producción de este teatro, ambos presentan puntos de contacto en sus líneas y vectores teatrales que, frente a la universalidad cuestionable de la dramatización, llevan a la concepción de un teatro múltiple y perturbador del orden de lo sensible. Los procesos de escenificación contemporánea exige un adelantamiento del sentido político, desviando del juego de representaciones sociales, para dar lugar al trabajo deconstructor de imágenes como cisión entre la palabra y lo representado, entre lo legible y lo visible. Frente al expuesto, las escritas escénicas y, por eso, literarias de estos autores, sitios de singularización – no con ausencia de paradojas – capaces de movilizar manifestaciones e impases cuanto a las imágenes que ordenan o desordenan los textos dramáticos, traen para la contemporaneidad tensiones que llevan al teatro mismo, tanto a interpelarse como, en su fuerza plural, a encontrar pasajes para el nuevo. Llevar a la superficie aspectos políticos en las imágenes de los textos dramáticos, considerándolos en su inscripción literaria: “La misión: recuerdos de una revolución”, de Heiner Müller, y de “El hombre que era una fábrica”, de Augusto Boal, se hace un desafío, una vez que las imágenes pretendidas son aquellas con formas o materialidades todavía no visibles en la escena, podríamos decir, en estado virtual. Como imágenes pensantes, ellas suceden en el plan de inmanencia del lenguaje (Deleuze y Guattari). Siendo lo “político” una perturbación en lo sensible, contrario a la política (Rancière), la dramaturgia se abala en multiplicidades, desplazando y desnaturalizando las funciones de autor/dramaturgo y lector/actor, teatro/literatura. Dramaturgia simultánea, imagen, fragmento y colaje se muestran como procedimientos artísticos y literarios creativos que se encuentran apropiados sea en la teoría del teatro del oprimido (Boal), sea en el teatro pos-dramático (Hans-ThiesLehmann), a pesar de que, al confrontarlas, sobresalían en desentendimientos: la primera coincide con la lógica de la identidad y la segunda, esta se desarticula, movida por la diáfora, contestación, o desacuerdo. Tales relaciones – no apriorísticas – se suceden en cuanto acontecimiento de la lectura o de la literatura como acontecimiento en que lo político en las imágenes se da, antes, en las lagunas y obscuridades, aludiendo a lo que está más allá de lo sentido, de la escena del gesto y de la palabra. El lector no se para para atribuir sentido, se interroga frente a las metamorfosis y formas oblicuas de acontecimientos insospechables que componen lo político estableciendo la gestión colectiva de la enunciación. En este caso, el texto de Boal y el texto de Müller se inscriben en la producción de una literatura menor, o de un teatro menor, o que los califica como agentes de devenires revolucionarios, agitando, a través de la política en las imágenes, e irrumpiendo contra el problema del poder en las artes.

Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹.

Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996.

Influência do vírus da hepatite G (GBV-C) na resposta imune frente à infecção por Leishmania chagasi

GB virus type C (GBV-C) appears to promote a Th1 response and is associated with prolonged survival in HIV-infected people. L. chagasi causes a spectrum of illness that varies from severe visceral leishmaniasis, a disease that in the majority of cases is fatal if not treated, to self resolution of infection and development of positive DTH response that is protective against symptomatic disease. To determine if GBV-C viremia might influence the outcome of Leishmania infection, we characterized GBV-C status in a cohort of subjects residing in a L. chagasi endemic area in Brazil. GBV-C viremia was more prevalent in blood donors from urban than in periurban regions of Natal, Brazil (16% and 7.5% respectively). Evidence of prior GBV-C (anti-E2 antibodies) was detected in 24% and 12%of these groups respectively. Anti-E2 increased with age (p= 0.0121). No difference in GBV-C viremia was found in the DTH+ and VL groups (p= 0.269); however, subjects with visceral leishmaniasis were more likely to have anti-E2 than DTH+ subjects (p=0.0012), and DTH induration was smaller in subjects with E2 antibodies (4.5 mm) compared those without (7.12 mm) (p= 0.002). Furthermore, the size of the Leishmania DTH response was greater in GBV-C viremica subjects (6.8 mm) compared to non-viremic subjects (3.3 mm; p= 0.0054). There findings suggest that GBV-C virus may promote a type 1 immune response that could influence the outcome of Leishmania infection

Uma Lectina D-lactose específica da esponja marinha Cinachyrella apion: purificação, caracterização e interação com Leishmania chagasi

Four different sponge species were screened using Ouchterlony agarose gel and immunodiffusion tests to identify cross-reactivity with the polyclonal antibody IgG anti-deglicosilated CvL, a lectin from Cliona varians. Crude extract from the sponge Cinachyrella apion showed cross-reactivity and also a strong haemmaglutinating activity towards human erythrocytes of all ABO groups. Thus, it was submitted to acetone fractionation, IgG anti-deglicosilated CvL Sepharose affinity chromatography, and Fast Protein Liquid Chromatography (FPLC-AKTA) gel filtration on a Superose 6 10 300 column to purify a novel lectin. C. apion lectin (CaL) agglutinated all types of human erythrocytes with preference for papainized type A and O erythrocytes. The haemagglutinating activity is independent of Ca2+, Mg2+ and Mn2+ ions, and it was strongly inhibited by the disaccharide D-lactose, up to a minimum concentration of 6.25 mM. CaL molecular mass determined by FPLC-AKTA gel filtration on a Superose 12 10 300 column and SDS gel electrophoresis was approximately 124 kDa, consisting of eight subunits of 15.5 kDa, assembled by hydrophobic interactions. The lectin was relatively heat- and pH-stable. Leishmania chagasi romastigotes were agglutinated by CaL, indicating that lactose receptors could be presented in this parasite stage. These findings are indicative of the physiological defense roles of CaL and its possible use in the antibiosis of pathogenic protozoa