Search

Your search keyword '"Ribeiro, Leila"' showing total 595 results
Start Over Author "Ribeiro, Leila"

Refine your results

595 results on '"Ribeiro, Leila"'

1. Informação em movimento: produção e organização do conhecimento nos espaços sociais

Author

Marteleto, Regina Maria, Ribeiro, Leila Beatriz, and Guimarães, Cátia

Subjects
conhecimento, movimentos sociais, sociedade da informação, Social sciences (General), H1-99
Abstract

O conhecimento, a informação e a comunicação foram o paradigma da estrutura e do funcionamento das sociedades atuais. Tomando por base a pressuposto de que o conhecimento é sempre contextualização pelas condições que o tornam possível, e que ele só progride na medida em que transforma essas mesmas condições, estudam-se os movimentos sociais e as entidades representativas da sociedade, como as organizações não-governamentais, enquanto espaços de produção, organização e inovação de conhecimentos. Cenários de disputas simbólicas onde se confrontam matrizes cognitivas e políticas diferenciadas, nesses espaços formam-se a cada vez, múltiplas configurações de comunicação e informação, que apontam para novas formas de organizar os conhecimentos na sociedade, com sentido emancipatório. A idéia de terceiro conhecimento é construída para estudar as redes de produção de sentidos assim constituídas

Published
2002

2. ESCLEROSE MÚLTIPLA: VIVENCIANDO A SEXUALIDADE

Author

Ribeiro, Leila Batista, primary, Ferreira, Marcus Vinícius Ribeiro, additional, Silva, Danielle Ferreira, additional, Lopes, Alberto César da Silva, additional, Rosa, Marcos Antonio de Carvalho, additional, Bomtempo, Paulo Wuesley Barbosa, additional, Silva, Carlos Magno Oliveira da, additional, Sant’ana, Stephanie brochado, additional, Leon, Alexandre Marco de, additional, Faria, Tarcísio Souza, additional, Santos, Elissandro Noronha dos, additional, Oliveira, Marcus Vinicius Días de, additional, Ivo, Rafaela Seixas, additional, Goulart, Cristina Bretas, additional, Costa, Joanna Lima, additional, Pacheco, Diana Ferreira, additional, Neto, José Barbosa Junior, additional, and Lima, Danilo César Silva, additional

Published
2024
Full Text
View/download PDF

5. SAÚDE INTEGRAL DA POPULAÇÃO NEGRA

Author

Messias, Isabella Fernandes, primary, Oliveira, Maria Clara Rodrigues de, additional, Ribeiro, Leila Batista, additional, Neto, Geraldo Jerônimo da Silva, additional, messias, Lays Fernandes, additional, Silva, Jaqueline Kennedy Paiva da, additional, Ogliari, Karina Brito da Costa, additional, Silveira, Yanne Gonçalves Bruno, additional, Oliveira, Marcus Vinicius Días de, additional, Leite, Júlio César Pereira, additional, Pacheco, Diana Ferreira, additional, and Oliveira, José Raimundo Gomes de, additional

Published
2023
Full Text
View/download PDF

6. A VIOLÊNCIA OBSTÉTRICA RELACIONADA AOS PROFISSIONAIS DE SAÚDE

Author

Silva, Rayssa Pires da, primary, Rodrigues, Tatiana Souza, additional, Ribeiro, Leila Batista, additional, Bezerra, Ana Júlia Rodrigues, additional, Santos, Sheila Melo Corrêa, additional, Silva, Jaqueline Kennedy Paiva da, additional, Progenio, Marcilene Pastana, additional, Silva, Oséias Alves da, additional, Oliveira, Camilla Cintia Curcio de, additional, Correia, Sara Fernandes, additional, Medeiros, Gilney Guerra de, additional, and Ferreira, Marcus Vinícius Ribeiro, additional

Published
2023
Full Text
View/download PDF

7. CUIDADOS PALIATIVOS RELACIONADOS COM A EQUIPE DE ENFERMAGEM

Author

Progenio, Marcilene Pastana, primary, Silva, Rayssa Pires da, additional, Rodrigues, Tatiana Souza, additional, Ribeiro, Leila Batista, additional, Santos, Sheila Melo Corrêa, additional, Silva, Jaqueline Kennedy Paiva da, additional, Messias, Isabella Fernandes, additional, Bomtempo, Paulo Wuesley Barbosa, additional, Evangelista, Lorena Brito, additional, Faria, Tarcísio Souza, additional, Pacheco, Diana Ferreira, additional, and Campos, Evertton Aurélio Dias, additional

Published
2023
Full Text
View/download PDF

8. COMUNICAÇÃO EFETIVA ENTRE OS PROFISSIONAIS DA SAÚDE EM UMA UNIDADE HOSPITALAR PRIVADA DE GOIÁS

Author

