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)
The microenvironment of a tumor can influence both the morphology and the behavior of cancer cells which, in turn, can rapidly adapt to environmental changes. Increasing evidence points to the involvement of amoeboid cell migration and thus of cell blebbing in the metastatic process; however, the cues that promote amoeboid cell behavior in physiological and(More)
Efficient network support of real-time group communications requires dedicated multiparty networking technologies, such as IP multicast, to send the same content simultaneously to multiple receivers, with intermediate routers duplicating packets as needed. The increasing popularity of group applications introduces new technical challenges to meet the users'(More)