Navegação por Autor "Machado, Rodrigo"
Resultados 1-20 de 37
-
Ambiente didático para experimentação com a definição formal de linguagens orientadas a objetos
Matschulat, Samuel Grimm (2016) [Trabalho de conclusão de graduação]Neste trabalho é descrita a implementação de um software aplicativo gráfico, denominado Cool Inspector, cujo objetivo é oferecer um ambiente que permite a visualização detalhada, tendo a área de semântica formal como ... -
Uma análise sobre reprovação no curso de Ciência da Computação na UFRGS sob a ótica dos alunos
Aprato Neto, Vilmar Dorneles (2021) [Trabalho de conclusão de graduação]A reprovação é considerada um dos principais motivos para a maioria dos alunos não concluírem um curso de graduação no tempo previsto, ou até mesmo por optarem pela troca de curso. O objetivo deste trabalho é traçar um ... -
An introduction to category theory and a web-based visual editor for categorical concepts
Ramella, Giuseppe Moroni (2018) [Trabalho de conclusão de graduação]Category Theory is an area of mathematics with multiple applications in computing. However, because it is too abstract, students consider it very challenging, in particular when studying the discipline for the first time. ... -
Avaliação da captura de resíduos sólidos e recursos pesqueiros por redes de cabo no Litoral Norte do Rio Grande do Sul, Brasil
Pinheiro, Leonardo Martins (2019) [Trabalho de conclusão de graduação]A produção de plástico em larga escala se intensificou a partir da década de 1950 e, atualmente projeta-se que continue crescendo intensamente até 2050. Grande parte do volume de resíduos sólidos gerados é de origem plástica, ... -
Bolsista NAU do Instituto de Informática
Maschio, Vinícius Marinho (2019) [Resumo publicado em evento] -
COMPETIÇÕES DE PROGRAMAÇÃO - OLÍMPIADA DE INFORMÁTICA E MARATONA DE PROGRAMAÇÃO
Cordeiro, Weverton Luis da Costa; Jaschek, Yuri Augusto Dutra; Machado, Rodrigo; Comba, Joao Luiz Dihl; Salão de Extensão (18. : 2017 out. 16-20 : UFRGS, Porto Alegre, RS) (2017) [Resumo publicado em evento] -
Conhecimento ecológico local de pescadores artesanais sobre bagres e legislações pesqueiras : um diálogo necessário
Dias, Sammer Maravilha Chagas Gilio; Machado, Rodrigo; Miranda, Tatiana Mota; Kubo, Rumi Regina (2020) [Artigo de periódico]A presença de bagres da família Ariidae na lista de espécies ameaçadas do Rio Grande do Sul (RS), a partir de 2014, levou à proibição da pesca de duas espécies desta família, assim, os(as) pescadores(as) artesanais ficaram ... -
Curios - a web of types
Amaral Júnior, Valmir Pretto do (2023) [Dissertação]Ever since their inception lambda calculus and type theory have been such an influence in the design of modern programming languages so much so that even programming lan guages outside of the functional circle have adopted ... -
Desenvolvimento da ferramenta VeriGraph: algoritmos de "matching" e reconhecimento de condições negativas de aplicação.
Herdt, Ricardo Gabriel (2014) [Resumo publicado em evento] -
Dieta e sobreposição de nicho trófico entre duas espécies simpátricas de albatrozes (Thalassarche spp.), no Limite Norte da Convergência Subtropical, Sul do Brasil
Haubert, Gabriela (2016) [Trabalho de conclusão de graduação]O presente estudo analisou os conteúdos gastrointestinais do albatroz-de-sobrancelha (Thalassarche melanophris) (n=25) e do albatroz-de-nariz-amarelo (Thalassarche chlororhynchos) (n=17) coletados em monitoramentos de praia ... -
Estimativa do campo de concentração de poluentes na atmosfera emitido por olarias da região das Missões
Machado, Rodrigo (2002) [Resumo publicado em evento] -
Evidência de aborto em lobo-marinho-sul-americano, Arctocephalus australis (Carnivora: otariidae), possivelmente causado por Campylobacter sp. no litoral norte do Rio Grande do Sul
Machado, Rodrigo; Barreto, Jonathas; Siciliano, Salvatore; Filgueiras, Ana Luzia Lauria; Oliveira, Larissa Rosa de; Rocha, José Pedro Abatti Vianna; Alievi, Marcelo Meller (2007) [Resumo publicado em evento] -
Evolution of negative application conditions on second-order graph rewriting
Costa, Andrei (2019) [Dissertação]Graph grammars are a suitable formalism to modeling computational systems. This formalism is based on rules and data-driven transformations capable of simulating real systems, rules have application conditions and post ... -
Faz : uma linguagem funcional didática
Araújo, Vítor Bujés Ubatuba de (2013) [Trabalho de conclusão de graduação]A linguagem de programação Racket e o ambiente DrRacket são utilizados em diversos cursos introdutórios de programação. O uso de uma linguagem funcional facilita a exposição de certos conceitos, tais como recursão estrutural, ... -
Higher-order graph rewriting systems
Machado, Rodrigo (2012) [Tese]Programas sofrem diversas modificações ao longo das etapas de desenvolvimento, implantação e manutenção. A evolução de um software pode ter várias causas: correção de erros, inclusão de novas funcionalidades ou até mesmo, ... -
Light programming language
Veiga, Pedro Sassen (2018) [Trabalho de conclusão de graduação]The increase of computing power in the last decades allowed for the creation and establishment of many high level programming languages such as Java and Python. In these languages, control over the hardware is often neglected ... -
Literatura surda
Machado, Rodrigo (2005) [Resumo publicado em evento] -
Molecular identification of shark meat from local markets in southern Brazil based on DNA barcoding : evidence for mislabeling and trade of endangered species
Souza, Fernanda Almerón de; Sperb, Christian; Castilho, Carolina Leal de; Figueiredo, Pedro Ivo Campani de Castro; Gonçalves, Leonardo Tresoldi; Machado, Rodrigo; Oliveira, Larissa Rosa de; Valiati, Victor Hugo; Fagundes, Nelson Jurandi Rosa (2018) [Artigo de periódico]Elasmobranchs, the group of cartilaginous fishes that include sharks and rays, are especially vulnerable to overfishing due to low fecundity and late sexual maturation. A significant number of elasmobranch species are ... -
Paralelismo na linguagem Haskell
Pereira, Vagner Franco (2014) [Trabalho de conclusão de graduação]O desenvolvimento de algoritmos paralelos é uma tarefa complexa e requer grande esforço por parte dos desenvolvedores. Esse trabalho avalia se algumas das dificuldades presentes no desenvolvimento de algoritmos paralelos ... -
Projeto e desenvolvimento de agentes de desempenho para clusters
Machado, Rodrigo; Drehmer, Guilherme (2002) [Resumo publicado em evento]