Bastos, Alexandre Lopes de, primary, Brito, Beatriz Sousa, additional, Meireles, Gláucia Oliveira Abreu Batista, additional, Matos, Marcos André de, additional, Rodrigues, Tatiana Souza, additional, Vasconcelos, Leomara Santos de, additional, Lopes, Alberto César da Silva, additional, Bomtempo, Paulo Wuesley Barbosa, additional, Evangelista, Lorena Brito, additional, Pacheco, Diana Ferreira, additional, Nunes, Pâmella Thaís de Paiva, additional, Silva, Rayssa Pires da, additional, and Ribeiro, Leila Batista, additional

Published
2023
Full Text
View/download PDF

9. ENFERMAGEM NO AUXÍLIO AO CÂNCER DE MAMA

Author

Silva, Natallia Coelho da, primary, Ribeiro, Leila Batista, additional, Silveira, Yanne Gonçalves Bruno, additional, Nunes, Pâmella Thaís de Paiva, additional, Arquiminio, Kênia Delânia Marques de Queiroz, additional, silva, Jiullyane kelle da, additional, Ferreira, Marcus Vinícius Ribeiro, additional, Silva, Jaqueline Kennedy Paiva da, additional, Pereira, Divinamar, additional, Neves, Wanderlan Cabral, additional, Meireles, Gláucia Oliveira Abreu Batista, additional, and Silva, Oséias Alves da, additional

Published
2023
Full Text
View/download PDF

10. A VIVÊNCIA DE MULHERES QUE SOFRERAM ABORTO ESPONTÂNEO

Author

Nunes, Pâmella Thaís de Paiva, primary, Ribeiro, Leila Batista, additional, Silva, Natallia Coelho da, additional, Silveira, Yanne Gonçalves Bruno, additional, Lopes, Alberto César da Silva, additional, Martins, Fernanda Gabriele Fernandes, additional, Dourado, Ludmila Bezerra, additional, Castro, Norene Heloisa de Sousa, additional, Silva, Rayssa Pires da, additional, Faria, Tarcísio Souza, additional, Florêncio, Amanda Vasconcelos, additional, and Morais, Sarah Peres Aredes de, additional

Published
2023
Full Text
View/download PDF

11. Use Case Evolution Analysis based on Graph Transformation with Negative Application Conditions

Author

Ribeiro, Leila, Duarte, Lucio, Machado, Rodrigo, Costa, Andrei, Cota, Érika, and Bezerra, Jonas

Subjects
Computer Science - Software Engineering
Abstract

Use Case (UC) quality impacts the overall quality and defect rate of a system, as they specify the expected behavior of an implementation. In a previous work, we have defined an approach for a step-by-step translation from UCs written in natural language to a formal description in terms of Graph Transformation (GT), where each step of the UC was translated to a transformation rule. This UC formalisation enables the detection of several specification problems even before an actual implementation is produced, thus reducing development costs. In this paper, we extend our approach to handle UC evolution by defining \emph{evolution rules}, which are described as higher-order rules, simultaneously changing the behaviour of a set of transformation rules. We also support the use of \emph{negative application conditions (NAC)} associated both to the transformation and evolution rules. Analysis of the interplay between the evolution rules and the rules describing UC steps shows the effects of an evolution and serves to identify potential impacts, even before the changes are actually carried out. Besides defining the theoretical foundations of UC evolution with NACs, we have implemented the evolution analysis technique in the Verigraph tool and used it to verify impacts in 3 different case studies. The results demonstrate the applicability and usefulness of our approach to help developers in the evolution process based on UCs., Comment: 30 pages, 16 figures, 2 tables. Accepted for presentation at SBMF 2019, preprint submitted to Science of Computer Programming

Published
2019

12. INFLUÊNCIAS NA INTERRUPÇÃO PRECOCE DO ALEITAMENTO MATERNO EXCLUSIVO

Author

Barreto, Milena dos Santos, primary, Padilha, Larissa França, additional, Ribeiro, Leila Batista, additional, Souza, Claudia Rocha de, additional, Lima, Liara Caetano de, additional, Silveira, Yanne Gonçalves Bruno, additional, Silva, Natallia Coelho da, additional, Lima, Danilo César Silva, additional, Silva, Claudiana Soares da, additional, Lopes, Alberto César da Silva, additional, Ferreira, Marcus Vinícius Ribeiro, additional, and Nunes, Pâmella Thaís de Paiva, additional

Published
2022
Full Text
View/download PDF

13. Computing Everywhere, for Everyone, at Any Level.

Author

Zorzo, Avelino F., Motta, Claudia L. R. Da, Ribeiro, Leila, and Granville, Lisandro Z.

Subjects
COMPUTERS in education, COMPUTER literacy, COMPUTER science education, CURRICULUM frameworks, DEFINITIONS
Abstract

The article discusses the integration of computing education into school curricula globally, emphasizing the need for clear and accessible definitions of computing to facilitate understanding and support from educators and policymakers. It highlights the Brazilian Computer Society's efforts in creating the "Brazilian Computing Standards for School," which mandates computing education across all levels of Brazilian schools, focusing on computational thinking, digital world skills, and digital culture. This framework aims to equip students with essential computational skills, fostering ethical and innovative problem-solving abilities for success in a digitally driven world

Published
2024
Full Text
View/download PDF

