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

Prática de ensino supervisionado no 1.º e 2.º ciclo do ensino básico: calculo mental: um estudo sobre as estratégias utilizadas por alunos do 1.º e do 2.º ciclo do ensino básico

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e do 2.º Ciclo do Ensino Básico

A divisão no 4º ano de escolaridade

Dissertação apresentada para obtenção do grau de Mestre em Educação Matemática na Educação Pré-Escolar e nos 1.º e 2.º Ciclos do Ensino Básico

Prática de ensino supervisionadas do 1º e 2º ciclo do ensino básico: um estudo sobre as estratégias de cálculo mental utilizadas por alunos do 2º ciclo do ensino básico

Relatório Final apresentado à Escola Superior de Educação de Lisboa para obtenção do grau de mestre em Ensino do 1º e do 2º Ciclo de Ensino Básico

Cálculo mental com números racionais não negativos: um estudo sobre as estratégias utilizadas por alunos do 4.º ano de escolaridade

Relatório Final apresentado à Escola Superior de Educação de Lisboa para a obtenção de grau de mestre em Ensino do 1.º e 2.º Ciclo do Ensino Básico

A influência dos jogos matemáticos na predisposição dos alunos para a matemática e na sua aprendizagem

Relatório de estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e do 2.º Ciclo do Ensino Básico

Cálculo mental – um estudo sobre as estratégias utilizadas por alunos do 3.º ano na adição e subtração

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e do 2.º Ciclo do Ensino Básico

A família, uma estratégia para o sucesso escolar. Um estudo de caso com alunos do 2.º ano do 1.º CEB

O estudo que aqui apresentamos tem como objetivos estudar: o impacto do acompanhamento dos pais ou Encarregados de Educação no Estudo Autónomo e na realização dos Trabalhos de Casa, nos resultados escolares e na motivação para a escola e aprendizagens; ainda as necessidades sentidas pelos pais ou Encarregados de Educação ao fazerem este acompanhamento Neste estudo elaboramos seis propostas que planificamos, analisamos e, do seu desenvolvimento, tiramos as respetivas conclusões. As propostas foram dinamizadas pelo professor de turma e investigador em pequenas sessões/reuniões de esclarecimento com os pais ou Encarregados de Educação sendo quatro delas aplicadas num 2.º ano de escolaridade e as outras duas a um 3.º ano. Nas propostas do 2.º ano foram trabalhadas as frações e as estratégias de cálculo mental bem como foi dinamizado o projeto “Clube de Pais Leitores” e o “Concurso de Espantalhos” também aberto à comunidade educativa. Nas propostas do 3.º ano de escolaridade abordamos as propriedades da multiplicação, sua utilização no cálculo mental, a consolidação da operação divisão através do jogo do 24 e orientações para o Estudo Acompanhado e Trabalhos de Casa para auxiliar os pais ou Encarregados de Educação. Com a implementação destas tarefas, apresentamos os tipos de envolvimento parental solicitado por cada atividade, os benefícios para a família, aluno e professor, os sistemas envolvidos no processo de desenvolvimento da criança e os fatores que influenciaram negativamente na realização destas atividades. A implementação destas atividades foi feita seguindo uma metodologia qualitativa, inserida num contexto de um estudo de caso. Os participantes no estudo foram entrevistados com o objetivo de completar o estudo realizado através do seu feedback. Neste estudo fizemos uma revisão bibliográfica e abordámos o envolvimento dos pais ou Encarregados de Educação e famílias na escola numa perspetiva cronológica, a tipologia de envolvimento parental na escola, os sistemas que influenciam o desenvolvimento da criança e ainda uma referência aos benefícios para a comunidade educativa do envolvimento parental e familiar na escola. Através dos dados obtidos, pudemos verificar que o acompanhamento dos pais ou Encarregados de Educação no Estudo Autónomo e Trabalhos de Casa e nos projetos de turma traz bastantes benefícios para todos os elementos da comunidade educativa, sendo o aluno o mais beneficiado, e influenciado primariamente pela família em articulação com a escola e comunidade. Também verificamos que os pais ou Encarregados de Educação têm necessidades de estarem informados sobre conteúdos escolares e serem conhecedores das estratégias utilizadas na sala de aulas pelo que, sem isto, apresentam dificuldades em acompanharem os seus educados em casa. A realização deste estudo visa contribuir para a compreensão das necessidades sentidas pelos pais ou Encarregados de Educação no acompanhamento do Estudo Autónomo e Trabalho de Casa e as formas de dinamizar a cooperação entre o professor da turma e a família, promovendo o sucesso e a motivação escolar. Palavras-chave: Cooperação; Envolvimento; Família; Alunos; Escola.

Desenvolvimento da fluência no cálculo mental através do uso de estratégias de cálculo: um estudo no 4.º e no 6.º ano de escolaridade

Relatório de estágio de mestrado em Ensino do 1º e 2º Ciclo do Ensino Básico

L’aprenentatge de càlcul mental a través de jocs a un aula d’educació primària

