Program slicing by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperative or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programs

Slicing functional programs by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually targeting either the imperative or the object oriented paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird- Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general alternative to slicing functional programs

Spatial variability of particle size fractions of an Oxisol cultivated with conilon coffee

Information on the spatial distribution of particle size fractions is essential for use planning and management of soils. The aim of this work to was to study the spatial variability of particle size fractions of a Typic Hapludox cultivated with conilon coffee. The soil samples were collected at depths of 0-0.20 and 0.20-0.40 m in the coffee canopy projection, totaling 109 georeferentiated points. At the depth of 0.2-0.4 m the clay fraction showed average value significantly higher, while the sand fraction showed was higher in the depth of 0-0.20 m. The silt showed no significant difference between the two depths. The particle size fractions showed medium and high spatial variability. The levels of total sand and clay have positive and negative correlation, respectively, with the altitude of the sampling points, indicating the influence of landscape configuration.

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.

Digital radiography detectors - A technical overview: Part 1

During the last two decades screen-film (SF) systems have been replaced by digital X-ray systems. The advent of digital technologies brought a number of digital solutions based on different detector and readout technologies. Improvements in technology allowed the development of new digital technologies for projection radiography such as computed radiography (CR) and digital radiography (DR). The large number of scientific papers concerning digital X-ray systems that have been published over the last 25 years indicates the relevance of these technologies in healthcare. There are important differences among different detector technologies that may affect system performance and image quality for diagnostic purposes. Radiographers are expected to have an effective understanding of digital X-ray technologies and a high level of knowledge and awareness concerning the capabilities of these systems. Patient safety and reliable diagnostic information are intrinsically linked to these factors. In this review article - which is the first of two parts - a global overview of the digital radiography systems (both CR and DR) currently available for clinical practice is provided.

Digital radiography detectors - A technical overview: Part 2

Digital X-ray detector technologies provide several advantages when compared with screen-film (SF) systems: better diagnostic quality of the radiographic image, increased dose efficiency, better dynamic range and possible reduction of radiation exposure to the patient. The transition from traditional SF systems to digital technology-based systems highlights the importance of the discussion around technical factors such as image acquisition, themanagement of patient dose and diagnostic image quality. Radiographers should be aware of these aspects concerning their clinical practice regarding the advantages and limitations of digital detectors. Newdigital technologies require an up-to-date of scientific knowledge concerning their use in projection radiography. This is the second of a two-part review article focused on a technical overview of digital radiography detectors. This article provides a discussion about the issues related to the image acquisition requirements and advantages of digital technologies, the management of patient dose and the diagnostic image quality.

Avaliação da dose glandular média (MGD) em três sistemas mamográficos

Este estudo tem por objectivos determinar a Dose Glandular Média - Mean Glandular Dose (MGD) - em 3 sistemas de Mamografia e comparar os valores obtidos com os referenciais internacionais. O estudo foi realizado num sistema analógico de Écran-Película (EP) e em dois sistemas de imagem digital (CR e DR). Foi efectuado o cálculo da Entrance Surface Air Kerma (ESAK) e da MGD em três equipamentos a partir de uma amostra de dados referentes a 30 mulheres assintomáticas, com idades compreendidas entre os 40 e 64 anos. Em cada equipamento objecto de análise, foram recolhidos os dados referentes a 10 mulheres. Foram consideradas as projecções crânio-caudal (CC) e oblíqua médio-lateral (MLO). A análise de resultados revelou que o valor de MGD varia quando se compara os três sistemas. Nas incidências CC os valores de MGD obtidos foram de 1,54 mGy (EP), 1,78 mGy (CR) e 0,82 mGy (DR). Nas incidências MLO o valor de MGD foi de 1,53 mGy no sistema EP, de 1,78 mGy no CR e 0,87 mGy no sistema DR. Constata-se que o valor de MGD na incidência de CC é inferior ao valor de MGD na incidência MLO, excepto para o sistema EP. Verifica-se também que o sistema EP apresenta maior variabilidade nos dados de MGD comparativamente com os restantes sistemas. O sistema DR é o que apresenta a menor variabilidade de valores MGD e também valores de MGD mais baixos. Comparando os resultados deste estudo com as referências internacionais, verifica-se que a MGD se encontra abaixo do limite de 2 mGy recomendado. ABSTRACT - This study aims to estimate the Mean Glandular Dose (MGD) associated with three different mammographic systems and compare the results with recommended international reference values. The systems included in the study included a conventional Screen-Film (SF) system and two digital mammography systems (CR and DR). Entrance Surface Air Kerma (ESAK) and MGD associated with each equipment were calculated. A sample of 30 healthy women (age ranging from 40 to 64 years old) undertaking screening mammography was considered in this study. The mammographic exam includes two projections, cranio-caudal (CC) and medio-lateral oblique (MLO). The MGD results obtained for CC projection were 1,54 mGy (SF), 1,78 mGy (CR) and 0,82 mGy (DR). MGD values for the MLO projection were 1,53 mGy (SF), 1,78 mGy (CR) and 0,87 mGy (DR). Results show that MGD value is slightly lower in the CC projection than in MLO, except for the SF system (1,54 mGy; 1,53 mGy). In addition the MGD for the SF system varied more than that associated with the digital systems. The DR system allows a narrow variation of MGD values and also lower MGD values. Comparing this study results with the international references we concluded that MGD values are below the 2 mGy recommended value for the three systems evaluated.