15. Entendendo o Pensamento Computacional

Author

Ribeiro, Leila, Foss, Luciana, and Cavalheiro, Simone André da Costa

Subjects
Computer Science - Computers and Society
Abstract

The goal of this article is to clarify the meaning of Computational Thinking. We differentiate logical from computational reasoning and discuss the importance of Computational Thinking in solving problems. The three pillars of Computational Thinking - Abstraction, Automation and Analysis - are outlined, highlighting the role of each one in developing the skills needed for the problem-solving process. ----- O objetivo deste artigo \'e esclarecer o significado de Pensamento Computacional. Diferencia-se o racioc\'inio l\'ogico do computacional e discute-se a import\^ancia do Pensamento Computacional na resolu\c{c}\~ao de problemas. Os tr\^es pilares do Pensamento Computacional - Abstra\c{c}\~ao, Automa\c{c}\~ao e An\'alise - s\~ao delineados, destacando-se o papel de cada um deles no desenvolvimento das habilidades necess\'arias para o processo de solu\c{c}\~ao de problemas., Comment: 18 pages, in Portuguese

Published
2017

16. Module Integration Using Graph Grammars (MIGRATE)

Author

Cravo, Diogo Raphael, Ribeiro, Leila, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Campos, Sérgio, editor, and Minea, Marius, editor

Published
2021
Full Text
View/download PDF

25. SOROPREVALÊNCIA DE INFECÇÕES E RISCOS OCUPACIONAIS RELACIONADOS AOS CATADORES DE RESÍDUOS SÓLIDOS DO EXTREMO NORTE DO BRASIL

Author

Rocha, Raphael Barros, primary, Silva, João Victor Satrapa, additional, Macêdo, Áurea Sérgia da Silva, additional, Reis, Jamilla Karla Corrêa, additional, Costa, Wagner do Carmo, additional, Ferreira, Ana Iara Costa, additional, Ribeiro, Leila Braga, additional, Nakashima, Fabiana, additional, Bassoli, Bruna Kempfer, additional, and Sequeira, Bianca Jorge, additional

Published
2022
Full Text
View/download PDF

29. THE PERFORMANCE OF NURSES IN THE PREOPERATIVE PERIOD OF CARDIAC SURGERIES - REVIEW OF BRAZILIAN STUDIES

Author

Santos, Marcio Silva dos, primary, Silva, Rodrigo Marques da, additional, Benito, Linconl Agudo Oliveira, additional, Ribeiro, Leila Batista, additional, Neves, Wanderlan Cabral, additional, Lopes, Alberto César da Silva, additional, Lima, Danilo César Silva, additional, Silva, Danielle Ferreira, additional, Santos, Osmar Pereira dos, additional, Magalhães, Sandra Suely, additional, and Saab, Kerlen Castilho, additional

Published
2021
Full Text
View/download PDF

30. BENEFITS OF THE PREOPERATIVE VISIT OF THE NURSE OF THE SURGICAL CENTER FOR THE RECOVERY OF THE PATIENT IN THE POSTOPERATIVE PERIOD

Author

Silva, Rozilda Batista Da, primary, Silva, Rodrigo Marques da, additional, Benito, Linconl Agudo Oliveira, additional, Silva, Danielle Ferreira, additional, Ribeiro, Leila Batista, additional, Neves, Wanderlan Cabral, additional, Lopes, Alberto César da Silva, additional, Vieira, Arianne Ferreira, additional, Paula, Taniela Márquez de, additional, Santos, Osmar Pereira dos, additional, and Lima, Danilo César Silva, additional

Published
2021
Full Text
View/download PDF

31. MAIN OBSTACLES IN IMPLEMENTATION OF PROTOCOL OF SURGERY SAFE IN HOSPITAL UNITS

Author

Machado, Hellen Keila Brambilla, primary, Silva, Rodrigo Marques da, additional, Benito, Linconl Agudo Oliveira, additional, Santos, Amanda Cabral dos, additional, Vieira, Arianne Ferreira, additional, Souza, Adão Gomes de, additional, Lopes, Alberto César da Silva, additional, Ribeiro, Leila Batista, additional, Saab, Kerlen Castilho, additional, and Santos, Osmar Pereira dos, additional

Published
2021
Full Text
View/download PDF

34. FUNDAMENTOS E PRÁTICAS PEDIÁTRICAS E NEONATAIS

Author

