From Linear Operators to Computational Biology
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer London

9781447142812, 9781447142829

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Mathematics’ Mortua Manus:Discovering Dexterity

From Linear Operators to Computational Biology ◽

10.1007/978-1-4471-4282-9_7 ◽

2013 ◽

pp. 105-119

Author(s):

B. Mishra

Download Full-text

Nature as Quantum Computer

From Linear Operators to Computational Biology ◽

10.1007/978-1-4471-4282-9_2 ◽

2013 ◽

pp. 5-22

Author(s):

David Ritz Finkelstein

Keyword(s):

Quantum Computer

Download Full-text

Jack Schwartz Meets Karl Marx

From Linear Operators to Computational Biology ◽

10.1007/978-1-4471-4282-9_3 ◽

2013 ◽

pp. 23-37 ◽

Author(s):

Martin Davis

Keyword(s):

Download Full-text

SETL and the Evolution of Programming

From Linear Operators to Computational Biology ◽

10.1007/978-1-4471-4282-9_4 ◽

2013 ◽

pp. 39-46 ◽

Author(s):

Robert Dewar

Download Full-text

From Linear Operators to Computational Biology: Essays in Honor of Jacob T. Schwartz

From Linear Operators to Computational Biology ◽

10.1007/978-1-4471-4282-9_1 ◽

2013 ◽

pp. 1-4 ◽

Author(s):

Martin Davis ◽

Edmond Schonberg

Keyword(s):

Computational Biology ◽

Linear Operators

Download Full-text

Decision Procedures for Elementary Sublanguages of Set Theory. XVII. Commonly Occurring Decidable Extensions of Multi-level Syllogistic

From Linear Operators to Computational Biology ◽

10.1007/978-1-4471-4282-9_5 ◽

2013 ◽

pp. 47-85

Author(s):

Domenico Cantone

Keyword(s):

Decision Procedures ◽

Download Full-text

The Ref Proof-Checker and Its “Common Shared Scenario”

From Linear Operators to Computational Biology ◽

10.1007/978-1-4471-4282-9_8 ◽

2013 ◽

pp. 121-167 ◽

Author(s):

Eugenio G. Omodeo

Keyword(s):

Download Full-text

Jack Schwartz and Robotics: The Roaring Eighties

From Linear Operators to Computational Biology ◽

10.1007/978-1-4471-4282-9_6 ◽

2013 ◽

pp. 87-104

Author(s):

Micha Sharir

Keyword(s):

Download Full-text

Computational Approaches to RNAi and Gene Silencing

From Linear Operators to Computational Biology ◽

10.1007/978-1-4471-4282-9_9 ◽

2013 ◽

pp. 169-194

Author(s):

Alessandro Laganà ◽

Rosalba Giugno ◽

Alfredo Pulvirenti ◽

Alfredo Ferro

Keyword(s):

Gene Silencing ◽

Computational Approaches

Download Full-text

The Last Ten Yards

From Linear Operators to Computational Biology ◽

10.1007/978-1-4471-4282-9_10 ◽

2013 ◽

pp. 195-202

Author(s):

Michael Wigler

Download Full-text