Sharp mixed norm spherical restriction

Let $d\geq 2$ be an integer and let $2d/(d-1) < q \leq \infty$. In this paper we investigate the sharp form of the mixed norm Fourier extension inequality \begin{equation*} \big\|\widehat{f\sigma}\big\|_{L^q_{{\rm rad}}L^2_{{\rm ang}}(\mathbb{R}^d)} \leq {\bf C}_{d,q}\, \|f\|_{L^2(\mathbb{S}^{d-1},{\rm d}\sigma)}, \end{equation*} established by L. Vega in 1988. Letting $\mathcal{A}_d \subset (2d/(d-1), \infty]$ be the set of exponents for which the constant functions on $\mathbb{S}^{d-1}$ are the unique extremizers of this inequality, we show that: (i) $\mathcal{A}_d$ contains the even integers and $\infty$; (ii) $\mathcal{A}_d$ is an open set in the extended topology; (iii) $\mathcal{A}_d$ contains a neighborhood of infinity $(q_0(d), \infty]$ with $q_0(d) \leq \left(\tfrac{1}{2} + o(1)\right) d\log d$. In low dimensions we show that $q_0(2) \leq 6.76\,;\,q_0(3) \leq 5.45 \,;\, q_0(4) \leq 5.53 \,;\, q_0(5) \leq 6.07$. In particular, this breaks for the first time the even exponent barrier in sharp Fourier restriction theory. The crux of the matter in our approach is to establish a hierarchy between certain weighted norms of Bessel functions, a nontrivial question of independent interest within the theory of special functions.Comment: 21 page

Perfil epidemiológico do absenteísmo : doença dos servidores públicos da Regional de Saúde de Ceilândia-DF, 2014

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Ceilândia, Programa de Pós-Graduação em Ciências e Tecnologias em Saúde, 2017.Texto parcialmente liberado pelo autor. Conteúdo restrito: Capítulos 7. Resultados e 8. Conclusão.Introdução: O absenteísmo-doença é um problema de saúde mundial e de etiologia multifatorial. Considerado um indicador global do estado de saúde dos trabalhadores, é um fenômeno que apresenta custos diretos para sociedade, instituições e para o próprio trabalhador que adoece. Estudos sobre o absenteísmo-doença nos serviços públicos são escassos e podem ajudar a entender o perfil de saúde dos trabalhadores possibilitando intervenções de prevenção e promoção à saúde. Objetivo: Caracterizar o perfil do absenteísmo-doença dos servidores públicos da Regional de Saúde a fim de identificar as frequências de licenças e períodos de ausência do trabalho em decorrência de episódio de adoecimento. Método: Estudo transversal realizado com todos os servidores públicos da Regional de Saúde de Ceilândia - Distrito Federal. Foram analisadas todas as licenças médicas com duração superior a três dias certificadas por meio de atestado médico-odontológico de 1º de janeiro a 31 de dezembro de 2014. Realizou-se descrição de frequências absolutas e relativas dos episódios e dias perdidos, cálculos de indicadores de absenteísmo-doença e análise multivariada, utilizando-se a regressão binomial negativa. Resultados: Para uma população de 2.501 servidores públicos houve: prevalência de absenteísmo-doença de 39,0%; índice de frequência de licenças de 88,0%; taxa de gravidade de 16 dias; duração média do absenteísmo-doença de 42 dias e duração média das licenças de 18 dias. Verificou-se maior frequência de absenteísmo-doença em: mulheres, servidores de ambos os gêneros com companheiro, com 31 a 40 anos de idade, de escolaridade superior, com jornada de 40 horas semanais, em auxiliares/técnicos de enfermagem, em servidores com 4 a 10 anos de serviço e que atuam no hospital. As principais causas de absenteísmo-doença foram os transtornos mentais/comportamentais e as doenças osteomusculares. Foram significativamente associados ao absenteísmo-doença as variáveis: sexo, faixa etária, escolaridade, carga horária, categoria profissional e lotação setorial. Conclusão: Esta pesquisa analisou um conjunto de dados ainda não explorados de uma Regional de Saúde do Distrito Federal. Sugere-se a implantação de medidas de prevenção e promoção da saúde com vistas a redução da alta frequência de adoecimento evidenciada na população de servidores.Introduction: Sickness absence is a worldwide health problem with a multifactorial etiology. Considered a global indicator of workers' health status, it is a phenomenon that presents direct costs to society, institutions and to the worker who becomes ill. Studies on sickness absence in public services are scarce and can help to understand the health profile of workers enabling interventions in prevention and health promotion. Objective: To characterize the profile of sickness absence of the public servants of a Regional Public Health, in Brazil, in order to identify the frequencies of sick leave and periods of absence from work as a result of an illness episode. Method: A cross - sectional study with all the civil servants of the Ceilândia Health Region - Federal District. We analyzed all medical licenses with a duration of more than three days, certified by a medical and dental professional, from January 1 to December 31, 2014. A description of absolute and relative frequencies of episodes and days lost ,calculations of sickness absence measures and indicators and multivariate analysis using negative binomial regression was carry out. Results: The population of 2501 civil servants presented 2205 sick leaves episodes corresponding to a total of 40,755 days lost. The indicators showed sickness absence prevalence of 39.0%; rate of sick leave per worker of 88.0%; the severity rate was 16 days; mean duration of sickness absence was 42 days and average duration of sickness leave was 18 days. There was a higher frequency of sickness absence in: women, workers of both sexes with companion, with 31 to 40 years, with superior education, with a 40-hour week labour, in nursing auxiliaries / technicians, in workers with 4 to 10 years of service and who work in the hospital services. Mental and behavioral disorders and musculoskeletal disorders were the major causes of illness. The following variables were significantly associated with sickness absence: gender, age group, schooling, job tenure, professional category and sectorial work place. Conclusion: This study analyzed a set of data not yet explored by a Regional Health Department of the Federal District. It is suggested the implementation of health prevention and promotion measures aimed at reducing the high frequency of illness evidenced in the server population

