We show that the class of chordal claw-free graphs admits LREC=-definable canonization. LREC= is a logic that extends first-order logic with counting by an operator that allows it to formalize a limited form of recursion. This operator can be evaluated in logarithmic space. It follows that there exists a logarithmic-space canonization algorithm for the class of chordal claw-free graphs, and tha...

We introduce a new generative model for code called probabilistic higher order grammar (PHOG). PHOG generalizes probabilistic context free grammars (PCFGs) by allowing conditioning of a production rule beyond the parent non-terminal, thus capturing rich contexts relevant to programs. Even though PHOG is more powerful than a PCFG, it can be learned from data just as efficiently. We trained a PHO...

We calculate the membrane-mediated interaction between two cylindrical inclusions in a symmetric lipid bilayer. Our theory takes two contributions to the free energy into account, the elastic behavior of the membrane and the conformational restrictions that the flexible hydrocarbon chains of the lipids experience in the vicinity of a rigid inclusion. The description of the elastic behavior is b...

Optimization concept in the context of shear deformation theories was born for the development of accurate models to study the bending problem of structures. The present study seeks to extend such an approach to the dynamic analysis of plates. A compact and unified formulation with non-polynomial shear strain shape functions (SSSFs) is employed to develop a static and free vibration analysis of...

0