Pre-Processing Power Traces with a Phase-Sensitive Detector

As cryptographic implementations are increasingly subsumed as functional blocks within larger systems on chip, it becomes more difficult to identify the power consumption signatures of cryptographic operations amongst other unrelated processing activities. In addition, at higher clock frequencies, the current decay between successive processing rounds is only partial, making it more difficult to apply existing pattern matching techniques in side-channel analysis. We show however, through the use of a phase-sensitive detector, that power traces can be pre-processed to generate a filtered output which exhibits an enhanced round pattern, enabling the identification of locations on a device where encryption operations are occurring and also assisting with the re-alignment of power traces for side-channel attacks.

High Performance Real-time Pre-Processing for Fixed-Complexity Sphere Decoder

Pre-processing (PP) of received symbol vector and channel matrices is an essential pre-requisite operation for Sphere Decoder (SD)-based detection of Multiple-Input Multiple-Output (MIMO) wireless systems. PP is a highly complex operation, but relative to the total SD workload it represents a relatively small fraction of the overall computational cost of detecting an OFDM MIMO frame in standards such as 802.11n. Despite this, real-time PP architectures are highly inefficient, dominating the resource cost of real-time SD architectures. This paper resolves this issue. By reorganising the ordering and QR decomposition sub operations of PP, we describe a Field Programmable Gate Array (FPGA)-based PP architecture for the Fixed Complexity Sphere Decoder (FSD) applied to 4 × 4 802.11n MIMO which reduces resource cost by 50% as compared to state-of-the-art solutions whilst maintaining real-time performance.

Inferring and Exploiting Categories for Next Location Prediction

Predicting the next location of a user based on their previous visiting pattern is one of the primary tasks over data from location based social networks (LBSNs) such as Foursquare. Many different aspects of these so-called “check-in” profiles of a user have been made use of in this task, including spatial and temporal information of check-ins as well as the social network information of the user. Building more sophisticated prediction models by enriching these check-in data by combining them with information from other sources is challenging due to the limited data that these LBSNs expose due to privacy concerns. In this paper, we propose a framework to use the location data from LBSNs, combine it with the data from maps for associating a set of venue categories with these locations. For example, if the user is found to be checking in at a mall that has cafes, cinemas and restaurants according to the map, all these information is associated. This category information is then leveraged to predict the next checkin location by the user. Our experiments with publicly available check-in dataset show that this approach improves on the state-of-the-art methods for location prediction.

A population-based study of visual impairment among pre-school children in Beijing: the Beijing study of visual impairment in children.

PURPOSE: To evaluate the prevalence and causes of visual impairment among Chinese children aged 3 to 6 years in Beijing. DESIGN: Population-based prevalence survey. METHODS: Presenting and pinhole visual acuity were tested using picture optotypes or, in children with pinhole vision < 6/18, a Snellen tumbling E chart. Comprehensive eye examinations and cycloplegic refraction were carried out for children with pinhole vision < 6/18 in the better-seeing eye. RESULTS: All examinations were completed on 17,699 children aged 3 to 6 years (95.3% of sample). Subjects with bilateral correctable low vision (presenting vision < 6/18 correctable to >or= 6/18) numbered 57 (0.322%; 95% confidence interval [CI], 0.237% to 0.403%), while 14 (0.079%; 95% CI, 0.038% to 0.120%) had bilateral uncorrectable low vision (best-corrected vision of < 6/18 and >or= 3/60), and 5 subjects (0.028%; 95% CI, 0.004% to 0.054%) were bilaterally blind (best-corrected acuity < 3/60). The etiology of 76 cases of visual impairment included: refractive error in 57 children (75%), hereditary factors (microphthalmos, congenital cataract, congenital motor nystagmus, albinism, and optic nerve disease) in 13 children (17.1 %), amblyopia in 3 children (3.95%), and cortical blindness in 1 child (1.3%). The cause of visual impairment could not be established in 2 (2.63%) children. The prevalence of visual impairment did not differ by gender, but correctable low vision was significantly (P < .0001) more common among urban as compared with rural children. CONCLUSION: The leading causes of visual impairment among Chinese preschool-aged children are refractive error and hereditary eye diseases. A higher prevalence of refractive error is already present among urban as compared with rural children in this preschool population.

