Probabilistic data types

Dissertação de mestrado integrado em Engenharia InformáticaConflict-Free Replicated Data Types (CRDTs) provide deterministic outcomes from concurrent executions. The conflict resolution mechanism uses information on the ordering of the last operations performed, which indicates if a given operation is known by a replica, typically using some variant of version vectors. This thesis will explore the construction of CRDTs that use a novel stochastic mechanism that can track with high accuracy knowledge of the occurrence of recently performed operations and with less accuracy for older operations. The aim is to obtain better scaling properties and avoid the use of metadata that is linear on the number of replicas.Conflict-Free Replicated Data Types (CRDTs) oferecem resultados determinísticos de execuções concorrentes. O mecanismo de resolução de conflitos usa informação sobre a ordenação das últimas operações realizadas, que indica se uma dada operação é conhecida por uma réplica, geralmente usando alguma variante de version vectors. Esta tese explorara a construção de CRDTs que utilizam um novo mecanismo estocástico que pode identificar com alta precisão o conhecimento sobre a ocorrência de operações realizadas recentemente e com menor precisão para operações mais antigas. O objetivo é a obtenção de melhores propriedades de escalabilidade e evitar o uso de metadados em quantidade linear em relação ao número de réplicas

Innovation practices in small technology-based companies during incubation and post-incubation periods

Purpose – Innovation is a constant attribute in the management processes of technology-based companies (TBCs), mostly small and young, and plays a relevant role in their competitiveness and survival. However, the authors assumed that the characteristics of innovation practices differ between incubated and post-incubated companies, in such aspects as formality, type, posture and strategy. The purpose of this paper is to report the innovation practices identified in small TBCs in the incubation and post-incubation periods (graduate companies). Design/methodology/approach – To achieve the purpose, the authors carried out a multiple case study with four TBCs, two incubated and two post-incubated (graduate); the study was qualitative and exploratory, and the authors collected data with their managers. Findings – The results show that these companies have high levels of innovation, which is a determinant factor for their presence in the business market; they create technological innovations in products and services, mostly incremental, such as improvements in existing products or reduction of internal costs of manufacturing. In addition, the results also show important features of the innovations, such as the interaction with other incubated companies and with universities and research centers. Originality/value – The authors conclude that there were changes in innovation practices, in the transition from incubated to graduate companies, such as the formalization of processes, a shift in focus toward the customer and an increase in resources and in projects’ relevance

VIOLÊNCIA NO NORTE PIONEIRO DO ESTADO DO PARANÁ: HOMICÍDIOS E APREENSÃO DE DROGAS

La seguridad pública se ha convertido en un tema en Brasil debido, principalmente, a la violencia. En el campo académico, es visible una ampliación de los estudios sobre violencia. Por lo tanto, este artículo tiene como objetivo reflexionar sobre la violencia en el Norte Pioneer del Estado de Paraná por los homicidios y las incautaciones de drogas. Los procedimientos metodológicos fueron: encuesta de referencias teóricas sobre violencia; los datos de homicidios recogida y de incautación de drogas en Norte Pioneer de Paraná; y, finalmente, la preparación de la producción cartográfica y el proyecto final. La violencia tiene diferentes enfoques, pero pocos estudios en las ciudades pequeñas. En el Norte Pioneer, los datos revelan una epidemia.Public security has become a topic in Brazil due mainly to violence. In the academic field, a broadening of studies on violence is visible. Therefore, this paper aims to reflect on violence in the Pioneer North of the State of Paraná from homicides and drug seizures. The methodological procedures were survey of theoretical references about violence; survey of homicide and drug seizure data in the Pioneer North of Paraná; and, finally, elaboration of cartographic productions and the final writing. Violence has different approaches, but few studies related to small towns. In the Pioneer North, the data reveal an epidemic of violence.A segurança pública se converteu em um tema no Brasil devido, principalmente, à violência. No campo acadêmico, é visível uma ampliação dos estudos acerca da violência. Por isso, este artigo tem como objetivo principal refletir acerca da violência no Norte Pioneiro do Estado do Paraná a partir dos homicídios e da apreensão de drogas. Os procedimentos metodológicos foram: levantamento de referenciais teóricos acerca da violência; levantamento de dados de homicídios e de apreensão de drogas no Norte Pioneiro do Paraná; e, por fim, elaboração de produções cartográficas e da redação final. A violência possui diferentes abordagens, porém poucos estudos em pequenas cidades. No Norte Pioneiro, os dados revelam uma epidemia de violência