Aquest treball es basa en identificar les estratègies de càlcul mental que fan servir alumnes de quart de primària. Aquesta identificació es realitza a partir de la resolució d’operacions per part dels alumnes i el seu posterior anàlisi. A partir de les estratègies que hagin sorgit, es realitzarà una intervenció didàctica basada en jocs matemàtics per tal de descobrir i treballar noves estratègies matemàtiques. Finalment, amb una nova prova es comprovarà si els nens i nenes coneixen i apliquen diferents estratègies pel càlcul mental. Amb aquesta intervenció es pretén comprovar si a partir de jocs els nens i nenes milloren les estratègies de càlcul mental.

O desenvolvimento e integração de estratégias de cálculo mental no 5.º ano de escolaridade

Relatório de estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e 2.º Ciclo do Ensino Básico

Social structures, genetic structures and dispersal strategies in Australian rabbit (Oryctolagus cuniculus) populations

In this study, the pattern of movement of young male and female rabbits and the genetic structures present in adult male and female populations in four habitats was examined. The level of philopatry in young animals was found to vary between 18-90% for males and 32-95% for females in different populations. It was skewed, with more males dispersing than females in some but not all populations. Analysis of allozyme data using spatial autocorrelation showed that adult females from the same social group, unlike males, were significantly related in four of the five populations studied. Changes in genetic structure and rate of dispersal were measured before and during the recovery of a population that was artificially reduced in size. There were changes in the rate and distance of dispersal with density and sex. Subadults of both sexes moved further in the first year post crash (low density) than in the following years. While the level of dispersal for females was lower than that of the males for the first 3 years, thereafter (high density) both sexes showed similar, low levels of dispersal (20%). The density at which young animals switch behaviour between dispersal and philopatry differed for males and females. The level of genetic structuring in adult females was high in the precrash population, reduced in the first year post crash and undetectable in the second year. Dispersal behaviour of rabbits both affects the genetic structure of the population and changes with conditions. Over a wide range of levels of philopatry, genetic structuring is present in the adult female, but not the male population. Consequently, though genetic structuring is present, it does not lead to inbreeding. More long-distance movements are found in low-density populations, even though vacant warrens are available near birth warrens. The distances moved decreased as density increased. Calculation of the effective population size (N-e) shows that changes in dispersal distance offset changes in density, so that N-e remains constant.

A comparison of low-storage strategies for spectral analysis in dissipative systems: filter diagonalisation in the Lanczos representation and harmonic inversion of the Chebychev-order-domain autocorrelation function

We compare the performance of two different low-storage filter diagonalisation (LSFD) strategies in the calculation of complex resonance energies of the HO2, radical. The first is carried out within a complex-symmetric Lanczos subspace representation [H. Zhang, S.C. Smith, Phys. Chem. Chem. Phys. 3 (2001) 2281]. The second involves harmonic inversion of a real autocorrelation function obtained via a damped Chebychev recursion [V.A. Mandelshtam, H.S. Taylor, J. Chem. Phys. 107 (1997) 6756]. We find that while the Chebychev approach has the advantage of utilizing real algebra in the time-consuming process of generating the vector recursion, the Lanczos, method (using complex vectors) requires fewer iterations, especially for low-energy part of the spectrum. The overall efficiency in calculating resonances for these two methods is comparable for this challenging system. (C) 2001 Elsevier Science B.V. All rights reserved.

A peripheral dose calculation model for estimating second cancer risk after breast radiotherapy

