Learn More
In addition to its role in controlling cell cycle progression, the tumor suppressor protein p53 can also affect other cellular functions such as cell migration. In this study, we show that p53 deficiency in mouse embryonic fibroblasts cultured in three-dimensional matrices induces a switch from an elongated spindle morphology to a markedly spherical and(More)
Rho GTPases are key regulators of tumour cell invasion and therefore constitute attractive targets for the design of anticancer agents. Several strategies have been developed to modulate their increased activities during cancer progression. Interestingly, none of these approaches took into account the existence of the well-known antagonistic relationship(More)
Embedded system control often relies on linear systems, which admit quadratic invariants. The parts of the code that host linear system implementations need dedicated analysis tools, since intervals or linear abstract domains will give imprecise results, if any at all, on these systems. Previous work by FERET proposes a specific abstraction for digital(More)
We describe an algebra of Edge-Valued Decision Diagrams (EVMDDs) to encode arithmetic functions and its implementation in a model checking library. We provide efficient algorithms for manipulating EVMDDs and review the theoretical time complexity of these algorithms for all basic arithmetic and relational operators. We also demonstrate that the time(More)
—Many Wireless Sensor Networks (WSN) applications success is contingent upon the reliable delivery of high-priority events from many scattered sensors to one or more sink nodes. In particular, WSN has to be self-adaptive and resilient to errors by providing efficient mechanisms for information distribution especially in the multi-hop scenario. To meet the(More)
BACKGROUND Ras-mediated transformation of mammalian cells has been shown to activate multiple signalling pathways, including those involving mitogen-activated protein kinases and the small GTPase Rho. Members of the Rho family affect cell morphology by controlling the formation of actin-dependent structures: specifically, filopodia are induced by Cdc42Hs,(More)
We report here that transport of the protein product of the c-fos proto-oncogene from the cytoplasm, where it is synthesized, into the nucleus, where it operates as part of the AP-1 transcription complex, is not spontaneous but depends on the continuous stimulation of cells by serum factors. A labile protein inhibitor of transport, the effect of which is(More)
The Krüppel-like zinc finger protein ZNF217 is a candidate oncogene in breast cancer. In this study, we showed that high levels of expression of ZNF217 mRNA are associated with poor prognosis and the development of metastases in breast cancer. Overexpression of ZNF217 in breast cancer cells stimulated migration and invasion in vitro and promoted the(More)