VILAÇA, JHEMILY LOPES LIMA, primary, Ferreira, Vitória de Araújo, additional, Andrade, Fabianne Gomes de, additional, Santos, Vinicius de Oliveira, additional, Diniz, Isabella Hayashi, additional, Cunha, Lara Pontes, additional, Araújo, Hannah Áurea Girão dos Santos, additional, Nascimento, Lourdes Maria Pereira Marques, additional, Mota, Renata Cardoso Pelegrine, additional, Almeida, Isadora Alfenas, additional, Dantas, Veridiana Célia Bezerra, additional, Lima, Letícia Bastos, additional, SILVA, GABRIEL SOUZA SANTOS DA, additional, Moraes, Brenda Cariolita Japiassu, additional, Pacheco, Letícia Mesquita, additional, Severiano, Marina Oliveira, additional, Locarno, Camila Salles, additional, Santana, Rhayssa Gomes de, additional, Parente, Ariana Ximenes, additional, Magalhães, Camila Holanda, additional, Araújo, Italo Magalhães de, additional, Escóssia, Lara Nogueira da, additional, Freitas, Bianca Batista Diniz, additional, Sousa, Cristiane Rodrigues de, additional, Lima, Isabelle Girão De Oliveira, additional, Mendes, Karen Soares, additional, Guimarães, Maria de Fátima de Menezes, additional, Pacheco, Beatriz Carvalho Costa Saunders, additional, Paiva, Vitor Sauwen, additional, Vasconcelos, Rafael Barroso, additional, Pinheiro, Murilo Magalhães Couto, additional, Gomes, Maria Eduarda Felicio Philomeno, additional, Vargas, Larissa Jardim, additional, Lucena, Talytta Marinho de, additional, Damasceno, Rachel Pinto, additional, Pinheiro, Maria Jéssica Alves, additional, Pacheco, Fernanda Vidal, additional, Pires, Maria Eugênia de Paula, additional, Rôlo, Brunno, additional, Leite, Fernanda Moema Mendes, additional, Coelho, Ricardo Soares, additional, Quintairos, Midia Quaresma, additional, Maia, Juliane Tayse Ribeiro, additional, Passos, Ana Letícia Leite Sena, additional, Alves, Dennis Ramos, additional, Silva, Juliana da Silva e, additional, Dias, Sheila Mara, additional, Teles, José Ricardo Silvestre, additional, Calisto, Sarah de Pádua, additional, Gomes, Amanda Maria Silva, additional, Tenório, Jordão Lima, additional, Santos, Maria Eugênia Cavalcante Ferreira, additional, Almeida, Maria Júlia Souza De, additional, Praxedes, Marianne Aguiar Vitório, additional, Lessa, Millena Medeiros Maux, additional, Oliveira, José João Felipe Costa De, additional, Monteiro, Beatriz Torres, additional, Monteiro, Pablo Felipe dos Santos, additional, Leite, Sarah Edwarda Silva, additional, Herrmann, Délia Maria de Moura Lima, additional, Nogueira, Janaína da Silva, additional, Souza, Natasha Kelly de, additional, Oliveira, Thayná Barbosa de, additional, Rezende, Sophia Oliveira, additional, Lacerda, Alessandra Silvestrini, additional, Pereira, Fabianny de Lima, additional, Fernandes, Rafaelle de Lima, additional, Montenegro, Raylson Araújo, additional, Fin, Lucas Grangeiro, additional, Pereira, Kallen Rayane, additional, Souza, Dhara Martins de, additional, Gomes, Gabriela Moraes, additional, Resende, Joana de Sousa, additional, Carneiro, Lucas, additional, Ferreira, Ana Iara Costa, additional, Nakashima, Fabiana, additional, Lins, Cynthia Dantas, additional, Martins, Antônio Carlos Sansevero, additional, Costa, Bianca Jorge Sequeira, additional, Briglia, Charlote Aguiar Buffi, additional, Ribeiro, Leila Braga, additional, Prudente, Ana Luiza Naves, additional, Luiz, Victória Carolinne Alves, additional, Garrote, Celso Henrique Denófrio, additional, Andrade, Gabriela Couto, additional, Reis, Isabella França dos, additional, Alves, Jéssica Caroline de Deus, additional, Nogueira, Lyandra Yuri Katsuyama, additional, Sampaio, Luiza Caroline Felicianno, additional, Rios, Mateus Felipe Batista, additional, Silvério, Natália Ribeiro, additional, Gomes, Sayonara Caetano de Almeida, additional, Perillo, Valentina Machado, additional, Musmanno, Luiz Henrique Fernandes, additional, Nogueira, Aline Araújo, additional, Leal, Maria Carolina Bezerra Di Medeiros, additional, Silva, Gabriella Damares Sousa, additional, Paula, Ana Cecília Nunes de, additional, Cassilhas, Amanda Bonzi, additional, Oliveira, Giovanna Viana Pereira de, additional, Lobato, Júlia Lacerda, additional, Silva, Matheus Felipe de Abreu, additional, Souza, Nathália Carvalho de, additional, Dias, Isabela Karina Silva, additional, Ribeiro, Sarah Carvalho, additional, Silva, Ana Carla Ferreira Lana e, additional, Dias, Anna Beatriz Soares, additional, Maciel, Ana Luísa dos Santos, additional, Vaz, Lucas Fahel, additional, Castelani, Laura Mendes Ferreira, additional, Pedrosa, Yago Ricardo, additional, Leite, Larissa Cruvinel, additional, Sperancini, Larissa Fontes Cal, additional, Santos, Bruno Cassiano dos, additional, Lopes, Lais de Almeida Fraga, additional, Campos, Lucas Bernardes Cerqueira, additional, Moreira, Silvia de Andrade Toscano Mendes, additional, OLIVEIRA, MARCELA MARINHO DE, additional, Pinheiro, Elisama Pereira, additional, Santos, Jehovahnna Anttonioni, additional, Campos, Orotides Silvestre, additional, Borges, Polliane, additional, Moral, Lorena Ramos, additional, Rego, Maria Eduarda Carvalho, additional, Oliveira, Beatriz Dias, additional, SPÓSITO, LAVÍNIA ARRUDA, additional, GOMES, CLARA DE SOUSA, additional, Belke, Giovana, additional, Goetten, Áquila Jasmile de Moraes, additional, lisboa, Débora DAgostini Jorge, additional, Rodrigues, Marina Machado, additional, Rottenfusser, Robson, additional, Belke, Larissa, additional, Pinheiro, Ana Carolina Sardo de Oliveira, additional, Lopes, Andrea Marcela dos Santos, additional, Leitão, Camilla Cristina Pereira, additional, Machado, Carla Leonor Melo Vinagre, additional, Barletta, César Augusto Barata, additional, Albuquerque, Fernanda Cristina de Oliveira, additional, Pereira, Giovana Duarte, additional, Carneiro, João Vítor Tavares, additional, Moura, Larissa Victória Barra De, additional, Gonçalves, Lorena Oliveira, additional, Pantoja, Marla Cavalca, additional, Ferreira, Thayane Thais Pantoja, additional, Souza, Vilma Francisca Hutim Gondim de, additional, Santos, Yasmin A, additional, Defeo, Sarah Furtado, additional, Mendes, Rafaella Yasmin Ribeiro, additional, Moreira, Saulo Guimarães, additional, Amaral, Bernardo Merrighi de Figueiredo, additional, Santos, Lucas Siqueira dos, additional, Diniz, Ana Carollina Simão, additional, Moraes, Luzia Reis Rabelo de, additional, Morais, Vanessa Maria Oliveira, additional, Vitral, Gabriela Luiza Nogueira, additional, Drumond, Ana Beatriz Carvalho, additional, Nasser, Arthur Kalil Santana, additional, Estácio, Rayssa Carolinne Costa Mota, additional, Albuquerque, Aglaé Travassos, additional, Teixeira, Amanda Monteiro, additional, Oliveira, Amanda Távora, additional, Souza, Anelise Marques Feitosa de, additional, Morais, Bruna Almeida de Souza, additional, Andrade, Gabrielle Barbosa Lima de, additional, Cunha, Isadora Valentina dos Santos, additional, Matias, Laís Costa, additional, Costa, Lara Letycia Araujo, additional, Farias, Mariana Guimarães Nolasco, additional, Graças, Thallita Vasconcelos das, additional, Lopes, Izailza Matos Dantas, additional, Fonseca, Fabiana Soares, additional, Baptista, Mauricio Da Costa, additional, Lima, Messilane Cavalcante, additional, Cardoso, Paula Thaís Sousa de Oliveira, additional, Silva, Victor Menezes, additional, Cardoso, Clarisse Angelim Soares, additional, Santos, Camila de Oliveira, additional, Silva, Gabriel Felipe SantAna, additional, Folgado, Gustavo Reis, additional, Gomes, Izabella Caroline Prado, additional, Santos, Lorena Ferreira, additional, Porto, Sofia Sturzeneker, additional, Nogueira, Janaina da Silva, additional, Moraes, Victória Eduarda Cavalcanti de, additional, Galdino, Ana Carolina Brito, additional, Monte, Elaine Cristina Barros Rocha Do, additional, Costa, Larissa Barbosa Caldas, additional, Cerqueira, Maria Layane De Oliveira, additional, Barros, Matheus Ramos De, additional, Silva, Paulo Henrique Alves Da, additional, Duarte, Rafaela Maria Bezerra, additional, Sirqueira, Sarah Valões Tenorio, additional, Varjão, Stephany Abdias, additional, Silva, Vitória Viana, additional, Lima, Zuíla Caroline Olegário, additional, MOREIRA, EMANUELLE ALVES, additional, Silva, Arthur Nunes, additional, Almeida, Anne Caroline Araújo, additional, Santos, Lislayle Silva, additional, Santos, Fernanda Marques da Silva, additional, Araújo, Anastácia Santiago, additional, REIS, FERNANDA FONTES PRADO, additional, Campos, Silvia Sayonara Silveira, additional, Faro, Caroliny Biasuz, additional, Teixeira, Giovanna de Jesus, additional, MOREIRA, GABRIELLE DOS SANTOS, additional, Oliveira, Isadora Ribeiro, additional, Oliveira, Halley Ferraro, additional, melo, Amélia soares de, additional, Coutinho, Camila Hostalacio Duarte, additional, Tolentino, Carolina Carvalho, additional, Alvarenga, Carolina Diniz, additional, Araújo, Carolina Muzzi Lamounier, additional, Santos, Clara Chagas Barbosa, additional, Bernardes, Clara Manoel, additional, Pimenta, Clara Rubião, additional, Lage, Fernanda Duarte Oliveira, additional, Murad, Gabriela Abreu, additional, Campos, Julia Pinheiro, additional, Sousa, Lara Oliveira, additional, Ferreira, João Vítor Gonçalves, additional, Meneses, Gustavo Henrique Rodrigues, additional, Ferreira, Thaize Prates, additional, Alves, Lucas Ferreira, additional, Gonçalves, Gleisy Kelly Neves, additional, Araújo, Allana Moura de, additional, Azevedo, Ana Carla Costa, additional, Silva, Arilson Lima da, additional, Andrade, Bianca Evelyn Piedade, additional, Reis, Giovana Silva Correa, additional, Kato, Jéssika Sayuri Campelo, additional, Castro, Lucas Matheus da Silva, additional, Santos, Mainã C S, additional, Fernandes, Maria Suely Bezerra, additional, Gonçalves, Paula Gabriela Nascimento, additional, Loureiro, Amanda Guimarães, additional, Moura, Ana L G, additional, Junqueira, Beatriz Guimarães, additional, Farias, Brenda P, additional, Kadosaki, Danilo Jun, additional, Gonçalves, Isabella Rocha, additional, Sousa, Karina Rodrigues de, additional, Rojas, Marcia de Fátima Maciel de, additional, Lourenço, Maria Fernanda, additional, Lira, Renata Barros, additional, Lobo, Giulli Catarini Cei Ribeiro, additional, Cardoso, Keise Bastos, additional, Silva, Ianka A, additional, Góes, Nicole Garcia dos Santos, additional, Andrade, Carla Hineida da Silva de, additional, Souza, Marilia Vitoria Santos de, additional, Santos, Mainã Cristina Santos dos, additional, Neves, Marcela Daun E Lorena Saraty, additional, Marques, Bruna Cristina Ribeiro, additional, Monteiro, Gabriel Felipe Perdigão Barros, additional, Carneiro, João Vitor Tavares, additional, Oliveira, Cláudia Maria Maciel de, additional, Corradi, Analaura, additional, Louzada, Cibelle Ferreira, additional, Oliveira, Déborah Luiza Vilela de, additional, Santos, Estevan Rodrigues dos, additional, Fernandes, Igor Cardoso, additional, Cruz, Olívia Maria Carvalho Lopes da, additional, Fernandes, Jairo Vinícius Cota, additional, Alves, Rayssa Stephanie Batista, additional, Oliveira, Pauline Pereira de, additional, Cruz, Karenn Santos Souza, additional, Santos, Áleff Edrei Gomes, additional, Silva, Francisca Roberta Oliveira, additional, Silva, Loranny Santana, additional, Trindade, Yasmin Tourinho Delmondes, additional, Silveira, Danilo José de Andrade Santos, additional, Bomfim, Raul, additional, Vieira, Arthur Sobral, additional, Araujo, Ângelo Marcel Santana Duarte, additional, Ferreira, Isabella Lisboa, additional, Santos, Eduarda Lavínia Carneiro, additional, Moreira, João Victor Aguiar, additional, Lima, Caio Augusto de, additional, Martins, Marcos Vinicius Teixeira, additional, Brito, Veronica Perius de, additional, Alves, Caroline Coutinho Horácio, additional, Coelho, Larissa Mariano, additional, Satokata, Alessandra Akemi Cury, additional, Ferro, Mateus da Silva, additional, Tavares, Eduardo Fellipe Capini de Almeida, additional, Henriques, Gustavo de Souza, additional, Canella, Douglas Alves Da Costa, additional, Lima, Monnyka Castro, additional, Calegari, Tatiany, additional, Campos, Carolina Calafiori de, additional, Yun, Chen Qi, additional, Ferreira, Gabrielly Gomes, additional, Ticianeli, Giovanna França, additional, Freitas, Isabella Gomes de, additional, Fonseca, Júlia Lana, additional, Cavalcanti, Isabela Lins, additional, Cavalcanti, Isabela de Farias, additional, Melo, Izabel rocha de, additional, Lemos, Letícia, additional, Soledade, Sarah Luanna Ferreira, additional, Souza, Renata Da Silva, additional, Gondim, Alice Batista, additional, Filetti, Benjamin Martinuzo, additional, Sousa, Débora Ferreira de, additional, Borges, Luan Machado, additional, Montenegro, Mariana Fonseca dos Santos, additional, Carvalho, Mateus de Souza Oliveira, additional, Serrano, Matheus Sampaio, additional, Oliveira, Pedro Henrique Duarte, additional, Ferreira, Phablo Fernandes José Oliveira, additional, Aragão, Rômulo Nunes, additional, Macedo, Tifany Cerqueira, additional, Santos, Vanessa Oliveira, additional, Raskin, Ana Pudles, additional, Fridman, Ana Flávia Wolff, additional, Nascimento, Eduarda Faria do, additional, BINKOWSKI, LUDMILA LIMPIAS TERRAZAS, additional, FULBER, JADE GUIMARÃES, additional, MANSUR, ISABELA MARTINS FERREIRA, additional, Fulber, Jade Guimarães, additional, Mansur, Isabela Martins Ferreira, additional, Binkowski, Ludmila Limpias Terrazas, additional, Leon, Cristiano do Amaral de, additional, Faccioli, Manoela Sauer, additional, Iglesias, Carolina da Mota, additional, Krug, Bruna Reis, additional, Dallapicola, Giovanni Reveilleau, additional, Severo, Bernardo Riveira Fernandes, additional, Tannhauser, Pedro Henrique Andreolio, additional, Bonamigo, Eduarda Rodrigues, additional, Goldmann, Ignacio Salonia, additional, Busin, Isabella Montemaggiore, additional, Marchese, Isabella Salzano, additional, Zanella, Alana, additional, Thofehrn, Stefano, additional, Zampieri, Giulia Parmeggiani, additional, Zanatta, Stefanie Flach, additional, Leon, Cristiano do A de, additional, Santos, Mariana Silva dos, additional, Moraes, Emanuela Caroline, additional, Seroiska, Gabriel, additional, Bischoff, Helena Marcon, additional, Schemkel, João Marcelo Libardoni, additional, Rosa, Rafael Fabiano Machado, additional, Rezende, Raíssa Queiroz, additional, Martins, Juliana Bezerra, additional, Rafael, Ana Luísa Bonfim, additional, Pontes, Nayanne Hardy Lima, additional, Fechine, José Ueides, additional, Melo, Amélia Soares de, additional, Coutinho, Camila Hostalácio Duarte, additional, Silveira, Nícolas Semaan, additional, Dayrell, Sophia Perrupato, additional, Ferreira, Rachel Myrrha, additional, Vasconcelos, Júlia Cunha, additional, Pereira, Juliana Monção Nippes, additional, Farnetti, Laura Normando, additional, Diniz, Letícia Tanure, additional, Ribeiro, Pedro Heleno Valente, additional, Faria, Regina Bicalho Gomes de, additional, Cruz, Victor Fonseca Alves da, additional, Fagundes, Eleonora Druve Tavares, additional, Resende, Paula Valladares Guerra, additional, Gontijo, Mariana Scapellato, additional, Pacheco, Gustavo G, additional, Almeida, Mileny C, additional, Melo, Luíza Alves, additional, Silva, Graciele Aparecida Bachião da, additional, Bernabé, Heloisa Cervantes, additional, Teixeira, Maria Laura Verissimo, additional, Silva, Grazielle lima, additional, Oliveira, Phablo Fernandes José, additional, Brito, Inácio Gomes de, additional, Albuquerque, Leonardo Siqueira, additional, Matos, Estela Mares Santos Salmito, additional, Andrade, Maria Denise Fernandes Carvalho de, additional, Bachur, Tatiana Paschoalette Rodrigues, additional, Leite, Alice Cristovão Delatorri, additional, Silva, Lucas Bagundes da, additional, Melo, Waldomauro Ferreira de, additional, Dias, Cláudio Gellis de Mattos, additional, Fecury, Amanda Alves, additional, Gonçalves, Ana Carolina Miranda, additional, Oliveira, Lara Carvalho de, additional, Gomes, Laura Vitória Melo, additional, Vital, Mabio Vigilato, additional, Silva, Marina Blanco, additional, Vasconcelos, Rafael Barroso de, additional, Silva, Fernanda Lacerda Santos, additional, Silva, Iara, additional, Messias, Beatriz Chiari, additional, Clemente, Alice França, additional, Rodrigues, Alícia Zeferino, additional, Lima, Messilene Cavalcanti, additional, Gusmão, Maria Brennda Ferreira de, additional, Leite, Débora Cristina Fontes, additional, Rodrigues, Letycia Santos, additional, and Ferreira, Nathálya Menezes de Menezes, additional