The association between financial literacy and financial market participation

Mestrado Bolonha em FinançasThe present research has the purpose to analyze the main drivers of market participation and to better understand the association between the individual’s financial literacy and financial market inclusion. Furthermore, we intend to analyze the effects of financial crisis towards financial market participation, in the context of COVID-19 health crisis that severely affected the Portuguese economy and shaped the investor’s financial behaviors. There is literature stating that financial literacy promotes financial market inclusion, but there are only few studies analyzing the effects of financial crises on the main drives of market participation, and the most only specifically refer to stock market participation and not the general market participation. Therefore, we found it important to analyze the differences on the investor’s behavior towards different dimensions of market participation and the main drivers that promote financial inclusion. We use two parallel surveys from CMVM, the 2018 and 2020 Online Investor Survey Results, that were carried out to measure the investing behaviors of Portuguese investors, in which the survey of 2020 was conducted alongside the COVID-19 health crisis. To measured financial literacy, we constructed two different indexes and we explore different dimensions of financial market participation, from its depth and breadth. We found that with respect to financial market inclusion what matters the most is the advanced financial literacy. Demographic characteristics present a positive relationship with any of the dimensions of financial market participation considered in this study. In times of economic and financial growth, what matters the most for participating in the financial markets is the investor’s risk perception and its level of income, where any level of the individual’s financial literacy is not statistically significant. However, our results suggest that in times of financial recession or economic instability the individual’s advanced financial literacy represents an essential role to explain any form of market participation.O presente estudo tem como objetivo analisar os principais impulsionadores da participação nos mercados financeiros e compreender melhor a associação entre a literacia financeira de cada indivíduo e a inclusão no mercado financeiro. Pretendemos também analisar os efeitos de crises financeiras na participação nos mercados financeiros, no contexto da crise pandémica COVID-19, que afetou severamente a economia portuguesa e moldou os comportamentos financeiros dos investidores. Existem evidências na literatura que afirmam que a literacia financeira promove a inclusão no mercado financeiro, mas são poucos os estudos que analisam os efeitos das crises financeiras sobre os principais impulsionadores da participação nos mercados financeiros, e a grande maioria refere-se apenas especificamente à participação no mercado de ações e não à participação geral nos mercados financeiros. Desta forma, achamos importante analisar as diferenças no comportamento do investidor em relação às diferentes dimensões de participação nos mercados financeiros e os principais impulsionadores que promovem a inclusão financeira. Utilizamos paralelamente dois inquéritos da CMVM, os Resultados do Inquérito ao Investidor Online 2018 e 2020, que foram realizados com o objetivo de avaliar os comportamentos de investimento dos investidores portugueses, na qual o inquérito de 2020 foi realizado durante um período crítico da crise pandémica COVID-19. Para avaliar a literacia financeira dos participantes, construímos dois diferentes índices e explorámos diferentes dimensões da participação dos indivíduos nos mercados financeiros, desde a sua profundidade à sua amplitude. Constatámos que no que diz respeito à inclusão nos mercados financeiros o que mais importa é a literacia financeira avançada de cada indivíduo. As características demográficas apresentam uma relação positiva com qualquer uma das dimensões de participação nos mercados financeiros consideradas neste estudo. Em tempos de crescimento económico e financeiro, o que mais importa para a participação nos mercados financeiros é a perceção de risco do investidor e o seu nível de rendimento, onde qualquer nível de literacia financeira do indivíduo não é estatisticamente significativo. No entanto, os resultados sugerem que em tempos de recessão financeira ou instabilidade económica, a literacia financeira avançada do indivíduo representa um papel essencial para explicar qualquer forma de participação nos mercados financeiros.info:eu-repo/semantics/publishedVersio

