M. Emília C. Duarte

Learn More
A variety of genetic alterations are considered hallmarks of cancer development and progression. The Ikaros gene family, encoding for key transcription factors in hematopoietic development, provides several examples as genetic defects in these genes are associated with the development of different types of leukemia. However, the complex patterns of(More)
Warnings are a very important method to control hazards and to promote safety. Despite its importance, warnings have important gaps that limit their validity and make its design so difficult. In this sense, warnings effectiveness evaluation is crucial to guarantee effective people safety. However, warnings traditional evaluation methodologies have several(More)
We describe work in progress to create a system for organising and presenting a set of challenge problems collected by the Induction Theorem Proving community. These challenge problems come from a number of sources and are presented in different logics using different presentation conventions. The intention is to provide a system which will allow these(More)
  • 1