HEP-Frame: A software engineered framework to aid the development and efficient multicore execution of scientific code

This work was supported by FCT (Fundação para a Ciência e Tecnologia) within Project Scope (UID/CEC/00319/2013), by LIP (Laboratório de Instrumentação e Física Experimental de Partículas) and by Project Search-ON2 (NORTE-07-0162- FEDER-000086), co-funded by the North Portugal Regional Operational Programme (ON.2 - O Novo Norte), under the National Strategic Reference Framework, through the European Regional Development Fund.

Parallel improved Schnorr-Euchner enumeration SE++ for the CVP and SVP

The Closest Vector Problem (CVP) and the Shortest Vector Problem (SVP) are prime problems in lattice-based cryptanalysis, since they underpin the security of many lattice-based cryptosystems. Despite the importance of these problems, there are only a few CVP-solvers publicly available, and their scalability was never studied. This paper presents a scalable implementation of an enumeration-based CVP-solver for multi-cores, which can be easily adapted to solve the SVP. In particular, it achieves super-linear speedups in some instances on up to 8 cores and almost linear speedups on 16 cores when solving the CVP on a 50-dimensional lattice. Our results show that enumeration-based CVP-solvers can be parallelized as effectively as enumeration-based solvers for the SVP, based on a comparison with a state of the art SVP-solver. In addition, we show that we can optimize the SVP variant of our solver in such a way that it becomes 35%-60% faster than the fastest enumeration-based SVP-solver to date.

SOFHIA: a CAD environment to design digital control systems

"Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"

Redes de Petri e VHDL na prototipagem rápida de sistemas digitais

O objectivo principal deste artigo é exemplificar a utilização de uma metodologia de especificação de sistemas digitais, baseada em Redes de Petri orientadas por objectos, para obter de uma forma rápida e simplificada um protótipo em VHDL do sistema pretendido. É considerado para exemplificação um sistema digital, para o qual se efectua a especificação no modelo RdP-shobi e a geração automática de código VHDL. Este exemplo permite concluir acerca da utilidade desta metodologia no projecto de sistemas digitais, suportado por princípios de orientação por objectos e por uma ferramenta de EDA desenvolvida propositadamente para o efeito.

Redes de Petri e VHDL na prototipagem rápida de sistemas digitais

O objectivo principal deste artigo é exemplificar a utilização de uma metodologia de especificação de sistemas digitais, baseada em Redes de Petri orientadas por objectos, para obter de uma forma rápida e simplificada um protótipo em VHDL do sistema pretendido. É considerado como exemplo um sistema digital, para o qual se efectua a especificação no modelo RdP-shobi e a partir da qual se pode gerar automaticamente código VHDL. Este exemplo permite demonstrar acerca da capacidade desta metodologia no projecto de sistemas digitais, suportado por princípios de orientação por objectos e por uma ferramenta de EDA concebida para o efeito.

An object-oriented model for rapid prototyping of data path/control systems - a case study

Publicado em "Information control in manufacturing 1998 : (INCOM'98) : advances in industrial engineering : a proceedings volume from the 9th IFAC Symposium, Nancy-Metz, France, 24-26 June 1998. Vol. 2"

José Anastácio da Cunha e o projeto MAT² : no trilho de uma história extraordinária

