[PDF] From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz Davis, Martin; Schonberg, Edmond (eds.)

Foreword.- Introduction.- Nature as Quantum Computer.- Jack Schwartz Meets Karl Marx.- SETL and the Evolution of Programming.- Decision Procedure for Elementary Sublanguages of Set Theory XVII: Commonly Occurring Decidable Extensions of Multi-level Syllogistic.- Jack Schwartz and Robotics: The Roaring Eighties.- Mathematics’ Mortua Manus: Discovering Dexterity.- The Ref Proof-checker and its “Common Shared Scenario”.- Claw-free Graphs as Sets.- Computational approaches to RNAi and Gene Silencing.- The Last Ten Yards.- Jacob T. Schwartz: Selected Bibliography.- Index