One-sided Radial-Fundamental Matrix Estimation

For modern consumer cameras often approximate calibration data is available, making applications such as 3D reconstruction or photo registration easier as compared to the pure uncalibrated setting. In this paper we address the setting with calibrateduncalibrated image pairs: for one image intrinsic parameters are assumed to be known, whereas the second view has unknown distortion and calibration parameters. This situation arises e.g. when one would like to register archive imagery to recently taken photos. A commonly adopted strategy for determining epipolar geometry is based on feature matching and minimal solvers inside a RANSAC framework. However, only very few existing solutions apply to the calibrated-uncalibrated setting. We propose a simple and numerically stable two-step scheme to first estimate radial distortion parameters and subsequently the focal length using novel solvers. We demonstrate the performance on synthetic and real datasets.

Type checking cryptography implementations

Cryptographic software development is a challenging eld: high performance must be achieved, while ensuring correctness and com- pliance with low-level security policies. CAO is a domain speci c language designed to assist development of cryptographic software. An important feature of this language is the design of a novel type system introducing native types such as prede ned sized vectors, matrices and bit strings, residue classes modulo an integer, nite elds and nite eld extensions, allowing for extensive static validation of source code. We present the formalisation, validation and implementation of this type system

Eigenvalue computations in the context of data-sparse approximations of integral operators

In this work, we consider the numerical solution of a large eigenvalue problem resulting from a finite rank discretization of an integral operator. We are interested in computing a few eigenpairs, with an iterative method, so a matrix representation that allows for fast matrix-vector products is required. Hierarchical matrices are appropriate for this setting, and also provide cheap LU decompositions required in the spectral transformation technique. We illustrate the use of freely available software tools to address the problem, in particular SLEPc for the eigensolvers and HLib for the construction of H-matrices. The numerical tests are performed using an astrophysics application. Results show the benefits of the data-sparse representation compared to standard storage schemes, in terms of computational cost as well as memory requirements.

Error bounds for low-rank approximations of the first exponential integral kernel

A hierarchical matrix is an efficient data-sparse representation of a matrix, especially useful for large dimensional problems. It consists of low-rank subblocks leading to low memory requirements as well as inexpensive computational costs. In this work, we discuss the use of the hierarchical matrix technique in the numerical solution of a large scale eigenvalue problem arising from a finite rank discretization of an integral operator. The operator is of convolution type, it is defined through the first exponential-integral function and, hence, it is weakly singular. We develop analytical expressions for the approximate degenerate kernels and deduce error upper bounds for these approximations. Some computational results illustrating the efficiency and robustness of the approach are presented.

Loneliness in Middle and Old Age

Purpose of the research: (a) To identify the degree of much loneliness reported in the Portuguese population over 50 years of age and (b) test whether loneliness can be predicted by socio-demographic, health related or social characteristic of the sample other than age. Materials and methods: 1174 late middle age and older adults were interviewed face to face by different interviewers across the country; after the informed consent was signed, we asked the participants several socio-demographic and health-related questions; finally we asked ‘‘How often do you feel lonely?’’ and participants responded according to a five point Likert scale. Principal results: The results showed that 12% of participants reporting feeling lonely often or always, whereas 40% reporting never feeling lonely. The remaining 48% self-reported they felt lonely seldom or sometimes. Additionally, results show that, when taken together, variables such as marital status, type of housing, residence settings, health conditions, social satisfaction, social isolation, lack of interest, transportation, and age were predictors of loneliness. Major conclusions: (1) The association of loneliness with advanced age has been greatly exaggerated by mass media and common sense; (2) But although our findings did not confirm the most alarmist views, the 12% of older adults reporting that they are feeling lonely always or often should be cause for attention and concern. It is necessary to understand the meaning, reasons and level of suffering implied on those feelings of loneliness. (3) Our findings suggest that it makes no sense to construe age as a singular feature or cause for feelings of loneliness. Instead, age and also a number of other features combine to predict feelings of loneliness. But even with our predictor variables there was a substantial of variance left unexplained. Therefore it is necessary to continue exploring how feelings of loneliness arise from the experience of living and how they can be changed.

1º DE MAIO e SISTEMA FISCAL