Published
2021
Full Text
View/download PDF

35. EVALUATION OF COVERAGE AND PRODUCTS USED BY NURSES IN THE ONCOLOGICAL WOUNDS TREATMENT

Author

Sousa, Lucilene Jeronima da Silva, primary, Silva, Rodrigo Marques da, additional, Benito, Linconl Agudo Oliveira, additional, Silva, Danielle Ferreira, additional, Paula, Taniela Márquez de, additional, Santos, Osmar Pereira dos, additional, Ribeiro, Leila Batista, additional, Caetano, Sandra Rosa de Souza, additional, Santos, Amanda Cabral dos, additional, Karnikowski, Margô Gomes de Oliveira, additional, and Pereira, Mayara Cândida, additional

Published
2021
Full Text
View/download PDF

36. AGREE -- Algebraic Graph Rewriting with Controlled Embedding (Long Version)

Author

Corradini, Anadrea, Duval, Dominique, Echahed, Rachid, Prost, Frédéric, and Ribeiro, Leila

Subjects
Computer Science - Logic in Computer Science, 68Q42
Abstract

The several algebraic approaches to graph transformation proposed in the literature all ensure that if an item is preserved by a rule, so are its connections with the context graph where it is embedded. But there are applications in which it is desirable, for example when cloning an item, to specify different embeddings for the original and for the copy. Therefore we propose a conservative extension of these approaches where a rule can specify how the embedding of a preserved item should be changed, typically by removing certain connections.

