Ciencia de datos, dados abiertos y repositorios abiertos

Se relata la experiencia del IBICT (Instituto Brasileiro de Informação em Ciência e Tecnologia), sus directrices, metabuscador nacional de publicaciones de datos científicos y datos de investigación.Ibero-American Science and Technology Education Consortiu

Nominal equational problems modulo associativity, commutativity and associativity-commutativity

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2019.A sintaxe nominal tem sido utilizada em vários contextos por quase duas décadas. Ela é uma ferramenta poderosa para se lidar com ligação de variáveis de uma forma concreta, que pode ser aplicada a qualquer especificação na qual parâmetros são utilizados para se abstrair variáveis, tal como em predicados e funções. Na sintaxe nominal, objetos que são sintaticamente diferentes podem ter a mesma semântica módulo alfa-conversão, tal como acontece no Cálculo Lambda. O tratamento de igualdades, em especial a alphaequivalêcia, é algo essencial em linguagens formais e implementações. Este trabalho investiga a alpha-equivalência nominal com símbolos de função associativos (A), comutativos (C) e associativos-comutativos (AC). Verificação de equivalência, casamento e unificação módulo A, C e AC são investigados. Em relação a verificação de igualdade, as alphaequivalências nominais módulo A, C e AC foram especificadas em Coq e provadas ser corretas. Um algoritmo implementado em OCaml para verificação de igualdade módulo A, C e AC é automaticamente extraído da especificação e experimentos são executados utilizando-se também um algoritmo aperfeiçoado. Limites superiores para o tempo de execução na solução de problemas nominais de verificação equacional são fornecidos. Um algoritmo de unificação módulo C baseado em regras de redução é especificado em Coq e provado ser correto e completo. Por meio do uso de variáveis protegidas, este algoritmo de unificação resolve problemas de casamento nominal módulo C, o que foi também formalizado ser correto e completo. O algoritmo de unificação baseado em regras de redução fornece uma família finita de conjuntos de equações nominais de ponto fixo. Cada uma destas equações pode ter um conjunto infinito de soluções independentes. Portanto, demonstra-se que problemas de unificação nominal módulo C e AC podem gerar um conjunto infinito de soluções independentes. Este fato contrasta com unificação sintática módulo C ou AC, que são conhecidas por estar na classe finitária de problemas. Uma implementação em OCaml do algoritmo de unificação nominal é fornecida e utilizado para se construir exemplos.The nominal syntax has been used in many application contexts for almost two decades. It is a powerful tool for dealing with variable binding in a concrete manner that can be applied to any specification in which parameters are used to abstract variables, such as in predicates and functions. In the nominal syntax, syntactically different objects can have the same semantics modulo alpha-conversion, as happens in the lambda calculus. Dealing with equality, and in special with alpha-equivalence, is essential in formal languages and implementations. This work investigates the nominal alpha-equivalence with associative (A), commutative (C) and associative-comutative (AC) function symbols. Equalitychecking, matching and unification modulo A, C and AC are investigated. Regarding equality-checking, nominal alpha-equivalence modulo A, C and AC are specified in Coq and proved sound. An algorithm implemented in OCaml for equality-checking modulo A, C and AC is automatically extracted from the specification and experiments are performed using also an improved algorithm. Upper bounds for solving nominal equality-checking problems are given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and complete. By using protected variables, this unification algorithm solves nominal matching problems modulo C, which is formalised to be sound and complete. The rule-based nominal unification algorithm outputs a finite family of sets of fixed point nominal equations. Each of which might have an infinite set of independent solutions. Therefore, nominal unification modulo C or AC are proved to potentially generate infinite independent solutions. This contrasts with syntactic unification modulo C or AC that are known to be in the finitary class. An OCaml implementation of the nominal unification algorithm is provided and used to build examples

The control authority implementation in dspace developed systems

