Technical Reports - 1973

Bounds on Backtrack Algorithms for Listing Cycles, Paths, and Spanning Trees (M433)
Ronald C. Read and R. Endre Tarjan

Analysis of Calendaring Strategies for Criminal Jury Trials in Court Systems (M423)
Michael Stonebraker

Testing Graph Connectivity (M422)
R. Endre Tarjan

Cities as Public Goods (M417)
Roland Artle

An Overview of the VERS2 Project: High Level Languages in Automatic Programming (M416)
Jay Earley

Latent Components in the EKG (M414)
Martin Graham

On Worst-Case Costs for Dynamic Data Element Security Decisions (M413)
Franklin G. Woodward and Lance J. Hoffman

BUDS: The Berkeley Urban Data System (M412)
Philip Pasquale Macri

The Concept of a Linguistic Variable and its Application to Approximate Reasoning (M411)
L.A. Zadeh

Uni-Moment Method of Solving Antenna and Scattering Problems (M410)
Kenneth K. Mei

Martingales on Jump Processes (Part II) (M409)
Rene K. Boel, Pravin Varaiya and Eugene Wong

Drift Waves in a Two-Ion Species Plasma (M408)
Masaaki Watanabe

Martingales on Jump Processes (Part I) (M407)
Rene K. Boel, Pravin Varaiya and Eugene Wong

On the Solutions of a Stochastic Control System II (M406)
Tyrone Dunan and Pravin Varaiya

Estimation Theory for Continuous Time Processes, A Martingale Approach (M405)
Jan H. Van Schuppen

Correctness of Programs Manipulating Data Structures (M404)
Tomasz Kowaltowski

The Multiplicity of an Increase Family of Sigma-Fields (M403)
M.H.A. Davis and P. Varaiya

Ion Cyclotron Effects on the Modified Two Stream Instability (M402)
Timothy W. Taylor

Fasbol- 6000: A Snobol4 Compiler For the CDC 6000 Series (M401)
I. Richard Strauss Jr.

Examples in Verification of the Fortran Verifier (M400)
Richard Kwok and Lawrence Yeung

Optimizing Models for Urban Development (M399)
Mario Ripper and Pravin Varaiya

Monopolistic/ Competitive Production, Joint/Separate Land Owndership and City Size (M398)
Pravin Varaiya

Examples of Formal Descriptions of Common Programming Languages (M396)
W.D. Maurer, C. Kinder, E. Powers, R.O. Nichols, W. Lapinsky, L.H. Yeung, N.H. Mcdonald and S. Zalewski

Functional Semantics of Programming Languages (M395)
William D. Flannery

Introduction to Programming Science, Part II: Proofs of Assertions About Programs (M394)
W.D. Maurer

A Mermistive Circuit Model for P-N Junction Diodes (M393)
Leon O. Chua and Chong-Wei Tseng

An Algorithm For Modeling the Sinusoidal Input/Steady-State Response Behavior of Nonlinear Systems Over a Set of Frequencies and Amplitudes (M390)
L.O. Chua and R.J. Schilling

Realization of High Security Shared-Resource Computer Systems Based on Execute-Only Segments (M389)
David Rabinowitz

Plasma Confinement in Multiple Mirror Systems I: Theory (M388)
A. Makhijani, A.J. Lichtenberg, M.A. Lieberman and B.G. Logan

Plasma Confinement in Multiple Mirror Systems II: Experiment and Reactor Calculation (M387)
B. Grant Logan, I.G. Brown, A.J. Lichtenberg and M.A. Lieberman

Inductive Inference: A Recursion Theoretic Approach (M386)
L. Blum and M. Blum

Consecutive Retrieval Information System (M384)
Kapali P. Eswaran

A Generalized Nyquist-Type Stability Criterion for Multivariable Feedback Systems (M383)
John F. Barman and Jacob Katzenelson

SPICE (Simulation Program with Integrated Circuit Emphasis) (M382)
Laurence W. Nagel and D.O. Pederson

An Asymptotic Expansion for the Quantization Error of Closely Spaced Uniform Quantizers with Gaussian Input (M381)
E.R. Berlekamp

On the Size of Derivation Tree (M380)
Y. Eric Cho

Interconnection, Decomposition, and Synthesis of Nonlinear N-Ports (M379)
L.O. Chua and Y-F Lam

Execution Time Requirements for Programmed Encryption Methods (M378)
T.D. Friedman and L.J. Hoffman

On the Use of Optimization Algorithms in the Design of Linear Systems (M377)
E. Polak

Extended Double-Error Correcting Binary Goppa Codes Are Cyclic (M376)
E.R. Berlekamp and O. Moreno

The Boardered Triangular Matrix and Minimum Essential Sets of Digraph (M375)
L.K. Cheung and E.S. Kuh

A Modified Secant Method for Unconstrained Minimization (M373)
E. Polak

An Assembly of Residential Energy Utilization in the U.S.A. (M370)
A.B. Makhijani and A.J. Lichtenberg