The Affinity Propagation (AP) clustering algorithm proposed by Frey and Dueck (2007) provides an understandable, nearly optimal summary of a data set, through message passing among all pairs of data items. However, it suffers two major shortcomings: i) the number of clusters is vague with the user-defined parameter called self-confidence, and ii) the quadratic computational complexity. When aim...

The Scientific Council (SC) hereby submits its third Report to the A3ES – the Agency for the Evaluation and Accreditation of Higher Education in Portugal. As in the past, we appreciate both the invitation to discuss the current and future state of affairs regarding quality assurance in Portugal, as well as the willingness of the Agency and its leadership to engage frankly and openly in a compre...

Aims: To determine whether the computerised version of the new aniseikonia test (NAT) is a valid, reliable method to measure aniseikonia and establish whether aniseikonia occurs in patients with epiretinal membranes (ERM) with preserved good visual acuity. Methods: With a computerised version of the NAT, horizontal and vertical aniseikonia was measured in 16 individuals (mean 47 (SD 16.46) year...

ion Technique The use of abstractions and compositional reasoning to tackle the state explosion problem was investigated in [Fre06] where a simulation relation between a complex component was computed. To overcome some inherent problems in this approach we shifted our attention to generating abstractions as part of the analysis itself. Counterexample guided abstraction refinement (CEGAR) automa...