bluuebunny/crossref_metadata_2025 huggingface dataset:
Reflections on the Rule of Law and Law Reform in the Arab Region
Authors: Razai Sara
Published: October 2020

Reflections on the Rule of Law and Law Reform in the Arab Region

This article offers some preliminary thoughts on the issue of international development actors in the promotion of law in the Arab region. Specifically, it reflects on the rule of law concept as a universalizing notion, touted by international organizations and governments alike as a panacea for social ills. The article discusses the act of intervention and the use and promotion of law to achieve a rule of law order in post-conflict or fragile states. It argues that the use and promotion of law by international development actors (and the donors that fund them) – a proxy for building the rule of law – is by no means new to the region. It has also been the central focus of authoritarian and colonial rulers alike. Although they are by no means similar, the three actors are strikingly similar in that they use and promote law under the aegis of building the rule of law, to the general detriment of the masses
Verpanding van het recht op teruggaaf van btw: een aantrekkelijke vorm van zekerheid?
Authors: Broere M.
Published: October 2020

Verpanding van het recht op teruggaaf van btw: een aantrekkelijke vorm van zekerheid?

Bij het aantrekken van een financiering wordt een schuldenaar meestal verplicht om zekerheid te geven over zijn activa. Zekerheid kan worden verstrekt over een specifiek vermogensbestanddeel of over een bepaald type activa. In die laatste categorie vallen vorderingen van de schuldenaar op de Belastingdienst uit hoofde van de Wet op de omzetbelasting 1968 (Wet OB). Ingevolge de Wet OB is een ondernemer verplicht om gedurende een tijdvak in zijn administratie de door hem in rekening gebrachte en terug te vragen belasting toegevoegde waarde (btw) bij te houden. Aan het einde van het tijdvak is sprake van een vordering op of een schuld aan de Belastingdienst. In dit artikel wordt de vraag beantwoordt of verpanding van het recht op teruggaaf van btw een aantrekkelijke vorm van zekerheid is.
Related party transactions, de tegenstrijdigbelangregeling en het voorkomen van belangenverstrengeling in de Nederlandse Corporate Governance Code: waar zijn we nu aan toe?
Authors: Jansen A.C.
Published: October 2020

Related party transactions, de tegenstrijdigbelangregeling en het voorkomen van belangenverstrengeling in de NCGC: waar zijn we nu aan toe?

In Boek 2 van het Burgerlijk Wetboek (BW) is een nieuwe regeling voor related party transactions geïmplementeerd. De nieuwe regeling is een aanvulling op de bestaande tegenstrijdigbelangregeling in Boek 2 van het BW en hetgeen met betrekking tot belangenverstrengeling is geregeld in principe 2.7 van de Nederlandse Corporate Governance Code. Deze bijdrage bespreekt de onderlinge verhoudingen tussen deze regelingen en geeft het gebruik van een speciale overnamecommissie, zoals in de Verenigde Staten van toepassing, als mogelijke oplossing voor ook de Nederlandse praktijk om met belangenverstrengeling bij gevoelige transacties en deze drie regelingen om te kunnen gaan.
De concernenquête na SNS
Authors: Jager R.P.
Published: October 2020

De concernenquête na SNS

In zijn Landis-beschikking uit 2005 heeft de Hoge Raad de concernenquête gesanctioneerd, zodat aandeel- of certificaathouders van een moedermaatschappij de Ondernemingskamer (mede) bevoegdelijk, ex art. 2:346 lid 1 onder b of c BW, kunnen verzoeken om een onderzoek bij een daaronder hangende dochtermaatschappij. Vijftien jaar later heeft hij opnieuw een beschikking gegeven over deze enquête, en wel in de SNS-zaak. Die beschikking wordt in dit artikel onder de loep genomen. Met de Landis-beschikking is onze cassatierechter weggedobberd van de rechtszekerheid. In zijn SNS-beschikking roeit de Hoge Raad daar weer naartoe. Niettemin heeft hij die bestemming, de rechtszekerheid, nog niet bereikt.
Resenha livro metodos de pesquisa para internet
Authors: Resende Luciano Nobre
Published: September 2020

Métodos de pesquisa para internet.FRAGOSO, Suely; RECUERO, Raquel; AMARAL, Adriana.
A formação inicial de professores para a educação especial na perspectiva da teoria da subjetividade
Authors: Fortes Lustosa Ana Valéria Marques , Gonçalves Mendes Enicéia
Published: September 2020

A formação de professores tem sido foco de distintas pesquisas que buscam elucidar sua organização no contexto brasileiro, tendo em vista os complexos impasses educacionais, de um país com dimensões continentais, interesses diversos de múltiplos setores da sociedade e as demandas reais existentes. No caso da educação especial, essa situação é ainda mais intrincada e de difícil resolução. Este estudo buscou compreender, na perspectiva da teoria da subjetividade, quais os processos subjetivos constituídos por graduandos de Licenciatura em Educação Especial no contexto da formação inicial? Quanto ao método, trata-se de um estudo de caso. A análise é do tipo construtivo-interpretativa, tendo por base a epistemologia qualitativa. Os resultados apontam que o curso de licenciatura tem impactos sobre a subjetividade individual e social dos estudantes, com consequências benéficas para a inclusão escolar e o público-alvo da educação especial.
Modelos de Previsão do Tom Emocional de Usuários em Comunidades de Saúde Mental no Reddit
Authors: Silveira Bárbara , Da Silva Ana Paula Couto , Murai Fabricio
Published: September 2020

