Análise de sintaxe LR em OCaml-FLAT/OFLAT

Os conceitos de FLAT (Linguagens Formais e Teoria de Autómatos) envolvem uma na- tureza formal e rigorosa, mas também algo complexa, assim trazendo um nível de exigência considerável durante a sua aprendizagem. Para mitigar este problema, têm sido criadas ferra- mentas pedagógicas ao longo das décadas, com objetivo de promover a assimilação dos con- ceitos a partir de aplicações que permitem ao utilizador visualizar e interagir por meio de exer- cícios/exemplos. Na FCT-UNL, foram desenvolvidas duas dessas ferramentas pedagógicas: a biblioteca OCaml-FLAT, com suporte para os conceitos FLAT, e a aplicação gráfica OFLAT, desenhada para web browsers com o objetivo de promover a aprendizagem do utilizador, com uso de visualizações interativas dos conceitos da biblioteca OCaml-FLAT. Esta dissertação tem como primeiro objetivo estender a biblioteca OCaml-FLAT com conceitos de parsing (análise sintática) LR. O segundo objetivo é estender a aplicação OFLAT, adicionando suporte para visualização e interatividade dos referidos conceitos. O caráter pe- dagógico do software a desenvolver será uma preocupação constante. Inevitavelmente, nesta dissertação irá ocupar bastante espaço, a explicação dos concei- tos teóricos que estão subjacentes ao trabalho a realizar, concretamente tudo o que tem a ver com parsing bottom-up determinista LR, nas diferentes variantes clássicas: LR(0), SLR(1), LR(1) e LALR(1).The concepts of FLAT (Formal Languages and Automata Theory) have a formal and rigorous nature, also somewhat complex, thus carrying a notable demand during their learning. To mitigate this problem, various tools have been created over the decades, allowing the user to visualize and interact with the concepts through exercises/examples. At FCT-UNL, two such pedagogical tools were developed: the OCaml-FLAT library, with logical support for the FLAT concepts, and the OFLAT graphical application, which runs on a web browser and offers interactive visualizations for the FLAT concepts. The first objective of this dissertation is to extend the OCaml-FLAT library with support for LR parsing concepts. The second objective is to extend the OFLAT graphical application, adding support for visualization and interactivity of said concepts. An important aim of this work is to go after the pedagogical character of the software to be developed. Inescapably, a large portion of this dissertation will be dedicated to the explanation of the theoretical concepts of the LR deterministic bottom-up parsing, concretely in the different classic variants: LR(0), SLR(1), LR(1) and LALR(1)

PODCAST COMO FERRAMENTA DE ENSINO E APRENDIZAGEM: UMA EXPERIÊNCIA EM LINGUÍSTICA

