Deceptiveness and Genetic Algorithm Dynamics* *This research was supported by the National Science Foundation (IRI-8917545), and by the Air Force office of Scientific Research and the Office of Naval Research Contract # F49620-90-C-00033.

Stability Theory and Invariance Principles**This research was supported in part by the Air Force Office of Scientific Research Grant # AF-AFOSR 71-2078C, National Science Foundation Grant #GP-28931×2, Office of Naval Research Grant #NONR N00014-67-A-0191-000906, U.S. Army Grant #DA-ARO-D-31—124-73-G-130.

Dynamical Systems ◽

10.1016/b978-0-12-164901-2.50021-0 ◽

1976 ◽

pp. 211-222 ◽

Cited By ~ 14

Author(s):

JOSEPH P. LASALLE

Keyword(s):

Air Force ◽

Stability Theory ◽

National Science Foundation ◽

Scientific Research ◽

Naval Research ◽

National Science Foundation Grant ◽

Invariance Principles ◽

Office Of Naval Research ◽

National Science ◽

Research Grant

Download Full-text

Langevin Equations with Multiplicative Noise: Theory and Applications to Physical Processes**This work was supported in part by the Office of Naval Research, by the National Science Foundation under Grant CHE 78-21460, by a grant from Charles and Reneé Taubman, and by a grant from the Air Force Office of Scientific Research.

Probabilistic Analysis and Related Topics ◽

10.1016/b978-0-12-095603-6.50007-5 ◽

1983 ◽

pp. 81-125 ◽

Cited By ~ 8

Author(s):

KATJA LINDENBERG ◽

KURT E. SHULER ◽

V. SESHADRI ◽

BRUCE J. WEST

Keyword(s):

Air Force ◽

National Science Foundation ◽

Multiplicative Noise ◽

Scientific Research ◽

Langevin Equations ◽

Naval Research ◽

Physical Processes ◽

Office Of Naval Research ◽

National Science

Download Full-text

AN AVERAGING METHOD FOR STOCHASTIC APPROXIMATIONS WITH DISCONTINUOUS DYNAMICS, CONSTRAINTS, AND STATE DEPENDENT NOISE11Work supported in part by the Air Force Office of Scientific Research under AFOSR 76-306D, in part by the National Science Foundation under NSF-Eng 77-12946-A02 and in part by the Office of Naval Research under N00014-76-C-0279-P0004.

Recent Advances in Statistics ◽

10.1016/b978-0-12-589320-6.50014-9 ◽

1983 ◽

pp. 211-235 ◽

Cited By ~ 9

Author(s):

Harold J. Kushner

Keyword(s):

Air Force ◽

National Science Foundation ◽

Averaging Method ◽

Scientific Research ◽

Naval Research ◽

Stochastic Approximations ◽

State Dependent ◽

Office Of Naval Research ◽

National Science

Download Full-text

Electron Magnetic Moment and Atomic Magnetism**The preparation of this article was aided in part by the Office of Naval Research, the Air Force Office of Scientific Research and Development, and the National Science Foundation.

Recent Research in Molecular Beams ◽

10.1016/b978-0-12-395689-7.50007-3 ◽

1959 ◽

pp. 65-92

Author(s):

VERNON W. HUGHES

Keyword(s):

Research And Development ◽

Air Force ◽

Magnetic Moment ◽

National Science Foundation ◽

Scientific Research ◽

Naval Research ◽

Office Of Naval Research ◽

National Science ◽

Electron Magnetic Moment

Download Full-text

A HYBRID TDMA/RANDOM-ACCESS SCHEME FOR MULTIPLE-ACCESS COMMUNICATION NETWORKS††This paper was supported by the National Science Foundation under Grant ECS 80-12568, by the Air Force Office of Scientific Research under Grant 82-0304, and by the Office of Naval Research under Contracts N00014-C-0609, N00014-78-C-0778.

Computer-Communication Networks ◽

10.1016/b978-0-08-031132-6.50007-6 ◽

1983 ◽

pp. 159-182

Author(s):

IZHAK RUBIN ◽

MING Y. LOUIE

Keyword(s):

Communication Networks ◽

Air Force ◽

Multiple Access ◽

National Science Foundation ◽

Scientific Research ◽

Random Access ◽

Naval Research ◽