O crescimento do número de pessoas atingidas por problema de saúde mental colocou tais distúrbios entre os principais problemas de saúde pública em todo o mundo. Como resultado, aumentou-se a procura por comunidades sobre saúde mental em redes sociais online. Neste artigo, analisamos como as interações através de posts e comentários influenciam no estado emocional de usuários de comunidades de saúde mental no Reddit, verificando se a busca por auxílio nestas redes resulta em mudanças nos sentimentos expressos pelos usuários ao longo do tempo. Nossos resultados mostram que o estado dos usuários muda ao longo do tempo, e que em 68 dos casos a mudança é positiva. Também propomos modelos preditivos para capturar a variação do tom emocional.
Métodos baseados em léxico para extração de aspectos de opiniões em português
Authors: Costa Raul Wagner Martins , Pardo Thiago Alexandre Salgueiro
Published: September 2020

Na área de análise de sentimentos, a tarefa de extração de aspectos consiste usualmente em identificar os aspectos de opinião em revisões produzidas por usuários sobre produtos que adquiriram. É uma tarefa de base para diversas outras, desde classificação de polaridade à produção de sumários de opinião. Neste artigo, estudamos alguns métodos para extração de aspectos em opiniões escritas em português. Em especial, focamos em métodos baseados em léxico, buscando avaliar suas potencialidades e limitações.
Criação e Caracterização de um Corpus de Discurso Sexista em Português
Authors: Braga M. Luísa P. , Nakamura Fabíola G. , Nakamura Eduardo F.
Published: September 2020

Identificar o discurso de disseminação de ódio e preconceito é um desafio contínuo para os ambientes de mídias sociais online. Uma caracterização e identificação precisa são peças-chave para tratar e mitigar a violência, assim como, educar os usuários de forma eficaz e assertiva. A disseminação online de ódio pode ser direcionada a grupos distintos de pessoas, o que gera várias classes de discurso de ódio, como por exemplo o racismo, a homofobia ou o sexismo. Esse último é um tópico cujo interesse social tem crescido a medida que a figura feminina vence as barreiras da desigualdade de gênero. Em particular, o discurso sexista propaga e incentiva o comportamento depreciativo e abusivo contra mulheres. Neste trabalho, apresentamos um corpus de discurso sexista em Português coletado a partir de portais de notícias de grande penetração popular, como G1 e UOL, por exemplo. O trabalho apresenta três contribuições principais: (1) o processo de criação do corpus e de rotulação de comentários (sexista/não sexista); (2) a caracterização e análise do corpus e do comportamento dos rotuladores anônimos; (3) uma avaliação inicial de técnicas de aprendizagem de máquina para classificação de comentários sexistas/não sexistas. Os resultados preliminares mostram que, ao utilizar support vector machine, é possível identificar comentários sexistas com uma medida F1 acima de 0,8, precisão acima de 0,9 e revocação próxima a 0,8.
BarySearch: Algoritmo de Tuning de Modelos de Machine Learning com o Metodo do Baricentro
Authors: Pellicer Lucas Francisco Amaral Orosco , Pait Felipe Miguel
Published: September 2020

Em muitas aplicações de Machine Learning, é desejável obter o melhor conjunto de hiperparametros para otimizar o desempenho da aplicação. O problema de otimizar os hiperparametros é conhecido como tuning de modelos Machine Learning. Apesar de ser um problema de otimização, o tuning enfrenta dificuldades complexas, já que os modelos são vistos como caixas pretas sem formulação matemática bem definida. Além disso, há problemas com regioes de oscilações e regiões de grandes platôs. Nesse trabalho, nós apresentamos o BarySearch, um algoritmo que se utiliza da equação do baricentro sem necessidade de calcular derivadas da função objetivo. A técnica BarySearch demonstrou ter resultados promissores em testes praticos de tuning de modelos.
Uso de ciência de dados para predição do consumo de fertilizantes no Brasil
Authors: Andrade Adalberto , Salles Rebecca , Carvalho Flavio , Da Silva Eduardo Bezerra , Soares Jorge , Souza Cristina , Gonzalez Pedro Henrique , Ogasawara Eduardo
Published: September 2020

Fertilizantes sao elementos críticos para a produção de alimentos. Prever eficientemente como o consumo de fertilizantes ira se comportar nos próximos anos permite planejar adequadamente o aumento da produção e, com isso, mitigar problemas ambientais decorrentes de tal aumento de produção. Tendo em vista os elementos citados, esta pesquisa explora abordagens de ciência de dados para capacitar a predição do consumo de fertilizantes, atraves daotimização da construção de modelos. Os resultados indicam que o uso das ferramentas analíticas aqui apresentadas pode vir a ser uma maneira de obter previsoes confiáveis para planejar demandas futuras.
Sistema de Predição de Valores Nutricionais em Receitas Culinárias através de Métodos de Aprendizagem de Máquina
Authors: Pacifico Luciano D. S. , De Oliveira Emília G. , Britto Larissa F. S. , Ludermir Teresa B.
Published: September 2020

Neste trabalho, uma proposta de sistema de predição de valores nutricionais para receitas culinarias será apresentada. Uma abordagem voltada aos dados (data-driven) para a estimação automática dos valores nutricionais de novas receitas será empregada, desenvolvidas através de técnicas de Aprendizagem de Máquina. O sistema de predição proposto será usado como base para a elaboração de Sistemas de Recomendação de Receitas Culinárias, que consigam estimar as necessidades nutricionais de seus usuários, de modo a gerar dietas completas que contemplem tanto os padrões nutricionais diários recomendados, quanto às expectativas desses usuários.
Semantic Hyperlapse: a Sparse Coding-based and Multi-Importance Approach for First-Person Videos
Authors: Silva Michel M. , Campos Mario F. M. , Nascimento Erickson R.
Published: September 2020

