# Walter Pitts

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2008

Highly Cited

2008

- Journal of Automated Reasoning
- 2008

This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to… (More)

Is this relevant?

2007

2007

- Synthese
- 2007

Many years after the publication of “A Logical Calculus of the Ideas Immanent in Nervous Activity,” Warren McCulloch gave Walter… (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

- 2007

This paper analyzes the explanatory power of some of the recent theories of optimal capital structure. The study extends… (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- IEEE Pervasive Computing
- 2002

A s the effects of Moore's law cause computing systems to become cheaper and more plentiful, a new problem arises: increasingly… (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- Neural Computation
- 2000

This article initiates a rigorous theoretical analysis of the computational power of circuits that employ modules for computing… (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- Neural Networks
- 1996

-The computational power of formal models for networks of spiking neurons is compared with that of other neural network models… (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- 1994

The notion of “evolvability” — the ability of a population to produce variants fitter than any yet existing — is developed as it… (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- COLT
- 1992

We investigate the problem of learning concepts by presenting labeled and randomly chosen training–examples to single neurons. It… (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- Inf. Comput.
- 1991

The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified… (More)

Is this relevant?

Highly Cited

1984

Highly Cited

1984

- Proceedings of the National Academy of Sciences…
- 1984

A model for a large network of "neurons" with a graded response (or sigmoid input-output relation) is studied. This deterministic… (More)

Is this relevant?