Search

The Pythagorean Theorem is one of the oldest, more famous and more useful theorems of Mathematics, and possibly the one that has had the most impact in the evolution of this and other sciences. In this article, we look at it from different perpectives, some of them uncommon. We recall some of its history, some well known applications and generalizations, other less known ones, and show it still has many surprising facets which are usually ignored. (O Teorema de Pit\'agoras (TP) \'e um dos mais antigos, famosos e \'uteis teoremas da Matem\'atica, e possivelmente o que maior impacto teve na evolu\c{c}\~ao desta e outras ci\^encias. Neste artigo, vamos olhar para este velho conhecido de diferentes perspectivas, algumas pouco usuais. Iremos lembrar um pouco da sua hist\'oria, algumas aplica\c{c}\~oes e generaliza\c{c}\~oes bem conhecidas, outras nem tanto, e ver que ele guarda muitas facetas surpreendentes e geralmente ignoradas.), Comment: in Portuguese language

Considering a pair of genomes, the goal of rearrangement distance problems is to estimate how distant these genomes are from each other based on genome rearrangements. Seminal works in genome rearrangements assumed that both genomes being compared have the same set of genes (balanced genomes) and, furthermore, only the relative order of genes and their orientations, when they are known, are used in the mathematical representation of the genomes. In this case, the genomes are represented as permutations, originating the Sorting Permutations by Rearrangements problems. The main problems of Sorting Permutations by Rearrangements considered DCJs, reversals, transpositions, or the combination of both reversals and transpositions, and these problems have their complexity known. Besides these problems, other ones were studied involving the combination of transpositions with one or more of the following rearrangements: transreversals, revrevs, and reversals. Although there are approximation results for these problems, their complexity remained open. Some of the results of this thesis are the complexity proofs for these problems. Furthermore, we present a new 1.375-approximation algorithm, which has better time complexity, for the Sorting Permutations by Transpositions. When considering unbalanced genomes, it is necessary to use insertions and deletions to transform one genome into another. In this thesis, we studied Rearrangement Distance problems on unbalanced genomes considering only gene order and their orientations (when they are known), as well as Intergenic Rearrangement Distance problems, which incorporate the information regarding the size distribution of intergenic regions, besides the use of gene order and their orientations (when they are known). We present complexity proofs and approximation algorithms for problems that include reversals and transpositions., Comment: PhD Dissertation, in Portuguese, presented at the Institute of Computing - Unicamp in March 2024

Linguistic ambiguity continues to represent a significant challenge for natural language processing (NLP) systems, notwithstanding the advancements in architectures such as Transformers and BERT. Inspired by the recent success of instructional models like ChatGPT and Gemini (In 2023, the artificial intelligence was called Bard.), this study aims to analyze and discuss linguistic ambiguity within these models, focusing on three types prevalent in Brazilian Portuguese: semantic, syntactic, and lexical ambiguity. We create a corpus comprising 120 sentences, both ambiguous and unambiguous, for classification, explanation, and disambiguation. The models capability to generate ambiguous sentences was also explored by soliciting sets of sentences for each type of ambiguity. The results underwent qualitative analysis, drawing on recognized linguistic references, and quantitative assessment based on the accuracy of the responses obtained. It was evidenced that even the most sophisticated models, such as ChatGPT and Gemini, exhibit errors and deficiencies in their responses, with explanations often providing inconsistent. Furthermore, the accuracy peaked at 49.58 percent, indicating the need for descriptive studies for supervised learning., Comment: in Portuguese language, 16 p\'aginas, 5 p\'aginas de ap\^endice e 4 imagens

Introduction and Objective. Assuming the need to rethink Education and its function as an element of social transformation and generator of a profound ethical change and promoter of other ways of being on planet Earth, this study seeks to understand the possible dialogues between Earth Pedagogy and Astrobiology in the construction and proposition of continuing education processes for science teachers. Methodology. A mini-course was promoted aimed at teachers and an attempt was made to report the construction process of the training process and, using Content Analysis, to analyze the contributions pointed out by the participants to their training and teaching practice. Results and Conclusion. The dialogue between knowledge in the continuing education of teachers contributes with fundamental elements to teaching practice, covering cognitive, emotional, individual and collective aspects, as well as highlighting the role of the university in promoting initiatives that bring Education and Complexity together., Comment: This article is written in Portuguese

In this paper, we propose the replication of scientific experiments, with the participation of the general public, as one of the possible strategies to confront science deniers. Using the social media of the Federal University of Lavras (UFLA), the project entitled : The Magic of Physics and the Universe, invited the public to reproduce the experiment carried out by the Greek Eratosthenes over 2,100 years ago, which he proved that the Earth is spherical. We present a report of this experience to suggest that it is possible for citizens to experience scientific knowledge and observe the phenomena in a simple way, in order to develop a critical interpretation of false information that circulates in society. This proposal distinctively geeks to deconstruct the denial of the Earth's curvature through direct and collective participation of citizens in Eratosthenes' experiment, which permit more reflection on how the scientific method used to study this subject works., Comment: This article is written in Portuguese

This paper analyzes the redistributive impacts of indirect taxation reforms in Brazil inspired by PEC 45/2019, particularly in the version that led to EC 132/2023. Comparisons are made between the current system and the simulated reforms, considering the distribution of the tax burden among families in different income classes, as well as the impact on poverty and inequality indicators. The simulations are conducted based on the combination of effective tax rates that apply to goods and services consumed by households, using nationally representative microdata from family budgets., Comment: in Portuguese language

In the research on FANETs (Flying Ad-Hoc Networks) and distributed coordination of UAVs (Unmanned Aerial Vehicles), also known as drones, there are many studies that validate their proposals through simulations. Simulations are important, but beyond them, there is also a need for real-world tests to validate the proposals and enhance results. However, field experiments involving drones and FANETs are not trivial, and this work aims to share experiences and results obtained during the construction of a testbed actively used in comparing simulations and field tests., Comment: in Portuguese language

We propose a physical mechanism for fine-tuning the phase of a domain wall around the equilibrium directions involving the application of an external field and a spin polarized current in opposite directions. In this way, the position of the domain wall remains unchanged, but its phase can be slightly modified around the initial equilibrium positions, applying the external field/current smoothly. We point out a few applications to which this fine tuning may lead., Comment: Written in portuguese. Submited to Revista Brasileira de Ensino de Fisica on March 15 2024

Blockchain technology has emerged as a necessity for the decentralization of payment methods and transactions, but it has brought with it many properties of distributed systems that have made it a crucial technology for overcoming some of society's challenges, especially in the context of decentralizing services, transparency of information, availability, and security. Its architecture and communication methods, although possessing some complex nuances to understand, particularly for the lay audience in the field of distributed systems, protocols, and computer networks. In this article, we will explore some topics of distributed systems related to blockchain technology., Comment: in Portuguese language

The growing interaction between traditional knowledge and formal sciences emerges as a relevant field of research. In this perspective, the aim of this article is to investigate the intersections between Physics and traditional knowledge in the ceramics practices of Vila Cuera, in Bragan\c{c}a, state of Para. Using an ethnographic approach, complemented by qualitative analysis, we realize that ceramists use their sensitive intuition and, masterfully, apply thermodynamic principles in the production of handmade ceramics. The results highlight the value of Ethnophysics, underlining that, long before the formal structuring of science as we know it, traditional societies already practiced and understood natural phenomena in tune with contemporary physical principles. We conclude that there is an inherent link between Physics and traditional knowledge with regard to the traditional ceramics practice, grounded on empirical observations and ancestral wisdom, that dialogues with science in a complementary relationship. The study highlights the importance of valuing and recognizing the knowledge of traditional populations by highlighting the knowledge doings of cultures and institutionalized science., Comment: in Portuguese

Since the development of lasers, we have continuously sought to advance techniques and theory to obtain beams with a high degree of coherence, as natural light sources provide incoherent light. However, there are applications where it is advantageous to use partially coherent (PC) beams in a controlled manner, such as in propagation through turbulent media. To generate a PC beam in the laboratory or in simulations, specific theories and methods are required. In this article, we provide an introduction to PC beam theory, describing how to generate them through modal decompositions and a step-by-step guide for simulating and analyzing beam generation inspired by experiments. To illustrate the methods, we present Gaussian Schell-Model beams as an example., Comment: 12 pages, in Portuguese language, 11 figures

The exploration of existing commercial opportunities has been increasing the share of commercial (non-aeronautical) revenues in the total revenues of airports worldwide. These revenues, also called commercial, non-aeronautical, or non-tariff revenues, come from rentals, duty-free shops, food and beverage sales, parking, advertising, etc. In other words, everything that is not the main business of the airport. Consequently, the dependence on commercial revenues has also become increasingly important, and airport managers are interested in understanding how to improve their financial results with this new revenue source, as it not only improves financial outcomes but also optimizes passengers' time and money consumption options at airports. Therefore, this chapter seeks to discuss the main determinants of commercial revenues at national airports, analyzing the possible impacts of the behavior of passengers from low-cost carriers (LCC) on these revenues, combined with other determining factors., Comment: This article is written in Portuguese

This study addresses the growing standardization of airline fleets, highlighting that frequent passengers are more likely to fly on the same aircraft model more often. The objective is to analyze the fleet management of airlines and the impact of a reduced variety of models on company operations. The benefits of standardization, such as operational efficiency, and the risks, such as vulnerability to specific model failures, are discussed. The work reviews international scientific literature on the subject, identifying consensus and disagreements that suggest areas for future research. It also includes a study on the Brazilian market, examining how standardization affects operational costs and profitability in terms of model, family, and aircraft manufacturer. Furthermore, the relationship between fleet standardization and the business model of the companies is investigated, concluding that the advantages of standardization are not exclusive to low-cost companies but can also be leveraged by other airlines., Comment: This article is written in Portuguese

This study explores the approaches used by airlines in setting flight times. It highlights the need to balance operational and strategic factors, such as optimizing the use of resources - including aircraft, crew, and fuel - and managing the risks related to delays and congestion. The work details a national analysis focused on domestic flights, investigating the factors that influence companies to adjust scheduled flight times and the impact of this practice on punctuality. The results indicate that decisions about flight time are influenced by both operational and strategic aspects, being affected by competition and the sector's policies on punctuality and slot allocation. Furthermore, it was found that adding extra time is an effective strategy for reducing delays, although it may conceal system deficiencies., Comment: This article is written in Portuguese

This study discusses the literature on the convergence of business models of airlines in Brazilian air transport, focusing on the formation of flight networks. Initially, it analyzes the determinants of the network formation patterns of the "fundamental" business models (archetypes) of airlines in the first years after the sector's deregulation. Then, it discusses how the business models of Brazilian companies resemble these patterns. The literature highlights convergences between the network formation strategies of full-service companies in relation to older low-cost companies, in addition to business model redirections after mergers and acquisitions., Comment: This article is written in Portuguese

Flight delays are a reality in the modern air industry worldwide. However, studies in the literature have investigated the competitive determinants of delays arising from factors originating at the airport and along the route separately. This work aims to present a national study that used a unifying approach from the literature, considering the local and global effects of competition on delays. The analysis took into account a phenomenon known as the "internalization of externalities" of airport congestion. Furthermore, it discusses the relationship between quality and competition on the route and the impacts of the entry of a low-cost carrier (LCC) on the delays of incumbent airlines in the Brazilian air market. The literature suggests that there is evidence of congestion internalization at Brazilian airports, in parallel with competition for quality at the route level. Additionally, the potential competition caused by the presence of the LCC leads to a global effect that suggests the existence of impacts other than prices on routes where it has not entered., Comment: This article is written in Portuguese

This work focuses on trying to understand how the construction of an airline's network is made. For this purpose, the case of Azul was studied, investigating which and how factors affect the decision of this airline to enter domestic routes, in addition to analyzing how the merger of Azul with the regional airline Trip affected the company's network planning. For this, an academic study was conducted using an econometric model to understand the airline's entry model. The results show that Azul's business model is based on connecting new destinations, not yet served by its competitors, to one of its hubs, and consistently avoiding routes or airports dominated by other airlines. Regarding the effects of the merger, the results suggest that Azul moved away from its original entry model, based on JetBlue, to a model more oriented towards regional aviation, entering shorter routes and regional airports., Comment: This article is written in Portuguese

In recent years, the topic of global warming and greenhouse gas emissions has been increasingly in the media. This theme has raised various flags, showing concern for the future and seeking alternatives for a more sustainable life over the years. When studying greenhouse gas emissions, one of the main emitters of such gases is the burning of fuels, in which transport vehicles that depend on gas and oil are included. In this respect, air transport through aircraft is one of the sources emitting such gases. Aiming to reduce gas emissions, one of the ways to do this is by reducing fuel consumption; for this, aircraft would have to be more efficient, or the offer and demand for flights would be reduced. However, what if aircraft fuel consumption were taxed? What would be the effects of this on air transport? Could this be one of the alternatives to reduce emissions? To understand this relationship between taxation and a possible reduction in fuel consumption, a study was developed by the Aeronautics Institute of Technology (ITA), using an econometric model to understand how demand would be affected by changes in airfares. In addition, a simulation of possible environmental taxes on the values of air tickets was carried out to analyze the demand response and to get an idea if this taxation would really solve the emission problems., Comment: This article is written in Portuguese

This work presents an analysis of recent literature examining factors that influence flight times in Brazil, with special attention to the impact of new technology implementations, specifically Performance-Based Navigation (PBN). PBN procedures began to be implemented in Brazilian airspace in 2009 and represent a new concept of air navigation, using satellites to create 3D flight routes that are shorter and more precise, potentially reducing the distances flown and consequently flight times and delays. Flight times depend on various factors, such as the size and complexity of the origin and destination airports, weather conditions, aircraft models, and how full the flights are. Therefore, to assess the impact of the new procedures, the variation in this set of factors must be taken into account. The results found in the literature suggest that Performance-Based Navigation had a positive impact, reducing flight times by about 1-2%, representing a saving of tens of thousands of flight hours from the beginning of implementations in 2009 until the end of 2018., Comment: This article is written in Portuguese

This study aims to discuss the impacts of a low-cost airline on the air transport market and, especially, to present the most recent findings from specialized literature in the field. To this end, various works on this topic, published since 2015, were selected and analyzed. From this analysis, it was possible to categorize the main topics discussed in the papers into five groups: (i) the impacts of a low-cost airline on competing airlines; (ii) impacts on airports; (iii) general impacts on the demand for air transport; (iv) effects on passengers' choice process; and (v) general effects on a geographical region., Comment: This article is written in Portuguese

In this study, we will address some topics related to the privatization of airports in the scientific literature, in an attempt to provide an answer to the following question: does the privatization of airports bring positive results? Firstly, we turn our attention to the motivations leading to privatization, considering the two main parties involved, the government and the private sector. After all, the success of such a decision will be relative to the reasons that justify it. In a second moment, we will consider the regulatory issue, whose influence on the airport's financial performance is consolidated in the literature. In the third part, we address the main documented results of privatization, with special attention to productive efficiency, whose improvement is the most popular motivation for privatization., Comment: This article is written in Portuguese

This book, written in Portuguese, presents a comprehensive analysis of the air transport industry in Brazil, highlighting its vital importance to the country's economy. It explores the sector's complexity, from economic characteristics to interaction with the national aeronautical industry, through the specialization of the workforce and market demand analysis. The book delves into the economic regulation of air transport, tracing the evolution from periods of strict regulation to phases of liberalization and deregulation, and examines market dynamics, focusing on concentration and competitiveness. It also analyzes demand and supply through case studies, investigating everything from tourists traveling within Brazil to the coverage of the national territory and the prices of air tickets. Finally, the book proposes principles for the regulation and public policies of the air sector, emphasizing the priority of the passenger, the business environment, access to air transport, and economic efficiency, culminating in the advocacy for a free market, but with protection for competition and the consumer., Comment: Pezco Editora & Desenvolvimento - 1st Edition, 2009. In Portuguese

Women and gender-diverse people represent an important constituency in the food value chain. Among all working women globally, about one in three works upstream in the food value chain. These women face increasing barriers to safety, recognition and advancement. Yet very little about their experiences has been documented. In the limited instances where the women who power global supply chains have been put into focus, most have concentrated on the experiences of women workers in the apparel sector., Through desktop research, one-on-one interviews with local organizations, case studies and workshops, this paper provides information and guidance on how investors, who are well-positioned to encourage companies to advance gender equity upstream in company supply chains, can help reshape this narrative and encourage companies to act.

The intention of this article is to propose the use of artificial intelligence to detect through analysis by UFO ontology the emergence of verbal and physical aggression related to psychosocial deficiencies and their provoking agents, in an attempt to prevent catastrophic consequences within school environments., Comment: in Portuguese language. Minha vez de falar sobre a realidade

This systematic review focuses on analyzing the use of machine learning techniques for identifying and quantifying analytes in various electrochemical applications, presenting the available applications in the literature. Machine learning is a tool that can facilitate the analysis and enhance the understanding of processes involving various analytes. In electrochemical biosensors, it increases the precision of medical diagnostics, improving the identification of biomarkers and pathogens with high reliability. It can be effectively used for the classification of complex chemical products; in environmental monitoring, using low-cost sensors; in portable devices and wearable systems; among others. Currently, the analysis of some analytes is still performed manually, requiring the expertise of a specialist in the field and thus hindering the generalization of results. In light of the advancements in artificial intelligence today, this work proposes to carry out a systematic review of the literature on the applications of artificial intelligence techniques. A set of articles has been identified that address electrochemical problems using machine learning techniques, more specifically, supervised learning., Comment: in Portuguese language

Studies on Quantum Computing have been developed since the 1980s, motivating researches on quantum algorithms better than any classical algorithm possible. An example of such algorithms is Grover's algorithm, capable of finding $k$ (marked) elements in an unordered database with $N$ elements using $O(\sqrt{N/k})$ steps. Grover's algorithm can be interpreted as a quantum walk in a complete graph (with loops) containing $N$ vertices from which $k$ are marked. This interpretation motivated search algorithms in other graphs -- complete bipartite graph, grid, and hypercube. Using Grover's algorithm's linear operator, the quantum counting algorithm estimates the value of $k$ with an error of $O(\sqrt{k})$ using $O(\sqrt{N})$ steps. This work tackles the problem of using the quantum counting algorithm for estimating the value $k$ of marked elements in other graphs; more specifically, the complete bipartite graph. It is concluded that for a particular case, running the proposed algorithm at most $t$ times wields an estimation of $k$ with an error of $O(\sqrt{k})$ using $O(t\sqrt{N})$ steps and success probability of at least $(1 - 2^{-t})8/\pi^2$., Comment: Master Thesis in Portuguese

This study presents the development of two graphical interfaces using Matlab's graphical user interface tool, GUIDE, to model the steady-state and dynamic responses of Erbium (Er$^{3+}$)-doped fiber amplifiers. The primary focus is on their application for educational purposes, employing two distinct models. The steady-state model aims to evaluate the influence of various intrinsic parameters of Er$^{3+}$-doped fibers, such as length, overlap factor between the dopant profile and the optical signal, dopant density, and excited state average lifetime, along with the impact of optical signals on the amplifiers' performance. On the other hand, the dynamic model interface facilitates the examination of the channels add/drop impact in an optical network. This dual-interface approach provides a comprehensive understanding of the Erbium-doped fiber amplifiers, making them valuable tools for educational exploration and analysis., Comment: 6 pages, 8 figures. Document in Portuguese

The conservation of tropical forests is a current subject of social and ecological relevance due to their crucial role in the global ecosystem. Unfortunately, millions of hectares are deforested and degraded each year. Therefore, government or private initiatives are needed for monitoring tropical forests. In this sense, this work proposes a novel framework, which uses of distribution estimation algorithm (UMDA) to select spectral bands from Landsat-8 that yield a better representation of deforestation areas to guide a semantic segmentation architecture called DeepLabv3+. In performed experiments, it was possible to find several compositions that reach balanced accuracy superior to 90% in segment classification tasks. Furthermore, the best composition (651) found by UMDA algorithm fed the DeepLabv3+ architecture and surpassed in efficiency and effectiveness all compositions compared in this work., Comment: in Portuguese language. Best Paper Award at the Workshop of Undergraduate Works (WUW), SIBGRAPI 2023

Only 5% of what makes up the Universe is well understood, and it consists of baryonic matter and radiation. Dark matter and energy correspond to the remaining 95% of the Universe, and their origin and evolution have not yet been satisfactorily explained. Dark matter, supposedly present in the galaxies' halo region, appears to be the mechanism that causes the unusual behavior of the stars' tangential velocity, which is higher than that predicted by the interaction with visible matter. With the solutions of the equations of motion for spacetime generated by a spinning cosmic string with an internal structure in Brans-Dicke gravitation, the present work aimed to evaluate whether this type of string can play the role currently defined as that of dark matter, which is to originate the typical rotational curves of galaxies, responsible for maintaining the tangential velocities of the stars that form these galaxies, whose behavior cannot be justified solely by the observed baryonic matter. For this, the model was used to obtain the velocities of the stars of 4 Sc-type galaxies, to be compared with their respective experimentally observed values., Comment: 11 pages, 2 figures, text in Portuguese, work presented at the 23a. Mostra de Ensino, Pesquisa e Extens\~ao, IFRS, C\^ampus Porto Alegre, 2023

In this work, we discuss the determination of the distance to the Large Magellanic Cloud (LMC) using the Leavitt Law, utilizing the public catalog of Classical Cepheid Variable stars from the observational project OGLE-IV (The Optical Gravitational Lensing Experiment Collection of Variable Stars), consisting of 4709 stars in the Large Magellanic Cloud. To determine the pulsation period of Cepheid Variable stars, we employ the computational algorithm \textit{Lomb-Scargle periodogram} modified for our data. Additionally, with the calculation of the period, we can derive a period-luminosity relation for Cepheid Variables in the Large Magellanic Cloud and, using an independent calibration distance, deduce their distance moduli. We also discuss some general theoretical concepts of the physical mechanism behind the oscillation of variable stars., Comment: in Portuguese language

This paper presents a comparative analysis of three routing strategies in opportunistic quantum networks. Quantum communication networks face unique challenges, such as the fragility of qubits and the need to create and maintain pairs of entangled states for reliable transmission. In this context, efficient and reliable routing is crucial to maximize the fidelity of the established routes, minimize the creation of new entangled pairs, and reduce the need for route recalculation. The routing strategies are compared based on the fidelity of the chosen routes, the number of entangled pairs created, and the number of route recalculations. The results obtained provide valuable information for the design and optimization of opportunistic quantum networks, contributing to advances in the efficiency and reliability of quantum communications., Comment: XIII Confer\^encia Nacional em Comunica\c{c}\~oes, Redes e Seguran\c{c}a da Informa\c{c}\~ao, in Portuguese language

The thought-provoking analogy between AI and electricity, made by computer scientist and entrepreneur Andrew Ng, summarizes the deep transformation that recent advances in Artificial Intelligence (AI) have triggered in the world. This chapter presents an overview of the ever-evolving landscape of AI, written in Portuguese. With no intent to exhaust the subject, we explore the AI applications that are redefining sectors of the economy, impacting society and humanity. We analyze the risks that may come along with rapid technological progress and future trends in AI, an area that is on the path to becoming a general-purpose technology, just like electricity, which revolutionized society in the 19th and 20th centuries. A provocativa compara\c{c}\~ao entre IA e eletricidade, feita pelo cientista da computa\c{c}\~ao e empreendedor Andrew Ng, resume a profunda transforma\c{c}\~ao que os recentes avan\c{c}os em Intelig\^encia Artificial (IA) t\^em desencadeado no mundo. Este cap\'itulo apresenta uma vis\~ao geral pela paisagem em constante evolu\c{c}\~ao da IA. Sem pretens\~oes de exaurir o assunto, exploramos as aplica\c{c}\~oes que est\~ao redefinindo setores da economia, impactando a sociedade e a humanidade. Analisamos os riscos que acompanham o r\'apido progresso tecnol\'ogico e as tend\^encias futuras da IA, \'area que trilha o caminho para se tornar uma tecnologia de prop\'osito geral, assim como a eletricidade, que revolucionou a sociedade dos s\'eculos XIX e XX., Comment: In Portuguese

We study characteristic classes of hypersurfaces in the complex projective space, with emphasis on secants to rational normal curves. For $Sec_k C\subset \mathbb{P}^{n}$, the secant of $k$ points to a rational normal curve $C\subset \mathbb{P}^n$, we compute the Hilbert series and the topological Euler characteristic. For $n=2r$ and $k=r$, the case when $Sec_r C\subset \mathbb{P}^{2r}$ is a hypersurface, we show that the dual $(Sec_r C)^*$ is isomorphic to the Veronese variety $\nu_2(\mathbb{P}^r)$, from which we obtain, for $Sec_r C$, formulas for the Mather class, the generic Euclidean distance degree and its polar degrees. Furthermore, we present an explicit formula for the topological degree of the gradient map $\phi_r \colon \mathbb{P}^{2r} \dashrightarrow \mathbb{P}^{2r} $ associated with $Sec_r C$, and as a consequence we obtain an affirmative answer for a conjecture by M. Mostafazadehfard and A. Simis: for $r \geq 2$, the hypersurface $Sec_r C\subset \mathbb{P}^{2r}$ is not homaloidal. From computations in particular cases we are led to a conjecture, namely, explicit formulas for the projective degrees of the gradient map $\phi_r$ and the Schwartz-MacPherson class $c_{SM}(Sec_r C)\in A_* \mathbb{P}^{2r}$, for all $r$. We conclude by presenting evidence that indicates the validity of our conjecture. Keywords: Characteristic classes. Gradient maps. Secants to rational normal curves., Comment: Ph.D. Thesis, final version, in Portuguese

Training machine learning models for predicting stock market share prices is an active area of research since the automatization of trading such papers was available in real time. While most of the work in this field of research is done by training Neural networks based on past prices of stock shares, in this work, we use iFeel 2.0 platform to extract 19 sentiment features from posts obtained from microblog platform Twitter that mention the company Petrobras. Then, we used those features to train XBoot models to predict future stock prices for the referred company. Later, we simulated the trading of Petrobras' shares based on the model's outputs and determined the gain of R$88,82 (net) in a 250-day period when compared to a 100 random models' average performance., Comment: in Portuguese language, Presented at: 1o Semin\'ario de Ci\^encia de Dados do IFSP. Campinas: 2023

Counting objects in images is a pattern recognition problem that focuses on identifying an element to determine its incidence and is approached in the literature as Visual Object Counting (VOC). In this work, we propose a methodology to count wood logs. First, wood logs are segmented from the image background. This first segmentation step is obtained using the Pix2Pix framework that implements Conditional Generative Adversarial Networks (CGANs). Second, the clusters are counted using Connected Components. The average accuracy of the segmentation exceeds 89% while the average amount of wood logs identified based on total accounted is over 97%., Comment: in Portuguese language, International Conference on Production Engineering - Americas 2022

In this work, we utilize image segmentation to visually identify blood vessels in retinal examination images. This process is typically carried out manually. However, we can employ heuristic methods and machine learning to automate or at least expedite the process. In this context, we propose a cross-platform, open-source, and responsive software that allows users to manually segment a retinal image. The purpose is to use the user-segmented image to retrain machine learning algorithms, thereby enhancing future automated segmentation results. Moreover, the software also incorporates and applies certain image filters established in the literature to improve vessel visualization. We propose the first solution of this kind in the literature. This is the inaugural integrated software that embodies the aforementioned attributes: open-source, responsive, and cross-platform. It offers a comprehensive solution encompassing manual vessel segmentation, as well as the automated execution of classification algorithms to refine predictive models., Comment: in Portuguese language. International Conference on Production Research - Americas 2022. https://www.even3.com.br/anais/foreigners_subscription_icpr_americas22/664603-software-multiplataforma-para-a-segmentacao-de-vasos-sanguineos-em-imagens-da-retina/

The use of facial masks played a pivotal role in combating COVID-19 during the pandemic period, particularly in the absence of vaccines for the disease. This study elucidates how this type of equipment can effectively contain viruses and bacteria of nanometric dimensions, smaller than the pores of the masks themselves. To achieve this, three types of masks were chosen: cloth, surgical, and PFF2 masks. In order to compare the structure of each, a scanning electron microscopy analysis was conducted, revealing the intricate filtration layers within each mask type., Comment: in Portuguese language

This review presents an introduction to Quantum Cosmology, including the mathematical methods essential to the canonical approach, some of the existing conceptual problems and the connection of the models to possible observables., Comment: 11 pages, in Portuguese, 3 figures, version accepted for publication in Cadernos de Astronomia

The goal of this article is to study algorithms that compute the product between two matrixes, specifically using the ingenuous methods of Strassen and Strassen-Winograd, which will be presented in Section 2. At present, the cited methods are not the most optimal considering the arithmetic complexity of these algorithms (see Table 1). However, changes to the Strassen and Strassen-Winograd methods will be exposed which will result in a reduction in their memory allocation and/or execution time. The algorithms in this study were implemented using the Julia programming language, version 1.9.1, with the aid of the packages Pluto (notebooks), Plots (graphic visualization of the results) and BenchmarkTools (measurement of memory allocation and execution time of the algorithms). -- O objetivo deste artigo \'e estudar algoritmos que computam o produto entre duas matrizes, mais especificamente utilizando os m\'etodos ing\^enuo, de Strassen e de Strassen-Winograd, que ser\~ao apresentados na Se\c{c}\~ao 2. Atualmente, os m\'etodos citados n\~ao s\~ao os mais otimizados considerando a complexidade aritm\'etica de seus algoritmos (vide Tabela 1). No entanto, ser\~ao expostas modifica\c{c}\~oes dos m\'etodos de Strassen e Strassen-Winograd que conseguem reduzir sua aloca\c{c}\~ao de mem\'oria e/ou tempo de execu\c{c}\~ao. Os algoritmos do problema em estudo foram implementados utilizando a linguagem de programa\c{c}\~ao Julia, na vers\~ao 1.9.1, com o aux\'ilio dos pacotes Pluto (notebooks), Plots (visualiza\c{c}\~ao gr\'afica dos resultados) e BenchmarkTools (medi\c{c}\~ao de aloca\c{c}\~ao de mem\'oria e tempo de execu\c{c}\~ao dos algoritmos)., Comment: in Portuguese language

Prime numbers play a key role in number theory and have applications beyond Mathematics. In particular, in the Theory of Codes and also in Cryptography, the properties of prime numbers are relevant, because, from them, it is possible to guarantee the storage of data and the sending of messages in a secure way. And this is evident in e-commerce when personal data must be kept confidential. The proof that $\sqrt{p}$ is an irrational number, for every positive prime $p$, is known, if not by everyone, at least by the majority of Mathematics students, and such a proof is, in general, given by means of a basic property of numbers primes: if $p$ divides the product of two integers, then it divides at least one of them. This result forms the basis of other equally important results, such as, for example, what is given by the Fundamental Theorem of Arithmetic, which is the basic result of the Theory of Numbers. In this article, we present a proof of the irrationality of $\sqrt[2n]{p}$ using results from Quadratic Residue Theory, especially, by Gauss's Law of Quadratic Reciprocity., Comment: in Portuguese language

In this article, we present several apparent paradoxes of special relativity and their respective solutions. These paradoxes have appeared since the advent of relativity in 1905, and in fact they are never paradoxes. From a didactic point of view, paradoxes are an excellent learning tool. They lead the student to confront, and abandon, several central concepts of Galilean theory, such as simultaneity and rigidity of extended bodies. In particular, we review a new and simple solution to the twin paradox, recently found by one of the present authors [1]. It does not need to consider reference accelerators or light signals, which are the solutions presented in the literature., Comment: in Portuguese language, paper accepted for publication in Revista Brasileira do Ensino de F\'isica

In this work, we present the Electric Motor simulator, an application on the SimuF\'isica platform intended for use in the classroom. We briefly describe the technologies behind the application, the equations that govern its operation, some studies showing the dynamics of the electric motor and, finally, examples of approach in the classroom. -- Apresentamos neste trabalho o simulador Motor el\'etrico, um aplicativo da plataforma SimuF\'isica voltado para uso em sala de aula. Descrevemos brevemente as tecnologias por tr\'as do aplicativo, as equa\c{c}\~oes que regem o seu funcionamento, alguns estudos mostrando a din\^amica do motor el\'etrico e, por fim, exemplos de abordagem em sala de aula., Comment: 5 pages, in Portuguese

This article presents initiatives aimed at promoting female participation in STEM fields, with the goal of encouraging more women to pursue careers in these areas. One of these initiatives is the Em\'ilias - Arma\c{c}\~ao em Bits Project, which organizes workshops in schools. Additionally, a podcast has been created to foster interaction between young people and professionals in the field of computing, while also contributing to the establishment of female role models in the industry. The results of these initiatives have been promising, as 70.6% of the students who participated in the workshops expressed an interest in computing. Furthermore, according to Spotify, the podcast's audience consists of 53% females, 44% males, and 3% unspecified, indicating that it has successfully reached a female demographic. Resumo. Este artigo apresenta iniciativas que t\^em como objetivo promover a participa\c{c}\~ao das mulheres nas \'areas de STEM, buscando encorajar mais mulheres a seguirem carreiras nesses campos. O Projeto Em\'ilias - Arma\c{c}\~ao em Bits desenvolve oficinas nas escolas e tamb\'em um podcast, promovendo a intera\c{c}\~ao entre jovens e profissionais da \'area de computa\c{c}\~ao, al\'em de contribuir para a forma\c{c}\~ao de modelos femininos nesse campo. Os resultados demonstraram que 70,6% das estudantes demonstraram interesse pela computa\c{c}\~ao ap\'os participarem das oficinas. Em rela\c{c}\~ao aos ouvintes do podcast, dados do Spotify indicaram que 53% do p\'ublico se identifica como feminino, 44% como masculino, e 3% n\~ao especificaram o g\^enero, o que mostra que o podcast tem alcan\c{c}ado um p\'ublico feminino., Comment: In Portuguese. 10 pages. Accepted for XVII Women in Information Technology (WIT 2023)

A basic task for most Legal Artificial Intelligence (Legal AI) applications is Named Entity Recognition (NER). However, texts produced in the context of legal practice make references to entities that are not trivially recognized by the currently available NERs. There is a lack of categorization of legislation, jurisprudence, evidence, penalties, the roles of people in a legal process (judge, lawyer, victim, defendant, witness), types of locations (crime location, defendant's address), etc. In this sense, there is still a need for a robust golden collection, annotated with fine-grained entities of the legal domain, and which covers various documents of a legal process, such as petitions, inquiries, complaints, decisions and sentences. In this article, we describe the development of the Golden Collection of the Brazilian Judiciary (CDJUR-BR) contemplating a set of fine-grained named entities that have been annotated by experts in legal documents. The creation of CDJUR-BR followed its own methodology that aimed to attribute a character of comprehensiveness and robustness. Together with the CDJUR-BR repository we provided a NER based on the BERT model and trained with the CDJUR-BR, whose results indicated the prevalence of the CDJUR-BR., Comment: 15 pages, in Portuguese language, 3 figures, 5 tables

Recent works have demonstrated how Linear Parameter Varying Model Predictive Control (LPV MPC) algorithms are able to control nonlinear systems with precision and reduced computational load. Specifically, these schemes achieve comparable performances to state-of-the-art nonlinear MPCs, while requiring the solution of only one quadratic programming problem (thus being real-time capable). In this tutorial paper, we provide a step-by-step overview of how to implement such LPV MPC algorithms, covering from modelling to stability aspects. For illustration purposes, we consider a realistic implementation for a gas-lift petroleoum extraction process, comparing the LPV approach with the becnhmark nonlinear MPC software CasADi., Comment: Main text in portuguese, submitted to the 2023 Simp\'osio Brasileiro de Automa\c{c}\~ao Inteligente (SBAI 2023)

The activities of requirements engineering and software testing are intrinsically related to each other, as these two areas are linked when seeking to specify and also ensure the expectations of a software product, with quality and on time. This systematic mapping study aims to verify how requirements and testing are being addressed together in the educational context., Comment: 20 pages, in Portuguese language

Application services often support mobile and web applications with REST interfaces, implemented using a set of distributed components that interact with each other. This approach allows services to have high availability and performance at a lower cost than a monolithic system. However, the existence of multiple components makes the development process of these systems more complex and therefore susceptible to errors. In this paper, we present JepREST, a system that automates the use of Jepsen libraries to test the correctness of distributed applications that provide a REST interface. Based on a service interface specification, JepREST generates and executes a set of tests with multiple clients performing operations concurrently, subsequently verifying if the system behaviour is linearizable. The preliminary evaluation shows that JepREST simplifies the testing of REST applications., Comment: in Portuguese language

We present the second part of a series of papers proposing a novel teaching sequence for Particle Physics in high school. The topic of the present work is Nuclear Physics. The goal of the sequence is to approach the subject in a way as to stimulate scientific literacy, from a perspective involving Science, Technology, Society and Environment (STSE). We evaluate the potentialities and effectiveness of the material proposed here, allied to a dialogical approach by the teacher, by analyzing the presence of scientific literacy and engagement indicators during interventions applied to a public school in Esp\'irito Santo, Brazil., Comment: 31 figures, in portuguese

Currently, transport planning has changed its paradigm from projects oriented to guarantee service levels to projects oriented to guarantee accessibility to opportunities. In this context, a number of studies and tools aimed at calculating accessibility are being made available, however these tools depend on job location data that are not always easily accessible. Thus, this work proposes the creation of a database with the locations of formal jobs in Brazilian cities. The method uses the RAIS jobs database and the CNEFE street faces database to infer the location of jobs in urban regions from the zip code and the number of non-residential addresses on street faces. As a result, jobs can be located more accurately in large and medium-sized cities and approximately in single zip code cities. Finally, the databases are made available openly so that researchers and planning professionals can easily apply accessibility analyzes throughout the national territory., Comment: 9 pages, in Portuguese language, 3 figures, 1 table, Data presentation paper

In this work we study, theoretically, electronic mobility of the silicon carbide semiconductor in the 3C phase, named 3C-SiC. 3C-SiC has shown great potential for applications in extreme conditions. Thus, the study of the electronic mobility of this semiconductor is of great interest. In this work were theoretically deduced: drift velocity, displacement and mobility of the charge carriers in the n-type doped 3C-SiC semiconductor, subjected to a constant electric field. The dependence of these transport properties as a function of the intensity of the electric field and temperature was analyzed. For this, a differential equation of motion was used with a source term (low intensity electric fields) and a term of resistance to movement (electrical resistance)., Comment: in Portuguese language