Paulo Sidney Gomes Silva - Academia.edu (original) (raw)

Uploads

Papers by Paulo Sidney Gomes Silva

Research paper thumbnail of A Participação Da Coopingos No Pnae Do Município De Assú/RN e Sua Importância Para O Fortalecimento Da Agricultura Familiar No Vale Do Açu

Anais do 60º Congresso da Sociedade Brasileira de Economia, Administração e Sociologia Rural (SOBER)

Research paper thumbnail of As Transformações Da Política De Desenvolvimento Dos Territórios Rurais No Brasil: Análise Da Implementação No Estado Do Rio Grande Do Norte (RN)

Anais do 60º Congresso da Sociedade Brasileira de Economia, Administração e Sociologia Rural (SOBER)

Research paper thumbnail of “Experimentos” De Políticas De Desenvolvimento Rural No Estado Do Rio Grande Do Norte: O Caso Do Projeto Serra Do Mel

Anais do 60º Congresso da Sociedade Brasileira de Economia, Administração e Sociologia Rural (SOBER)

Research paper thumbnail of Reforma agrária, regimes alimentares e desenvolvimento rural: evidências a partir dos territórios rurais do Rio Grande do Norte

Revista de Economia e Sociologia Rural, 2023

Resumo O objetivo deste estudo é apresentar experiências de reforma agrária relacionadas a regime... more Resumo O objetivo deste estudo é apresentar experiências de reforma agrária relacionadas a regimes agroalimentares da agricultura familiar no contexto do desenvolvimento rural dos territórios do Rio Grande do Norte, nos períodos dos I e II Planos Nacionais de Reforma Agrária (PNRA). A metodologia consistiu em uma pesquisa exploratória e descritiva, analisando informações quantizadas das ações de ATER (Assistência Técnica e Extensão Rural), inicialmente na lógica neoliberal de mercado dos anos 1990, e, depois, nos anos 2000, devido à emergência de regimes alimentares mais diversificados para cada território. Como técnicas, predominaram a pesquisa bibliográfica e documental, e a pesquisa de campo através de entrevistas com gestores públicos e privados, e agricultores familiares das experiências estudadas. Os resultados revelaram que as experiências de reforma agrária têm importância, especialmente, com os novos regimes alimentares mais diversificados, porém, apresentaram dificuldades ...

Research paper thumbnail of The Living Conditions Index (LCI) in Rural Territories of the Brazilian Northeastern region: evidence for the Açu-Mossoró and Sertão do Apodi territories, in Rio Grande do Norte state

Abstract: The objective of this article is to present the importance of the Index of Living Condi... more Abstract: The objective of this article is to present the importance of the Index of Living Conditions (ILC) as an indicator that allows the representation of the changes perceived in and by the target public of the actions that, since 2003, have been settled in Açu-Mossoró and Sertão do Apodi, in Rio Grande do Norte. As a methodological process, it was developed by the Department of Territorial Development (SDT) of the Brazilian Ministry of Agrarian Development (MDA) and consists of the definition of LCIs, where the central focus is capturing individuals' perceptions about their living conditions. The results indicate that there is no direct correspondence between factors, characteristics and effects of development in the sense that the existence of assets and capitals along with individual liberties translates into significant changes in living conditions, although the perception about living conditions is something that varies substantially between individuals or families.

Research paper thumbnail of O Índice de Condições de Vida (ICV) em Territórios Rurais do Nordeste: evidências para os territórios Açu-Mossoró e Sertão do Apodi, no Rio Grande do Norte

Revista de Economia e Sociologia Rural, 2020

Resumo: O objetivo deste artigo é apresentar a importância do Índice de Condições de Vida (ICV) c... more Resumo: O objetivo deste artigo é apresentar a importância do Índice de Condições de Vida (ICV) como um indicador que possibilita a representação das mudanças percebidas no e pelo público-alvo das ações que vêm sendo implementadas desde 2003 nos territórios Açu-Mossoró e Sertão do Apodi, no Rio Grande do Norte. A metodologia foi a desenvolvida pela Secretaria de Desenvolvimento Territorial (SDT) do Ministério do Desenvolvimento Agrário (MDA) e consiste na definição dos ICVs, em que o foco central está em captar a percepção que os indivíduos têm sobre suas condições de vida. Os resultados indicam que não há correspondência direta entre fatores, características e efeitos do desenvolvimento no sentido de que a existência de ativos e capitais aliados às liberdades individuais se traduz em mudanças significativas nas condições de vida, embora a percepção sobre as condições de vida seja algo que varia substancialmente entre indivíduos ou famílias.

