Limit search to items available for checkout
E-BOOK
Title From linear operators to computational biology : essays in memory of Jacob T. Schwartz / Martin Davis, Edmond Schonberg, editors.
Imprint London ; New York : Springer, ©2013.

Copies/Volumes

LOCATION CALL # STATUS
 Internet  Electronic Book    AVAILABLE
Description 1 online resource : portraits
Bibliog. Includes bibliographical references and index.
Note Available only to authorized UTEP users.
English.
Subject Computer science.
Linear operators.
Computational biology.
Computational Biology -- history.
Contents From Linear Operators to Computational Biology: Essays in Honor of Jacob T. Schwartz / Martin Davis and Edmond Schonberg -- Nature as Quantum Computer / David Ritz Finkelstein -- Jack Schwartz Meets Karl Marx / Martin Davis -- SETL and the Evolution of Programming / Robert Dewar -- Decision Procedures for Elementary Sublanguages of Set Theory. XVII. Commonly Occurring Decidable Extensions of Multi-level Syllogistic / Domenico Cantone -- Jack Schwartz and Robotics: The Roaring Eighties / Micha Sharir -- Mathematics' Mortua Manus:Discovering Dexterity / B. Mishra -- The Ref Proof-Checker and Its "Common Shared Scenario" / Eugenio G. Omodeo -- Computational Approaches to RNAi and Gene Silencing / Alessandro Laganà, Rosalba Giugno, Alfredo Pulvirenti and Alfredo Ferro -- The Last Ten Yards / Michael Wigler.
Summary In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the Courant Institute of Mathematical Sciences present recent results in some of the fields that Schwartz explored: quantum theory, the theory and practice of programming, program correctness and decision procedures, dextrous manipulation in Robotics, motion planning, and genomics.
Other Author Davis, Martin, 1928-
Schonberg, Edmond.
Other Title Springer eBooks
Print version: From linear operators to computational biology. London ; New York : Springer, ©2013