This paper presents an analysis to create a general singularity condition for a mechanism that contains a deformable closed contour. This kinematic architecture is widely used in rigid-body shape changing mechanisms. The general singularity equation is reduced to a condensed form, which allows geometric relationships to be readily detected. A method for formulating the singularity condition for...

We recently described general principles for designing ideal protein structures stabilized by completely consistent local and nonlocal interactions. The principles relate secondary structure patterns to tertiary packing motifs and enable design of different protein topologies. To achieve fine control over protein shape and size within a particular topology, we have extended the design rules by ...

in the present work, magnetic nanocomposites of the multi-walled carbon nanotubes (mwcnts) decorated with magnesium ferrite (mgfe2o4) nanoparticles were synthesized successfully by citrate-gel method. the shape, structure, size, and properties of the as-synthesized sample were characterized by fourier transform infrared spectroscopy (ftir), x-ray diffraction pattern (xrd), transmission electron...

A new method is introduced for predicting control voltages that will generate a prescribed surface shape on a deformable mirror. The algorithm is based upon an analytical elastic model of the mirror membrane and an empirical electromechanical model of its actuators. It is computationally simple and inherently fast. Shapes at the limit of achievable mirror spatial frequencies with up to 1.5μm am...

We present a data-driven verification framework to automatically prove memory safety and functional correctness of heap programs. For this, we introduce a novel statistical machine learning technique that maps observed program states to (possibly disjunctive) separation logic formulas describing the invariant shape of data structures at relevant program locations. We then attempt to verify thes...

This talk discusses and explains the two-loop corrections, also known as the Milan factor, for power corrections to jet-shape observables.