Reports and Technical Reports
Understanding, Assessing, and Mitigating Safety Risks in Artificial Intelligence Systems
(Monterey, California. Naval Postgraduate School, 2022-12); NPS-CS-22-003
Traditional software safety techniques rely on validating software against a deductively defined specification of how the software should behave in particular
situations. In the case of AI systems, specifications are ...
Expeditionary Domain Awareness - Intelligence Support to NECC & NECC Support to Intelligence Analysis (NECC focus)
(Monterey, California: Naval Postgraduate School, 2022); NPS-CS-22-002
This study will research existing online tools and determine which best fulfills NECC needs; provide enhancement solutions for the best one, and to identify concepts to leverage NECC units to support intelligence analysis ...
Derived Preconditions and Their Use in Program Synthesis
(Monterey, California. Naval Postgraduate School, 1982-03); NPS52-82-002
In this paper we pose and begin to explore a deductive problem more general than that of finding a proof that a given goal formula logically follows from a given set of hypotheses. The problem is most simply stated in the ...
Update on Machine-Learned Correctness Properties
(Monterey, California. Naval Postgraduate School, 2023-01); NPS-CS-23-001
This report details a novel method which has the potential for improving the U.S. Navy’s ability to perform continuous assurance on autonomous and
other cyberphysical systems. Specifically, this report presents a novel ...
Engineering Automation for Reliable Software Interim Progress Report (10/01/2000 - 09/30/2001)
(Monterey, California. Naval Postgraduate School, 2001-09); NPS-SW-01-004
The objective of our effort is to develop a scientific basis for producing reliable
software that is also flexible and cost effective for the DoD distributed software domain.
This objective addresses the long term goals ...
Iterative Software Testing
(Monterey, California. Naval Postgraduate School, 1992-06); NPSCS-92-008
Software is often developed via a series of modifications and releases. This sort of development implies that testing
often takes place in an increasingly familiar structure, rather than a unique or unfamiliar structure. ...
New Directions In Database-Systems Research and Development
(Monterey, California. Naval Postgraduate School, 1985-02); NPS52-85-001
In this paper, three new directions in database-systems research and development are indicated. One new direction is the emergence of the multilingual database systems where a single database system can execute many ...
Navlisp Reference Manual
(Monterey, California. Naval Postgraduate School, 1982-03); NPS52-82-004
The Naval Postgraduate School's Computer Laboratory has developed a dialect of LISP, called Navlisp, to run under PWB/UNIX on a PDP11/50. This manual is not a tutorial to LISP. It is intended for those who know the basics
of ...
Defending Against Adversarial Examples in Deep Neural Network Classifiers
(Monterey, California. Naval Postgraduate School, 2021-12-31); NPS-CS-21-002
The Navy and Department of Defense are prioritizing the rapid adoption of Artificial Intelligence (AI) across warfare domains to keep
technological advantage in the United States’ favor. Machine learning (ML), the basis ...
Management System for Heterogeneous Networks Final Report, Volume I: Project Summary and Papers (Part A)
(Monterey, California. Naval Postgraduate School, 2000-04-14); NPS-CS-00-006
The goal of the MSHN Project was to explore the application of adaptive and heuristic matching and scheduling techniques, and modem
distributed security methods, to a distributed heterogeneous resource management system ...
Refine By:
Author
Date Issued
Department
-
Computer Science (CS) (84)
Type
-
Technical Report (84)