Reverse engineering of web applications

The MAP-i Doctoral Program of the Universities of Minho, Aveiro and Porto

An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds

For a given self-map f of M, a closed smooth connected and simply-connected manifold of dimension m ≥ 4, we provide an algorithm for estimating the values of the topological invariant Dm r [f], which equals the minimal number of r-periodic points in the smooth homotopy class of f. Our results are based on the combinatorial scheme for computing Dm r [f] introduced by G. Graff and J. Jezierski [J. Fixed Point Theory Appl. 13 (2013), 63–84]. An open-source implementation of the algorithm programmed in C++ is publicly available at http://www.pawelpilarczyk.com/combtop/.

The influence of nitrogen and oxygen additions on the thermal characteristics of aluminium-based thin films

The ternary aluminium oxynitride (AlNxOy) system offers the possibility to obtain a wide range of properties by tailoring the ratio between pure Al, AlNx and AlOy and therefore opening a significant number of possible applications. In this work the thermal behaviour of AlNxOy thin films was analysed by modulated infrared radiometry (MIRR), taking as reference the binary AlOy and AlNx systems. MIRR is a non-contact and non-destructive thermal wave measurement technique based on the excitation, propagation and detection of temperature oscillations of very small amplitudes. The intended change of the partial pressure of the reactive gas (N2 and/or O2) influenced the target condition and hence the deposition characteristics which, altogether, affected the composition and microstructure of the films. Based on the MIRR measurements and their qualitative and quantitative interpretation, some correlations between the thermal transport properties of the films and their chemical/physical properties have been found. Furthermore, the potential of such technique applied in this oxynitride system, which present a wide range of different physical responses, is also discussed. The experimental results obtained are consistent with those reported in previous works and show a high potential to fulfil the demands needed for the possible applications of the systems studied. They are clearly indicative of an adequate thermal response if this particular thin film system is aimed to be applied in small sensor devices or in electrodes for biosignal acquisition, such as those for electroencephalography or electromyography as it is the case of the main research area that is being developed in the group.

Advances in thermoplastic pultruded composites

Pultrusion is a versatile continuous high speed production technology allowing the production of fibre reinforced complex profiles. Thermosetting resins are normally used as matrices in the production of structural constant cross section profiles. Although only recently thermoplastic matrices have been used in long and continuous fibre reinforced composites replacing with success thermosetting matrices, the number of their applications is increasing due to their better ecological and mechanical performance. Composites with thermoplastic matrices offers increased fracture toughness, higher impact tolerance, short processing cycle time and excellent environmental stability. They are recyclable, post-formable and can be joined by welding. The use of long/continuous fibre reinforced thermoplastic matrix composites involves, however, great technological and scientific challenges since thermoplastics present much higher viscosity than thermosettings, which makes much difficult and complex the impregnation of reinforcements and consolidation tasks. In this work continuous fibres reinforced thermoplastic matrix towpregs were produced using equipment developed by the Institute for Polymers and Composites (IPC). The processing of the towpregs was made by pultrusion, in a developed prototype equipment existing in the Engineering School of the Polytechnic Institute of Porto (ISEP). Different thermoplastic matrices and fibres raw-materials were used in this study to manufacture pultruded composites for commercial applications (glass and carbon fibre/ polypropylene) and for advanced markets (carbon fibre/Primospire®). To improve the temperature distribution profile in heating die, different modifications were performed. In order to optimize both processes, towpregs production and pultruded composites profiles were analysed to determine the influence of the most relevant processing arameters in the final properties. The final pultruded composite profiles were submitted to mechanical tests to obtain the relevant properties.

Bacterial cellulose as a novel substrate for retinal pigment epithelium cells transplantation in age-related macular degeneration

Tese de Doutoramento em Engenharia Química e Biológica.

Specification and testing of multiplicative time-varying GARCH models with applications

In this article, we develop a specification technique for building multiplicative time-varying GARCH models of Amado and Teräsvirta (2008, 2013). The variance is decomposed into an unconditional and a conditional component such that the unconditional variance component is allowed to evolve smoothly over time. This nonstationary component is defined as a linear combination of logistic transition functions with time as the transition variable. The appropriate number of transition functions is determined by a sequence of specification tests. For that purpose, a coherent modelling strategy based on statistical inference is presented. It is heavily dependent on Lagrange multiplier type misspecification tests. The tests are easily implemented as they are entirely based on auxiliary regressions. Finite-sample properties of the strategy and tests are examined by simulation. The modelling strategy is illustrated in practice with two real examples: an empirical application to daily exchange rate returns and another one to daily coffee futures returns.