Published
2014

37. Transformation of Attributed Structures with Cloning (Long Version)

Author

Duval, Dominique, Echahed, Rachid, Prost, Frederic, and Ribeiro, Leila

Subjects
Computer Science - Software Engineering, D.2.2
Abstract

Copying, or cloning, is a basic operation used in the specification of many applications in computer science. However, when dealing with complex structures, like graphs, cloning is not a straightforward operation since a copy of a single vertex may involve (implicitly)copying many edges. Therefore, most graph transformation approaches forbid the possibility of cloning. We tackle this problem by providing a framework for graph transformations with cloning. We use attributed graphs and allow rules to change attributes. These two features (cloning/changing attributes) together give rise to a powerful formal specification approach. In order to handle different kinds of graphs and attributes, we first define the notion of attributed structures in an abstract way. Then we generalise the sesqui-pushout approach of graph transformation in the proposed general framework and give appropriate conditions under which attributed structures can be transformed. Finally, we instantiate our general framework with different examples, showing that many structures can be handled and that the proposed framework allows one to specify complex operations in a natural way.

Published
2014

38. Proceedings First Latin American Workshop on Formal Methods

Author

Aguirre, Nazareno and Ribeiro, Leila

Subjects
Computer Science - Software Engineering, Computer Science - Logic in Computer Science
Abstract