Exploring the use of blockchain in academic management systems

Trabalho de projeto de mestrado, Segurança Informática, Universidade de Lisboa, Faculdade de Ciências, 2020A tecnologia blockchain é um tópico em voga, com a sua visibilidade a estar directamente associada às criptomoedas, cuja grande expansão foi impulsionada pela Bitcoin (BTC). Apesar desta “explosão” recente, os conceitos base da tecnologia blockchain já têm décadas. O Hashcash, por exemplo, já utilizava um sistema de validação semelhante à Bitcoin para mitigar spam e ataques de negação de serviço. Embora os termos Bitcoin e blockchain tenham uma forte conotação, não são equivalentes. De forma concreta, uma blockchain é uma estrutura de dados que armazena informação numa cadeia de blocos ligados (block+chain) e cuja sequência é validada através de criptografia, particularmente funções de síntese (hash). Aumentar a cadeia requer que haja consenso entre os participantes sobre qual o próximo bloco a adicionar, consenso esse que é atingido por diversos mecanismos como sendo o Nakamoto consensos da Bitcoin, baseado em Proof-of-Work. Uma vez adicionado um bloco, essa informação é propagada aos participantes, existindo uma representação global e coesa da blockchain para todos. Um ponto importante é que não é possível apagar dados uma vez inseridos, o que, combinado com a verificação criptográfica e o uso de consenso, torna-a resistente à manipulação do seu conteúdo. É claro que esta tecnologia tem um grande potencial disruptivo, o que por sua vez tem causado uma “corrida ao ouro” digital, levando a que muitas organizações criem as suas próprias blockchains para posicionar-se no mercado. Os casos de uso já comprovados aproveitam as características da blockchain e variam entre aplicações financeiras baseadas em tokens que tiram partido da descentralização e a transposição para blockchain de actividades em que a auditabilidade e resistência à manipulação é altamente valorizada como sendo a gestão de cadeias logísticas. A qubIT, enquanto criadora de soluções de sofware, propôs este projecto para explorar o uso desta tecnologia no seu âmbito principal de negócio, os sistemas de gestão académica. Foi assim ideada uma prova de conceito com o objectivo de permitir validar documentos académicos assim como partilhar dados entre (e através das) instâncias Fenix das instituições da Universidade de Lisboa. Inspirando-se num dos casos de uso comprovados de blockchain, o rastreio de cadeia logística, a visão desta prova de conceito poderia ser descrita como “rastreio de documentação académica”. A questão a responder é: como podemos avaliar a validade de um documento académico para além da assinatura digital que lhe está aposta? Um exemplo seria o caso em que o documento está assinado por alguém que, naquele momento, não tinha legitimidade para o fazer. O objectivo é publicar informação numa blockchain e, através desta, estabelecer um registo cronológico imutável que pode ser utilizado para adicionar maior legitimidade e transparência a um documento académico. Existem dois principais desafios para o uso de blockchain para documentos académicos. O primeiro provém do cumprimento do RGPD. Por exemplo, sabendo que os dados ficam de forma permanente na blockchain, como lidar com a revogação de consentimento sobre dados já publicados. Relacionado com este, surge também a falta de suporte legislativo para valores armazenados na blockchain (não está estabelecido o seu valor probatório), especialmente quando comparada com o suporte existente para as assinaturas digitais. O primeiro passo foi escolher uma blockchain para a implementação. Começámos por decidir entre a utilização de uma rede aberta, já existente, ou criar a nossa rede através de uma blockchain permissionada. Aqui analisámos o uso de Ethereum. Com a sua rede e suporte para várias linguagens de desenvolvimento, era uma opção viável. Tinha a vantagem de podermos beneficiar da infraestrutura já existente, incorrendo apenas nos custos associados ao seu uso. Contudo, devido a esses custos e à inexistência de regulamentação para os enquadrar, optámos por criar a nossa própria infraestrutura através de uma solução permissionada. Para tal, analisámos várias implementações até que a escolha foi reduzida a dois candidatos, Fabric e Corda, que comparámos extensivamente. A abordagem tomada contrastou-os em três áreas: governança, que dados são visíveis e como são acedidos pelos participantes; suporte, quão activa é a equipa de desenvolvimento e como são resolvidos incidentes; e arquitectura, explorando os aspectos técnicos relacionados com suporte para linguagens de programação ou armazenamento de dados. No fim, foi escolhido o Corda por ser baseado em Java, podendo assim ser rapidamente integrado com o conjunto de tecnologias já utilizadas e acelerar o desenvolvimento da prova de conceito. Contribuindo para esse processo foi também criado um ambiente de desenvolvimento com as ferramentas necessárias para a criação de aplicações Corda (CorDapps). A salientar, contudo, que o Corda não é estritamente uma blockchain, mas sim um livro-razão (ledger) distribuído. Esta distinção aplica-se porque, no Corda, não existe um estado global partilhado mas sim conjuntos de registos que são visíveis para as entidades consoante as transacções em que participam. Utilizando a versão open source do Corda foi construída a Academic CorDapp. Esta aplicação permitia que fosse publicada e partilhada informação entre várias instânciasdo Fenix. Os dados publicados agregavam informação relativa a estudantes, cursos, notas e documentos e, com o seu registo no ledger, permitiam estabelecer uma cronologia imutável do progresso académico de um estudante numa instituição. Esta aplicação funcionava de forma autónoma, através da linha de comandos, com a sua integração no Fenix condicionada a um parecer favorável após análise pela equipa de soluções de negócio. Nesta avaliação, determinou-se que o Corda tinha alguns aspectos técnicos mais fracos (p.ex., suporte para bases de dados) mas era capaz de cumprir os requisitos para integração. O ponto principal levantando na avaliação foi que a proposta de valor adicionado pelo uso de blockchain era insuficiente quando comparada aos mecanismos de assinatura digital qualificada já existentes, especialmente se utilizado o padrão LTV. Foram então re-avaliadas as opções que tínhamos previamente excluído no processo de escolha do Corda. A solução em Ethereum continuou inviável pelas razões que tinham determinado a sua exclusão inicial: falta de suporte legal assim como a dificuldade em estimar os custos de operação. Foi discutida a possibilidade de reimplementar a aplicação utilizando o Fabric ou outra solução permissionada. Isto, apesar de resolver as limitações tecnológicas do Corda, não conseguia sanar a comparação com as assinaturas digitais que comprometia a viabilidade comercial. Assim sendo, a equipa deu um parecer desfavorável e decidiu que o projecto não iria avançar para a fase de integração em produção. Não obstante este desfecho, este projecto foi frutífero para estabelecer uma base de conhecimento sobre as implementações blockchain existentes, permitindo guiar adequadamente projectos futuros, assim como deixou preparadas ferramentas para acelerar o processo de desenvolvimento e aumentar a competitividade em futuras oportunidades neste espaço de negócio.The term blockchain is a “hot topic” in technology, with its visibility in the mainstream being boosted by the cryptocurrency boom brought forth by Bitcoin (BTC). An enterprise solutions developer, qubIT proposed this project to explore the use of blockchain technology in their main business scope, academic management systems. For that, a proof of concept was devised that used blockchain with the goal of providing document validation and data sharing across (and through) Fenix instances of ULisboa’s schools. Taking inspiration from a proven use case, supply chain traceability, the project’s vision could be described as “academic document transparency”. The main concerns regarding the project’s outcome were possible GDPR issues (e.g., revoking consent) and a lack of regulatory backing when compared to digital signatures. First step was to choose a blockchain implementation. We started by deciding between using an open, existing blockchain network or building it using a permissioned blockchain. For this we considered Ethereum. It was a viable option but, due to regulatory concerns, we decided to opt for a permissioned blockchain. After exploring different blockchain offerings, we narrowed the choice down to Fabric and Corda, comparing them in depth. In the end, Corda was chosen and its open source version was used for the Academic CorDapp. This application allowed Fenix instances to publish information on a shared ledger, using it to chronologically track a student’s academic achievements. It functioned in a stand-alone manner, with a favorable evaluation from the Business Solutions team determining its integration into Fenix production systems. Corda was found lacking in some technical aspects (e.g., database support) but capable. The key issue was that the value added by using blockchain was insufficient when compared to qualified digital signature mechanisms, specifically the LTV standard, which led to the decision of not pursuing the project any further. Despite this, this project had a positive outcome in building know-how regarding blockchain that will help guide future ventures in this area