Distant activity of 67P/Churyumov-Gerasimenko in 2014: Ground-based results during the Rosetta pre-landing phase

As the ESA Rosetta mission approached, orbited, and sent a lander to comet 67P/Churyumov-Gerasimenko in 2014, a large campaign of ground-based observations also followed the comet. We constrain the total activity level of the comet by photometry and spectroscopy to place Rosetta results in context and to understand the large-scale structure of the comet's coma pre-perihelion. We performed observations using a number of telescopes, but concentrate on results from the 8m VLT and Gemini South telescopes in Chile. We use R-band imaging to measure the dust coma contribution to the comet's brightness and UV-visible spectroscopy to search for gas emissions, primarily using VLT/FORS. In addition we imaged the comet in near-infrared wavelengths (JHK) in late 2014 with Gemini-S/Flamingos 2. We find that the comet was already active in early 2014 at heliocentric distances beyond 4 au. The evolution of the total activity (measured by dust) followed previous predictions. No gas emissions were detected despite sensitive searches. The comet maintains a similar level of activity from orbit to orbit, and is in that sense predictable, meaning that Rosetta results correspond to typical behaviour for this comet. The gas production (for CN at least) is highly asymmetric with respect to perihelion, as our upper limits are below the measured production rates for similar distances post-perihelion in previous orbits.

Evaluation of biomarkers for the prediction of pre-eclampsia in women with type 1 diabetes mellitus: A systematic review.

BACKGROUND: Pre-eclampsia is a leading cause of maternal and perinatal morbidity and mortality. Women with type 1 diabetes are considered a high-risk group for developing pre-eclampsia. Much research has focused on biomarkers as a means of screening for pre-eclampsia in the general maternal population; however, there is a lack of evidence for women with type 1 diabetes.
OBJECTIVES: To undertake a systematic review to identify potential biomarkers for the prediction of pre-eclampsia in women with type 1 diabetes.
SEARCH STRATEGY: We searched Medline, EMBASE, Maternity and Infant Care, Scopus, Web of Science and CINAHL SELECTION CRITERIA: Studies were included if they measured biomarkers in blood or urine of women who developed pre-eclampsia and had pre-gestational type 1 diabetes mellitus Data collection and analysis A narrative synthesis was adopted as a meta-analysis could not be performed, due to high study heterogeneity.
MAIN RESULTS: A total of 72 records were screened, with 21 eligible studies being included in the review. A wide range of biomarkers was investigated and study size varied from 34 to 1258 participants. No single biomarker appeared to be effective in predicting pre-eclampsia; however, glycaemic control was associated with an increased risk while a combination of angiogenic and anti-angiogenic factors seemed to be potentially useful.
CONCLUSIONS: Limited evidence suggests that combinations of biomarkers may be more effective in predicting pre-eclampsia than single biomarkers. Further research is needed to verify the predictive potential of biomarkers that have been measured in the general maternal population, as many studies exclude women with diabetes preceding pregnancy.

Pre- and post-settlement processes regulating recruitment of the shore crab Carcinus maenas