Research paper thumbnail of Report on the design of a Galculator

This report presents the Galculator, a tool aimed at deriving equational proofs in arbitrary doma... more This report presents the Galculator, a tool aimed at deriving equational proofs in arbitrary domains using Galois connections as the fundamental concept. When combined with the pointfree transform and the indirect equality principle, Galois connections offer a very powerful, generic device to tackle the complexity of proofs in program verification. We show how rewriting rules derived from the properties of the Galois connections are applied in proofs using a strategic term rewriting system which, in the current prototype, is implemented in Haskell. The prospect of integrating the Galculator with other proof assistants such as eg. Coq is also discussed.

Research paper thumbnail of A Importância Do Cooperativismo Para as Estratégias De Construção De Mercados: O Caso Da Rede De Cooperativas Da Agricultura Familiar Do RN - Unicafes/RN

Anais do 59º Congresso da Sociedade Brasileira de Economia, Administração e Sociologia Rural (SOBER) e 6º Encontro Brasileiro de Pesquisadores em Cooperativismo (EBPC), 2021

Research paper thumbnail of 14881 - A troca de saberes como estratégia para a construção do conhecimento agroecológico numa área de reforma agrária

Cadernos De Agroecologia, Dec 15, 2013

O presente projeto, desenvolvido pelo Nucleo de Estudos em Agroecologia – NEA, IFRN, Campus Ipang... more O presente projeto, desenvolvido pelo Nucleo de Estudos em Agroecologia – NEA, IFRN, Campus Ipanguacu objetivou fomentar a construcao do conhecimento agroecologico atraves da acao dialogica apoiada na apropriacao do modo de producao campones e na socializacao de tecnicas de base sustentaveis junto aos agricultores do assentamento Pedro Ezequiel, Ipanguacu/RN. A metodologia consistiu numa investigacao qualitativa com o proposito de identificar os principais problemas e estrategias adotadas pelos agricultores investigados. Dentre os problemas identificados, destaca-se a dificuldade de controlar pragas e de adotar praticas de incremento da pastagem nativa. Visando construir solucoes, foram realizadas oficinas sobre producao vegetal e animal de base agroecologica. Concluiu-se o quao e imperiosa a necessidade de uma processo de capacitacao continuada como forma de impulsionar novos processos de transicao agroecologica rumo a sistemas produtivos mais sustentaveis no assentamento em questao.

Research paper thumbnail of A Participação Da Coopingos No Pnae Do Município De Assú/RN e Sua Importância Para O Fortalecimento Da Agricultura Familiar No Vale Do Açu

Anais do 60º Congresso da Sociedade Brasileira de Economia, Administração e Sociologia Rural (SOBER)

Research paper thumbnail of As Transformações Da Política De Desenvolvimento Dos Territórios Rurais No Brasil: Análise Da Implementação No Estado Do Rio Grande Do Norte (RN)

Anais do 60º Congresso da Sociedade Brasileira de Economia, Administração e Sociologia Rural (SOBER)

Research paper thumbnail of “Experimentos” De Políticas De Desenvolvimento Rural No Estado Do Rio Grande Do Norte: O Caso Do Projeto Serra Do Mel

Anais do 60º Congresso da Sociedade Brasileira de Economia, Administração e Sociologia Rural (SOBER)

Research paper thumbnail of Reforma agrária, regimes alimentares e desenvolvimento rural: evidências a partir dos territórios rurais do Rio Grande do Norte

Revista de Economia e Sociologia Rural, 2023

Resumo O objetivo deste estudo é apresentar experiências de reforma agrária relacionadas a regime... more Resumo O objetivo deste estudo é apresentar experiências de reforma agrária relacionadas a regimes agroalimentares da agricultura familiar no contexto do desenvolvimento rural dos territórios do Rio Grande do Norte, nos períodos dos I e II Planos Nacionais de Reforma Agrária (PNRA). A metodologia consistiu em uma pesquisa exploratória e descritiva, analisando informações quantizadas das ações de ATER (Assistência Técnica e Extensão Rural), inicialmente na lógica neoliberal de mercado dos anos 1990, e, depois, nos anos 2000, devido à emergência de regimes alimentares mais diversificados para cada território. Como técnicas, predominaram a pesquisa bibliográfica e documental, e a pesquisa de campo através de entrevistas com gestores públicos e privados, e agricultores familiares das experiências estudadas. Os resultados revelaram que as experiências de reforma agrária têm importância, especialmente, com os novos regimes alimentares mais diversificados, porém, apresentaram dificuldades ...