Repartição das receitas tributárias e a inviabilidade econômica dos municípios

This article critically discusses the distribution of tax revenues and the establishment of financially unsustainable municipalities in order to investigate the parameters for the creation of Brazilian municipalities, identifying what the determining factors are, as well as to discover the technical criteria for the establishment of new cities. The theoretical framework adopted is the neo constitutionalism strand, while the methodologies used are critical-dialectical and bibliographical. The results of the article were in the following direction: the need to restructure the criteria for the creation of new municipalities; feasibility of reforms that increase the self-financing capacity of the cities; greater flexibility of public accounts; establishment of controllership bodies at the municipal level.O presente artigo científico discorre criticamente quanto a repartição das receitas tributárias e a constituição de municípios insustentáveis financeiramente, com o fim de investigar os parâmetros de criação dos municípios brasileiros, identificando quais são os fatores determinantes, bem como descobrir critérios técnicos para implantação de novas cidades. O marco teórico adotado é a vertente neoconstitucionalista, ao passo que as metodologias utilizadas são a crítico-dialética e a bibliográfica. Os resultados do artigo foram no seguinte sentido: necessidade de reestruturação dos critérios de criação de novos municípios; viabilização de reformas que aumentem a capacidade de autofinanciamento das cidades; maior flexibilidade das contas públicas; estabelecimento de órgãos de controladoria a nível municipal

VIOLÊNCIA E INSEGURANÇA OBJETIVA EM PEQUENAS CIDADES DO NORTE DO PARANÁ: O TRANSBORDAMENTO METROPOLITANO A PARTIR DA CONSTRUÇÃO DO MODO DE VIDA

“Era uma vez uma cidade pequena, tranquila e segura em que as portas e as janelas ficavam abertas” representa uma frase simples, mas que parece, cada vez mais, um resquício. O anseio pela compreensão das contradições na condição humana e social de vida e dos processos de produção do espaço urbano e de transitoriedade na dinâmica das pequenas cidades representa a principal motivação para esta pesquisa. Assim, é preciso desconstruir o mito de que as cidades pequenas são espaços tranquilos e seguros para se morar. O principal objetivo deste artigo é refletir acerca da difusão e do transbordamento da lógica metropolitana, tais como hábitos e costumes, especialmente pela mídia e internet, enquanto fator explicativo para o aumento da violência e, principalmente, da insegurança objetiva nas pequenas cidades. Os procedimentos metodológicos foram sistematizados e organizados em cinco fases: levantamento bibliográfico; levantamento de indicadores demográficos e sociais dos municípios do Norte do Estado do Paraná; levantamentos complementares para entender o fator explicativo; sistematização das informações e dos dados coletados; e elaboração dos produtos cartográficos e da redação final. Os resultados revelaram que um dos motivos para o aumento da violência e da insegurança objetiva em pequenas cidades ocorre em decorrência do transbordamento de hábitos e costumes metropolitanos, espraiando uma sociabilidade sustentada predominantemente pela superficialidade

Concepção de um plano de mobilidade urbana sustentável para a região central de joão pessoa/pb

