TBCCD1, a new centrosomal protein, is required for centrosome and Golgi apparatus positioning

In animal cells the centrosome is positioned at the cell centre in close association with the nucleus. The mechanisms responsible for this are not completely understood. Here, we report the first characterization of human TBCC-domain containing 1 (TBCCD1), a protein related to tubulin cofactor C. TBCCD1 localizes at the centrosome and at the spindle midzone, midbody and basal bodies of primary and motile cilia. Knockdown of TBCCD1 in RPE-1 cells caused the dissociation of the centrosome from the nucleus and disorganization of the Golgi apparatus. TBCCD1-depleted cells are larger, less efficient in primary cilia assembly and their migration is slower in wound-healing assays. However, the major microtubule-nucleating activity of the centrosome is not affected by TBCCD1 silencing. We propose that TBCCD1 is a key regulator of centrosome positioning and consequently of internal cell organization.

Famílias de crianças com perturbações do espectro do autismo: contributos para a compreensão das suas necessidades

Dissertação apresentada à Escola Superior de Educação de Lisboa para a obtenção do grau de Mestre em Ciências da Educação - Especialização em Intervenção Precoce

On the analysis of compensation correctness

One fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challenge in service composition is ensuring correctness of transaction recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to transaction recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from faults, as correct compositions of compensable processes. Moreover, we develop an automated verification approach and we apply it to an illustrative case study.