O sucesso do recrutamento em espécies com ciclos de vida complexos, i.e. com duas ou mais fases de desenvolvimento, depende do fornecimento de larvas aos locais apropriados do assentamento (mecanismos de pré-assentamento) e na consequente sobrevivência destas larvas até aos estágios bentónicos iniciais (mecanismos de pós-assentamento). O estudo dos principais processos físicos que controlam a variabilidade intra-anual do recrutamento do caranguejo Carcinus maenas foi possível com à obtenção em séries diárias da abundância de megalopas no plâncton e do seu assentamento em substratos artificiais de assentamento, e de parâmetros físicos relacionados com a amplitude de maré e o upwelling, durante os meses da época reprodutiva deste caranguejo. Os nossos resultados demonstraram um padrão cíclico de fornecimento de megalopas de C. maenas aos estuários na costa ocidental de Portugal, relacionado com a amplitude de maré e favorecido pelos ventos de sul. O assentamento de megalopas nos substratos artificiais de assentamento mostrou-se desacoplado do fornecimento nos dois estuários. Os dados obtidos sugerem que as megalopas são transportadas para a costa após a acção de ventos de downwelling, e o fornecimento para os estuários ocorre por transporte selectivo por corrente de maré. A utilização de substratos artificiais para medir densidades de juvenis de Carcinus maenas deve ser ponderada, uma vez que se verificou que em habitats estruturalmente menos complexos os juvenis utilizam os colectores como refúgio; em habitats mais complexos, os juvenis preferiram refugiar-se nas ervas marinhas existentes. No entanto, a estimativa de abundâncias diárias medidas nos colectores permitiu a descrição das abundâncias dos vários estádios de desenvolvimento juvenis, bem como as respectivas taxas de crescimento. As capacidades locomotoras de diferentes classes de tamanho de juvenis de C. maenas foram estimadas mediante o cálculo de um índice de locomoção. Os nossos resultados sugerem que os juvenis mais pequenos estão relativamente protegidos em habitats com vegetação densa, provavelmente porque este tipo de habitats inibe os movimentos dos juvenis de maiores dimensões. Foram também encontradas evidências da existência de segregação temporal na actividade locomotora das diferentes classes de juvenis, que funcionará como um mecanismo que permite reduzir o canibalismo e, consequentemente, aumentar a capacidade de suporte dos habitats juvenis. Foi realizado um estudo sobre o canibalismo nos juvenis de C. maenas na Ria de Aveiro, in situ e utilizando densidades reais. Verificou-se que as presas mais pequenas eram as mais vulneráveis, sendo os juvenis de maiores dimensões os predadores mais eficazes. Por outro lado, as taxas de canibalismo foram menores em habitats com elevadas densidades de refúgio (Zostera noltii). A estimativa das taxas diárias de mortalidade devidas ao canibalismo são aproximadamente metade das taxas diárias de mortalidade devidas aos processos de pré-assentamento, indicando que esta população de C. maenas será regulada pelo fornecimento larvar, i.e., será uma população regulada essencialmente por mecanismos préassentamento.

Weathering resistance of thin plasma polymer films on pre-coated steel

O trabalho apresentado teve origem no projecto de investigação “Tailored Thin Plasma Polymers Films for Surface Engineering of Coil Coated Steel”, financiado pelo Programa Europeu ECSC Steel Research. Sistemas de aço galvanizado pré-pintado em banda à base de poliéster e poliuretano foram submetidos a um processo de polimerização por plasma onde um filme fino foi depositado de modo a modificar as propriedades de superfície. Foram usados reactores de cátodo oco, microondas e rádio frequência para a deposição do polímero fino. Os sistemas preparados foram analisados de modo a verificar a influência do processo de polimerização por plasma na alteração das propriedades barreira dos sistemas pré-pintados em banda. Foi estudado o efeito dos diferentes passos do processo de polimerização por plasma, bem como o efeito de diferentes variáveis operatórias. A mistura precursora foi variada de modo a modificar as propriedades da superfície de modo a poder vir a obter maior hidrofobicidade, maior resistência a marcas digitais, bem como maior facilidade de limpeza. Os testes foram conduzidos em solução de NaCl 0,5 M. Para o trabalho foram usadas técnicas de análise da morfologia da superfície como Microscopia de Força Atómica e Microscopia Electrónica de Varrimento. As propriedades electroquímicas dos sistemas foram estudadas por Espectroscopia de Impedância Electroquímica. A estrutura dos filmes gerados no processo de polimerização por plasma foi caracterizada por Microscopia de Transmissão Electrónica. A modificação das propriedades ópticas devido ao processo de polimerização por plasma foi também obtida.

Language anxiety in English teachers during their teaching practice