Office Of Naval Research ◽

Access Scheme ◽

National Science

Download Full-text

OPTIMAL REPLACEMENT POLICIES FOR DEVICES SUBJECT TO A GAMMA WEAR PROCESS**Research supported in part by the Air Force Office of Scientific Research, AFSC, USAF, under Grant AFOSR-76-2999 and Office of Naval Research Contract N00014-76-C-0840.

The Theory and Applications of Reliability with Emphasis on Bayesian and Nonparametric Methods ◽

10.1016/b978-0-12-702101-0.50027-5 ◽

1977 ◽

pp. 397-412 ◽

Cited By ~ 4

Author(s):

MOHAMED ABDEL-HAMEED

Keyword(s):

Air Force ◽

Scientific Research ◽

Process Research ◽

Naval Research ◽

Wear Process ◽

Optimal Replacement ◽

Office Of Naval Research ◽

Research Contract

Download Full-text

AT THE INTERFACE OF MODELING AND ALGORITHMS RESEARCH11Research supported by the Energy Research and Development Administration Contracts EY-76-S-03-0326 PA#18, and EY-76-S-03-0326 PA#52; the Office of Naval Research Contract N00014-75-C-0865; the National Science Foundation Grant MCS76-20019; the Electric Power Research Institute Contract RP-652-1; and the Institute for Energy Studies, Stanford University.

Nonlinear Programming 3 ◽

10.1016/b978-0-12-468660-1.50015-3 ◽

1978 ◽

pp. 283-302

Author(s):

G.B. Dantzig ◽

S.C. Parikh

Keyword(s):

Research And Development ◽

Electric Power ◽

National Science Foundation ◽

Electric Power Research Institute ◽

Naval Research ◽

National Science Foundation Grant ◽

Stanford University ◽

Office Of Naval Research ◽

National Science ◽

Research Contract

Download Full-text

PROOF CHECKING THE RSA PUBLIC KEY ENCRYPTION ALGORITHM11The research reported here was supported by National Science Foundation Grant MCS-8202943 and Office of Naval Research Contract N00014-81-K-0634.

Readings in Artificial Intelligence and Software Engineering ◽

10.1016/b978-0-934613-12-5.50010-0 ◽

1986 ◽

pp. 87-95

Author(s):

ROBERT S. BOYER ◽

STROTHER J. MOORE

Keyword(s):

National Science Foundation ◽

Public Key ◽

Naval Research ◽

National Science Foundation Grant ◽

Public Key Encryption ◽

Proof Checking ◽

Office Of Naval Research ◽

National Science ◽

Research Contract

Download Full-text

The Early Development of Programming Languages**The preparation of this paper has been supported in part by National Science Foundation Grant No. MCS 72-03752 A03, by the Office of Naval Research contract N00014-76-C-0330, and by IBM Corporation. The authors wish to thank the originators of the languages cited for their many helpful comments on early drafts of this paper.††Reprinted from J. Belzer, A. G. Holzman, and A. Kent (eds.), “Encyclopedia of Computer Science and Technology,” Vol. 6, pp. 419–493. Dekker, New York, 1977. Courtesy of Marcel Dekker, Inc.

A History of Computing in the Twentieth Century ◽

10.1016/b978-0-12-491650-0.50019-8 ◽

1980 ◽

pp. 197-273 ◽

Cited By ~ 7

Author(s):

DONALD E. KNUTH ◽

LUIS TRABB PARDO

Keyword(s):

New York ◽

Computer Science ◽

Programming Languages ◽

Early Development ◽

National Science Foundation ◽

Naval Research ◽

National Science Foundation Grant ◽

Office Of Naval Research ◽

National Science ◽

Research Contract

Download Full-text

Parameterized Theories and Views in Full Maude 2.0⋆ ⋆Supported by DARPA through Rome Laboratories Contract F30602-97-C-0312 and NASA Contract NAS2-98073, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grants CCR-9900334.

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)80136-7 ◽

2000 ◽

Vol 36 ◽

pp. 316-338 ◽

Cited By ~ 3

Author(s):

Francisco Durán ◽

José Meseguer

Keyword(s):

National Science Foundation ◽

Naval Research ◽

Office Of Naval Research ◽

National Science ◽

Research Contract

Download Full-text