O controle de autoridade é uma facilidade importante no processo de catalogação, por isso é muito utilizada nos sistemas informatizados de gerenciamento de acervos bibliográficos, no entanto é pouco implementada em outros sistemas. Cenário que tem mudado com o surgimento de novas ferramentas informatizadas que disponibilizam documentos digitais em sua forma completa, o que requer descrição acurada do documento, tal como ocorre nos repositórios digitais. O DSpace, software utilizado mundialmente para implementação de repositórios possui essa facilidade. Entretanto o controle de autoridade ainda não é muito utilizado em sistemas desenvolvidos com DSpace no Brasil, mesmo tendo sido desenvolvido na versão 1.6 em meados de 2010. Um dos motivos seria o desconhecimento técnico dos administradores, ou falta de documentação em português dessa facilidade. Assim, o presente documento tem por objetivo contribuir para o preenchimento desse hiato. Nesse sentido, apresenta-se o embasamento teórico que ampara a facilidade e a forma de adequação da ferramenta para o seu uso.Authority Control is a important facility on the cataloging process, therefore it is widely used at the informatized bibliographic management systems, however it is hardly implemented at others systems. This scenario has changed with the growing of new informatic tools that provides digital documents on its complete version, they need a accurated description of the document as happens on the digital repositories. The DSpace, worldwide software of repository implementations has this facility. However the authority control is not very used at DSpace systems in Brazil, although it had been developed in the 1.6 version at 2010. One of the reasons could be the lack technical knowledge of the administrators or the sparse documentation in portuguese language about this facility. Thus, this document has the intention of contribuate on decrease this gap. Thereby, it presents the theoretical that supports the facility and the way to adequate the tool for his use

Governo aberto na produção científica em ciência da informação: fortalecendo o movimento de Ciência Aberta no Brasil

The objective of this work is to recognize in the brazilian scientific literature the types of approaches surrounding the Open Government Partnership (OGP). To this end, a quick literature review was carried out on May 25, 2022, with a structured search in Base de Dados Referenciais de Artigos de Periódicos em Ciência da Informação (BRAPCI), with the term "Open Government" in all fields of the documents. Through this strategy, 39 articles were retrieved. After eliminating documents from events and duplications, the search resulted in 34 documents. After reading the abstract, to identify the alignment with the scope of this work, 24 documents were selected. In the data analysis phase, the model proposed by Oliveira (2008) was used, consisting of three stages: 1. Pre-analysis, 2. Exploration of the material or coding, and 3. Treatment of the results. Five units of analysis were established: Access to Information, Open Data, Management, Open Government, and Open Technological Resources. It is concluded that, if, on the one hand, there are identifications and the search for theoretical support in Information Science, on the other hand, there are applications of methods and tools in order to ensure the strengthening of Open Government actions and society's access to information effectively and efficiently.Estabelece-se para este artigoo objetivo de reconhecer na produção científica brasileira em Ciência da Informação os tipos de abordagens em torno da Parceria para Governo Aberto (Open Government Partnership – OGP). Efetuou-se uma revisão rápida da literatura, no dia 25 de maio de 2022, com busca estruturada na Base de Dados em Ciência da Informação (Brapci), com o termo "Governo Aberto" em todos os campos dos documentos. Foram encontrados 39 documentos.  Eliminados os documentos oriundos de eventos e as duplicações, a busca resultou em 34 documentos. Após a leitura do resumo, para identificação do alinhamento ao  escopo  deste  trabalho, foram  selecionados24  documentos.Na fase de análise de dados, utilizou-se o modelo proposto por Oliveira em 2008, composto por três etapas: 1. Pré-análise, 2. Exploração do material ou codificação e 3. Tratamento dos resultados. Foram estabelecidas cinco unidades de análise: Acesso à informação, Dados abertos, Gestão, Governo Aberto e Recursos tecnológicos abertos. Conclui-se que, se por um lado há identificações ebusca de suporte teórico na Ciência da Informação, por outro há aplicações de métodos e ferramentas com a finalidade de garantir o fortalecimento  das  ações  de  Governo  Aberto  e  o  acesso  da  sociedade ainformações com efetividade e eficiênci

Mesa 5: Experiencias de nodos nacionales de LA Referencia

En esta mesa se habla sobre las redes de repositorios, LA Referencia, interoperabilidad, directrices, OpenAIRE, BDCOL.Ibero-American Science and Technology Education Consortiu