Este estudo explora a influência da ansiedade linguística em futuros professores de Inglês em situação de prática pedagógica. Setting the Scene descreve o aumento de interesse pela ansiedade linguística por parte dos investigadores no contexto da aprendizagem e do ensino, e a relevância desta questão para professores estagiários fazendo a transição de aluno para professor. O autor também considera a sua própria experiência de ansiedade – enquanto estudante e investigador – de modo a gerar um maior entendimento desta emoção complexa. O Capítulo 1 da Parte 1 descreve como o afecto na aprendizagem e na investigação da língua tem vindo a ser um factor preponderante no interesse mais alargado sobre as emoções em contextos educacionais. A recente influência da teoria social na aquisição de uma segunda língua e como esta pode ajudar a repensar a investigação das emoções é discutida antes do final do capítulo, onde se examina ainda como as emoções são expressas na comunicação e interacção. O Capítulo 2 concentra-se na ansiedade na aprendizagem da língua e em como o peso da noção em contexto social alargado tem provavelmente influenciado uma abordagem dominantemente de cariz positivista na investigação sobre a ansiedade linguística. Controvérsias e variáveis da personalidade relacionadas com a ansiedade linguística são discutidas, considerando-se a possibilidade de novas direcções para a investigação. A prática pedagógica é vista como um campo fértil de investigação sobre a ansiedade linguística em estagiários, com estilos de supervisão e discursos – nomeadamente estratégias de delicadeza e de mitigação – sendo considerados influências importantes na experiência desta emoção. O Capítulo 3 da Parte 2 detalha a abordagem etnográfica e etnometodológica do estudo e o procedimento de investigação em si. Os dados foram recolhidos em três momentos distintos. Primeiro, através de inquéritos aplicados aos estagiários antes do começo do estágio. Numa segunda fase, durante o estágio, os dados principais foram recolhidos através das aulas e duma entrevista semi-estruturada com os estagiários, ambas vídeo gravadas, e dos encontros de pós-observação áudio-gravados. Os dados subsidiários recolhidos nesta mesma fase incluem reflexões escritas e dossiers dos estagiários, observações escritas das aulas do investigador e o relatório intercalar dos professores supervisor e cooperante. Na última fase, posterior às aulas, a recolha dos dados principais foi realizada através de uma vídeo gravação da reunião de avaliação final com todos os participantes e de stimulated recall protocols com cada professor estagiário. O Capítulo 4 é predominantemente uma análise qualitativa de discurso, utilizando categorias de análise para identificar sinais de ansiedade emergentes dos dados. Os resultados mostram que um dos estagiários pode ser caracterizado como tendo uma experiência de ansiedade mais debilitadora, outro uma ansiedade mais facilitadora, enquanto a experiência do terceiro é menos pronunciada e mais difícil de caracterizar. Sinais e fontes múltiplos e complexos de ansiedade foram identificados mas as próprias autoimagens dos sujeitos como professores de Inglês, construídas em interacção ao longo do estágio, estão no centro desta experiência emocional. O Capítulo 5 considera as implicações e as conclusões deste estudo. São dadas indicações para a relação estagiário-supervisor e quanto aos estilos do supervisor no quadro da prática pedagógica assim como sugestões para que a ansiedade linguística seja explicitamente abordada na formação em supervisão. Finalmente, é ponderada se a experiência da ansiedade linguística destas estagiárias e as suas fontes têm ou não implicações na formação dos alunos de línguas.

Symmetric quantum calculus

Generalizamos o cálculo Hahn variacional para problemas do cálculo das variações que envolvem derivadas de ordem superior. Estudamos o cálculo quântico simétrico, nomeadamente o cálculo quântico alpha,beta-simétrico, q-simétrico e Hahn-simétrico. Introduzimos o cálculo quântico simétrico variacional e deduzimos equações do tipo Euler-Lagrange para o cálculo q-simétrico e Hahn simétrico. Definimos a derivada simétrica em escalas temporais e deduzimos algumas das suas propriedades. Finalmente, introduzimos e estudamos o integral diamond que generaliza o integral diamond-alpha das escalas temporais.

Topology via enriched categories

Having as a starting point the characterization of probabilistic metric spaces as enriched categories over the quantale , conditions that allow the generalization of results relating Cauchy sequences, convergence of sequences, adjunctions of V-distributors and its representability are established. Equivalence between L-completeness and L-injectivity is also established. L-completeness is characterized via the Yoneda embedding, and injectivity is related with exponentiability. Another kind of completeness is considered and the formal ball model is analyzed.