A segurança no emprego está consagrada no art. 53º da CRP: “É garantida aos trabalhadores a segurança no emprego, sendo proibidos os despedimentos sem justa causa ou por motivos políticos ou ideológicos”. É também a celebração dum ambiente de trabalho humano em que sejam consagrados os direitos e deveres fundamentais dos trabalhadores, como o direito e dever à saúde laboral e a uma jornada justa de horas de trabalho, o direito e o dever ao descanso, o direito e o dever a formar família, ter filhos e ter tempo para a mesma, o direito e o dever a fazer o próprio trabalho e executar as diferentes tarefas pelas quais está encarregue. § Job security is enshrined in art. 53 of CRP, "is guaranteed to security workers in employment, the redundancies being prohibited without just cause or for political or ideological reasons." It is also the celebration of a human working environment in which the fundamental rights and duties of workers are enshrined, as the right and duty to labor health and a fair day's working hours, the right and the duty to rest, the right and the duty to form families, have children and take time for it, the right and the duty to do the work itself and perform the different tasks for which it is responsible.

Semi-automatic 3D Segmentation Of Costal Cartilage In CT Data From Pectus Excavatum Patients

One of the current frontiers in the clinical management of Pectus Excavatum (PE) patients is the prediction of the surgical outcome prior to the intervention. This can be done through computerized simulation of the Nuss procedure, which requires an anatomically correct representation of the costal cartilage. To this end, we take advantage of the costal cartilage tubular structure to detect it through multi-scale vesselness filtering. This information is then used in an interactive 2D initialization procedure which uses anatomical maximum intensity projections of 3D vesselness feature images to efficiently initialize the 3D segmentation process. We identify the cartilage tissue centerlines in these projected 2D images using a livewire approach. We finally refine the 3D cartilage surface through region-based sparse field level-sets. We have tested the proposed algorithm in 6 noncontrast CT datasets from PE patients. A good segmentation performance was found against reference manual contouring, with an average Dice coefficient of 0.75±0.04 and an average mean surface distance of 1.69±0.30mm. The proposed method requires roughly 1 minute for the interactive initialization step, which can positively contribute to an extended use of this tool in clinical practice, since current manual delineation of the costal cartilage can take up to an hour.

Praying Doves and Preying Vultures

The most saddening feature in this entire debate is that the Church in Goa, instead of transmitting the image of kingdom of God, of Jesus who emptied himself (kenosis) and was crucified with nothing that he could call his own (“rights”) is increasingly revealing a spiritual bankruptcy. Obviously, the mystical body does not feed on mystical rice and curry. A mere suggestion of State legislation to check the transparency and accountability of the temporal goods of the Church was sufficient to raise the hackles of the rich and the powerful who need the Church, but present themselves as its faithful servants, who can ensure that the more humble sons and daughters of the Church benefit from crumbs of their charity. *Spiritus ubi vult spirat* – the Spirit blows where it wills, and the history of the Church has umpteen illustrations of this. As the saying goes, “The road to Hell is paved with good intentions”. Only the kicks of history have brought about most significant reforms.

Algumas técnicas SIG úteis à obtenção de áreas de serviço de conjuntos de pontos

Em estudos de acessibilidade, e não só, são muito úteis um tipo de estruturas que se podem obter a partir de uma rede, eventualmente multi-modal e parametrizável: as chamadas “áreas de serviço”, as quais são constituídas por polígonos, cada qual correspondente a uma zona situada entre um certo intervalo de custo, relativamente a uma certa “feature” (ponto, multiponto, etc.). Pretende-se neste estudo obter, a partir de áreas de serviço relativas a um universo de features, áreas de serviço relativas a subconjuntos dessas features. Estas técnicas envolvem manipulações relativamente complexas de polígonos e podem ser generalizadas para conjuntos de conjuntos e assim sucessivamente. Convém notar que nem sempre se dispõe da rede, podendo dispor-se das referidas estruturas; eventualmente, no caso de áreas de serviço, sob a forma de imagens (raster) a serem convertidas para formato vectorial.

A supervised versus home-based program effects on liver transplanted familial amyloidotic polyneuropathy patients: walking, fatigue and quality of life

Purpose: To evaluate the effects of a six months exercise training program on walking capacity, fatigue and health related quality of life (HRQL). Relevance: Familial amyloidotic polyneuropathy disease (FAP) is an autossomic neurodegenerative disease, related with systemic deposition of amyloidal fibre mainly on peripheral nervous system and mainly produced in the liver. FAP often results in severe functional limitations. Liver transplantation is used as the only therapy so far, that stop the progression of some aspects of this disease. Transplantation requires aggressive medication which impairs muscle metabolism and associated to surgery process and previous possible functional impairments, could lead to serious deconditioning. Reports of fatigue are common feature in transplanted patients. The effect of supervised or home-based exercise training programs in FAP patients after a liver transplant (FAPTX) is currently unknown.