Currently, the Central Region of João Pessoa is in a gradual process of degradation of its historical and cultural memory. Over the years, a process of decentralization of its activities became more intense, causing the center of the city to gradually lose its attractiveness, becoming increasingly depopulated and damaged by certain problems that have settled in the region, such as large congestion, poor accessibility, deterioration of historical and cultural heritage. Therefore in this study, it is proposed through a sustainable urban mobility plan the revitalization of the Central Area of João Pessoa that integrates the social, environmental and economic spheres into a series of measures and proposals for the region that provides a more lively urban center and humanized for the population. Thus, it is proposed the implementation of a collective public transport line offered by hybrid buses integrated to parking pockets operated in the park-and-ride system, structuring measures for local parking, pedestrian "walkability" and measures for the use of the car. In order to do so, data were collected on the supply of public transport, parking lots in the region and possible lots for the implantation of a parking pocket by means of field research, satellite imagery (Google Maps) and maps provided by Semo /JP. With this, it is possible to identify certain areas without transportation offer, the precariousness of the offered parking service and the degradation of the Central Region of João Pessoa. Thus, it was possible to trace solutions that go beyond restoring the facades of properties that are located in the region to revitalize the area under studyAtualmente, a Região Central de João Pessoa encontra-se em um processo gradativo de degradação de sua memória histórica e cultural. Com o passar dos anos, um processo de descentralização de suas atividades acentuou-se, fazendo com que o centro da cidade perdesse aos poucos sua atratividade, tornando-se cada vez mais despovoado e lesado por certas problemáticas que se instalaram na região, como grandes congestionamentos, má acessibilidade, deterioração de patrimônio históricos e culturais. Portanto neste estudo, propõe-se através de um plano de mobilidade urbana sustentável a revitalização da Área Central de João Pessoa, que integre as esferas sociais, ambientais e econômicas em uma série de medidas e propostas para a região que proporcione um centro urbano mais vivo e humanizado para a população. Assim, propõe-se a implantação de uma linha transporte público coletivo ofertado por ônibus híbridos integrada a bolsões de estacionamento operados em sistema park-and-ride, medidas estruturadoras para os estacionamentos locais, garantia da “caminhabilidade” para pedestres e medidas para o uso racional do carro. Para tanto, foi-se levantados dados sobre a oferta de transporte público, de estacionamentos da região e de possíveis lotes para implantação de um bolsão de estacionamento por meio de pesquisa em campo, imagens áreas de satélite (Google Maps) e de mapas fornecidos pela Semob/JP. Com isso, pode-se identificar certas áreas sem oferta de transporte, a precariedade do serviço de estacionamento ofertado e a degradação as Região Central de João Pessoa. Assim, foi-se possível traçar soluções que vão além da restauração das fachadas dos imóveis que se localizam na região para revitalizar a área em estudo

Prática de Ensino Supervisionada: O canto e a cultura na Aprendizagem Musical