Formal approaches to software development are techniques that aim at developing quality software by employing notations, analysis processes, etc., based on mathematical grounds. Although traditionally they aim at increasing software correctness, formal techniques have been applied to various other aspects of software quality. Moreover, while originally formal methods employed complex "heavyweight" mechanisms for analysis (often manual or semi automated), there has been progress towards embracing "lightweight", many times fully automated, analysis techniques, that broaden the adoption of formal methods in various software engineering contexts. The Latin American Workshop on Formal Methods brings together researchers working in formal methods, and related areas such as automated analysis. In particular, the workshop provides a venue for Latin American researchers working in these areas, to promote their interaction and collaboration. The workshop was held in August as a satellite event of CONCUR 2013. It took place in Buenos Aires, Argentina's capital and largest city, and one of the most interesting cultural places in South America.

Published
2014
Full Text
View/download PDF

41. PERFIL SOCIODEMOGRÁFICO E OCUPACIONAL, TURNO DE TRABALHO E QUALIDADE DE VIDA DE PROFISISONAIS DE ENFERMAGEM

Author

Silva, Rodrigo Marques da, primary, Oliveira, Gisele Matos de, additional, Santos, Amanda Cabral dos, additional, Garcia, Kerolyn Ramos, additional, Benito, Linconl Agudo Oliveira, additional, Paula, Taniela Márquez de, additional, Pontes, Samuel da Silva, additional, Ribeiro, Leila Batista, additional, and Kimura, Cristilene Akiko, additional