This work deals with the use of podcasts as an educational activity in the field of linguistics. It was an activity carried out with a class of the first level of the undergraduate degree in Letras - English Language, at the Federal University of Pará, Bragança campus, in the curricular component Fundamentals of Linguistics. With the help of volunteer monitors, scientific initiation researchers in the Project Materiais Autênticos e Cultura Pop, under the coordination of the professor of the class and coordinator of the project, a podcast channel entitled Açaí com Farinha e Linguística, in which students produced short episodes on different topics in linguistics. The base texts for the episodes were taken from the book O que sabemos sobre a Linguagem: 51 perguntas e respostas sobre a linguagem humana, organized by Valdir do Nascimento Flores and Gabriel de Ávila Othero (2022). The objective of this experience report is to showcase the development of the activity and discuss the potential of using podcasts as a teaching and learning tool. Therefore, this text is divided into an introduction; history, concepts and characteristics of podcasts; organization for production and broadcasting of podcasts; Açaí com farinha e linguística: an experience, a possibility; final considerations; and references. With the experience report presented, it is possible to point out that the use of podcasts as a tool in the classroom was positive, promoting interaction among students, commitment to the proposed activity and the final result as a means of sharing knowledge.Este trabajo aborda el uso de los podcasts como actividad educativa en el área de la lingüística. Fue una actividad realizada con un grupo de estudiantes de primer nivel de la licenciatura en Letras - Lengua Inglesa en la Universidad Federal de Pará, campus Bragança, en el componente curricular Fundamentos de la Lingüística. Con la ayuda de monitores voluntarios, investigadores de iniciación científica en el Proyecto Materiais Autênticos e Cultura Pop, bajo la coordinación del profesor docente de la disciplina y coordinador del proyecto, se desarrolló un canal de podcasts titulado "Açaí com Farinha e Linguística", en el cual los estudiantes produjeron episodios cortos sobre diversos temas de lingüística. Los textos base para los episodios se extrajeron del libro "O que sabemos sobre a Linguagem: 51 perguntas e respostas sobre a linguagem humana", de Valdir do Nascimento Flores y Gabriel de Ávila Othero (2022). El objetivo de este informe de experiencia es presentar el desarrollo de la actividad y discutir las potencialidades del uso de podcasts como herramienta de enseñanza y aprendizaje. Para ello, este texto se divide en introducción; historia, conceptos y características de los podcasts; organización para la producción y difusión de podcasts; "Açaí com farinha e linguística": una experiencia, una posibilidad; conclusiones; y referencias. Con el informe de experiencia presentado, es posible destacar que el uso de podcasts como herramienta en el aula fue positivo, promoviendo la interacción entre los estudiantes, el compromiso con la actividad propuesta y el resultado final como medio de socialización del conocimiento.Este trabalho trata da utilização de podcasts como atividade educacional na área de linguística. Foi uma atividade realizada com uma turma de primeiro nível de licenciatura em Letras – Língua Inglesa, na Universidade Federal do Pará, campus Bragança, no componente curricular Fundamentos da Linguística. Com o auxílio de monitores voluntários, pesquisadores de iniciação científica no Projeto Materiais Autênticos e Cultura Pop, sob a coordenação do professor regente da disciplina e coordenador do projeto, foi desenvolvido um canal de podcasts intitulado Açaí com Farinha e Linguística, no qual os estudantes produziram episódios curtos sobre temas diversos da linguística. Os textos-base para os episódios foram retirados do livro O que sabemos sobre a Linguagem: 51 perguntas e respostas sobre a linguagem humana, de Valdir do Nascimento Flores e Gabriel de Ávila Othero (2022). O objetivo deste relato de experiência é apresentar o desenvolvimento da atividade e discutir as potencialidades do uso de podcasts como ferramenta de ensino e aprendizagem. Para tanto, este texto está dividido em introdução; histórico, conceitos e características de podcasts; organização para produção e veiculação de podcasts; Açaí com farinha e linguística: uma experiência, uma possibilidade; considerações finais; e referências. Com o relato de experiência apresentado, é possível salientar que o uso de podcasts como ferramenta em sala de aula foi positivo, promovendo a interação entre os discentes, o empenho na atividade proposta e o resultado final como meio de socialização do conhecimento

Assessment of Differentially Private Synthetic Data for Utility and Fairness in End-to-End Machine Learning Pipelines for Tabular Data

Differentially private (DP) synthetic data sets are a solution for sharing data while preserving the privacy of individual data providers. Understanding the effects of utilizing DP synthetic data in end-to-end machine learning pipelines impacts areas such as health care and humanitarian action, where data is scarce and regulated by restrictive privacy laws. In this work, we investigate the extent to which synthetic data can replace real, tabular data in machine learning pipelines and identify the most effective synthetic data generation techniques for training and evaluating machine learning models. We investigate the impacts of differentially private synthetic data on downstream classification tasks from the point of view of utility as well as fairness. Our analysis is comprehensive and includes representatives of the two main types of synthetic data generation algorithms: marginal-based and GAN-based. To the best of our knowledge, our work is the first that: (i) proposes a training and evaluation framework that does not assume that real data is available for testing the utility and fairness of machine learning models trained on synthetic data; (ii) presents the most extensive analysis of synthetic data set generation algorithms in terms of utility and fairness when used for training machine learning models; and (iii) encompasses several different definitions of fairness. Our findings demonstrate that marginal-based synthetic data generators surpass GAN-based ones regarding model training utility for tabular data. Indeed, we show that models trained using data generated by marginal-based algorithms can exhibit similar utility to models trained using real data. Our analysis also reveals that the marginal-based synthetic data generator MWEM PGM can train models that simultaneously achieve utility and fairness characteristics close to those obtained by models trained with real data.Comment: arXiv admin note: text overlap with arXiv:2106.1024

A PONDERAÇÃO ECONÔMICA E AS DECISÕES DA JURISDIÇÃO CONSTITUCIONAL: REALIDADE E DEVER-SER

