ECT - Trabalhos apresentados em eventos
Permanent URI for this collectionhttps://repositorio.ufrn.br/handle/1/2971
Browse
collection.page.browse.recent.head
Now showing 1 - 4 of 4
Article A uniform framework for substructural logics with modalities(Easy Chair, 2017-05-04) Vega, Carlos Alberto Olarte; Lellmann, Björn; Pimentel, Elaine GouveaIt is well known that context dependent logical rules can be problematic both to implement and reason about. This is one of the factors driving the quest for better behaved, i.e., local, logical systems. In this work we investigate such a local system for linear logic (LL) based on linear nested sequents (LNS). Relying on that system, we propose a general framework for modularly describing systems combining, coherently, substructural behaviors inherited from LL with simply dependent multimodalities. This class of systems includes linear, elementary, a ne, bounded and subexponential linear logics and extensions of multiplicative additive linear logic (MALL) with normal modalities, as well as general combinations of them. The resulting LNS systems can be adequately encoded into (plain) linear logic, supporting the idea that LL is, in fact, a “universal framework” for the specification of logical systems. From the theoretical point of view, we give a uniform presentation of LL featuring di erent axioms for its modal operators. From the practical point of view, our results lead to a generic way of constructing theorem provers for di erent logics, all of them based on the same grounds. This opens the possibility of using the same logical framework for reasoning about all such logical systemsArticle Inovações institucionais na pesquisa agrícola na América Latina e no Caribe(Simpósio de Gestão da Inovação Tecnológica, 2006) Pedro, Edilson da Silva; Salles-Filho, Sergio; Mendes, Paule JeaneEste artigo trata das tendências e dos desafios da organização da pesquisa agrícola na América Latina e no Caribe. Ele está baseado em um recente estudoi que teve como objetivos propor um marco conceitual sobre inovações institucionais na pesquisa agrícola e entender como a institucionalidade de P&D na América Latina e no Caribe (ALC) tem contribuído para a cooperação e formação de alianças e redes entre instituições de pesquisa, visando desenvolver uma agricultura baseada no conhecimento no âmbito da Região. Com este propósito, foram feitas a descrição e análise das principais diretrizes de inovações institucionais adotadas pelos países e sistemas nacionais de pesquisa agropecuária da ALC. Como resultado, o estudo propôs uma agenda de diretrizes e ações para consolidar a cooperação regional na pesquisa agropecuária, por meio de inovações institucionais que fortaleçam organizações, redes e sistemas de pesquisa. Do ponto de vista teórico, o estudo foi baseado na literatura neo- institucionalista e neo-schumpeteriana. A partir destas abordagens, foram definidos conceitos que detalham as inovações institucionais em tipos e níveis, que em geral buscam promover novas formas de valorização e utilização de ativos, além de colaborar com o desenvolvimento de tecnologias mais adequadas à dinâmica técnico-econômica e produtiva. A análise da trajetória e das mudanças em curso na institucionalidade vigente da pesquisa agropecuária na ALC, com o marco conceitual proposto, apontou que as redes nacionais e regionais são atores estratégicos para consolidar a cooperação e estimular as organizações e sistemas de pesquisa agrícola a incorporarem mudanças e inovaçõesArticle Capacitação tecnológica em usina do setor sucroalcooleiro(Encontro Nacional de Engenharia de Produção, 2003) Pedro, Edilson da Silva; Assumpção, Maria Rita Pontes AlvesEste trabalho contribui para estudos sobre a capacitação tecnológica na agroindústria sucroalcooleira. Para verificação das iniciativas empreendidas em usina açucareira são analisadas as possibilidades de segmentação no mercado industrial para uso do açúcar e de seus derivados e as implicações estratégicas para o setor. Sob este contexto apresentam-se as iniciativas de uma usina em sua estrutura e os processos gerenciais adotados para capacitação tecnológica.Article Capacitação e gestão tecnológica agroindustrial: um estudo de caso no setor sucroalcooleiro(Simpósio de Engenharia de Produção, 2003) Pedro, Edilson da Silva; Alves, Maria Rita Pontes AssumpçãoEste artigo apresenta contribuições de um estudo de capacitação tecnológica para a formulação de um modelo de gestão tecnológica na firma agroindustrial. Faz-se uma reflexão dos processos de gestão no cenário de mudança tecnológica setorial, para avaliar e rever o processo de capacitação. ABSTRACT:This article present the contributions of technological capability study for the construction of a technological management model in the agroindustrial company. It does a reflection on the management processes in this setorial technology change scenario, to evaluate and review the capability process