The availability of low-cost and high-quality wearable cameras combined with the unlimited storage capacity of video-sharing websites have evoked a growing interest in First-Person Videos. Such videos are usually composed of long-running unedited streams captured by a device attached to the user body, which makes them tedious and visually unpleasant to watch. Consequently, it raises the need to provide quick access to the information therein. We propose a Sparse Coding based methodology to fast-forward First-Person Videos adaptively. Experimental evaluations show that the shorter version video resulting from the proposed method is more stable and retain more semantic information than the state-of-the-art. Visual results and graphical explanation of the methodology can be visualized through the link: https://youtu.be/rTEZurH64ME
Um Limitante Superior para o Número Geodésico nos Grafos de Kneser
Authors: Leite João V. S. , Bedo Marcos , De Oliveira Rodolfo A.
Published: September 2020

Esse artigo apresenta uma discussão preliminar sobre o número geodésico nos grafos de Kneser. Dado um grafo G, um conjunto W,W ⊆ V (G), é dito geodesicamente convexo se qualquer vértice em algum caminho mínimo entre u e v está em W, ∀ u, v ∈ W. O processo de detecção desses vértices é chamado de intervalo geodésico de W, denotado por I[W], e o número geodésico de G é o menor tamanho de W ⊆ V (G) tal que I[W] = V (G). Embora o problema de encontrar o número geodésico é reconhecidamente NP-difícil para grafos genéricos, mostramos que existe uma função que limita o número geodésico em grafos de Kneser.
On Embedding Trees in Grids
Authors: De Luca Vitor Tocci Ferreira , Oliveira Fabiano De Souza , Szwarcfiter Jayme Luiz
Published: September 2020

Estamos interessados em imergir árvores T com grau máximo limitado a 4 em uma grade retangular, de modo que os vértices de T correspondam a pontos da grade, enquanto que as arestas de T correspondam a segmentos retos não intersectantes das retas da grade. O objetivo é minimizar o número máximo de dobras de um caminho de T. Fornecemos um algoritmo de tempo quadrático para esse problema. Aplicando esse algoritmo, obtemos um limite superior para o número de dobras de representações EPG de grafos que pertencem à interseção das classes VPT e EPT.
Modelos Pseudo Polinomiais para o Problema do Empacotamento Colorido
Authors: Borges Yulle G. F. , Schouery Rafael C. S.
Published: September 2020

O Problema do Empacotamento Colorido consiste em empacotar um conjunto de itens, cada um com um tamanho e cor, na menor quantidade possível derecipientes de uma dada capacidade, de forma que não haja dois itens de uma mesma cor em sequência em nenhum recipiente. Propomos formulações pseudo polinomiais de Programação Inteira que resolvem instâncias geradas aleatoriamente com até 500 itens e 15 cores em segundos.
The Rainbow Connection Number of Triangular Snake Graphs
Authors: Rocha Aleffer , Almeida Sheila M. , Zatesko Leandro M.
Published: September 2020

Rainbow coloring problems, of noteworthy applications in Information Security, have been receiving much attention last years in Combinatorics. The rainbow connection number of a graph G is the least number of colors for a (not necessarily proper) edge coloring of G such that between any pair of vertices there is a path whose edge colors are all distinct. In this paper we determine the rainbow connection number of the triple triangular snake graphs.
Linial's Dual Conjecture for Path-Spine Digraphs
Authors: Carvalho Vinícius De Souza , Da Silva Cândida Nunes , Lee Orlando
Published: September 2020

Given a digraph D, a coloring 𝒞 of D is a partition of V(D) into stable sets. The k-norm of 𝒞 is defined as ΣC∈𝒞 min{|C|, k}. A coloring of D with minimum k-norm has its k-norm noted by χk(D). A (path)-k-pack of a digraph D is a set of k vertex-disjoint (directed) paths of D. The weight of a k-pack is the number of vertices covered by the k-pack. We denote by λk(D) the weight of a maximum k-pack. Linial conjectured that χk(D) ≤ λk(D) for every digraph. Such conjecture remains open, but has been proved for some classes of digraphs. We prove the conjecture for path-spine digraphs, defined as follows. A digraph D is path-spine if there exists a partition {X, Y} of V(D) such that D[X] has a Hamilton path and every arc in D[Y] belongs to a single path Q.
Monitoramento Inteligente de Consumo Energético em Ambiente Residencial utilizando IoT
Authors: Severino Valdenir , Vasconcelos Danilo , Andrade Rossana
Published: September 2020

O desperdício de energia elétrica no Brasil vem crescendo nos últimos anos e um dos motivos para este aumento é o fato de que o consumidor final normalmente não tem conhecimento sobre a quantidade de energia consumida por seus eletrodomésticos. Por outro lado, a Internet das Coisas (IoT) traz conceitos, como objetos inteligentes, com sua coleta e análise de dados, que podem ajudar usuários finais na identificação do consumo de energia de seus eletrodomésticos. Portanto, este trabalho propõe um sistema de monitoramento inteligente capaz de descobrir os eletrodomésticos conectados à rede elétrica em tempo real. Através de um dispositivo inteligente, instalado na rede elétrica, esse sistema extrai as características de consumo dos eletrodomésticos e as envia para um algoritmo de classificação na nuvem. Nós realizamos experimentos controlados para avaliar a solução proposta e, como resultado, todos os aparelhos conectados à rede elétrica foram identificados, permitindo que os consumidores monitorem os gastos de energia da sua casa.
A cost efficient model for minimizing energy consumption and processing time for IoT tasks in a Mobile Edge Computing environment
Authors: Gross João Luiz Grave , Geyer Cláudio Fernando Fernando Resin
Published: September 2020

In a scenario with increasingly mobile devices connected to the Internet, data-intensive applications and energy consumption limited by battery capacity, we propose a cost minimization model for IoT devices in a Mobile Edge Computing (MEC) architecture with the main objective of reducing total energy consumption and total elapsed times from task creation to conclusion. The cost model is implemented using the TEMS (Time and Energy Minimization Scheduler) scheduling algorithm and validated with simulation. The results show that it is possible to reduce the energy consumed in the system by up to 51.61% and the total elapsed time by up to 86.65% in the simulated cases with the parameters and characteristics defined in each experiment.
Modelo de Detecção de Fraudes Elétricas Baseado em Aprendizado de Máquina
Authors: Pfeiff Geam , Araújo Felipe , Oliveira Helder , Rosário Denis , Cerqueira Eduardo
Published: September 2020

