Valdete Aparecida Ferreira Hermisdolfe. A etnomatemática no ensino da Escola Família Agrícola Normília Cunha dos Santos no município de Barra de São Francisco - ES. 2022. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro. Orientador: José Roberto Linhares de Mattos.

 

Marcio Alves Afonso.Análise sobre a prática docente de contextualização para o ensino de matemática no ensino fundamental. 2021. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro. Orientadora: Eulina Coutinho Silva do Nascimento.

​

Marta Silva Souza. Concepção de Discentes Indígenas do Curso Técnico em Agropecuária sobre os Saberes Agrícolas Indígenas no Contexto Escolar. 2021. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro. Orientadora: Eulina Coutinho Silva do Nascimento.

​

Edinilson dos Anjos Silva. Dimensões Política e Pedagógica da Etnomatemática na Escola do Distrito Praça Rica no Município de Vila Pavão - ES. 2021. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro. Orientador: José Roberto Linhares de Mattos.

​

Loide Regina dos Santos Vicente. Do resgate cultural a geração de renda: a trajetória das mulheres artesãs do município de Paracambi. 2021. Dissertação (Mestrado em Pós Graduação em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro. Orientadora: Sandra Maria Nascimento de Mattos.

​

Ronald Leonardo Pessanha Sudré Junior. Uma análise de estudos envolvendo Etnomatemática no Ensino de Jovens e Adultos na matemática no Ensino de Jovens e Adultos. 2021. Dissertação (Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro, . Orientadora: Eulina Coutinho Silva do Nascimento.

​

Helom Ávila Bento. Diálogo entre Etnomatemática e a Sala de aula. 2020. Dissertação (Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro. Orientadora: Eulina Coutinho Silva do Nascimento.

​

Keila Ferreira de Oliveira. Sustentabilidade e uso de plantas medicinais em uma visão integrada à Educação Indígena e a Educação escolar Indígena Paiter. 2020. Dissertação (Mestrado em Programa de Pós-Graduação em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientadora: Sandra Maria Nascimento de Mattos.

​

Maria do Carmo Viração Pereira. Educação a distância como política de inclusão e suas contribuições na trajetória de egressos do curso de matemática do Instituto Federal de Educação, Ciência e Tecnologia do Ceará. 2018. Dissertação (Mestrado em Pós Graduação em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientadora: Sandra Maria Nascimento de Mattos. Coorientador: José Roberto Linhares de Mattos.

​

Enilza Rosas da Silva. A construção de casas no Araçá e a valorização da cultura na educação escolar indígena. 2018. Dissertação (Mestrado em Pós Graduação em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientadora: Sandra Maria Nascimento de Mattos. Coorientador: José Roberto Linhares de Mattos.

​

Manuel Ricardo dos Santos Rabelo. Aconstrução do conhecimento em matemática através de estratégias diferenciadas em um curso Técnico em Agropecuária. 2016. Dissertação (Mestrado em Pós Graduação em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientadora: Sandra Maria Nascimento de Mattos. Coorientador: José Roberto Linhares de Mattos.

​

Andressa Alves Gonçalves de Oliveiraq. Motivando a Aprendizagem de Números Inteiros por meio de Materiais manipuláveis: uma experiência no sétimo ano do ensino fundamental. 2020. Dissertação (Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

Dulcineide Pereira Santos. A INTERDISCIPLINARIDADE NO ENSINO DA MATEMÁTICA POR MEIO DE UMA PROPOSTA DE IMPLANTAÇÃO DE UMA CISTERNA PARA APROVEITAMENTO DA ÁGUA DA CHUVA. 2019. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento. Coorientador: José Roberto Linhares de Mattos.

​

Willian Colares Destefani. UMA PESQUISA ETNOMATEMÁTICA COM FAMILIARES E ALUNOS DO PRIMEIRO ANO DO ENSINO FUNDAMENTAL DE UMA ESCOLA AGROECOLÓGICA NO MUNICÍPIO DE ÁGUIA BRANCA ? ES. 2019. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

LUCIANO DAS NEVES CARVALHO. JOGO MANCALA COMO POSSIBILIDADE DE IMPLEMENTACAO DA LEI 10639/03 NO CURSO DE LICENCIATURA EM EDUCAÇÃO FÍSICA DO IFCE DO CAMPUS JUAZEIRO DO NORTE. 2019. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

Jucilane Costa Pimenta. A Educação Escolar na Comunidade Quilombola São Felix em Cantagalo - Minas Gerais. 2019. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

Cássio Lindote Fernandes. A INFLUÊNCIA DO USO DAS TÉCNICAS DE DOBRADURA E DO USO DE MATERIAIS CONCRETOS NO ENSINO DE GEOMETRIA ESPACIAL EM DUAS TURMAS DO 7°ANO DO ENSINO FUNDAMENTAL. 2019. Dissertação (Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

MÁRIO RODRIGUES DA SILVA. EDUCAÇÃO INDÍGENA: CONSTRUÇÕES DIALÓGICAS ENTRE OS SABERES TRADICIONAIS E CONHECIMENTOS CIENTÍFICOS NO CAMPUS AVANÇADO DO OIAPOQUE. 2019. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

Rafael Racca Roberto. O Uso do RPG (Role Playing Game) Para o Ensino do Teorema de Pitágoras em uma Escola Municipal do Rio de Janeiro. 2018. Dissertação (Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Eulina Coutinho Silva do Nascimento.

​

Enilze Alves Ferreira de Lucena. A EScolarização e o Modo de Ser Guarani: desafios e anseios na trajetória discente do Projeto de Educação de Jovens e Adultos Guarani Mbya em Angra dos Reis. 2018. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

Constância Heringer. O Saber/fazer na Pedagogia da Alternância Numa Escola do Campo em Nova Friburgo na Perspectiva de Etno matemática. 2018. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

Rosiléia de Oliveira Mundoco. O Bilinguismo como elemento de reafirmação da Etnocultura na Educação Escolar Indígena - Tekrejarôtire. 2017. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

Nilcélia Amaral Leal. Os Saberes e Experiências Pedagógicas dos Docentes que Atuam nas Escolas Públicas da Região do Quilombo do Tapereira. 2017. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

Edhana das Graças Ferreira. Uma Proposta Metodológica para o Ensino de Gráficos de /Funções Trigonométricas. 2017. Dissertação (Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Eulina Coutinho Silva do Nascimento.

​

Ronaldo Cardoso da Silva. A Arte Indígena como suporte Didático para o Ensino da Geometria. 2016. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

MÔNICA APARECIDA DA SILVA. DISCALCULIA E APRENDIZAGEM DE MATEMÁTICA:um estudo de caso para análise de possíveis intervenções pedagógicas. 2016. Dissertação (Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Eulina Coutinho Silva do Nascimento.

​

RENAN LUIS DA SILVA. Algumas Tecnologias de Informação e Comunicação como Ferramentas para o Ensino de Matemática. 2016. Dissertação (Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

Ronaldo Rafael Guedes Júnior. Números Complexos:desenvolvimento e aplicações. 2016. Dissertação (Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

Márcio Getúlio Prado de Castro. Os Saberes Matemáticos tradicionais Utilizados nas Comunidades Agrícolas dos Municípios de Porto Grande e Pedra Branca do Amaparí no Estado do Amapá. 2015. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento. Coorientador: José Roberto Linhares de Mattos.

​

Alessandro Martins Guimarães. Resultados das Avaliações do SAERJINHO de Matemática: Contraste entre o Sonho e a Realidade. 2015. Dissertação (Mestrado em Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Eulina Coutinho Silva do Nascimento.

​

Maria Angélica da Silva e Carvalho Junqueira. Atitudes dos Estudantes do Ensino Médio dos cursos Técnicos em Agroecologia e Meio Ambiente do CTUR-UFRRJ em Relação à Matemática e às Práticas Docentes. 2015. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

Aline Viana Oliveira. Motivação no Ensino de Matemática: uma experiência com jogos no curso de Magistério em Nível Médio. 2014. Dissertação (Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

Marcelo Guedes Guimarães. Motivando para Ensinar Matemática. 2014. Dissertação (Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Eulina Coutinho Silva do Nascimento.

​

Marcos Paulo Souza da Silva. A Matemática da Etnia Paresí e a Inserção Escolar Indígena. 2013. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento. Coorientador: José Roberto Linhares de Mattos

​

Anildo Gonçalves Pinto. Uma Proposta de Livro Paradidático como Motivação para o Ensino da Matemática. 2013. Dissertação (Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Eulina Coutinho Silva do Nascimento.

​

Jorge Luis Lopes Fagundes. Resolução de Sistemas Lineares no Ensino Médio. 2013. Dissertação (Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

Jacymar de Almeida Salgado. Reflexões Quanto à Importância das Construções Geométricaas no Ensino da Geometria Plana. 2013. Dissertação (Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eulina Coutinho Silva do Nascimento.

​

Felipe Augusto de Oliveira Baptista. Ensino de Matemática à Distância:Uma experiência com o ensino de Probabilidade. 2013. Dissertação (Mestrado em Rede Nacional PROFMAT) - Universidade Federal Rural do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eulina Coutinho Silva do Nascimento.

​

Josenilson Lopes Lola. Novas Tecnologias e suas Contribuições para o Ensino de Geometria Plana na Escola Agrícola. 2012. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento.

​

Jorge Ricardo Carvalho de Freitas. Contexto Histórico Sócio Cultural das Medidas Agrárias Não Oficiais Utilizadas na Mata Sul de Pernambuco e no IFPE Campus Barreiros. 2010. 0 f. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento. Coorientador: José Roberto Linhares de Mattos.

​

Emerson do Nascimento. A matemática: ferramenta multidisciplinar na contrução da aprendizagem na educação agrícola. 2010. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: Eulina Coutinho Silva do Nascimento. Coorientador: José Roberto Linhares de Mattos.

​

Núbia Cristiana Gonçalves. O Ensino da Matemática na Escola Família Agrícola de Orizona: teoria e prática. 2020. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Bárbara de Medeiros Marinho. A Educação Escolar Indígena do Povo Guarani M`bya - uma visão etnomatemática. 2019. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: José Roberto Linhares de Mattos.

​

Romaro Antonio Silva. A Etnomatemática como princípio de valorização cultural em uma Comunidade Quilombola na Região Amazônica: Elo entre o conhecimento empírico e o escolarizado. 2019. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Márcio Antônio Lourenço Mota. Os Impactos do Ensino Agropecuário do Instituto Federal do Amazonas na Comunidade Indígena Ticuna Umariaçú em Tabatinga - AM. 2019. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Thays Cristine Soares de Carvalho. Projeto Político Pedagógico para a Escola Indígena da Comunidade Araçá no Município de Amajari: impactos e desafios. 2018. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Aldenor Araújo da Silva. Práticas pedagógicas do Ensino de Matemática na Educação Escolar Indígena e o diálogo com a Etnomatemática. 2018. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Gamalono Surui. A Educação Indígena na Educação Escolar Indígena por meio de Projetos. 2018. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Regilania da Silva Lucena. A etnomatemática na construção de casas rurais no município de Crato - CE. 2018. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Enilze Alves Ferreira de Lucena. A escolarização e o modo de ser Guarani: desafios e anseios na trajetória discente no Projeto de Educação de Jovens e Adultos Guarani Mbya em Angra dos Reis-RJ. 2018. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Coorientador: José Roberto Linhares de Mattos.

​

Dayane Oliverio de Souza. Saberes matemáticos empíricos dos pescadores da Colônia Z-39 em Conceição do Araguaia - PA. 2017. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Josélio Rodrigues Ramos. Práticas educativas da matemática e os impactos ambientais no sistema agroflorestal de um campus do Instituto Federal do Pará. 2017. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Darlane Cristina Maciel Saraiva. O Ensino e a Aprendizagem da Matemática na Educação Escolar Indígena da Etnia Sateré-Mawé. 2016. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro. Orientador: José Roberto Linhares de Mattos.

​

Dejildo Roque de Brito. Saberes Matemáticos Produzidos e Praticados por Agricultores: uma visão etnomatemática na educação agrícola. 2016. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro. Orientador: José Roberto Linhares de Mattos.

​

Risonete Santiago da Costa. Educação Escolar Indígena em uma Escola do Oiapoque. 2016. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Elma Daniela Bezerra Lima. Ensino e Aprendizagem de Matemática na Escola da Comunidade Quilombola do Curiaú. 2015. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Thamy Pereira dos Santos. A Contribuição da Matemática para Agregar Valores à Cultura e às Atividades Cotidianas de uma Região Rural Através de Eixos Temáticos. 2015. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Paulo Jorge Ambrozine Rezende. A Cultura do Milho numa perspectiva etnomatemática. 2015. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Tadeu Rosa. A contribuição da física na gestão de recursos naturais: o aproveitamento dos recursos encontrados no IFES - Campus Itapina visando a diminuição do consumo não sustentável de energia. 2013. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Geraldo Aparecido Polegatti. A Matemática Rikbaktsa para o Povo Rikbaktsa: um olhar da etnomatemática na educação escolar indígena. 2013. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Antônio Ferreira Neto. A Etnomatemática no Cotidiano do Ensino Indígena em Aldeias Surui Paiter. 2013. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Josenilson Lopes Lola. As Novas tecnologias s suas Contribuições para o Ensino de Geometria Plana na Educação Agrícola. 2012. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Coorientador: José Roberto Linhares de Mattos.

​

Elaine Cristina Barbosa da Silva de Albuquerque. Um Estudo de Caso: a utilização de princípios da modelagem matemática como estratégia viabilizadora de um ambiente de aprendizagem mais signiicativo aos alunos. 2011. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Aldemi Ferreira Mendes. Contextualização e Interdisciplinaridade na Utilização da Matemática no Estudo de Fenômenos Climáticos e Meteorológicos. 2010. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Lucianne Oliveira Monteiro Andrade. O Ensino de Matemática no PROEJA: limites e possibilidades. 2010. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Maria Leopoldina Bezerra Brito. A Matemática no Trabalho do Agente Rural: Aspectos Etnomatemáticos. 2010. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Jaibis Freitas de Souza. Construindo uma aprendizagem significativa com história e contextualização da matemática. 2009. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Silvana Lucas Bomtempo Matos. Trabalhando o campo e construindo conhecimento matemático: uma perspectiva etnomatemática dos trabalhadores rurais. 2009. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Marcia Maria Paes Santos. A Construção dos Conceitos Matemáticos na Realidade do mundo Agrário. 2006. Dissertação (Mestrado em Educação Profissional Agrícola) - Universidade Federal Rural do Rio de Janeiro, . Orientador: José Roberto Linhares de Mattos.

​

Maria das Graças Pereira. Estudo sobre a Aplicação e Desenvolvimento de Conceitos Matemáticos na Realidade do Curso Técnico em Zootecnia. 2006. Dissertação (Mestrado em Educação Agrícola) - Universidade Federal Rural do Rio de Janeiro. Orientadora: Eulina Coutinho Silva do Nascimento. Coorientador: José Roberto Linhares de Mattos.