Políticas, conceções e práticas dominantes do ensino superior em Moçambique

O presente trabalho começa por analisar a evolução dos sistemas ao longo de vários períodos históricos, bem como os conceitos e tipologias que os sustentam, no quadro da problemática e da conceptualização teórica do ensino superior. A origem da universidade na idade média, na Europa e em outras partes do mundo, fundamenta-se, principalmente, na procura do saber e nas condicionantes socioeconómicas da época. A evolução da universidade sustentada pela narrativa da modernidade, resultou em modelos diferenciados de ensino superior, que mantinham, no entanto, a razão e a epistemologia do conhecimento académico, como fatores unificadores. O modelo utilizado para traduzir a referida evolução, é proposto por Scott (1995) e configura a relação que se estabelece entre a universidade e outras formas de ensino superior. Na sequência do desenvolvimento dos sistemas, suscitados pelas relações entre os diversos atores envolvidos no ensino superior, procurou-se evidenciar a relação entre o Estado o mercado e os académicos, bem como outros atores sociopolíticos, institucionais e da sociedade civil. O quadro de análise dos mecanismos de coordenação destas envolventes, baseou-se no “Triângulo de Clark”, complementado com o modelo da “Metáfora da Flutuação”. Desde o início da década de 80 do século XX, que a missão, o modo de organização e o funcionamento das IES têm vindo a ser questionadas, como resultado das mudanças económicas de cariz neoliberal. Este cenário, propiciador de crises e de transformações, não tem impedido, porém, de manter o papel fundamental da universidade como produtora e difusora do conhecimento. No contexto da globalização e da cada vez maior influência do mercado no ensino superior, procura-se impor um modelo hegemonizado de racionalidade económica, competitividade e eficiência - o managerialismo. Não obstante alguns êxitos, esta ideologia não tem sido completamente bem-sucedida. Aliás, à tentativa da globalização de gerar uma ordem uniformista, têm sido contrapostos modelos de recontextualização que procuram refletir as realidades locais. Embora num reduzido número de países, África, registou formas de ensino superior endógenas, no período pré-colonial. Depois do espectro colonial que mantém, ainda hoje, a sua influência, os sistemas debatem-se na atualidade com diferentes dilemas, originados pelas correntes da globalização. Porém, o ensino superior em África assume um papel central no contexto do desenvolvimento dos diferentes países contribuindo, igualmente, para a construção da Nação e da sua identidade. Esta dimensão, não é impeditiva do seu envolvimento, nos desafios da sociedade e da economia do conhecimento, buscando, ao mesmo tempo, modelos e práticas equilibradoras, que proporcionem uma resposta satisfatória às necessidades sociais e económicas, nacionais e regionais. Ao enquadrar o sistema de ensino superior em Moçambique merecem destaque as etapas do processo histórico, nomeadamente o surgimento dos estudos gerais universitários como primeira forma de ensino superior mais tarde transformada em universidade, a mudança de paradigma após a independência nacional, a abertura ao setor privado e, ainda, a expansão do sistema. A discussão sobre políticas e estratégias é sustentada pela análise dos respetivos planos estratégicos bem como, pela compreensão das leis fundamentais e respetivos documentos reguladores. Este conjunto de instrumentos concorre para a reforma do sistema, que se procura implementar em Moçambique. Nesta sequência, é de salientar o debate público realizado em torno das qualificações e graus oficialmente estabelecidos, que parece constituir uma problemática ainda não completamente resolvida. Numa outra parte do trabalho, procede-se à apresentação e análise dos resultados de uma investigação sobre o ensino superior em Moçambique. Seguindo uma metodologia de análise qualitativa, foi possível estruturar a informação obtida, em diferentes dimensões e categorias. A informação foi recolhida e tratada, a partir de entrevistas efetuadas a diferentes grupos de atores, direta ou indiretamente relacionados com o ensino superior em Moçambique. Os resultados da análise conduziram à sistematização de um conjunto de linhas de força e ao traçar de conclusões, contributivas para a melhoria do quadro de referência sobre políticas, conceções e práticas do ensino superior em Moçambique.