A comparative study of verification condition generators

We propose an empirical comparison of two VCGen algorithms for imperative languagesFundação para a Ciência e a Tecnologia (FCT) - projecto RESCU

Preventing Atomicity Violations with Contracts

Software developers are expected to protect concurrent accesses to shared regions of memory with some mutual exclusion primitive that ensures atomicity properties to a sequence of program statements. This approach prevents data races but may fail to provide all necessary correctness properties.The composition of correlated atomic operations without further synchronization may cause atomicity violations. Atomic violations may be avoided by grouping the correlated atomic regions in a single larger atomic scope. Concurrent programs are particularly prone to atomicity violations when they use services provided by third party packages or modules, since the programmer may fail to identify which services are correlated. In this paper we propose to use contracts for concurrency, where the developer of a module writes a set of contract terms that specify which methods are correlated and must be executed in the same atomic scope. These contracts are then used to verify the correctness of the main program with respect to the usage of the module(s). If a contract is well defined and complete, and the main program respects it, then the program is safe from atomicity violations with respect to that module. We also propose a static analysis based methodology to verify contracts for concurrency that we applied to some real-world software packages. The bug we found in Tomcat 6.0 was immediately acknowledged and corrected by its development team

Relação entre satisfação laboral e compromisso organizacional numa empresa de tecnologias de informação

