scholarly journals A composite approach towards a complete model of the myosin rod

2015 ◽  
Vol 84 (1) ◽  
pp. 172-189 ◽  
Author(s):  
E. Nihal Korkmaz ◽  
Keenan C. Taylor ◽  
Michael P. Andreas ◽  
Guatam Ajay ◽  
Nathan T. Heinze ◽  
...  
Keyword(s):  
Complete Model ◽  
Composite Approach ◽  
Myosin Rod

scholarly journals Verification and Strategy Synthesis for Coalition Announcement Logic

2021 ◽  
Author(s):  
Natasha Alechina ◽  
Hans van Ditmarsch ◽  
Rustam Galimullin ◽  
Tuo Wang
Keyword(s):  
Model Checking ◽  
Proof Of Concept ◽  
Model Checker ◽  
Complete Model ◽  
Concept Model ◽  
The Family ◽  
Winning Strategies ◽  
Epistemic Goals

AbstractCoalition announcement logic (CAL) is one of the family of the logics of quantified announcements. It allows us to reason about what a coalition of agents can achieve by making announcements in the setting where the anti-coalition may have an announcement of their own to preclude the former from reaching its epistemic goals. In this paper, we describe a PSPACE-complete model checking algorithm for CAL that produces winning strategies for coalitions. The algorithm is implemented in a proof-of-concept model checker.

scholarly journals A Region of the Myosin Rod Important for Interaction With Paramyosin in Caenorhabditis elegans Striated Muscle

Genetics ◽  
2000 ◽  
Vol 156 (2) ◽  
pp. 631-643
Author(s):  
Pamela E Hoppe ◽  
Robert H Waterston
Keyword(s):  
Caenorhabditis Elegans ◽  
Heavy Chain ◽  
Molecular Interaction ◽  
Striated Muscle ◽  
Genetic Interaction ◽  
Specific Interaction ◽  
Thick Filament ◽  
Parallel Arrangement ◽  
Myosin Rod

Abstract The precise arrangement of molecules within the thick filament, as well as the mechanisms by which this arrangement is specified, remains unclear. In this article, we have exploited a unique genetic interaction between one isoform of myosin heavy chain (MHC) and paramyosin in Caenorhabditis elegans to probe the molecular interaction between MHC and paramyosin in vivo. Using chimeric myosin constructs, we have defined a 322-residue region of the MHC A rod critical for suppression of the structural and motility defects associated with the unc-15(e73) allele. Chimeric constructs lacking this region of MHC A either fail to suppress, or act as dominant enhancers of, the e73 phenotype. Although the 322-residue region is required for suppression activity, our data suggest that sequences along the length of the rod also play a role in the isoform-specific interaction between MHC A and paramyosin. Our genetic and cell biological analyses of construct behavior suggest that the 322-residue region of MHC A is important for thick filament stability. We present a model in which this region mediates an avid interaction between MHC A and paramyosin in parallel arrangement in formation of the filament arms.

scholarly journals Benchmarking the Fluxional Processes of Organometallic Piano-Stool Complexes

Molecules ◽  
2021 ◽  
Vol 26 (8) ◽  
pp. 2310
Author(s):  
Nathan C. Frey ◽  
Eric Van Dornshuld ◽  
Charles Edwin Webster
Keyword(s):  
Transition Metals ◽  
Density Functional ◽  
Chemical Shifts ◽  
Transition States ◽  
Electronic Energy ◽  
Basis Set ◽  
Composite Approach ◽  
Temperature Regimes ◽  
Correlation Consistent Composite Approach ◽  
Correlation Consistent

The correlation consistent Composite Approach for transition metals (ccCA-TM) and density functional theory (DFT) computations have been applied to investigate the fluxional mechanisms of cyclooctatetraene tricarbonyl chromium ((COT)Cr(CO)3) and 1,3,5,7-tetramethylcyclooctatetraene tricarbonyl chromium, molybdenum, and tungsten ((TMCOT)M(CO)3 (M = Cr, Mo, and W)) complexes. The geometries of (COT)Cr(CO)3 were fully characterized with the PBEPBE, PBE0, B3LYP, and B97-1 functionals with various basis set/ECP combinations, while all investigated (TMCOT)M(CO)3 complexes were fully characterized with the PBEPBE, PBE0, and B3LYP methods. The energetics of the fluxional dynamics of (COT)Cr(CO)3 were examined using the correlation consistent Composite Approach for transition metals (ccCA-TM) to provide reliable energy benchmarks for corresponding DFT results. The PBE0/BS1 results are in semiquantitative agreement with the ccCA-TM results. Various transition states were identified for the fluxional processes of (COT)Cr(CO)3. The PBEPBE/BS1 energetics indicate that the 1,2-shift is the lowest energy fluxional process, while the B3LYP/BS1 energetics (where BS1 = H, C, O: 6-31G(d′); M: mod-LANL2DZ(f)-ECP) indicate the 1,3-shift having a lower electronic energy of activation than the 1,2-shift by 2.9 kcal mol−1. Notably, PBE0/BS1 describes the (CO)3 rotation to be the lowest energy process, followed by the 1,3-shift. Six transition states have been identified in the fluxional processes of each of the (TMCOT)M(CO)3 complexes (except for (TMCOT)W(CO)3), two of which are 1,2-shift transition states. The lowest-energy fluxional process of each (TMCOT)M(CO)3 complex (computed with the PBE0 functional) has a ΔG‡ of 12.6, 12.8, and 13.2 kcal mol−1 for Cr, Mo, and W complexes, respectively. Good agreement was observed between the experimental and computed 1H-NMR and 13C-NMR chemical shifts for (TMCOT)Cr(CO)3 and (TMCOT)Mo(CO)3 at three different temperature regimes, with coalescence of chemically equivalent groups at higher temperatures.

On flexible link manipulators: modeling and analysis using the algebra of rotations

Robotica ◽  
1994 ◽  
Vol 12 (4) ◽  
pp. 371-382 ◽  
Author(s):  
F. Xi ◽  
R.G. Fenton
Keyword(s):  
Nonlinear Coupling ◽  
Flexible Link ◽  
Complete Model ◽  
Modeling And Analysis ◽  
Displacement Equation

SUMMARYIn this paper, a complete model of the elasto-kinematics is formulated in terms of a new kinematic notation, called the algebra of rotations. Based on this formulation, the elegant and concise expressions are derived for the displacement equation and especially the Jacobians governing the motion mapping between the manipulator tip and joint variables as well as link deflections. Introduction of the elasto-kinematics into the elasto-dynamics can directly take into consideration the nonlinear coupling between joint variables and link deflections, and thus improve the result of the elasto-dynamics.

scholarly journals Reversible helix-coil transition of pig stomach myosin rod

FEBS Letters ◽  
1983 ◽  
Vol 162 (1) ◽  
pp. 189-192 ◽  
Author(s):  
R.A. Cross ◽  
R.G. Bardsley ◽  
D.A. Ledward ◽  
J.V. Small ◽  
A. Sobieszek
Keyword(s):  
Coil Transition ◽  
Myosin Rod
Sign in / Sign up

Export Citation Format

Share Document