perm filename NAOMI[BIB,CSR]1 blob
sn#396216 filedate 1978-11-22 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00003 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .DEVICE XGP
C00003 00003 .once center
C00020 ENDMK
C⊗;
.DEVICE XGP;
.SINGLESCRIPT
.SPACING 10*5 MILLS;
.PAGE FRAME 47 HIGH 80 WIDE
.TITLE AREA HEADING LINES 1 TO 2
.AREA TEXT LINES 3 TO 47
.every heading (January,1979 Reports,{Page})
.
.turn on "↔" for "→"
.turn on "%,π,α,#,&,∂,↑,↓,[,]"
.turn on "∩" for "↑"
.turn on "∪" for "↓"
.font 1 "SAIL25";
.SELECT 1
.
.AT 8 ⊂ONCE INDENT 5;⊃
.at "@" ⊂"####"⊃
.
.PLACE TEXT;
.
.next page
.once center
MOST RECENT CS REPORTS - JANUARY 1979
@Listed below are abstracts of the most recent reports published by the Computer
Science Department of Stanford University.
@TO REQUEST REPORTS: Check the appropriate places on the enclosed order form,
and return the entire order form page (including mailing label) by January 19, 1979.
In many cases we can print only a limited number of copies, and requests will
be filled on a first come, first serve basis. If the code (FREE) is printed
on your mailing label, you will not be charged for hardcopy. This exemption
from payment is limited primarily to libraries. (The costs shown include all
applicable sales taxes. PLEASE SEND NO MONEY NOW, WAIT UNTIL YOU GET AN
INVOICE.)
@ALTERNATIVELY: Copies of most Stanford CS Reports may be obtained by writing
(about 2 months after MOST RECENT CS REPORTS listing) to NATIONAL TECHNICAL
INFORMATION SERVICE, 5285 Port Royal Road, Springfield, Virginia 22161. Stanford
Ph.D. theses are available from UNIVERSITY MICROFILMS, 300 North Zeeb Road,
Ann Arbor, Michigan 48106.
.begin nofill
--------------------------------------------------------------------------
--------------------------------------------------------------------------
STAN-CS-79-691 THE CONSTRUCTION OF INITIAL DATA FOR HYPERBOLIC SYSTEMS
FROM NONSTANDARD DATA
Author: Kenneth P. Bube↔(Thesis)
.end
@Abstract: We study the first order systems of hyperbolic partial differential
equations with periodic boundary conditions in the space variables for which
complete initial data are not available. We suppose that we can measure
u↑I , the first j components of a solution u of the system, perhaps
with its time derivatives, but cannot measure u∩[II] , the rest of the
components of u , completely and accurately at any time level. Such problems
arise in geophysical application where satelites are used to collect data.
We consider two questions. How much information do we need to determine the
solution u uniquely in a way which depends continuously on the data? How
do we use these data compuationally to obtain complete initial data at some
time level?
@We investigate several approaches to answering these questions. We show that
under certain hypotheses u∩[II] at the initial time is determined uniquely
by and depends continuously on the data obtained by measuring either u↑I over
a whole time interval or u↑I and its first time derivative at the initial
time, together ith either u∩[II] on a hyperplane in space of one lower
dimension or a finite number of Fourier coefficients of u∩[II] at
the initial time. Our results demonstrate that it is possible to reduce the
data requirements of u∩[II] if sufficient information about u↑I is
available.
@One appliction we examine is the effect of the Coriolis term in the linearized
shallow water equations on the possibility of recovering the wind fields from
the geopotential height.
@We present algorithms and computational results for these approaches for a model
two-by-two system, and examine the method for intermittent updating currently
being used in numerical weather prediction as a method for the assimilation of
data. Our results suggest that the use of different frequencies of updating
is important to avoid slow convergence.
.begin nofill
No. of pages: 119
Available in microfiche only.
--------------------------------------------------------------------------
HPP-77-39 MODELS OF LEARNING SYSTEMS
Authors: Bruce G. Buchanan, Tom M. Mitchell, Reid G. Smith
& C. Richard Johnson Jr.
.end
@Abstract: The terms adaptation, learning, concept-formation, induction,
self-organization, and self-repair have all been used in the context of learning
system (LS) research. In this article, three distinct approaches to machine
learning and adaptation are considered: (i) the adaptive control approach,
(ii) the pattern recognition approach, and (iii) the artificial intelligence
approach.
@Progress in each of these areas is summarized in the first part of the article.
In the next part a general model for learning systems is presented that allows
characterization and comparison of individual algorithms and programs in all these
areas. The model details the functional components felt to be essential for any
learning system, independent of the techniques used for its construction, and the
specific environment in which it operates. Specific examples of learning systems
are described in terms of the model.
.begin nofill
No. of pages: 38
Cost: $ 2.80
--------------------------------------------------------------------------
STAN-CS-79-693 A CLASS OF SOLUTIONS TO THE GOSSIP PROBLEM
Author: Douglas B. West
.end
@Abstract: We characterize and count optimal solutions to the gossip
problem in which no one hears his own information. That is, we consider graphs
with n vertices where the edges have a linear ordering such that an
increasing path exists from each vertex to every other, but there is no
increasing path from any vertex to itself. Such graphs exist only when n
is even, in which case the fewest number of edges is 2n-4, as in the original
gossip problem. We characterize optimal solutions of this sort (NOHO-graphs)
using a correspondence with a set of permutations and binary sequences. This
correspondence enables us to count these solutions and several subclasses of
solutions. The numbers of solutions in each class are simple powers of 2
and 3, with exponents determined by n. We also show constructively that
NOHO-graphs are planar and Hamiltonian, and we mention applications to related
problems.
.begin nofill
No. of pages: 61
Cost: $ 3.45
--------------------------------------------------------------------------
STAN-CS-79-694 COMPUTER SCIENCE AT STANFORD, 1977-1978
Editor: Jonathan King
.end
@Abstract: This report is a review of Stanford Computer Science Department
activities for the academic year 1977-78. The report includes:##
(1) The Chairman's overview of the important events of the
year, (2) Recent activities and interests of faculty members and
research associates arranged by research specialty,
(3) Advanced doctoral students in each specialty and their research topics,
(4) Recipients of M.S. and Ph.D. degrees,
(5) Speakers at seminar and colloquia series, and
(6) Bibliography of Computer Science Department technical reports.
.begin nofill
No. of pages: 27
Cost: $ 2.50
--------------------------------------------------------------------------
AIM-321 RECENT RESEARCH IN ARTIFICIAL INTELLIGENCE AND FOUNDATIONS
OF PROGRAMMING
Authors: Lester Earnest et al.
.end
@Abstract: Summarizes recent research in the following areas: artificial
intelligence and formal reasoning, mathematical theory of computation and
program synthesis, program verification, image understanding, and knowledge
based programming.
.begin nofill
No. of pages: 94
Cost: $ 4.35
--------------------------------------------------------------------------
HPP-78-22 CONSIDERATIONS FOR MICROPROCESSOR-BASED TERMINAL DESIGN
Authors: Reid G. Smith & Tom M. Mitchell
.end
@Abstract: We discuss the design of hardware and software for inexpensive
microprocessorr-based terminal/microcomputers. Such devices are fundamentally
microcomputers that have been adapted, with specialized software, to operate as
remote terminals for a host compuer.
@The discussion centers on a specific video terminal designed and constructed
by the authors. This terminal is based on the INTEL 8080 microprocessor and is
equipped with software sufficient to emulate the characteristics of standard
video terminals required by several available SCREEN-ORIENTED text editors
in common use at sites throughout the ARPAnet.
@We have found that the microprocessor adequately serves as the controller for
such terminals, and that a SOFTWARE-BASED approach to the design of such
terminals offers substantial advantages in capabilities, flexibility, and cost
over the HARDWARE-BASED approach. We suggest guidelines for future designs
of microprocessor-based terminals on the basis of our experience designing and
using the terminal described here.
In order to take full advantage of the flexibility afforded by microprocessor-based
designs, we have implemented the capability to DOWNLOAD and execute 8080
programs written and assembled on a host computer. This allows the user to
customize and extend the microcomputer with the software development tools and
mass storage provided by the host computer. The terminal is thus a complete,
stan-alone microcomputer system specially configured for its role as a terminal.
.begin nofill
No. of pages: 14
Cost: $ 2.10
--------------------------------------------------------------------------
--------------------------------------------------------------------------
.END
.begin center
Available from
Stanford Systems Optimization Laboratory
.end
.begin nofill
SOL 78-19 A BIDIAGONALIZATION ALGORITHM FOR SPARSE LINEAR EQUATIONS AND
LEAST-SQUARES PROBLEMS
Authors: Christopher C. Paige & Michael A. Saunders
.end
@Abstract: A method is given for solving Ax = b and
min||Ax-b||↓2 where the matrix A is large and sparse. The method
is based on the bidiagonalization procedure of Golub and Kahan. It is
analytically equivalent to the method of conjugate gradients (CG) but possesses
more favorable numerical properties. The Fortran implementation of the method
(subroutine LSQR) incorporates reliable stopping criteria and provides
estimates of various quantities including standard errors for x and the
condition number of A. Numerical tests are described comparing LSQR with
several other CG algorithms. Further results for a large practical problem
illustrate the effect of pre-conditioning least-squares problems using a sparse
LU factorization of A.
Available by writing directly to: Gail L. Stein, Systems Optimization Laboratory,
Department of Operations Research, Stanford University, Stanford, California
94305 U.S.A.
.BEGIN NOFILL
--------------------------------------------------------------------------
--------------------------------------------------------------------------