Dissertação de mestrado integrado em Psicologia (área de especialização em Psicologia do Trabalho, das Organizações e dos Recursos Humanos)A presente investigação procura explorar a relação entre a satisfação laboral, adoptando a definição de Spector (1997), e o compromisso organizacional, de acordo com o modelo das três componentes de Meyer & Allen (1991). Os dados foram recolhidos numa empresa do sector das Tecnologias de Informação sediada em Braga, tendo obtido um total de 81 respostas. Para avaliar a satisfação laboral dos participantes, utilizou-se o Inquérito de Satisfação com o Trabalho, versão portuguesa do Job Satisfaction Survey (Spector, 1985), adaptada para a população portuguesa por Malheiro (2009). De forma a medir o grau de compromisso dos colaboradores, adoptou-se as Escalas de Três Componentes do Compromisso Organizacional de Meyer e Allen (1997), adaptadas para a população portuguesa por Nascimento, Lopes e Salgueiro (2008). A análise dos dados baseou-se em modelos de correlação e de regressão, sendo objectivo deste estudo predizer o compromisso tendo como preditor a satisfação com o trabalho. Os resultados sugerem uma associação positiva entre a satisfação e o compromisso organizacional, estando a primeira mais correlacionada com a componente afectiva do compromisso, comparativamente às restantes. O modelo de regressão linear simples revelou-se significativo, sendo que a satisfação explica 29.9% da variância do compromisso. Foram ainda realizadas algumas análises adicionais, no sentido de verificar alguma informação presente na literatura. Este estudo vem reforçar a ideia da existência de uma associação positiva entre os dois conceitos, clarificando que, para a amostra em questão, a satisfação prediz o compromisso.This research aims to explore the relationship between job satisfaction, adopting Spector’s (1997) definition, and organizational commitment, according to the three-component conceptualization of Meyer & Allen (1991). Data were collected from an Information Technology company based in Braga, having obtained a total of 81 responses. In order to assess participants’ job satisfaction, we adopted Inquérito de Satisfação com o Trabalho, the portuguese version of Job Satisfaction Survey (Spector, 1985), adapted to portuguese population by Malheiro (2009). In order to measure the employee’s organizational commitment we use the Three Scales of Organizational Commitment (Meyer & Allen, 1997), adapted to portuguese population by Nascimento, Lopes e Salgueiro (2008). Data analysis was based on correlation and regression models, with the goal of predict job satisfaction as a theoretical predictor of organizational commitment. The main results suggest a positive association between commitment and satisfaction with work, being job satisfaction more correlated with affective commitment than normative and continuance commitment. The regression model proved to be significant and job satisfaction explained 29.9% of commitment’s variance. Were also made some additional analysis to verify some information emphasized in literature. This study reinforces the idea of a positive association between the two concepts, clarifying that, for this sample, satisfaction predicts organizational commitment