Lecture Notes in Computer Science - How the World Computes
Latest Publications

TOTAL DOCUMENTS

75

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642308697, 9783642308703

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Correspondence Principle for Exact Constructive Dimension

Lecture Notes in Computer Science - How the World Computes ◽

10.1007/978-3-642-30870-3_69 ◽

2012 ◽

pp. 686-695

Author(s):

Ludwig Staiger

Keyword(s):

Correspondence Principle ◽

Constructive Dimension

Download Full-text

Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase

Lecture Notes in Computer Science - How the World Computes ◽

10.1007/978-3-642-30870-3_56 ◽

2012 ◽

pp. 560-570 ◽

Author(s):

Grant Olney Passmore ◽

Paul B. Jackson

Keyword(s):

Cylindrical Algebraic Decomposition ◽

Partial Cylindrical Algebraic Decomposition

Download Full-text

The Computing Spacetime

Lecture Notes in Computer Science - How the World Computes ◽

10.1007/978-3-642-30870-3_48 ◽

2012 ◽

pp. 472-484 ◽

Author(s):

Fotini Markopoulou

Download Full-text

Local Induction and Provably Total Computable Functions: A Case Study

Lecture Notes in Computer Science - How the World Computes ◽

10.1007/978-3-642-30870-3_45 ◽

2012 ◽

pp. 440-449

Author(s):

Andrés Cordón–Franco ◽

F. Félix Lara–Martín

Keyword(s):

Computable Functions

Download Full-text

A 5n − o(n) Lower Bound on the Circuit Size over U 2 of a Linear Boolean Function

Lecture Notes in Computer Science - How the World Computes ◽

10.1007/978-3-642-30870-3_44 ◽

2012 ◽

pp. 432-439 ◽

Author(s):

Alexander S. Kulikov ◽

Olga Melanich ◽

Ivan Mihajlin

Keyword(s):

Lower Bound ◽

Boolean Function

Download Full-text

Infinite Games and Transfinite Recursion of Multiple Inductive Definitions

Lecture Notes in Computer Science - How the World Computes ◽

10.1007/978-3-642-30870-3_38 ◽

2012 ◽

pp. 374-383 ◽

Author(s):

Keisuke Yoshii ◽

Kazuyuki Tanaka

Keyword(s):

Infinite Games ◽

Inductive Definitions ◽

Transfinite Recursion

Download Full-text

Multi-scale Modeling of Gene Regulation of Morphogenesis

Lecture Notes in Computer Science - How the World Computes ◽

10.1007/978-3-642-30870-3_36 ◽

2012 ◽

pp. 355-362 ◽

Author(s):

Jaap A. Kaandorp ◽

Daniel Botman ◽

Carlos Tamulonis ◽

Roland Dries

Keyword(s):

Gene Regulation ◽

Multi Scale ◽

Scale Modeling ◽

Multi Scale Modeling

Download Full-text

Towards a Theory of Infinite Time Blum-Shub-Smale Machines

Lecture Notes in Computer Science - How the World Computes ◽

10.1007/978-3-642-30870-3_41 ◽

2012 ◽

pp. 405-415 ◽

Author(s):

Peter Koepke ◽

Benjamin Seyfferth

Keyword(s):

Download Full-text

Automatic Functions, Linear Time and Learning

Lecture Notes in Computer Science - How the World Computes ◽

10.1007/978-3-642-30870-3_11 ◽

2012 ◽

pp. 96-106 ◽

Author(s):

John Case ◽

Sanjay Jain ◽

Samuel Seah ◽

Frank Stephan

Keyword(s):

Download Full-text

Bringing Up Turing’s ‘Child-Machine’

Lecture Notes in Computer Science - How the World Computes ◽

10.1007/978-3-642-30870-3_71 ◽

2012 ◽

pp. 703-713 ◽

Author(s):

Susan G. Sterrett

Download Full-text