A ideia de que as Matemáticas de Portugal (e de Espanha) atravessaram, depois de um período áureo nos Descobrimentos, um longo deserto onde não foi possível florescerem Mestres, nem escolas, nem cultura científica, nem investigação de relevo foi, durante muito tempo, reiteradamente veiculada, inclusivé através de alguns dos nossos mais referenciados historiadores da Matemática, como é o caso de Gomes Teixeira ou de Rey Pastor. Mas a verdade é que o estudo da História das Matemáticas em Portugal tem, na última década, vivido um interesse crescente onde sobressaem, em particular, uma leitura menos enviesada sobre, por exemplo, o papel educativo dos Jesuítas ou a publicação das obras completas de Pedro Nunes. Está-se assim a contribuir para uma compreensão mais completa da História geral de Portugal, de que a História da Ciência e da Cultura faz parte. José Anastácio da Cunha (1744-1787) foi figura de proa no século XVIII português. Sabíamo-lo matemático que, sem nunca ter saído de Portugal, havia sido capaz de antecipar, em mais de 50 anos, os esforços de matemáticos franceses e alemães para fundar a Matemática com rigor. Sabíamo-lo também autor de uma vasta e diversificada obra de inegável importância matemática mas, igualmente, autor de textos poéticos. Agora, com o projecto que denominámos de MAT2, centramo-nos em José Anastácio da Cunha e pretendemos, se possível, ir ainda mais além. Partimos de uma descoberta, árdua mas com final feliz, em um Arquivo de família: o da Casa de Mateus. Sentimo-nos, com esta “sorte”, privilegiados e gratos por nos ter sido gentilmente concedido o acesso a um vasto conjunto de documentos únicos (diários de viagens, notas de aulas e correspondência) que incluem memórias autógrafas e inéditas de Anastácio da Cunha. Organizámo-nos, cientes do trabalho árduo que temos pela frente, multi e interdisciplinarmente englobando a Matemática (nas suas múltiplas especializações) e a História (incluindo a da Matemática) mas também contando com a Física, a Informática, os estudos militares ou a Arquivística e as Humanidades; reunimos académicos, mais e menos veteranos, com investigadores jovens e juntámos valências nacionais e estrangeiras. No presente artigo daremos conta do percurso trilhado, até agora, pelo projecto MAT2.

José Anastácio da Cunha e a criação da Casa Pia de Lisboa

As modernas ideias científicas e tecnológicas da Europa mais desenvolvida transpoem fronteiras e institucionalizam-se em Portugal com a denominada Reforma Pombalina da Universidade de Coimbra (1770-72), no reinado de D. José. Mais: não só chega a Portugal o pensamento moderno da época como, antecipando a reforma do ensino universitário no resto da Europa, o ensino universitário português faz uma aposta clara nas ciências matemáticas, físicas e naturais, bem como num ensino experimental/laboratorial. Anos mais tarde, no reinado de D. Maria, surgem outros projectos educativos e científicos igualmente modernos tais como o da criação de uma Academia Real da Marinha (1779) ou o de uma Academia Real das Ciências (1779) e idealiza-se um projeto, porventura, ainda mais revolucionário: o da criação de uma instituição de ensino – também de ciências ditas superiores – destinada, na sua génese, a orfãos e desvalidos à qual se chamou Casa Pia de Lisboa (1780), e que alguns autores reportam como sendo uma “universidade plebeia”. Com base em documentação autógrafa, ainda inédita, recentemente descoberta nos Fundos Setecentistas do Arquivo da Casa de Mateus, exploraremos o papel fundamental que José Anastácio da Cunha (1744-1787) – militar, matemático e poeta – desempenhou na concepção do Plano de Estudos para a instituição; em particular para o colégio de S. Lucas, consagrado às classes científicas.

Gamification e game-based learning: uma abordagem lúdica à aprendizagem

Relatório de estágio de mestrado em Ensino de Informática

O Display da morte na ficção de José Saramago

Tese de Doutoramento em Ciências da Literatura (área de especialização em Literatura Portuguesa).

Influence of climate on clinical diagnostic dry eye tests: pilot study