Autenticação de vídeo H.264/AVC

Hoje em dia, há cada vez mais informação audiovisual e as transmissões ou ficheiros multimédia podem ser partilhadas com facilidade e eficiência. No entanto, a adulteração de conteúdos vídeo, como informação financeira, notícias ou sessões de videoconferência utilizadas num tribunal, pode ter graves consequências devido à importância desse tipo de informação. Surge então, a necessidade de assegurar a autenticidade e a integridade da informação audiovisual. Nesta dissertação é proposto um sistema de autenticação de vídeo H.264/Advanced Video Coding (AVC), denominado Autenticação de Fluxos utilizando Projecções Aleatórias (AFPA), cujos procedimentos de autenticação, são realizados ao nível de cada imagem do vídeo. Este esquema permite um tipo de autenticação mais flexível, pois permite definir um limite máximo de modificações entre duas imagens. Para efectuar autenticação é utilizada uma nova técnica de autenticação de imagens, que combina a utilização de projecções aleatórias com um mecanismo de correcção de erros nos dados. Assim é possível autenticar cada imagem do vídeo, com um conjunto reduzido de bits de paridade da respectiva projecção aleatória. Como a informação de vídeo é tipicamente, transportada por protocolos não fiáveis pode sofrer perdas de pacotes. De forma a reduzir o efeito das perdas de pacotes, na qualidade do vídeo e na taxa de autenticação, é utilizada Unequal Error Protection (UEP). Para validação e comparação dos resultados implementou-se um sistema clássico que autentica fluxos de vídeo de forma típica, ou seja, recorrendo a assinaturas digitais e códigos de hash. Ambos os esquemas foram avaliados, relativamente ao overhead introduzido e da taxa de autenticação. Os resultados mostram que o sistema AFPA, utilizando um vídeo com qualidade elevada, reduz o overhead de autenticação em quatro vezes relativamente ao esquema que utiliza assinaturas digitais e códigos de hash.

Teaching and learning mathematics using moodle

This paper summarizes a project that is contributing to a change in the way of teaching and learning Mathematics. Mathematics is a subject of the Accounting and Administration course. In this subject we teach: Functions and Algebra. The aim is that the student understand the basic concepts and is able to apply them in other issues, when possible, establishing a bridge between the issues that they have studied and their application in Accounting. As from this year, the Accounting course falls under in Bologna Process. The teacher and the student roles have changed. The time for theoretical and practical classes has been reduced, so it was necessary to modify the way of teaching and learning. In the theoretical classes we use systems of multimedia projection to present the concepts, and in the practical classes we solve exercises. We also use the Excel and the mathematical open source software wxMaxima. To supplement our theoretical and practical classes we have developed a project called MatActiva based on the Moodle platform offered by PAOL - Projecto de Apoio Online (Online Support Project). With the creation of this new project we wanted to take advantage already obtained results with the previous experiences, giving to the students opportunities to complement their study in Mathematics. One of the great objectives is to motivate students, encourage them to overcome theirs difficulties through an auto-study giving them more confidence. In the MatActiva project the students have a big collection of information about the way of the subject works, which includes the objectives, the program, recommended bibliography, evaluation method and summaries. It works as material support for the practical and theoretical classes, the slides of the theoretical classes are available, the sheets with exercises for the students to do in the classroom and complementary exercises, as well as the exams of previous years. Students can also do diagnostic tests and evaluation tests online. Our approach is a reflexive one, based on the professional experience of the teachers that explore and incorporate new tools of Moodle with their students and coordinate the project MatActiva.

The active mathematics project at ISCAP