Published
2021
Full Text
View/download PDF

42. On the Essence and Initiality of Conflicts

Author

Azzi, Guilherme Grochau, Corradini, Andrea, Ribeiro, Leila, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Lambers, Leen, editor, and Weber, Jens, editor

Published
2018
Full Text
View/download PDF

43. The Verigraph System for Graph Transformation

Author

Azzi, Guilherme Grochau, Bezerra, Jonas Santos, Ribeiro, Leila, Costa, Andrei, Rodrigues, Leonardo Marques, Machado, Rodrigo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Heckel, Reiko, editor, and Taentzer, Gabriele, editor

Published
2018
Full Text
View/download PDF

44. On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches

Author

Corradini, Andrea, Duval, Dominique, Löwe, Michael, Ribeiro, Leila, Machado, Rodrigo, Costa, Andrei, Azzi, Guilherme Grochau, Bezerra, Jonas Santos, Rodrigues, Leonardo Marques, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Heckel, Reiko, editor, and Taentzer, Gabriele, editor

Published
2018
Full Text
View/download PDF

47. Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars

Author

Machado, Rodrigo, Heckel, Reiko, and Ribeiro, Leila

Subjects
Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Computer Science - Software Engineering
Abstract

Aspect-orientation is a relatively new paradigm that introduces abstractions to modularize the implementation of system-wide policies. It is based on a composition operation, called aspect weaving, that implicitly modifies a base system by performing related changes within the system modules. Aspect-oriented graph grammars (AOGG) extend the classic graph grammar formalism by defining aspects as sets of rule-based modifications over a base graph grammar. Despite the advantages of aspect-oriented concepts regarding modularity, the implicit nature of the aspect weaving operation may also introduce issues when reasoning about the system behavior. Since in AOGGs aspect weaving is characterized by means of rule-based rewriting, we can overcome these problems by using known analysis techniques from the graph transformation literature to study aspect composition. In this paper, we present a case study of a distributed client-server system with global policies, modeled as an aspect-oriented graph grammar, and discuss how to use the AGG tool to identify potential conflicts in aspect weaving.

Published
2010
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results