AbstractBreast cancer is one of the most common cancers affecting one in eight women during their lives. Survival rates have increased steadily thanks to early diagnosis with mammography screening and more efficient treatment strategies. Post-operative radiation therapy is a standard of care in the management of breast cancer and has been shown to reduce efficiently both local recurrence rate and breast cancer mortality. Radiation therapy is however associated with some late effects for long-term survivors. Radiation-induced secondary cancer is a relatively rare but severe late effect of radiation therapy. Currently, radiotherapy plans are essentially optimized to maximize tumor control and minimize late deterministic effects (tissue reactions) that are mainly associated with high doses (» 1 Gy). With improved cure rates and new radiation therapy technologies, it is also important to evaluate and minimize secondary cancer risks for different treatment techniques. This is a particularly challenging task due to the large uncertainties in the dose-response relationship.In contrast with late deterministic effects, secondary cancers may be associated with much lower doses and therefore out-of-field doses (also called peripheral doses) that are typically inferior to 1 Gy need to be determined accurately. Out-of-field doses result from patient scatter and head scatter from the treatment unit. These doses are particularly challenging to compute and we characterized it by Monte Carlo (MC) calculation. A detailed MC model of the Siemens Primus linear accelerator has been thoroughly validated with measurements. We investigated the accuracy of such a model for retrospective dosimetry in epidemiological studies on secondary cancers. Considering that patients in such large studies could be treated on a variety of machines, we assessed the uncertainty in reconstructed peripheral dose due to the variability of peripheral dose among various linac geometries. For large open fields (> 10x10 cm2), the uncertainty would be less than 50%, but for small fields and wedged fields the uncertainty in reconstructed dose could rise up to a factor of 10. It was concluded that such a model could be used for conventional treatments using large open fields only.The MC model of the Siemens Primus linac was then used to compare out-of-field doses for different treatment techniques in a female whole-body CT-based phantom. Current techniques such as conformai wedged-based radiotherapy and hybrid IMRT were investigated and compared to older two-dimensional radiotherapy techniques. MC doses were also compared to those of a commercial Treatment Planning System (TPS). While the TPS is routinely used to determine the dose to the contralateral breast and the ipsilateral lung which are mostly out of the treatment fields, we have shown that these doses may be highly inaccurate depending on the treatment technique investigated. MC shows that hybrid IMRT is dosimetrically similar to three-dimensional wedge-based radiotherapy within the field, but offers substantially reduced doses to out-of-field healthy organs.Finally, many different approaches to risk estimations extracted from the literature were applied to the calculated MC dose distribution. Absolute risks varied substantially as did the ratio of risk between two treatment techniques, reflecting the large uncertainties involved with current risk models. Despite all these uncertainties, the hybrid IMRT investigated resulted in systematically lower cancer risks than any of the other treatment techniques. More epidemiological studies with accurate dosimetry are required in the future to construct robust risk models. In the meantime, any treatment strategy that reduces out-of-field doses to healthy organs should be investigated. Electron radiotherapy might offer interesting possibilities with this regard.RésuméLe cancer du sein affecte une femme sur huit au cours de sa vie. Grâce au dépistage précoce et à des thérapies de plus en plus efficaces, le taux de guérison a augmenté au cours du temps. La radiothérapie postopératoire joue un rôle important dans le traitement du cancer du sein en réduisant le taux de récidive et la mortalité. Malheureusement, la radiothérapie peut aussi induire des toxicités tardives chez les patients guéris. En particulier, les cancers secondaires radio-induits sont une complication rare mais sévère de la radiothérapie. En routine clinique, les plans de radiothérapie sont essentiellement optimisées pour un contrôle local le plus élevé possible tout en minimisant les réactions tissulaires tardives qui sont essentiellement associées avec des hautes doses (» 1 Gy). Toutefois, avec l'introduction de différentes nouvelles techniques et avec l'augmentation des taux de survie, il devient impératif d'évaluer et de minimiser les risques de cancer secondaire pour différentes techniques de traitement. Une telle évaluation du risque est une tâche ardue étant donné les nombreuses incertitudes liées à la relation dose-risque.Contrairement aux effets tissulaires, les cancers secondaires peuvent aussi être induits par des basses doses dans des organes qui se trouvent hors des champs d'irradiation. Ces organes reçoivent des doses périphériques typiquement inférieures à 1 Gy qui résultent du diffusé du patient et du diffusé de l'accélérateur. Ces doses sont difficiles à calculer précisément, mais les algorithmes Monte Carlo (MC) permettent de les estimer avec une bonne précision. Un modèle MC détaillé de l'accélérateur Primus de Siemens a été élaboré et validé avec des mesures. La précision de ce modèle a également été déterminée pour la reconstruction de dose en épidémiologie. Si on considère que les patients inclus dans de larges cohortes sont traités sur une variété de machines, l'incertitude dans la reconstruction de dose périphérique a été étudiée en fonction de la variabilité de la dose périphérique pour différents types d'accélérateurs. Pour de grands champs (> 10x10 cm ), l'incertitude est inférieure à 50%, mais pour de petits champs et des champs filtrés, l'incertitude de la dose peut monter jusqu'à un facteur 10. En conclusion, un tel modèle ne peut être utilisé que pour les traitements conventionnels utilisant des grands champs.Le modèle MC de l'accélérateur Primus a été utilisé ensuite pour déterminer la dose périphérique pour différentes techniques dans un fantôme corps entier basé sur des coupes CT d'une patiente. Les techniques actuelles utilisant des champs filtrés ou encore l'IMRT hybride ont été étudiées et comparées par rapport aux techniques plus anciennes. Les doses calculées par MC ont été comparées à celles obtenues d'un logiciel de planification commercial (TPS). Alors que le TPS est utilisé en routine pour déterminer la dose au sein contralatéral et au poumon ipsilatéral qui sont principalement hors des faisceaux, nous avons montré que ces doses peuvent être plus ou moins précises selon la technTque étudiée. Les calculs MC montrent que la technique IMRT est dosimétriquement équivalente à celle basée sur des champs filtrés à l'intérieur des champs de traitement, mais offre une réduction importante de la dose aux organes périphériques.Finalement différents modèles de risque ont été étudiés sur la base des distributions de dose calculées par MC. Les risques absolus et le rapport des risques entre deux techniques de traitement varient grandement, ce qui reflète les grandes incertitudes liées aux différents modèles de risque. Malgré ces incertitudes, on a pu montrer que la technique IMRT offrait une réduction du risque systématique par rapport aux autres techniques. En attendant des données épidémiologiques supplémentaires sur la relation dose-risque, toute technique offrant une réduction des doses périphériques aux organes sains mérite d'être étudiée. La radiothérapie avec des électrons offre à ce titre des possibilités intéressantes.