This paper summarizes a project that is contributing to a change in the way of teaching and learning Mathematics. Mathematics is a subject of the Accounting and Administration course. In this subject we teach: Functions and Algebra. The aim is that the students understand the basic concepts and is able to apply them in other issues, when possible, establishing a bridge between the issues that they have studied and their application in Accounting. As from this year, the Accounting course falls under in Bologna Process. The teacher and the student roles have changed. The time for theoretical and practical classes has been reduced, so it was necessary to modify the way of teaching and learning. In the theoretical classes we use systems of multimedia projection to present the concepts, and in the practical classes we solve exercises. To supplement our theoretical and practical classes we have developed an active mathematics project called MatActiva based on the Moodle platform offered by PAOL - Projecto de Apoio Online (Online Support Project). In the last versions of Moodle, it is possible use the TeX language to create math questions. Using this tool we created a set of interactive materials. With the creation of this new project we wanted to take advantage already obtained results with the previous experiences, giving to the students opportunities to complement their study in Mathematics. One of the great objectives is to motivate students, encourage them to overcome theirs difficulties through an auto-study, giving them more confidence and the opportunity to seeing others perspectives of the mathematics subjects. In the MatActiva project the students have a big collection of information about the way of the subject works, which includes the objectives, the program, recommended bibliography, evaluation method and summaries. It works as material support for the practical and theoretical classes, the slides of the theoretical classes are available, the sheets with exercises for the students to do in the classroom and complementary exercises, as well as the exams of previous years. Students can also do diagnostic tests and evaluation tests online. Our approach is a reflexive one, based on the professional experience of the teachers that explore and incorporate new tools of Moodle with their students and coordinate the project MatActiva.

Digital imaging systems for plain radiography

Advances in digital technology led to the development of digital x-ray detectors that are currently in wide use for projection radiography, including Computed Radiography (CR) and Digital Radiography (DR). Digital Imaging Systems for Plain Radiography addresses the current technological methods available to medical imaging professionals to ensure the optimization of the radiological process concerning image quality and reduction of patient exposure. Based on extensive research by the authors and reference to the current literature, the book addresses how exposure parameters influence the diagnostic quality in digital systems, what the current acceptable radiation doses are for useful diagnostic images, and at what level the dose could be reduced to maintain an accurate diagnosis. The book is a valuable resource for both students learning the field and for imaging professionals to apply to their own practice while performing radiological examinations with digital systems.

Technical considerations concerning digital technologies

This chapter addresses technical issues concerning digital technologies. Radiological equipment and technique are briefly introduced together with a discussion about requirements and advantages of digital technologies. Digital technologies offer several advantages when compared to conventional analogical systems, or screen–film (SF) systems. While in clinical practice the practitioners should be aware of technical factors such as image acquisition, management of patient dose, and diagnostic image quality. Thus, digital technologies require an up-to-date scientific knowledge concerning their use in projection radiography. In this chapter, technical considerations concerning digital technologies are provided.

O impacto da entrada das agências de rating nos países emergentes: estudo comparativo Brasil/Angola

Mestrado em Contabilidade e Gestão das Instituições Financeiras

Study of the influence of count’s number in myocardium in the determination of reproducible functional parameters in Gated-SPECT studies simulated with GATE

Myocardial Perfusion Gated Single Photon Emission Tomography (Gated-SPET) imaging is used for the combined evaluation of myocardial perfusion and left ventricular (LV) function. But standard protocols of the Gated-SPECT studies require long acquisition times for each study. It is therefore important to reduce as much as possible the total duration of image acquisition. However, it is known that this reduction leads to decrease on counts statistics per projection and raises doubts about the validity of the functional parameters determined by Gated-SPECT. Considering that, it’s difficult to carry out this analysis in real patients. For ethical, logistical and economical matters, simulated studies could be required for this analysis. Objective: Evaluate the influence of the total number of counts acquired from myocardium, in the calculation of myocardial functional parameters (LVEF – left ventricular ejection fraction, EDV – end-diastolic volume, ESV – end-sistolic volume) using routine software procedures.

3D-2D image registration by nonlinear regression

We propose a 3D-2D image registration method that relates image features of 2D projection images to the transformation parameters of the 3D image by nonlinear regression. The method is compared with a conventional registration method based on iterative optimization. For evaluation, simulated X-ray images (DRRs) were generated from coronary artery tree models derived from 3D CTA scans. Registration of nine vessel trees was performed, and the alignment quality was measured by the mean target registration error (mTRE). The regression approach was shown to be slightly less accurate, but much more robust than the method based on an iterative optimization approach.