As perdas não técnicas, na maioria dos casos ocasionadas por fraudes, são as principais causadoras dos prejuı́zos financeiros das concessionárias de energia elétrica. Essas perdas diminuem drasticamente a qualidade das redes elétricas, aumentando as chances de ocorrer blecautes, curtos circuitos e avarias de equipamentos. Desta forma, torna-se estratégico o desenvolvimento de modelos que consigam detectar perdas não técnicas. Este artigo apresenta um Detector de Fraudes Elétricas Baseado em Aprendizado de Máquina (DFEBAM), o qual classifica usuários em fraudulentos ou honestos baseados nos padrões de consumo elétrico e em features estocásticas. O DFEBAM obteve uma taxa de detecção de 98,02% e uma taxa de falso positivo de 2,47% após selecionar o algoritmo de aprendizado de máquina com a melhor desempenho.
Mecanismo de Comunicação para Migração de Serviços Ciente da Localização de Nuvem e Névoas
Authors: Moraes Gilmar , Rosário Denis , Cerqueira Eduardo , Oliveira Helder
Published: September 2020

A crescente demanda por serviços de entretenimento em tempo real em conjunto com o aumento da disseminação dos dispositivos móveis, tem aumentado a necessidade de executar serviços com alto recurso e em tempo real. Contudo, o cenário de rede atual não consegue prover qualidade satisfatória de streaming de vídeo aos usuários móveis, impulsionando a migração dos serviços para próximo dos usuários. Neste artigo, propõe-se um mecanismo de migração de serviços ciente da localização da nuvem e/ou névoa, em que os serviços são encapsulados em contêineres e maquinas virtuais e enviados através de redes ópticas elásticas com multiplexação espacial. Os resultados indicam que o algoritmo proposto, fornece menor bloqueio do que outro algoritmo de roteamento da literatura.
Localização de Dispositivos Maliciosos usando Veículos Aéreos não Tripulados
Authors: Costa Junior Evilasio , Gomes Rafael , Rocha Leonardo , Andrade Rossana
Published: September 2020

O acesso a internet em ambientes públicos permite que os usuários acessem seus dados online de qualquer lugar. Entretanto, esses ambientes podem facilitar a ação de agentes maliciosos interessados em promover ataques a rede e, por serem locais públicos, isso dificulta a localização desses atacantes. Hoje em dia é possível detectar um ataque e, com isso, um conjunto de informações sobre o dispositivo usado nesta ação pode ser identificado, o que permite que o acesso seja bloqueado. Essas informações não são suficientes para determinar a localização física do atacante, o que é essencial para impedi-lo de realizar ataques futuros, mas podem auxiliar nessa tarefa. Sendo assim, este trabalho propõe uma técnica de localização aproximada de um dispositivo malicioso em uma rede, utilizando trilateração para localizar o alvo, com o auxílio de um veículo aéreo não tripulado. Os resultados indicam que a solução proposta é capaz de encontrar o dispositivo malicioso
Arquitetura embarcável para detecção de eventos sonoros utilizando inteligência artificial
Authors: De Araújo Filho Luiz Carlos Silva , Figueiredo Carlos Maurício Seródio
Published: September 2020

Técnicas de Aprendizado de Máquina têm revolucionado as aplicações de monitoramento em ambientes inteligentes, seja qual for o tipo da grandeza monitorada. Este artigo propõe um pipeline de detecção de eventos baseado em sinais de áudio. Tal solução parte do problema de que o monitoramento de ambientes reais deve conter áudios de interesse e áudios desconhecidos, em sequências de sons muito variáveis, trazendo a necessidade de combinar diferentes técnicas de aprendizado em um só modelo. Particularmente, propomos a combinação técnicas de detecção de anomalia, seguida de classificadores de trechos de áudios e, posteriormente, um classificador final para sequências de eventos de interesse. Ainda, avaliamos o desempenho de tal modelo em uma plataforma embarcada. Resultados mostram a viabilidade do modelo, com acurácia geral de 93,75% sobre um dataset de teste, e tempo de predição de 0,45s em plataforma embarcada popular.
O que Acontece após um Hackathon? Um Estudo Empírico
Authors: Pinheiro André , De Souza Cleidson , Tenório Jr. Nelson , Figueira Filho Fernando , Melo Leandro   De Almeida
Published: September 2020

Hackathons são eventos de curta duração onde seus participantes trabalham para desenvolver um software em até 48 horas. Apesar da rica literatura existente sobre este tema, ainda existem poucos estudos direcionados ao que acontece após esses eventos. Desta forma, este trabalho tem como objetivo investigar questões relacionadas ao chamado pós-hackathon o que inclui os projetos desenvolvidos durante os mesmos, as tecnologias experimentadas e os contatos estabelecidos durante o hackathon. Para alcançar esse objetivo, enviamos um questionário para os participantes de seis hackathons que ocorreram entre os anos de 2018 e 2019. Este artigo descreve os resultados da análise de dados deste questionário.
Aprendizagem de preferências através do método TOPSIS: uma aplicação para ratings de liberdade econômica
Authors: Silva Diogo Lima , Silva Julio Cezar , De Almeida Filho Adiel
Published: September 2020

Esse artigo apresenta a aplicação de um método multicritério de classificação, que utiliza aprendizagem de preferências, para alocar um conjunto de 180 países em 5 classes de liberdade econômica. As classes são pré-definidas e ordenadas, o que caracteriza o problema como de “sorting”. Para a aplicação, escolhas de alternativas de referência foram simuladas. Em seguida, os resultados foram comparados à classificação realizada por uma agência especializada. O método obteve resultados consistentes, com um percentual de semelhança superior a 85%.
An ontology-based approach to support the certification of Safety-Critical Software Product Lines
Authors: Bressan Lucas , Braga Regina , Campos Fernanda , Oliveira André
Published: September 2020

