Listar por autor "Machado, Rodrigo"
Mostrando ítems 1-20 de 37
-
Ambiente didático para experimentação com a definição formal de linguagens orientadas a objetos
Matschulat, Samuel Grimm (2016) [Tesinas de grado]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) [Tesinas de grado]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) [Tesinas de grado]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) [Tesinas de grado]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) [Resumen publicado en 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) [Resumen publicado en 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) [Artículo 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) [Tesis de maestría]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) [Resumen publicado en 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) [Tesinas de grado]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) [Resumen publicado en 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) [Resumen publicado en evento] -
Evolution of negative application conditions on second-order graph rewriting
Costa, Andrei (2019) [Tesis de maestría]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) [Tesinas de grado]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) [Tesis]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) [Tesinas de grado]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) [Resumen publicado en 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) [Artículo 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) [Tesinas de grado]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) [Resumen publicado en evento]