O presente esforço se presta à análise de fenômeno intrigante: a ascensão do Poder Judiciário enquanto efetivador de políticas públicas. A temática desperta inquietação, tanto do ponto de vista da separação dos poderes, isto é, filosófica e politicamente, quanto numa perspectiva econômica. O julgador, provocado à concretização de direitos fundamentais, necessita ponderar a repercussão orçamentária de sua decisão. De modo que o custo do direito fundamental se torna fator determinante, em detrimento, por vezes, de sua efetivação. Nessa ordem de idéias, este exame teórico utiliza-se de pesquisa bibliográfica e jurisprudencial – especialmente das decisões do STF – a fim de compreender o novo perfil e destacamento do Poder Judiciário, como garantidor da praticabilidade dos direitos fundamentais, diante da omissão dos outros dois poderes constituídos. Com esta abordagem, procura-se instrumentalizar tal atuação judiciária, todavia, advertindo que num Estado Democrático de Direito todas as atividades estatais devem perseguir a aplicação dos direitos fundamentais

A OBJETIVAÇÃO DO CONTROLE DIFUSO NA ORDEM JURÍDICA BRASILEIRA

O controle de constitucionalidade das leis representa um aparelho de salvaguarda do sistema constitucional. Na perspectiva brasileira, constatou-se uma intensa influência dos modelos norte-americano e europeu, resultando numa condensação destes. A nova ordem jurídica de 1988 demonstrou uma tendência em homenagear o controle concentrado em detrimento do controle difuso, que há muito dominava. Nesse sentido, as atuações do Poder Legislativo em fortalecer ainda mais os mecanismos de controle abstrato e a presente atuação da jurisdição constitucional, possibilitaram uma nova tendência de aproximação dos sistemas de controle, levando em consideração que vários aspectos do controle abstrato foram transportados para o controle difuso. O maior reflexo dessa aproximação resultou na tendência de considerar o recurso extraordinário como veículo de controle abstrato das normas, conforme se vê na discussão da Reclamação 4.335/AC. Essa discussão impõe um questionamento a respeito da funcionalidade do art. 52, X, da CF, e a interpretação, na realidade contemporânea

Utilização do Cadastro Territorial Multifinalitário na gestão de riscos

Use of the multipurpose territorial cadastre on risk management - at first, this work presents a brief bibliographical review about records and risk management. After that, the methodology used on the execution of thematic maps through the Internet showing the characteristics of susceptible buildings to some type of risks is presented. Finally, it demonstrates the potential and viability of using this information on cadastres in this important area, while at the same time using minor financial resources

Estrutura de Capital, Internacionalização e Países de Destino de Empresas Brasileiras: Uma Análise da Hipótese Upstream-Downstream

This study examines the effect of defining the country of destination of the international debt of Brazilian multinationals, based on the Upstream–Downstream hypothesis. To deepen the discussion of stability suggested by the theory, this paper inserted institutional variables of the target countries of internationalization in econometric models used by previous studies, testing whether the hypothesis Upstream-Downstream remains valid. Starting from a sample involving Brazilian publicly traded multinational and domestic companies between the years 2007 to 2011 and as a statistical method, we performed a regression with panel data. The results show that Brazilian companies when defining the destination countries of internationalization, regardless of these countries presenting higher or lower stability in relation to Brazil, increase their indebtedness. The results showed that among the characteristics present in countries considered as more stable, only the Corruption Perception Index was positively associated with the level of indebtedness of multinationals.Este estudo analisa os efeitos da definição do país de destino da internacionalização no endividamento das empresas multinacionais brasileiras, a partir da hipótese Upstream-Downstream. Para aprofundar na discussão da estabilidade sugerida pela teoria, este trabalho inseriu variáveis institucionais dos países alvo da internacionalização nos modelos econométricos utilizados pelos estudos anteriores, testando se a hipótese Upstream-Downstream continua válida. Partiu-se de uma amostra envolvendo empresas multinacionais e domésticas brasileiras de capital aberto entre os anos de 2007 a 2011, e como método estatístico aplicou-se a regressão com dados em painel. Os resultados mostram que as empresas brasileiras, ao definirem os países de destino de sua internacionalização, independentemente da maior ou menor estabilidade desses países em relação ao Brasil, aumentam seus endividamentos. Dentre as características presentes em países considerados mais estáveis, apenas o Índice de Percepção de Corrupção associou de forma positiva com o nível de endividamento das multinacionais

