Insulin and epidermal growth factor (EGF) stimulate a rapid but transient increase in the amount of GTP bound to Ras that returns to the basal GDP-bound state within 10-30 min. Although insulin stimulation resulted in a dissociation of the Grb2.SOS complex, EGF did not affect the Grb2.SOS complex but instead induced dissociation of Grb2-SOS from tyrosine-phosphorylated Shc. The dissociation of ...

Systems-of-Systems (SoS) are formed by independent systems termed as constituents. SoS exhibit dynamic properties called emergent behaviors, which are a global functionality that appears as a result of the interoperability among constituents. However, software architecture descriptions of SoS are often static. In turn, dynamic models such as simulation models (also adopted to specify SoS) do no...

BACKGROUND Repairing DNA damage begins with its detection and is often followed by elicitation of a cellular response. In E. coli, RecA polymerizes on ssDNA produced after DNA damage and induces the SOS Response. The RecA-DNA filament is an allosteric effector of LexA auto-proteolysis. LexA is the repressor of the SOS Response. Not all RecA-DNA filaments, however, lead to an SOS Response. Certa...

Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for efficient verification of SoS. We address three relevant aspects for systems of systems: 1) the model of the SoS, which includes stochastic aspects; 2) the formalization of the SoS requirements in the form of contracts;...

Optimizing the sequence of operations (SOS) is important factor in improving the productivity of machines and reducing the production cost. However, CNC programing packages are available and have been significantly improved program generation for CNC machines, but in most of these packages the SOS optimization is not considered. This paper, introduce an efficient solution to optimized SOS for m...

Ras GTPases function as binary switches in signaling pathways controlling cell growth and differentiation. The guanine nucleotide exchange factor Sos mediates the activation of Ras in response to extracellular signals. We have previously solved the crystal structure of nucleotide-free Ras in complex with the catalytic domain of Sos (Boriack-Sjodin, P. A., Margarit, S. M., Bar-Sagi, D., and Kuri...