Safety-critical Product Lines are required to demonstrate compliance with domain-specific safety standards. Different component configurations may require the inclusion or exclusion of certain features depending on their impact on safety. Additionally, variants may present distinct criticality levels which imply in different safety requirements during their development and evaluation. Some authors have proposed approaches to address safety certification taking into account SPL Engineering (SPLE) activities. Those can be however, labor intensive and impracticable when dealing with larger and complex product lines. In this paper, we propose an ontology-based approach to support safety engineers on identifying features and assets relevant for the deployment and certification of safety-critical product lines. The approach was evaluated, considering a realistic SPL from the aerospace domain and the DO-178C safety standard. As a result, the application of the proposed approach was proven to support the traceability of SPL requirements and certification levels, thus, reducing the complexity of the deployment of different component configurations.
Closing the Gap Between Lookahead and Checkpointing to Provide Hybrid Synchronization
Authors: Martello Junior Edimar Roque , Terra Acacia , Parizotto Ricardo , Mello Braulio
Published: September 2020

Hybrid synchronization provides more in-depth details about real distributed systems. However, several advances in algorithms to provide synchronization between local processes brings new difficulties to integrate into existing simulation architectures. This paper explores an alternative architecture to provide hybrid synchronization. We present optimistic and conservative synchronization primitives and design mechanisms to enable LPs to cooperate during the execution of a simulation. The results show that our primitives improve the simulation in terms of rollback-time and idleness.
Reconhecendo gêneros musicais brasileiros com técnicas de aprendizagem de máquina supervisionada
Authors: Da Conceição Julia Luiza , De Freitas Rosiane , Gadelha Bruno , Kienen João Gustavo , Anders Sérgio , Cavalcante Brendo
Published: September 2020

Neste trabalho, é apresentado um estudo sobre o reconhecimento automático dos principais gêneros musicais brasileiros: Axé, Forró, MPB, Rock, Samba e Sertanejo. Para tanto, foram realizados experimentos de classificação automática utilizando a ferramenta Weka e algoritmos clássicos de aprendizagem supervisionada. Foi também realizada uma análise das principais bases de dados disponíveis: GTZAN, FMA, AudioSet, RWC, ISMIR, Magnature e LMD. Como resultado, percebeu-se a escassez de diversidade cultural nestas bases, em sua maioria concentrando estilos globalmente populares como Pop e Rock, reforçando a necessidade de incluir gêneros mais diversos e culturalmente identitários, como os brasileiros.
EvoLogic: Sistema Tutor Inteligente para Ensino de Lógica
Authors: Galafassi Cristiano , Galafassi Fabiane , Reategui Eliseo , Vicari Rosa
Published: September 2020

Este artigo apresenta o modelo cognitivo do Sistema Tutor Inteligente EvoLogic, desenvolvido para auxiliar no processo de ensino-aprendizagem da Dedução Natural na Lógica Proposicional. O EvoLogic consiste em 3 agentes, entre os quais o agente Pedagógico (tratado aqui como o modelo do aluno) e o agente Especialista (baseado em um algoritmo genético) compõem o modelo cognitivo. O objetivo do artigo, além de apresentar o EvoLogic, é analisar a eficiência do STI em um exercício conhecido que já foi estudado na literatura (aplicado a 57 alunos). Os resultados mostram que o EvoLogic obteve todas as soluções apresentadas pelos alunos, permitindo seguir os passos individuais de cada aluno, fornecendo feedback em tempo real, com base nos passos que os alunos estão seguindo, conhecido como model tracing.
Fatores de Governança em Sistemas-de-Sistemas: Análise de uma Instituição Pública Brasileira
Authors: Imamura Marcio , Costa Luiz Alexandre , Pereira Bruno , Ferreira Francisco Henrique , Fontão Awdren , Dos Santos Rodrigo Pereira
Published: September 2020

SoS is an approach that allows the offering of unique capabilities through the integration of existing systems. SoS approach can be observed in several domains such as military, logistics, transportation, healthcare etc. Despite the great interest in this field in the last years, many problems are still open. Since the systems that compose an SoS are independent and have individual objectives,one of the most critical challenges is enabling the governance of this class of system. Therefore, this paper presents an investigation on the factors that should be taken in consideration when implementing SoS governance. To do so, we carried out a survey with professionals of a Brazilian public organization.
A Importância do Planejamento Financeiro para as Startups de Tecnologia da Informação da Região Metropolitana do Recife - PE
Authors: Silva Valéria , De Farias Junior Ivaldir , Vieira Jeferson
Published: September 2020

No Brasil, o crescimento das startups de Tecnologia da Informação (TI), tem apresentado uma grande evolução na última década. Estas empresas apresentam um modelo de negócio inovador e escalável a curto prazo. Esta pesquisa tem por objetivo analisar a importância do planejamento financeiro para as startups de TI, que encontram-se instaladas na Comunidade Manguez.AL e as que são filiadas à Associação das Empresas Brasileiras de Tecnologia da Informação - Assespro PE/PB e ao Centro de Excelência em Tecnologia de Software do Recife - SOFTEX RECIFE, localizados na Região Metropolitana do Recife/PE. Para alcançar este objetivo, a pesquisa adotou como metodologia uma revisão adhoc da literature juntamente com uma pesquisa de campo utilizando a abordagem qualitatia através de um questionário online. Como resultados esperados obtivemos as características do perfil deste tipo de empreendedor, as características do planejamento financeiro que está sendo adotado por estas empresas e as dificuldades encontradas pelas empresas para a sustentabilidade do negócio. A partir deste estudo, elaboramos um conjunto de práticas eficazes para auxiliar as startups na organização do seu planejamento financeiro.
OGDPub - Uma Ontologia para Publicação de Dados Abertos Governamentais
Authors: Pereira Larissa Mariany Freiberger , Todesco José Leomar
Published: September 2020

