On the essence of parallel independence for the double-pushout and sesqui-pushout approaches

Parallel independence between transformation steps is a basic notion in the algebraic approaches to graph transformation, which is at the core of some static analysis techniques like Critical Pair Analysis. We propose a new categorical condition of parallel independence and show its equivalence with two other conditions proposed in the literature, for both left-linear and non-left-linear rules. Next we present some preliminary experimental results aimed at comparing the three conditions with respect to computational efficiency. To this aim, we implemented the three conditions, for left-linear rules only, in the Verigraph system, and used them to check parallel independence of pairs of overlapping redexes generated from some sample graph transformation systems over categories of typed graphs

Blocos de solo-cimento: uma alternativa sustentável para o reaproveitamento de resíduos sólidos industriais

Objetivou-se, com o presente estudo, analisar potenciais resíduos sólidos industriais que possam ser adicionados a blocos de solo-cimento. Foi realizada uma revisão bibliográfica narrativa por meio da base acadêmica Scopus, utilizando-se como critérios de busca palavras-chave ligadas ao tema, como: solo-cimento, materiais de construção, blocos de solo-cimento, tijolos solocimento, propriedades físicas e mecânicas, resíduos sólidos, análise de ciclo de vida e construção civil. Observou-se a versatilidade de resíduos sólidos industriais que podem ser incorporados em blocos de solo-cimento, como resíduos de rochas ornamentais, lodo de estações de tratamento de água, serragem de madeira, fibras de politereftalato de etileno, fibras vegetais de bucha, fibras de cânhamo, cascas de arroz, capim braquiária, cascas de ovos aviários, bagaço de cana-de-açúcar, palha de trigo e cevada, escória de soldagem, areia de fundição, rejeitos de mineração de quartzito, de construção e demolição, tornearia mecânica, grãos de indústria de celulose e coprodutos siderúrgicos. Entre os resíduos incorporados que contribuíram para a melhoria nas propriedades físicas e mecânicas dos blocos de solo-cimento estiveram: grãos da indústria de celulose, casca de arroz, capim braquiária, subprodutos siderúrgicos com blocos de solo-cimento granulado e escória de alto forno. Os resíduos sem resultados satisfatórios foram lodo de estação de tratamento de água, bagaço de cana-de-açúcar e bucha vegetal. Por meio desta pesquisa foi possível verificar que o comportamento dos blocos de solo-cimento é influenciado por diversos fatores em sua fabricação, principalmente no que diz respeito ao tipo e ao percentual de resíduos incorporados. Entretanto, é importante a preocupação com a sua aplicação de modo a não potencializar os impactos ambientais em longo prazo.This study aimed to analyze potential industrial solid waste that can be added to soil-cement blocks. A narrative literature review was conducted in the Scopus academic database, using as the search criteria keywords related to the topic, such as soil-cement, building materials, soil-cement blocks, soil-cement bricks, physical and mechanical properties, solid waste, life cycle analysis, and civil construction. A variety of industrial solid waste that can be incorporated into soil-cement blocks was observed, such as waste rock, sludge from water treatment plants, wood sawdust, polyethylene terephthalate fibers (PET), vegetable fibers from loofah, hemp fibers, rice husks, brachiaria grass, poultry eggshells, sugar cane bagasse, wheat and barley straw, welding slag, foundry sand, waste from quartzite mining, construction, and demolition, mechanical turning, pulp industry grains, and steel mill co-products. Among the investigated wastes, those that improved the physical and mechanical properties of the soil-cement blocks were grains from the cellulose industry, rice husks, Brachiaria grass, steel by-products with granulated soil-cement blocks and blast furnace slag. The waste that produced no satisfactory results was sludge from a water treatment plant, sugarcane bagasse, and vegetable loofah. Through this research, it was possible to verify that the behavior of soil-cement blocks is influenced by several factors in their manufacture, mainly regarding the type and percentage of incorporated waste. However, it is important to be concerned with its application in waste blocks so as not to increase the environmental impacts in the long term

Um ensino de estatística via abordagens lúdicas / A statistics teaching through playing approaches

Neste estudo objetivamos relatar sobre nossas experiencias vivenciadas durante um estágio supervisionado no Ensino Médio. Assumimos a pesquisa qualitativa na modalidade de estudo de caso. A pesquisa ocorreu na escola pública estadual Prof.ª Ecila Pantoja da Rocha, localizada na cidade do Moju/PA. Descrevemos acerca de duas partes fundamentais da experiência de estágio: observação e aplicação. Durante a observação, realizada em uma turma do 1° ano e em uma turma do 3° ano, foram feitas anotações acerca da realidade escolar, e da prática dos professores em sala de aula. A partir da análise destas anotações, o foco da intervenção voltou-se para a turma do 3º ano com o conteúdo de Estatística Básica. Aplicamos um Projeto de Intervenção na escola, em que cada dupla de estagiários abordaria seus respectivos assuntos através de atividades lúdicas, mostrando aos alunos uma matemática mais palpável e divertida. Os resultados mostram eu por mais que as aulas expositivas sejam importantes, é preciso também que o professor amplie sua gama de conhecimentos com novas estratégias e metodologias de ensino.