Purpose. To analyze dry eye disease (DED) tests and their consistency in similar nonsymptomatic population samples living in two geographic locations with different climates (Continental vs. Atlantic). Methods. This is a pilot study including 14 nonsymptomatic residents from Valladolid (Continental climate, Spain) and 14 sex-matched and similarly aged residents from Braga (Atlantic climate, Portugal); they were assessed during the same season (spring) of two consecutive years. Phenol red thread test, conjunctival hyperemia, fluorescein tear breakup time, corneal and conjunctival staining, and Schirmer test were evaluated on three different consecutive visits. Reliability was assessed using the intraclass correlation coefficient and weighted kappa (J) coefficient for quantitative and ordinal variables, respectively. Results. Fourteen subjects were recruited in each city with a mean (TSD) age of 63.0 (T1.7) and 59.1 (T0.9) years (p = 0.08) in Valladolid and Braga, respectively. Intraclass correlation coefficient and J values of the tests performed were below 0.69 and 0.61, respectively, for both samples, thus showing moderate to poor reliability. Subsequently, comparisons were made between the results corresponding to the middle and higher outdoor relative humidity (RH) visit in each location as there were no differences in mean temperature (p Q 0.75) despite RH values significantly differing (p e 0.005). Significant (p e 0.05) differences were observed between Valladolid and Braga samples on tear breakup time (middle RH visit, 2.76 T 0.60 vs. 5.26 T 0.64 seconds; higher RH visit, 2.61 T 0.32 vs. 5.78 T 0.88 seconds) and corneal (middle RH, 0.64 T 0.17 vs. 0.14 T 0.10; higher RH, 0.60 T 0.22 vs. 0.0 T 0.0) and conjunctival staining (middle RH, 0.61 T 0.17 vs. 0.14 T 0.08; higher RH, 0.57 T 0.15 vs. 0.18 T 0.09). Conclusions. This pilot study provides initial evidence to support that DED test outcomes assessing the ocular surface integrity and tear stability are climate dependent. Future large-sample studies should support these outcomes also in DED patients. This knowledge is fundamental for multicenter clinical trials. Lack of consistency in diagnostic clinical tests for DED was also corroborated. (Optom Vis Sci 2015;92:e284Ye289)

End-of-day dryness, corneal sensitivity and blink rate in contact lens wearers

Purpose: To study the relationship among the variables intensity ofthe end-of-day (EOD) dryness, corneal sensitivity and blink rate in soft contact lens (CL) wearers. Methods: Thirty-eight soft CL wearers (25 women and 13 men; mean age 27.1 ± 7.2 years) were enrolled. EOD dryness was assessed using a scale of 0–5 (0, none to 5, very intense). Mechanical and thermal (heat and cold) sensitivity were measured using a Belmonte’s gas esthesiometer. The blink rate was recorded using a video camera while subjects were wearing a hydrogel CL and watching a film for 90 min in a controlled environmental chamber. Results: A significant inverse correlation was found between EOD dryness and mechanical sensitivity (r: −0.39; p = 0.02); however, there were no significant correlations between EOD dryness and thermal sensitivity. A significant (r: 0.56; p < 0.001) correlation also was observed between EOD dryness and blink rate, but no correlations were found between blink rate and mechanical or thermal sensitivity. Conclusions: CL wearers with higher corneal sensitivity to mechanical stimulation reported more EOD dryness with habitual CL wear. Moreover, subjects reporting more EOD dryness had an increased blink rates during wear of a standard CL type. The increased blink rate could act to improve the ocular surface environment and relieve symptoms

Lugar Próximo

Texto para catálogo de exposição com desenhos de Joaquim Pinto Vieira, Daniel Silvestre Silva, Manuel Mendes, Nuno Sousa, Miguel Bandeira Duarte, José Miguel Cardoso, Paulo Freire de Almeida. A exposição decorreu na Escola de Arquitectura da Universidade do Minho em junho de 2015 e no Palacete da Praça de S. Tiago / Extensão do Museu Alberto Sampaio em outubro de 2015.

Da reflexão à aprendizagem de conceitos complexos através da edição de vídeos e sua partilha em ecrãs públicos

A investigação conducente a estes resultados foi financiada pelo 7º Programa-Quadro da Comunidade Europeia (FP7 / 2007-2013) ao abrigo do contrato de concessão no. 317964 JUXTALEARN. http://juxtalearn.org.

PTX3-based genetic testing for risk of aspergillosis after lung transplant

PTX3-based genetic testing for risk of aspergillosis after lung transplant