No Brasil, as entidades governamentais são obrigadas a publicar seus dados em formato aberto, todavia a maior parte dos municípios não conseguem cumprir com esta obrigação. Neste artigo é apresentada a OGDPub, uma ontologia para apoiar a publicação de dados abertos governamentais por municípios brasileiros. A ontologia proposta fornece um arcabouço de metadados para descrição dos datasets, permite que a estrutura organizacional do município seja representada e propõe um esquema de classificação de datasets em linguagem compreensível ao cidadão. A OGDPub foi desenvolvida a partir da Metodologia NeOn e está representada na linguagem OWL.
Interoperabilidade e Integração de Sistemas e Dados para Apoio à Tomada de Decisão pela Gestão da Prefeitura de Volta Redonda-RJ: Perspectivas e Desafios
Authors: Cruz Matheus , Delgado Marcos , Bernardini Flavia , Nunes Vanessa , Bastos Carlos Alberto
Published: September 2020

Neste Relato Organizacional, apresentamos o cenário atual dos sistemas de tecnologia da informação e bases de dados da Prefeitura Municipal de Volta Redonda. Apresentamos também os desafios de TIC vivenciados por essa municipalidade, e os caminhos propostos para enfrentá-los. São discutidas ações que podem ser adotadas pelo Município para integrar e interoperar os sistemas e as bases de dados para beneficiar os cidadãos, pois acreditamos no seu (re)posicionamento como elemento central da prestação do serviço. Além disso, na nossa discussão, entendemos que é de grande importância que os gestores públicos municipais tenham informações integradas e consistentes para auxiliar no processo de tomada de decisão.
Uso da técnica Coding DOJO em aulas de programação de computadores
Authors: Scherer Adriana Paula Zamim , Mór Filipo Novo
Published: September 2020

Este artigo descreve a realização de um experimento de Coding DOJO nas disciplinas de Algoritmos e Organização e Arquitetura de Computadores junto as turmas de primeiro semestre do Bacharelado em Sistemas de Informação. Exigindo preparação prévia dos exercícios propostos aos alunos, os resultados sugerem que a maioria dos alunos se sentiram motivados com a atividade e demonstraram comportamento colaborativo. Observou-se, também, que estudantes com menor fluência em programação foram aceitos e assistidos pelos seus grupos de trabalho.
Por dentro do computador: trajetória de um projeto extensionista em um Campus da UFPR no interior do Paraná
Authors: Beleti Junior Carlos R. , Santiago Junior Robertino M. , Züge Alexandre P. , Valério Marcelo , Bezerra Maytê G. C.
Published: September 2020

Este artigo relata a concepção e as atividades de um projeto de extensão nascido em 2014 em um câmpus da Universidade Federal do Paraná no interior do estado. O projeto originou-se da carência de iniciativas de divulgação e popularização de ciência e tecnologia na cidade de Jandaia do Sul e no Vale do Ivaí. Desde seu início, foram alcançadas aproximadamente 22000 pessoas (fisicamente), 6500 visualizações em vídeos, 830 seguidores e 500 inscritos por meio de suas redes sociais, 18 escolas, colégios e instituições comunitárias além de dois núcleos regionais de educação. Fizeram parte de sua equipe 30 estudantes dos cinco cursos de graduação do câmpus, entre voluntários e bolsistas, e 11 professores.
Relato da utilização da plataforma App Inventor como ferramenta de ensino de lógica de programação para professores da Rede Básica de Ensino
Authors: Pereira Felício Gobbi Hoffmann Santos , De Araújo Graziela Santos , Cheung Luciana Montera , De Araújo Anderson Viçoso , Zunta Heitor Batistela
Published: September 2020

Este artigo relata a realização de uma capacitação com professores de ensino fundamental, com o intuito de ensinar o processo de desenvolvimento de aplicativos móveis. A plataforma utilizada permite a programação sem a necessidade de conhecer previamente conceitos de lógica de programação. Espera-se que, com isso, os professores utilizem novas tecnologias no seu dia-a-dia na escola e sejam multiplicadores do conhecimento adquirido, promovendo assim a cultura digital em sala de aula.
Visual analysis to compare academic performances of quota and non-quota students from computer-related programs
Authors: Pio Pedro B. , Sodré Igor C. , Borges Vinicius R. P.
Published: September 2020

The implementation of affirmative actions in public universities is a topic of debate within the Brazilian society, specially regarding the academic performance of students that have been admitted through the quota system. This paper describes a visual analysis process to explore and compare the academic performances of quota and non-quota students from computer-related programs in a public Brazilian university. The results revealed that both failure and dropout rates for quota students are slightly higher than non-quota students in the first terms, but tends to present similar rates at the final terms.
Ensino e Aprendizagem de Introdução à Programação no Ensino Superior Brasileiro: Revisão Sistemática da Literatura
Authors: Medeiros Rodrigo Pessoa , Falcão Taciana Pontual , Ramalho Geber Lisboa
Published: September 2020

Disciplinas de introdução à programação fazem parte de currículos de vários cursos de graduação, particularmente nas áreas de Ciência, Tecnologia, Engenharia e Matemática, provendo habilidades importantes para a formação dos alunos. Entretanto, as taxas de evasão e retenção destas disciplinas ainda são altas, apesar dos avanços em métodos e ferramentas. O objetivo deste artigo é prover um melhor entendimento dos desafios de ensino e aprendizagem nas disciplinas de introdução à programação em nível universitário por meio de uma revisão sistemática da literatura brasileira entre 2010 e 2016. Os resultados indicam direções para o desenvolvimento de abordagens de ensino e estratégias de aprendizagem mais eficazes, considerando as competências necessárias.
Fatores de Influência na Escolha pela Continuidade da Carreira em Computação pelas Estudantes de Ensino Médio Técnico em Informática
Authors: Ribeiro Karen Da Silva Figueiredo Medeiros , Maciel Cristiano
Published: September 2020