Effects of a randomized trial of exercise on body composition of liver transplanted patients

Liver transplantation is used as a only therapy so far, that stop the progression of some aspects of familial amyloidotic polyneuropathy disease (FAP) an autossomic neurodegenerative disease. FAP often results in severe functional limitations. Transplantation requires aggressive medication which impairs bone and muscle metabolism. Malnutrition plus weight loss is already one feature of FAP patients. All this may produce negative consequences on body composition. The effect of exercise training in FAP patients after a liver transplant (FAPTX) is currently unknown. The purpose of this study is to evaluate the effects of a six months exercise training program on body composition in FAPTX patients.

Relationship of balance to function independence in stroke survivors

Cerebral vascular disease is the primary cause of permanent disability in Portugal. Impaired stability is considered an important feature after stroke as it is related with higher risk of falls and functional dependence. Physiotherapy intervention usually starts early after stroke in order to direct motor recovery and help patients to improve their ability to perform activities of daily living (ADL). Purpose: to investigate the relationship of balance to functionality in acute stroke patients. Methods: 16 subjects (8 women and 8 men), mean age 63,62 ± 2,16y, with unilateral ischemic stroke in the middle cerebral artery territory, who were admitted to physiotherapy department of Fernando Fonseca Hospital in Portugal, within the first month after stroke were recruited to participate in this study. All subjects have no cognitive impairment according to Mini Mental State, no history of lower extremity orthopedic problems and no other disease that could interfere with treatments. All patients gave their inform consent to participate in this study. Subjects were assessed with the Modified Barthel Index (MBI) and the Berg Balance Scale (BBS).

Statistical classification of road pavements using near field vehicle rolling noise measurements

Low noise surfaces have been increasingly considered as a viable and cost-effective alternative to acoustical barriers. However, road planners and administrators frequently lack information on the correlation between the type of road surface and the resulting noise emission profile. To address this problem, a method to identify and classify different types of road pavements was developed, whereby near field road noise is analyzed using statistical learning methods. The vehicle rolling sound signal near the tires and close to the road surface was acquired by two microphones in a special arrangement which implements the Close-Proximity method. A set of features, characterizing the properties of the road pavement, was extracted from the corresponding sound profiles. A feature selection method was used to automatically select those that are most relevant in predicting the type of pavement, while reducing the computational cost. A set of different types of road pavement segments were tested and the performance of the classifier was evaluated. Results of pavement classification performed during a road journey are presented on a map, together with geographical data. This procedure leads to a considerable improvement in the quality of road pavement noise data, thereby increasing the accuracy of road traffic noise prediction models.

A two-Higgs doublet model with remarkable CP properties

We analyze generalized CP symmetries of two-Higgs doublet models, extending them from the scalar to the fermion sector of the theory. We show that, other than the usual CP transformation, there is only one of those symmetries which does not imply massless charged fermions. That single model which accommodates a fermionic mass spectrum compatible with experimental data possesses a remarkable feature. Through a soft breaking of the symmetry it displays a new type of spontaneous CP violation, which does not occur in the scalar sector responsible for the symmetry breaking mechanism but, rather, in the fermion sector.

Risco e incerteza no pensamento biomédico: notas teóricas sobre o advento da quantificação e da prova experimental na medicina moderna

A biomedicina é um domínio do saber no qual a proliferação do conceito de risco se tem evidenciado de forma expressiva, o que revela uma preocupação em proceder ao controlo sistemático dos problemas através de um modelo de racionalização instrumental. Tal procedimento é elucidativo do investimento que é feito na interpretação das incertezas como riscos. Consequentemente, a dimensão estatística que lhe está associada é cada vez mais um dos principais traços do seu perfil científico. Biomedicine is a field where the concept of risk has shown an impressive increase in its importance. This fact demonstrates a concern with a systematic problem control through an instrumental rationalizing model, expressing eloquently the investment being made in interpreting uncertainty as risk and the consequent statistical dimension as an ever-more quintessential feature of its scientific profile.