In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory ofâ€¦Â (More)

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

Review

2015

Review

2015

- Clive L. Spash
- 2015

a r t i c l e i n f o Ecological economics has been repeatedly described as transdiciplinary and open to including everythingâ€¦Â (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- S. Iida, Kazuo Tanaka, +7 authors John Chatwin
- ISSCC. 2005 IEEE International Digest ofâ€¦
- 2005

A DSSS UWB transceiver using the 3.1 to 5 GHz band is implemented in 0.18 /spl mu/m CMOS and includes a programmable pulseâ€¦Â (More)

Is this relevant?

2004

2004

- Hao Wen, M. N. Uddin
- Canadian Conference on Electrical and Computerâ€¦
- 2004

This paper presents a novel neuro-fuzzy (NF) controller based speed control scheme for a high performance induction motor (IMâ€¦Â (More)

Is this relevant?

2004

2004

- Jose Ildefonso U. Rubrico, Jun Ota, Hirofumi Tamura, Masataka Akiyoshi, Toshimitsu Higashi
- 2004 IEEE/RSJ International Conference onâ€¦
- 2004

In this paper, fast heuristics for a centralized multi-agent route planner are presented and computationally evaluated. We solveâ€¦Â (More)

Is this relevant?

2002

2002

- Barry Smith, J. E. Tiles, G T Mckee, Courtney Dean, Patrick Hayes, Patrick J. Hayes
- 2002

Preamble Physical reality is all the reality we have, and so physical theory in the standard sense is all the ontology we needâ€¦Â (More)

Is this relevant?

2002

2002

- V. Chandrasekhar, C. M. Hung, Y. C. Ho, Kartikeya Mayaram
- Proceedings of the 28th European Solid-Stateâ€¦
- 2002

This paper presents the first 2.4 GHz LNA with 2kV HBM ESD protection integrated in a 0.15 µm CMOS process. The LNA has beenâ€¦Â (More)

Is this relevant?

1999

1999

Uncertainty of complex valued physical quantities z x iy can be described by complex fuzzy sets Traditionally such sets have beenâ€¦Â (More)

Is this relevant?

1998

1998

- Martin C. Henson
- 1998

We provide a constructive and intensional interpretation for the speciication language Z in a theory of operations and kinds Tâ€¦Â (More)

Is this relevant?

1992

1992

- John L. Pollock
- Minds and Machines
- 1992

Practical reasoning aims at deciding what actions to perform in light of the goals a rational agent possesses. This has been aâ€¦Â (More)

Is this relevant?

1990

1990

- Roy L. Crole, Andrew M. Pitts
- LICS
- 1990

This paper introduces a new higher-order typed constructive predicate logic for fixpoint computations, which exploits theâ€¦Â (More)

Is this relevant?