Este artigo tem como objetivo a identificação de fatores que influenciam de forma positiva e negativa a escolha de 78 estudantes de gênero feminino de Ensino Médio Integrado com a Educação Profissional (EMIEP) em Informática pela continuidade da carreira na área em uma profissão ou curso de nível Superior em Computação, utilizando a Teoria Sociocognitiva da Carreira. A partir das projeções profissionais traçadas pelas próprias estudantes, descobre-se que apenas 27% das estudantes vislumbram uma opção profissional em Computação e que elas consideram, principalmente, fatores pessoais no seu processo de escolha.
Competições de programação para meninas do ensino médio: Afinal, era apenas uma questão de propósito!
Authors: Braga e Silva Gláucia , Silva Thais Regina De M. B. , Vieira Maria Dalila
Published: September 2020

Este trabalho investiga o quanto o perfil de competições de programação voltadas para meninas do ensino médio/técnico influencia na motivação das mesmas em competir. Para isso, foram coletados dados de participações em 4 competições, no triênio 2017-2019, sendo 2 tradicionais maratonas de programação e 2 com foco em empreendedorismo e tecnologia. Para a amostra considerada, observada por meio de parâmetros tais como curso de origem e participações totais no triênio, os resultados mostraram que as meninas têm mais interesse em participar das competições de empreendedorismo e tecnologia aplicada.
Computação e linguagem: uma nova abordagem para aproximar meninas em idade escolar das áreas STEM
Authors: Ferreira Ana Paula Lüdtke , Lucchese Márcia Maria
Published: September 2020

Alinhada com a Agenda 2030 da ONU, a sociedade civil organizada tem envidado esforços para a diminuição das desigualdades de gênero nos cursos e carreiras das áreas STEM. Este trabalho apresenta uma abordagem linguística para introdução à Computação no Ensino Básico tirando partido do estereótipo de gênero de que mulheres são mais interessadas em cursos das Ciências Humanas e Sociais. Os resultados preliminares mostram que mesmo as estudantes sem interesse prévio em ingressar na Computação no Ensino Superior mostraram-se interessadas na execução das atividades propostas.
Design Thinking: oficinas para inovação e empoderamento feminino
Authors: De Oliveira Lauana Maria C. , Oliveira Rhenara Alves , Marques Anna Beatriz
Published: September 2020

Em tempos de revolução tecnológica, em que, a cada dia, novas ferramentas surgem para solucionar demandas da humanidade e estipular novas tendências, as lutas sociais também precisam acompanhar a evolução. A inovação e tecnologia trazem oportunidades revolucionárias, mas a representação feminina ainda é insuficiente nas áreas da ciência e tecnologia. O Design Thinking é uma abordagem para inovação que sugere ferramentas para integrar o entendimento sobre as necessidades das pessoas ao design de tecnologias inovadoras. O objetivo deste artigo é apresentar uma experiência com a condução de oficinas de Design Thinking para a criação de soluções tecnológicas inovadoras para empoderar mulheres. A metodologia adotada envolveu a realização da oficina proposta em três eventos de tecnologia onde cada oficina abordou um tema relacionado ao protagonismo feminino.
Katie: saindo do buraco negro e impulsionando as meninas para a computação
Authors: Andrade Ester De Lima Pontes , Benevides Kamila  Almeida , Silva Kelly  Bianca Araujo , Medeiros Letícia , Ferreira Luana  Júlia Nunes , Sousa Natália De Assis , Almeida Eliana , Miranda Sunny  Kelma Oliveira
Published: September 2020

No ano letivo de 2018, apenas 10% dos ingressantes nos cursos de Ciência e Engenharia de Computação da Universidade Federal de Alagoas (UFAL) foram mulheres, um dos fatores que evidenciam a sub-representação do público feminino na área de computação da UFAL. Nesse cenário, surge o Grupo Katie, formado por alunas dos cursos de computação, determinado a iniciar o processo de reversão da baixa representatividade feminina, com uma atuação tanto no pré-ingresso acadêmico quanto na esfera universitária. Assim, com intuito inspiracional, o grupo leva o nome da cientista da computação responsável pelo algoritmo usado na criação das primeiras imagens de um buraco negro supermassivo, Katherine Bouman.
Mulheres na Pós-graduação nas Áreas de Exatas: Um Estudo de Caso na Universidade de Brasília
Authors: Nunes Thayanna Klysnney Moreira , Araujo Aleteia Patricia , Holanda Maristela
Published: September 2020

As áreas relacionadas às Ciências Exatas têm uma baixa representatividade de mulheres. No nível de mestrado e doutorado, a literatura apresenta que existe uma lacuna de diversidade de gênero. Esta é a realidade da área da Computação, que integra a grande área das Ciências Exatas. Desta forma, este artigo aborda a questão de pesquisa: Como está a representatividade feminina nas áreas de Ciências Exatas e da Terra na Universidade de Brasília (UnB)? Para responder esta pergunta foram utilizados os dados abertos e a definição de área Ciências Extasa e da Terra (CET) da CAPES. Como resultado foi possível constatar que Computação é a área das CET com o menor número de mulheres proporcionalmente nos cursos de mestrado e doutorado da UnB.
TIChers - conscientização e formação de docentes da Educação Básica por mais mulheres na Computação
Authors: Bim Sílvia Amélia , Berardi Rita C. G.
Published: September 2020

