FUNDAMENTAL CONCEPTS IN COMP SCI...(V3)

by Erol Gelenbe (Editor), Jean-pierre Kahane (Editor)

Overview

This book presents fundamental contributions to computer science as written and recounted by those who made the contributions themselves. As such, it is a highly original approach to a “living history” of the field of computer science. The scope of the book is broad in that it covers all aspects of computer science, going from the theory of computation, the theory of programming, and the theory of computer system performance, all the way to computer hardware and to major numerical applications of computers.

Product Details

ISBN-13:	9781848168176
Publisher:	Imperial College Press
Publication date:	02/06/2009
Series:	ADVANCES IN COMP SCI & ENGRG: TEXTS , #3
Sold by:	Barnes & Noble
Format:	eBook
Pages:	172
File size:	2 MB

Table of Contents

Preface v

1 Böet;hm's Theorem Stefano Guerrini Adolfo Piperno Mariangiola Dezani-Ciancaglini 1

1 Introduction 1

2 Böet;hm's Theorem for Trees 4

3 Böet;hm's Theorem for λ-Calculus 8

4 Follow-Up to Böet;hm's Theorem 10

4.1 Böet;hm's work on Böet;hm's theorem 10

4.2 Generalizations of Böet;hm's theorem 10

4.3 Theories and models of λ-calculus 11

4.4 Böet;hm trees and Böet;hm-out-technique 11

4.5 Observational equivalence 12

2 Membrane Computing: History and Brief Introduction Gheorghe Păun 17

1 Personal Views on the History of Membrane Computing 18

1.1 The pre-history 18

1.2 The first years 21

1.3 The recent years 24

1.4 The next years 27

2 Elements of Membrane Computing 28

2.1 The three main classes of P systems 28

2.2 Cell-like P systems: An informal presentation 29

2.3 Basic ingredients of P systems 31

2.4 A large number of variants 34

2.5 Computational completeness 36

2.6 Computational efficiency 37

2.7 Applications 39

3 Critique of Computational Reason in the Natural Sciences Giuseppe Longo 43

1 From the Alphabet to the Machine 43

2 The Elementary and the Complex 46

3 Imitations and Models 48

3.1 Models, processes, and unpredictability 53

4 Calculus, Physics, and Living Phenomena 58

5 But... Natural Processes Computer? 61

6 Mnemonic Interlude 65

7 Conclusion: A Question of Principles 67

4 Deterministic Computation with Random G-Networks Erol Gelenbe Zhi-Hong Mao Yanda Li 71

1 Introduction 71

2 The GNN and Its Extensions 73

2.1 Stationary or steady-state solution 75

2.2 The bipolar GNN or BGNN 76

3 Approximation of Functions of One Variable bythe GNN with a Bounded Number of Layers 77

3.1 Technical premises 78

3.2 BGNN approximation of continuous functions of one variable 81

3.3 CGNN approximation of continuous functions of one variable 84

4 Approximation of Continuous Functions of s Variables 84

5 Conclusions 91

5 Assertions: A Personal Perspective Tony Hoare 97

1 Experience in Industry, 1960-1968 97

2 Research in Belfast, 1968-1977 102

3 Move to Oxford, 1977-1999 106

4 Back in Industry, 1999 111

6 The Call To ARMs Steve Furber 117

1 Acorn Computer Ltd 117

2 The BBC Micro 119

3 Why Design a Microprocessor? 120

4 The ARM Design Process 122

5 The Formation of ARM Ltd 125

6 A 20-year Perspective 126

7 Carl Adam Petri and "Petri Nets" Wilfried Brauer Wolfgang Reisig 129

1 Introduction 129

2 The Dissertation 130

3 Carl Adam Petri, The Man 133

4 The Years Until 1980 135

5 The Years Since 1980 136

6 Honors 137

7 What Will the Future Bring? 138

8 From Stochastic Modeling to Operational Analysis: The Journey Begins Jeffrey P. Buzen 141

1 Stochastic Processes and the Central Server Model 141

2 Early Concerns About Stochastic Modeling 143

3 Impact of Empirical Success 144

4 Lectures at Serre Chevalier and Bologna 145

5 Emergence of Operational Analysis 146

9 From Rocket Control to Virtual Design Olivier Pironneau 151

1 Computational Fluid Dynamics 151

2 Open Problems 154

3 Computational Fluid Dynamics and Computer Science 156