We present a new method for unfolding a convex polyhedron into one piece without overlap, based on shortest paths to a convex curve on the polyhedron. Our “sun unfoldings” encompass source unfolding from a point, source unfolding from an open geodesic curve, and a variant of a recent method of Itoh, O’Rourke, and Vı̂lcu.

A little history shows something of these different approaches. Around 1979 we first discovered our complementary interests in concurrency. Tony at first expressed his ideas through the medium of a programming language [6], and I through a prototypical algebraic theory [8]. The difference became plainer as time went on. Tony was keen to find a single formalism in which specifications of concurr...

Urea-induced unfolding of lipoxygenase-1 (LOX1) at pH 7.0 was followed by enzyme activity, spectroscopic measurements, and limited proteolysis experiments. Complete unfolding of LOX1 in 9 M urea in the presence of thiol reducing or thiol modifying reagents was observed. The aggregation and oxidative reactions prevented the reversible unfolding of the molecule. The loss of enzyme activity was mu...

Questioning practice constitutes one of the typical and fundamental interactional tools in L2 teaching. Much L2 research on teacher questions has been quantitative studies focusing on identifying question types and their roles in language acquisition and meaning negotiation. However, by drawing on conversation analysis within a sociocultural perspective, this study examines qualitatively how EF...

In this paper we continue Feferman’s unfolding program initiated in [11] which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm [13] and for a s...

Domain 10 of type III fibronectin (10FNIII) is known to play a pivotal role in the mechanical interactions between cell surface integrins and the extracellular matrix. Recent molecular dynamics simulations have predicted that 10FNIII, when exposed to a stretching force, unfolds along two pathways, each with a distinct, mechanically stable intermediate. Here, we use single-molecule force spectro...

We present a new mechanism for passive wing morphing of flapping wings inspired by bat and bird wing morphology. The mechanism consists of an unactuated hand wing connected to the arm wing with a wrist joint. Flapping motion generates centrifugal accelerations in the hand wing, forcing it to unfold passively. Using a robotic model in hover, we made kinematic measurements of unfolding kinematics...

We study the mechanical unfolding of a simple model protein. The Langevin dynamics results are analyzed using Markov-model methods which allow to describe completely the configurational space of the system. Using transition-path theory we also provide a quantitative description of the unfolding pathways followed by the system. Our study shows a complex dynamical scenario. In particular, we see ...

The combination of high-resolution atomic force microscopy imaging and single-molecule force spectroscopy allows the identification, selection, and mechanical investigation of individual proteins. In a recent paper we had used this technique to unfold and extract single bacteriorhodopsins (BRs) from native purple membrane patches. We show that subsets of the unfolding spectra can be classified ...

The urea-induced denaturation of dimeric Erythrina indica lectin (EIL) has been studied at pH 7.2 under equilibrium and kinetic conditions in the temperature range of 40-55 degrees C. The structure of EIL is largely unaffected in this temperature range in absence of denaturant, and also in 8 M urea after incubation for 24 h at ambient temperature. The equilibrium denaturation of EIL exhibits a ...