Influence of contact points on the performance of caries detection methods in approximal surfaces of primary molars: an in vivo study

This in vivo study aimed to evaluate the influence of contact points on the approximal caries detection in primary molars, by comparing the performance of the DIAGNOdent pen and visual-tactile examination after tooth separation to bitewing radiography (BW). A total of 112 children were examined and 33 children were selected. In three periods (a, b, and c), 209 approximal surfaces were examined: (a) examiner 1 performed visual-tactile examination using the Nyvad criteria (EX1); examiner 2 used DIAGNOdent pen (LF1) and took BW; (b) 1 week later, after tooth separation, examiner 1 performed the second visual-tactile examination (EX2) and examiner 2 used DIAGNOdent again (LF2); (c) after tooth exfoliation, surfaces were directly examined using DIAGNOdent (LF3). Teeth were examined by computed microtomography as a reference standard. Analyses were based on diagnostic thresholds: D1: D 0 = health, D 1 –D 4 = disease; D2: D 0 , D 1 = health, D 2 –D 4 = disease; D3: D 0 –D 2 = health, D 3 , D 4 = disease. At D1, the highest sensitivity/specificity were observed for EX1 (1.00)/LF3 (0.68), respectively. At D2, the highest sensitivity/ specificity were observed for LF3 (0.69)/BW (1.00), respectively. At D3, the highest sensitivity/specificity were observed for LF3 (0.78)/EX1, EX2 and BW (1.00). EX1 showed higher accuracy values than LF1, and EX2 showed similar values to LF2. We concluded that the visual-tactile examination showed better results in detecting sound surfaces and approximal caries lesions without tooth separation. However, the effectiveness of approximal caries lesion detection of both methods was increased by the absence of contact points. Therefore, regardless of the method of detection, orthodontic separating elastics should be used as a complementary tool for the diagnosis of approximal noncavitated lesions in primary molars

Síntese, caracterização estrutural e bioensaio toxicológico frente às larvas de artemia salina do 4-Bromobenzamidoxima / Synthesis, structural characterization and toxicological bioassay against 4-Bromobenzamidoxime artemia saline larvae

As amidoximas possuem são amplamente aplicáveis e importantes para os setores industriais, biológicos e farmacológicos. No campo dos compostos bioativos, as amidoximas destacam-se por apresentarem ação frentes a diferentes células patológicas, além de atuarem como pró-fármacos de amidinas em meio biológico. Contudo estudos envolvendo amidoximas estruturalmente mais simples são pouco comuns, especialmente a respeito do perfil toxicológico desses compostos. Em concordância com a importância desses compostos o presente trabalho objetivou sintetizar a 4-Bromobenzamidoxima e verificar sua toxicidade frente às larvas de Artemia salina Leach. A síntese da respectiva amidoxima foi realizada a partir da correspondente arilnitrila comercialmente disponível. O composto alvo foi caracterizado utilizando as técnicas espectroscópicas usuais (IV, RMN 1H e 13C). O bioensaio toxicológico do composto alvo com a A. salina apresentou uma toxicidade acentuada com CL50 igual a 38,549 ?g/mL, valor obtido através do software estatístico do software POLO-PC. Esse resultado motiva a utilização da 4-Bromobenzamidoxima em outros testes biológicos, incluindo em células ou até mesmo animais, na busca de encontrar um novo fármaco

Principais rotas sintéticas para obtenção da gioniotalamina: uma revisão / Main synthetic routes for gioniotalamine: a review

 A goniotalamina foi isolada primeiramente da casca de Cryptocarya caloneura, fazendo parte da extensa classe dos produtos naturais. Diversos relatos apontam a capacidade desta molécula desencadear a morte de células cancerígenas desenvolvendo sobre estas uma atividade citotóxica, antiproliferativa, antiangiogênica e desencadeando processos de autofagia e apoptose. Mesmo havendo inúmeros estudos envolvendo esta molécula, ainda se tem a necessidade de mais pesquisas visando seu melhor entendimento, fato que vem há muito tempo estimulando a elaboração de novas formas para sua obtenção sintética. Desta forma, o presente trabalho traz um levantamento bibliográfico sobre as rotas sintéticas da goniotalamina publicadas no meio científico. Para isso foi realizada uma busca na plataforma de pesquisa científica Web of Science utilizando a palavra-chave “Goniothalamin”, considerando apenas os trabalhos que relatavam sua síntese, classificando-os de acordo com o método de obtenção sintética empregado. Como resultado, foram obtidos um total de 176 trabalhos que tratavam sobre a goniotalamina, dos quais 128 não abordavam de sua obtenção sintética. Dos 48 trabalhos restantes, 40 trabalhos envolviam a síntese por metátese, 4 trabalhos a reação de lactonização, 2 trabalhos a reação de oxidação e 2 trabalhos a reação de seleno-eliminação para a obtenção da goniotalamina. Conclui-se que a principal metodologia utilizada para a síntese da goniotalamina é o processo de metátese, já que 80% dos trabalhos utilizam está estratégia sintética. No mais, os vários métodos de síntese da goniotalamina, demonstram a importância desse composto tanto para a academia quanto para a indústria