Este artigo apresenta o projeto TIChers que realiza ações de conscientização e formação de docentes da Educação Básica para aumentar a representatividade de mulheres na área de Computação. A estratégia de trabalhar diretamente com docentes ainda é incipiente no contexto brasileiro. Entretanto, vários estudos sinalizam a influência das experiências na Educação Básica na escolha de uma carreira profissional. Os resultados preliminares já se revelam promissores na perspectiva de gerar autoconfiança em docentes para abordar temas de Computação com suas turmas.
BIB-R: Uma Nova Adaptação do BitTorrent para Streaming de Vídeo sob Demanda ante Clientes Interativos em MANETs
Authors: Rodrigues Carlo , Rocha Vladimir
Published: September 2020

This article proposes a new adaptation of BitTorrent for video-on-demand streaming in MANETs with interactive clients. As the main innovative aspects, this proposal makes use of broadcast traffic and assesses the length of the routes, in number of hops, to be used to disseminate the video. Through simulations and evaluating different metrics, the proposed adaptation is validated and its performance is satisfactorily proven. For instance, compared to recent proposals in the literature, the final results attest to optimizations of up to 51% and 89% at the video-retrieval rate and at the display discontinuity time, respectively, which confirms adequate levels of system QoS and client QoE.
Alocação de Taxa de Transmissão Utilizando Predição do Tráfego de Rede Baseada no Expoente de Lyapunov
Authors: Rosa Évelynn , Rocha Flávio
Published: September 2020

Esse artigo avalia o desempenho de algoritmos selecionados, desenvolvidos com o propósito de quantificar parâmetros referentes à teoria do caos, primeiramente descrevendo um procedimento padrão de análise e medida de dados experimentais que apresentam características não-lineares, dentro do espectro da Teoria do Caos e seus procedimentos mais notáveis, para introduzir um método de predição de tráfego e propor uma alocação dinâmica de taxa de transmissão para servidores de rede baseada no expoente de Lyapunov e no parâmetro de Hurst. Reconstruir o atrator, determinar dimensão de incorporação e dimensão de correlação, estimar o expoente de Lyapunov e o parâmetro de Hurst, prever o tráfego, e alocar a taxa de transmissão correspondente para os servidores de rede são os passos seguidos nessa análise.
Wenn Vielfalt zum Problem wird
Authors: Alisch Monika , Vogler Jens , Westphal Manuela , Freuwört Anke
Published: September 2020

Egal wo man hinschaut, Vielfalt ist wohl etwas, das eine Gesellschaft zu schätzen wissen sollte. Dass Vielfalt nun gerade in einem Handlungsfeld wie der kommunaler Migrationsarbeit, in dem »Diversität« Programm ist, auch durchaus zum Problem werden kann, ist allerdings nicht von der Hand zu weisen. Vielmehr zeigt sich gerade hier, dass Vielfalt zu gestalten, eine Herausforderung für die institutionellen Akteure vor Ort ist.
Was schützt (vor) Social Bots? Vorschläge zur Governance von computergenerierten Softwareagenten im Internet
Authors: Oehmer Franziska , Pedrazzi Stefano
Published: September 2020

In öffentlichen, politischen und wissenschaftlichen Debatten wird zunehmend über die potenziell schädigende Rolle von Social Bots im Meinungs- und Willensbildungsprozess vor Abstimmungen, Wahlen oder innerhalb kontroverser Debatten diskutiert: Man befürchtet, dass «Propagandisten» dieses Instrument nutzen würden, um unter Vorspiegelung falscher menschlicher Identitäten widerrechtliche oder nicht wünschenswerte Inhalte (Diskriminierung, falsche Tatsachenbehauptungen,...) zu verbreiten und durch die uneingeschränkt hohe Kommunikations- und Vernetzungsaktivität unerkannt Einfluss auf Stimmungen und Meinungen zu nehmen. Der vorliegende Beitrag identifiziert, systematisiert und diskutiert unter Bezugnahme auf den kommunikationswissenschaftlichen Forschungsstand Vorteile und Grenzen von Governance-Optionen für den Umgang mit Social Bots im Zusammenspiel von staatlichen, organisationalen und individuellen Akteuren. Unterschieden wird zwischen repressiven und präventiven Maßnahmen. Forschungsleitend wird dabei nach Regulierungsmöglichkeiten gefragt, die eine freie und unverzerrte Meinungsbildung über Onlineplattformen gewährleisten, ohne die in Demokratien meist grundrechtlich oder verfassungsrechtlich gesicherten Prinzipien der Meinungsäußerungsfreiheit aufzugeben. Der Beitrag verbindet damit kommunikations- und rechtswissenschaftliches Wissen, um sich einem aktuell und für die politische Meinungsbildung im digitalen Zeitalter relevanten Medienregulierungsbereich zu widmen.
A State-Dependent Constitutive Model for Unsaturated Rockfill Materials
Authors: Wang Liujiang , Fu Zhongzhi
Published: September 2020

This chapter presents a state-dependent elastoplastic constitutive model for both saturated and unsaturated rockfill materials. The model, which is developed within an extended critical-state framework, uses two independent stress state variables: total stress and total suction. The loading-collapse (LC) curve proposed by Oldecop and Alonso for unsaturated rockfills is used herein. A unified hardening parameter, which could consider the effects of stress level, internal state (density) and relative humidity, is introduced to describe the state-dependent dilatancy of saturated and unsaturated rockfill materials. The details of the model formulation and parameters determination are described and reported. Numerical simulations on the triaxial tests, such as the drained shear tests on the saturated specimens with different initial dry densities, shear tests on the specimens with different relative humidity and wetting deformation tests under constant vertical strain rate, have been carried out using the proposed model. The numerical results show that the stress-strain relationships at both loose and dense, saturated and unsaturated states can be properly modelled with a single set of parameters. Additionally, the proposed model can also capture some other key features such as the strain-softening behaviour at the dense state and low confining stress, the sudden stress relaxing subjected to the flooding under a constant vertical strain.