Contribución del Instituto Brasileño de Información en Ciencia y Tecnología a la promoción del acceso abierto y la ciencia abierta: Análisis de sus infraestructuras

Historically, scientific communication was dominated by marketing dynamics in which oligopolies of commercial scientific publishers charged high fees so that researchers could have access to the scientific publications of their peers. Given the unsustainability of this model for the scientific community, the Open Access Movement first emerged and, more recently and with new contributions, open science. Faced with this context, and aware of the competences for which it was founded, the Brazilian Institute of Information in Science and Technology (Ibict) began to create infrastructures, projects, and actions aimed at achieving the precepts defended by the aforementioned movements. The objective of this work is to indicate and describe the actions, projects, and infrastructures regarding scientific communication created and coordinated by Ibict in the context of open access and open science. This article presents a document research work with a qualitative approach, as analyses were performed on various types of sources. Since the beginning of the 2000s, Ibict has been working firmly to build the necessary infrastructures to promote open access and, more recently, open science. This effort is reflected on the 14 actions, projects, and infrastructures that were created and coordinated by or in partnership with the Institute. The infrastructures presented herein denote the effort undertaken by Ibict to promote scientific communication in an open and transparent manner. Complementary to each other, such infrastructures are capable of creating a national framework in favor of the pillars of open access and open science, highlighting Brazil on the international stage.Históricamente, la comunicación científica estuvo dominada por una dinámica de mercado en la que oligopolios de editoriales científicas comerciales cobraban altas tarifas para que los investigadores tuvieran acceso a las publicaciones científicas de sus pares. Ante la insostenibilidad de este modelo para la comunidad científica, surgió en un primer momento el Movimiento de Acceso Abierto y, más recientemente y con nuevos aportes, la ciencia abierta. Frente a este contexto, y consciente de las competencias para las que fue fundado, el Instituto Brasileño de Información en Ciencia y Tecnología (Ibict) pasó a crear infraestructuras, proyectos y acciones encaminados a alcanzar de los preceptos defendidos por los movimientos mencionados. El objetivo de este trabajo es indicar y describir las acciones, proyectos e infraestructuras de comunicación científica creados y coordinados por Ibict en el contexto del acceso abierto y la ciencia abierta. Este artículo presenta una investigación documental con enfoque cualitativo, pues los análisis se desarrollaron a partir de varios tipos de fuentes. Desde principios de la década del 2000, el Ibict ha estado trabajando firmemente para construir las infraestructuras necesarias para promover el acceso abierto y, más recientemente, la ciencia abierta. Este esfuerzo se ve reflejado las 14 acciones, proyectos e infraestructuras creadas y coordinadas por o en colaboración con el Instituto. Las infraestructuras presentadas denotan el esfuerzo realizado por Ibict para promover la comunicación científica de forma abierta y transparente. Complementarias entre sí, dichas infraestructuras son capaces de crear un marco nacional a favor de los pilares del acceso abierto y la ciencia abierta, destacando a Brasil en el escenario internacional

Contribución del Instituto Brasileño de Información en Ciencia y Tecnología a la promoción del Acceso Abierto y la Ciencia Abierta: análisis de sus infraestructuras