The cross-sectional and prospective associations between sleep characteristics and adiposity in toddlers: Results from the GET UP! Study

Background: The associations between sleep characteristics and adiposity in children under three years are not fully understood yet. Objective: The objective of the study is to examine the cross-sectional and prospective associations between sleep characteristics and adiposity in toddlers over a 12-month period. Methods: Participants were 202 toddlers from the GET-UP! Study. Sleep duration, sleep timing, and sleep variability were assessed using 24-hour accelerometry for seven consecutive days. Height and weight were measured, and BMI z scores were calculated. Linear mixed models were performed to examine the cross-sectional and prospective associations between sleep characteristics and adiposity, with adjustments for clustering effects and demographic factors. Results: Total sleep duration was negatively associated with higher adiposity cross-sectionally (B = −0.12; 95% CI: −0.23, −0.01;.033) but not prospectively (B = 0.01; 95% CI: −0.13, 0.10;.843). Nap duration was prospectively associated with higher levels of adiposity (B = 0.41; 95% CI: 0.14, 0.68;.003). Sleep variability and sleep timing were not associated with concurrent or subsequent adiposity. Conclusion: Although sleep duration is an important factor associated with obesity in toddlerhood, the potential effects of different types of sleep duration may vary. While longer total sleep duration may protect children from increasing adiposity, longer nap duration seems to be risk factor. As evidence in this age group is scarce, more research is needed to confirm this finding

Eixo 1 – Objetivos do Desenvolvimento Sustentável

O presente artigo tem a seguinte problemática: A produção e o consumo de livros no Brasil são realizados pensando na sustentabilidade? Aborda sobre a produção e o consumo do livro no Brasil verificando os benefícios advindos com a adoção de um modelo de produção e de consumo sustentáveis. Estuda o mercado brasileiro do livro, investigando alguns aspectos importantes, objetivando: mostrar como ocorreu o surgimento e evolução do suporte informacional ao longo do tempo, analisar o mercado editorial utilizando a teoria microeconômica e verificar se existe sustentabilidade no processo de produção e consumo do livro. Realiza a diferenciação entre consumo produtivo e consumo individual sob a concepção marxista. Faz uma revisão de literatura acerca da história do livro a fim de compreender como ocorreu seu surgimento e evolução até chegar aos modernos suportes informacionais. Analisa o mercado editorial sob uma concepção microeconômica. Constata que o mercado editorial é um mercado perfeitamente competitivo. Explicita que é essencial produzir e consumir pensando na questão da preservação do meio ambiente. Ratifica que já existe uma preocupação governamental em produzir e consumir de forma sustentável, pois em 2011 o Ministério do Meio Ambiente (MMA) por meio do Comitê Gestor de Produção e Consumo Sustentáveis (CGPCS) formulou o Plano de Ação para Produção e Consumo Sustentáveis (PPCS). Conclui que o mercado editorial e os consumidores de livros estão gradativamente se adequando a este novo modo de produção e de consumo sustentáveis proposto pelo PPCS.The present article has the following problematic: The production and the consumption of books in Brazil are realized with sustainability in mind? It discusses the production and consumption of the book in Brazil, verifying the benefits of adopting a sustainable production and consumption model. It studies the Brazilian book market, investigating some important aspects, aiming to: show how the emergence and evolution of informational support occurred over time, analyze the publishing market using microeconomic theory and verify if there is sustainability in the production and consumption process of the book. It makes the differentiation between productive consumption and individual consumption under the Marxist conception. He reviews the history of the book in order to understand how its emergence and evolution occurred until it came to modern informational media. Analyzes the publishing market under a microeconomic conception. He notes that the publishing market is a perfectly competitive market. He explains that it is essential to produce and consume with the preservation of the environment in mind. It ratifies that there is already a governmental concern to produce and consume in a sustainable way, since in 2011 the Ministry of the Environment (MMA), through the Management Committee for Sustainable Production and Consumption (CGPCS), formulated the Action Plan for Sustainable Production and Consumption PPCS). It concludes that the publishing market and book consumers are gradually adapting to this new mode of production and sustainable consumption proposed by the PPCS