We describe a translation of scenarios given in UML 2.0 sequence diagrams into a tuples-based behavioural model that considers multiple access points for a participating instance and exhibits true-concurrency. This is important in a component setting since different access points are connected to different instances, which have no knowledge of each other. Interactions specified in a scenario ar...

Protein unfolding is an important step in several cellular processes such as protein degradation by ATP-dependent proteases and protein translocation across some membranes. Recent studies have shown that the mechanisms of protein unfolding in vivo differ from those of the spontaneous unfolding in vitro measured by solvent denaturation. Proteases and translocases pull at a substrate polypeptide ...

OBJECTIVE Aortic unfolding occurs with aging and reflects proximal aortic dilation, aortic arch widening, and decreased curvature. This study 1) evaluated the relationship between aortic unfolding measured using non-contrast cardiac-gated computed tomography (CT) and age, 2) assessed factors influencing aortic unfolding, and 3) determined the association of this measurement with coronary artery...

To improve automation and traceability of search-based refactoring, in this thesis we propose a formulation of using graph transformation, where graphs represent object-oriented software architectures at the class level and rules describe refactoring operations. This formalisation allows us to make use of partial order semantics and an associated analysis technique, the approximated unfolding o...

Investigating and deciphering the dynamics of photoswitchable foldamers provides a detailed understanding of their photoinduced conformational transitions, resembling similar processes in photoresponsive biomacromolecules. We studied the ultrafast dynamics of the photoisomerization of azobenzene moieties embedded in a foldamer backbone and the resulting conformational helix-coil transition by t...

The amino acid sequence of a protein determines both its final folded structure and the folding mechanism by which this structure is attained. The differences in folding behaviour between homologous proteins provide direct insights into the factors that influence both thermodynamic and kinetic properties. Here, we present a comprehensive thermodynamic and kinetic analysis of three homologous ho...

the thermal denaturation of α-amylase from bacillus amyloliquefaciens has been investigated in the presence and absence of sodium dodecyl sulphate (sds) over the temperature range (293-373) k in 20 mm sodium phosphate buffer, ph 6.9, using temperature scanning spectroscopy. the presence of sds caused the destabilization of α-amylase resulting in a decrease in the temperature of unfolding with a...

To search for submolecular foldon units, the spontaneous reversible unfolding and refolding of staphylococcal nuclease under native conditions was studied by a kinetic native-state hydrogen exchange (HX) method. As for other proteins, it appears that staphylococcal nuclease is designed as an assembly of well-integrated foldon units that may define steps in its folding pathway and may regulate s...

The conformation change of bovine hemoglobin (Hb) during the unfolding process induced by urea and acid was investigated by an electrochemical method. Hb unfolding induced by urea of different concentrations was realized by bonding Hb onto a 3-mercaptopropionic acid (MPA) modified gold electrode. The difference in unfolding percentage showed that the Hb unfolding induced by urea was a two-step,...

There are two known ways to unfold a convex polyhedron without overlap: the star unfolding and the source unfolding, both of which use shortest paths from vertices to a source point on the surface of the polyhedron. Non-overlap of the source unfolding is straightforward; non-overlap of the star unfolding was proved by Aronov and O’Rourke in 1992. Our first contribution is a much simpler proof o...