Introduction: Historically, scientific communication was dominated by a marketing logic in which oligopolies of commercial scientific publishers charged high fees so that researchers could have access to the scientific publications of their peers. Given the unsustainability of this market on the part of the scientific community, the Open Access Movement emerged at first and, more recently and with new contributions, Open Science. Faced with this context and aware of the competences for which it was instituted, the Brazilian Institute of Information in Science and Technology (Ibict) began to create infrastructures, projects and actions aimed at achieving the precepts defended by the aforementioned Movements. Objective: Indicate and describe the scientific communication actions, projects and infrastructures created and coordinated by Ibict in the context of Open Access and Open Science. Methodology: This article is characterized by documentary research with a qualitative approach. Since, analyzes were developed from the most varied types of sources. Results: The main results show that since the beginning of the 2000s, Ibict has been working firmly to build the necessary infrastructures to promote Open Access and, more recently, Open Science. This effort is reflected in the presentation of the 14 actions, projects and infrastructures that were created and coordinated by or in partnership with the Institute. Conclusions: The presented infrastructures denote the effort undertaken by Ibict to promote scientific communication in an open and transparent manner. Complementary to each other, such infrastructures are capable of creating a national framework in favor of the pillars of Open Access and Open Science, highlighting Brazil in the international scenario.Introducción: Históricamente, la comunicación científica estuvo dominada por una lógica de marketing en la que oligopolios de editoriales científicas comerciales cobraban altas tarifas para que los investigadores tuvieran acceso a las publicaciones científicas de sus pares. Ante la insostenibilidad de este mercado por parte de la comunidad científica, surgió en un primer momento el Movimiento de Acceso Abierto y, más recientemente y con nuevas aportaciones, la Ciencia Abierta. Frente a este contexto y consciente de las competencias para las que fue instituido, el Instituto Brasileño de Información en Ciencia y Tecnología (Ibict) pasó a crear infraestructuras, proyectos y acciones encaminadas a la consecución de los preceptos defendidos por los citados Movimientos. Objetivo: Indicar y describir las acciones, proyectos e infraestructuras de comunicación científica creadas y coordinadas por Ibict en el contexto del Acceso Abierto y la Ciencia Abierta. Metodología: Este artículo se caracteriza por ser una investigación documental con enfoque cualitativo. Ya que, los análisis se desarrollaron a partir de los más variados tipos de fuentes. Resultados: Los principales resultados muestran que desde principios de la década de 2000, Ibict ha estado trabajando firmemente para construir las infraestructuras necesarias para promover el Acceso Abierto y, más recientemente, la Ciencia Abierta. Este esfuerzo se refleja en la presentación de las 14 acciones, proyectos e infraestructuras creadas y coordinadas por o en colaboración con el Instituto. Conclusiones: Las infraestructuras presentadas denotan el esfuerzo realizado por Ibict para promover la comunicación científica de forma abierta y transparente. Complementarias entre sí, tales infraestructuras son capaces de crear un marco nacional a favor de los pilares del Acceso Abierto y la Ciencia Abierta, destacando a Brasil en el escenario internacional

A Digital Repository for the Herbarium Collection of Brasília Botanical Garden

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014DSpace Interest Group Presentations24x7 PresentationsThe Brazilian flora, due the continental characteristics of the country, has revealed the interest of many researchers since the Brazilian discovery. It presents distinct biomes that feature various endemic specimens. Thus, the units of conservation and botanical gardens have shown an important role in the search, dissemination and cataloging new species, preservation of endangered species, among others benefits. In this context, the Brasilia Botanical Garden becomes a reference in regard to the Cerrado Biome, mainly by actions on the sense of the biome preservation, research and education of the community, in addition to maintaining a herbarium with a significant collection. The Botanical Garden of Brasília and the Brazilian Institute for Information in Science and Technology has been developing a project to implement a repository for the purpose of the preservation and dissemination of information concerning the herbarium collection. With that offering a system with many facilities in organization, archiving, retrieving, searching, among others. The main objective is to construct a information base the flora of the Cerrado (Savanna Central Brazil) but also generate a specific case use of a repository of open data.Shintaku, Milton (Brazilian Institute of Information in Science and Technology - Ibict, Brazil)Chacon, Roberta Gomes (Brasília Botanical Garden - JBB, Brazil)Caldas, Ana Luiza Rios (Brasília Botanical Garden - JBB, Brazil)Dias, Caio Nunes de Alburquerque (Brasília Botanical Garden - JBB, Brazil)Braga, Tiago Emmanuel Nunes (Brazilian Institute of Information in Science and Technology - Ibict, Brazil)Santos, Thayse Catanhede (Brazilian Institute of Information in Science and Technology - Ibict, Brazil)de Carvalho Segundo, Washington L. Ribeiro (Brazilian Institute of Information in Science and Technology - Ibict, Brazil)de Brito, Ronnie Fagundes (Brazilian Institute of Information in Science and Technology - Ibict, Brazil)Macedo, Diego José (Brazilian Institute of Information in Science and Technology - Ibict, Brazil