Research paper thumbnail of The Living Conditions Index (LCI) in Rural Territories of the Brazilian Northeastern region: evidence for the Açu-Mossoró and Sertão do Apodi territories, in Rio Grande do Norte state

Abstract: The objective of this article is to present the importance of the Index of Living Condi... more Abstract: The objective of this article is to present the importance of the Index of Living Conditions (ILC) as an indicator that allows the representation of the changes perceived in and by the target public of the actions that, since 2003, have been settled in Açu-Mossoró and Sertão do Apodi, in Rio Grande do Norte. As a methodological process, it was developed by the Department of Territorial Development (SDT) of the Brazilian Ministry of Agrarian Development (MDA) and consists of the definition of LCIs, where the central focus is capturing individuals' perceptions about their living conditions. The results indicate that there is no direct correspondence between factors, characteristics and effects of development in the sense that the existence of assets and capitals along with individual liberties translates into significant changes in living conditions, although the perception about living conditions is something that varies substantially between individuals or families.

Research paper thumbnail of O Índice de Condições de Vida (ICV) em Territórios Rurais do Nordeste: evidências para os territórios Açu-Mossoró e Sertão do Apodi, no Rio Grande do Norte

Revista de Economia e Sociologia Rural, 2020

Resumo: O objetivo deste artigo é apresentar a importância do Índice de Condições de Vida (ICV) c... more Resumo: O objetivo deste artigo é apresentar a importância do Índice de Condições de Vida (ICV) como um indicador que possibilita a representação das mudanças percebidas no e pelo público-alvo das ações que vêm sendo implementadas desde 2003 nos territórios Açu-Mossoró e Sertão do Apodi, no Rio Grande do Norte. A metodologia foi a desenvolvida pela Secretaria de Desenvolvimento Territorial (SDT) do Ministério do Desenvolvimento Agrário (MDA) e consiste na definição dos ICVs, em que o foco central está em captar a percepção que os indivíduos têm sobre suas condições de vida. Os resultados indicam que não há correspondência direta entre fatores, características e efeitos do desenvolvimento no sentido de que a existência de ativos e capitais aliados às liberdades individuais se traduz em mudanças significativas nas condições de vida, embora a percepção sobre as condições de vida seja algo que varia substancialmente entre indivíduos ou famílias.

Research paper thumbnail of Report on the design of a Galculator

This report presents the Galculator, a tool aimed at deriving equational proofs in arbitrary doma... more This report presents the Galculator, a tool aimed at deriving equational proofs in arbitrary domains using Galois connections as the fundamental concept. When combined with the pointfree transform and the indirect equality principle, Galois connections offer a very powerful, generic device to tackle the complexity of proofs in program verification. We show how rewriting rules derived from the properties of the Galois connections are applied in proofs using a strategic term rewriting system which, in the current prototype, is implemented in Haskell. The prospect of integrating the Galculator with other proof assistants such as eg. Coq is also discussed.

Research paper thumbnail of A Importância Do Cooperativismo Para as Estratégias De Construção De Mercados: O Caso Da Rede De Cooperativas Da Agricultura Familiar Do RN - Unicafes/RN

Anais do 59º Congresso da Sociedade Brasileira de Economia, Administração e Sociologia Rural (SOBER) e 6º Encontro Brasileiro de Pesquisadores em Cooperativismo (EBPC), 2021

Research paper thumbnail of 14881 - A troca de saberes como estratégia para a construção do conhecimento agroecológico numa área de reforma agrária

Cadernos De Agroecologia, Dec 15, 2013

O presente projeto, desenvolvido pelo Nucleo de Estudos em Agroecologia – NEA, IFRN, Campus Ipang... more O presente projeto, desenvolvido pelo Nucleo de Estudos em Agroecologia – NEA, IFRN, Campus Ipanguacu objetivou fomentar a construcao do conhecimento agroecologico atraves da acao dialogica apoiada na apropriacao do modo de producao campones e na socializacao de tecnicas de base sustentaveis junto aos agricultores do assentamento Pedro Ezequiel, Ipanguacu/RN. A metodologia consistiu numa investigacao qualitativa com o proposito de identificar os principais problemas e estrategias adotadas pelos agricultores investigados. Dentre os problemas identificados, destaca-se a dificuldade de controlar pragas e de adotar praticas de incremento da pastagem nativa. Visando construir solucoes, foram realizadas oficinas sobre producao vegetal e animal de base agroecologica. Concluiu-se o quao e imperiosa a necessidade de uma processo de capacitacao continuada como forma de impulsionar novos processos de transicao agroecologica rumo a sistemas produtivos mais sustentaveis no assentamento em questao.