Listar Ciencias Exactas y Naturales por título
Mostrando ítems 5793-5812 de 5972
-
Using the ACL2 theorem prover to reason about VHDL components
(2000) [Artículo de periódico]ACLZ is a theorem prover which uses an applicative subset of Common Lisp as specification language. and employs a quantil'ier-free first order logic to reason about these specifications. \Ve define how to build an ACL‘Z model ... -
O uso da análise multidimensional na pesquisa em ensino de ciências
(2001) [Artículo de periódico]Neste trabalho apresentamos o contexto e a forma em que utilizamos a técnica denominada de Análise Multidimensional (AMD) em uma pesquisa sobre conceitos em Mecânica Quântica, na tentativa de fornecer aos pesquisadores ... -
O uso da argumentação na acepção de Stephen Toulmin articulado à abordagem histórico-epistemológica com enfoque no aluno : um caminho possível para construção da aprendizagem em relatividade
(2021) [Artículo de periódico]Apresentamos uma proposta de investigação e intervenções no campo temático da História, Filosofia e Sociologia da Ciência articulada a um tema de Física Moderna e Contemporânea (FMC) tendo como público alvo estudantes da ... -
Uso da cromatografia gasosa bidimensional abrangente (GCXGC) na caracterização de misturas biodiesel/diesel : aplicação ao biodiesel de sebo bovino
(2011) [Artículo de periódico]The growth of biodiesel market and the implementation of regulations related to biodiesel production and biodiesel/diesel blending has encouraged the development of appropriate analytical methods to control the composition ... -
Uso da imputação múltipla de dados faltantes : uma simulação utilizando dados epidemiológicos
(2009) [Artículo de periódico]Em situações com dados faltantes, é comum restringirse à análise dos sujeitos com dados completos. Porém, as estimativas com apenas esses sujeitos podem tornar- se viesadas. A prática de preenchimento de dados faltantes é ... -
O uso da sísmica de reflexão nos estudos de geomorfologia submarina em Fiordes, Chile
(2004) [Artículo de periódico]Este trabalho apresenta resultados do uso da sísmica de reflexão sísmica em ambientes deposicionais glaciomarinhos da costa de fiordes norte e central do Chile. As geoformas são identificadas de acordo com as distintas ... -
O uso de elementos da História e Filosofia da Ciência (HFC) em aulas de Física em uma disciplina de estágio supervisionado : alguns resultados de pesquisa
(2018) [Artículo de periódico]Este artigo tem o objetivo de divulgar resultados de estudos de caso etnográficos que resultaram em dissertação de mestrado em ensino de física (Boaro, 2017). Buscou-se investigar as práticas didáticas de futuros professores ... -
O uso de 'espirais' de encadernação como molas
(2005) [Artículo de periódico]No presente texto mostramos como utilizar ‘espirais’ de plástico para encadernação em lugar das tradicionais molas de aço na realização de uma série de interessantes atividades práticas para ensino de Física em escolas de ... -
O uso de imagens do Sensor Aster no mapeamento de unidades vulcano-sedimentares do Platô da Ramada, Vila Nova do Sul, RS
(2006) [Artículo de periódico]The remote sensing products which are generated by orbitals sensors of middle spatial and spectral resolution and the development of new technique of digital image processing has been a auxiliary tool in the basic geological ... -
O uso de metodologias ativas para o ensino das Leis de Newton : experiências do residência pedagógica
(2022) [Artículo de periódico]O presente trabalho consiste em um estudo de caso acerca de uma sequência didática sobre o ensino das Leis de Newton, implementada na educação básica envolvendo Metodologias Ativas, desenvolvida por intermédio do Programa ... -
O uso de métodos de mapeamento automático de relevo para análise de formas glaciais
(2020) [Artículo de periódico]O mapeamento geomorfológico de ambientes glaciais pode ser mais preciso com a aplicação da classificação digital gerada por Modelos Digitais de Elevação (MDEs). Este artigo avalia o potencial da metodologia geomorphon para ... -
O uso deo Geogebra como ferramenta para a construção de conceitos matemáticos : um primeiro estudo envolvendo Cadeias de Markov
(2014) [Artículo de periódico]Esse trabalho apresenta os resultados de uma sequência de atividades realizada com alunos de graduação em matemática e também com professores de matemática da região de Passo Fundo (RS). Através de uma metodologia de ... -
O uso de programas aplicativos em biblioteca universitária
(1990) [Artículo de periódico]Relata a experiência da BC/UFRGS na utilização de programas aplicativos para automação de atividades de biblioteca. Sugere sua utilização como forma de iniciar a equipe da biblioteca no uso do computador, como instrumento ... -
Uso de raciocínio probabilístico para inferir os estados de ânimo do aluno no ambiente ROODA
(2011) [Artículo de periódico] -
Uso de RMN de ¹3C e de 3¹P no acompanhamento da síntese de fosfinitos e de catalisadores catiônicos de ródio
(1996) [Artículo de periódico]Phosphinites and thiophosfites derived from bicyclic and polycylic strained molecules like norbonanes, endo-endo and endo-exo tetracyclic dodecanes compounds, and their respective cationic Rhodium catalysis, were prepared. ... -
Uso de simuladores, imagens e animações como ferramentas auxiliares no ensino/aprendizagem de óptica
(2007) [Artículo de periódico]Relatamos neste artigo o desenvolvimento e a aplicação de um CD-ROM de ¶optica para o ensino médio, cobrindo todos os conteúdos usualmente vistos nessa disciplina. O material contém, além de textos didáticos escritos em ... -
O uso de técnicas de recomendação em um sistema para apoio à aprendizagem colaborativa
(2006) [Artículo de periódico]Este artigo apresenta o SisRecCol – Sistema de Recomendação para Apoio à Colaboração. O sistema oferece ferramentas que tem por finalidade apoiar o processo de aprendizagem colaborativa. O sistema segue a perspectiva ... -
O uso de um folhetim para dialogar sobre Matemáticas : um relato envolvendo desenvolvimento profissional docente
(2023) [Artículo de periódico]O artigo apresenta uma ação realizada pela regional RSda SBEM que consiste na organização e publicação de um folhetim trimestralno qualsão propostos materiais, sugestões de textos e vídeos que envolvem práticas em sala de ... -
Uso de um software de correção automática : uma alternativa para viabilizar o processo avaliativo contínuo no contexto do ensino universitário
(2018) [Artículo de periódico]A avaliação continuada tem sido apontada como um dos fatores-chave para se alcançar uma aprendizagem mais efetiva. Porém, no caso de turmas grandes, um limitante para a implementação desse tipo de avaliação é a sobrecarga ... -
Uso de um texto de apoio como organizador prévio : combinatória para o ensino fundamental e ensino médio
(2007) [Artículo de periódico]Os professores participantes de cursos de extensão, especialização e formação continuada, dentre as várias dificuldades, de forma ampla se destaca a passagem da postura positivista para o construtivista. Este estudo intenta ...