O presente relatório foi elaborado no seguimento da Prática de Ensino Supervisionada realizada no âmbito do Mestrado em Ensino da Educação Musical no Ensino Básico (2º ciclo do Ensino Básico) da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa. Este trabalho descreve o meu percurso enquanto professor estagiário de Educação Musical numa Escola do Ensino Básico do distrito de Lisboa, no ano letivo 2017/2018, apresentando descrições, planificações e reflexões críticas de diversas aulas, incluindo a exposição e fundamentação de comportamentos que o professor e os alunos têm em sala de aula. Retrata o desenvolvimento de dois projetos na escola, um deles com uma perspetiva multicultural e interdisciplinar, e reflete sobre a importância da colaboração da comunidade escolar na implementação dos mesmos. Relata, ainda, a minha participação num projeto de investigação sobre a avaliação de uma plataforma online que serve de recurso para professores de Educação Musical. Este relatório incide sobre diversos aspetos pedagógicos da aprendizagem musical, tais como, o movimento e a prática instrumental. Todavia, dá mais enfase ao canto e às características do repertório ao nível musical e cultural. Com este relatório, espero oferecer à comunidade relacionada com a Educação Musical novas ideias para a realização de aulas dinâmicas que envolvam a prática vocal, o movimento expressivo e/ou a prática instrumental, oferecer um incentivo para a implementação de projetos musicais dentro da escola e sensibilizar para a riqueza da música tradicional portuguesa e da música tradicional de outros países.This report was written following the Supervised Teaching Practice carried out under the Master's Degree in Teaching Music Education in Basic Education (5th and 6th grades of Basic Education) of the Faculty of Social Sciences and Humanities of the Nova University of Lisbon. This report describes my progress as a trainee teacher of Music Education in a School of Basic Education in the outskirts of Lisbon, in the academic year 2017/2018, exposing descriptions, planification and critical reflections on several classes, including the presentation and substantiation of behaviours of the teacher and students in the classroom. It portrays the development of two projects in the school, one of them with a multicultural and interdisciplinary perspective, and considers the importance of the collaboration of the school community in their implementation. It also reports my participation in a research project on the evaluation of an online platform that serves as a resource for teachers of Music Education. This report focuses on several pedagogical aspects of musical learning, such as movement and instrumental practice. However, it lays more emphasis on singing and the musical and cultural characteristics of the repertoire. With this report, I hope to offer the community related to Music Education new ideas for conducting dynamic classes that involve vocal practice, expressive movement and / or instrumental practice, provide an incentive for the implementation of musical projects within the school and to sensitize the richness of traditional Portuguese music and traditional music from other richness of traditional Portuguese music and traditional music from othe

Processamento emocional numa língua nativa e numa segunda língua

A investigação tem repetidamente demonstrado que existem diferenças na forma como processamos situações de carga emocional significativa numa língua nativa (L1) e numa segunda língua (L2). Estas diferenças assentam nos diferentes contextos de aquisição e utilização das duas línguas: um contexto mais naturalista com maiores oportunidades de experiência afetiva e sensório-motora (L1), e um contexto mais formal onde tais oportunidades são mais limitadas (L2). No presente trabalho pretendemos averiguar experimentalmente esta questão através da análise da produção linguística de eventos emocionais nas duas línguas. Colocou-se como hipótese que em L1 tais produções seriam gramaticalmente mais concretas (e.g., maior utilização de verbos) e em L2 mais abstratas (e.g., menor utilização de verbos). Para tal, foi pedido aos participantes (N=54), que reportassem eventos de carga emocional significativa quer em L1 (Português Europeu) quer em L2 (Inglês). Os resultados mostraram em ambas as línguas (L1 e L2), uma maior prevalência do recurso a nomes, comparativamente a verbos e adjetivos. Especificamente, a diferença entre nomes e verbos foi significativa em L1, mas tal não se observou em L2, sugerindo que, ao contrário do esperado, o recurso a categorias gramaticais abstratas foi mais elevado em L1 do que em L2. As limitações do estudo são discutidas, sugerindo hipóteses alternativas e futuras direções de investigação.Research has repeatedly shown that there are differences in how people process situations of significant emotional load in a native language (L1) and in a second language (L2). These differences are based on the different contexts of acquisition and use of the two languages: a more naturalistic context with greater opportunities for affective and sensorimotor experience (L1), and a more formal context where such opportunities are more limited (L2). In the present work we experimentally investigated this question through the analysis of the linguistic production of emotional events in both languages. It was hypothesized that such productions would be grammatically more concrete (e.g., greater use of verbs) in L1 and more abstract in L2 (e.g., lower use of verbs). For this purpose, participants (N = 54) were asked to report events of significant emotional load in either L1 (European Portuguese) or L2 (English). The results showed in both languages (L1 and L2) a greater prevalence of the use of nouns compared to verbs and adjectives. Crucially, the difference between nouns and verbs was significant in L1, but this was not observed in L2, suggesting that, contrary to our predictions, the use of abstract grammatical categories was higher in L1 than in L2. The limitations of the study are discussed, suggesting alternative hypotheses and future research directions