Technical Reports - 1978

Design Goals for Relational and DBTG Databases (M78/89)
Eugene Wong and Randy H. Katz

Frequency Domain Analysis of Nonlinear Systems: Formulation of Transfer Functions (M78/88)
L.O. Chua and C.-Y. Ng

An Intuitive Derivation of a Realization (M78/87)
C.A. Desoer and E.L. Lo

Modular Decomposition in Stochastic Transportation Networks (M78/86)
A.W. Shogan

Studies in Micropower NMOS Operational Amplifier Design (M78/85)
P.R. Gray

Synthesis of Reciprocal Piecewise-Linear N-Port Resistors (M78/84)
Leon O. Chua and David J. Curtin

Stabilization, Tracking and Disturbance Rejection in Multivariable Convolution Systems (M78/83)
F.M. Callier and C.A. Desoer

The Colored Branch Theorem: A Simple Circuit Theoretic Proof and its Applications (M78/82)
J. Vandewalle and L.O. Chua

An Algorithm for Single-Row Routing with Prescribed Street Congestions (M78/81)
S. Tsukiyama, E.S. Kuh and I. Shirakawa

On the Finite Solution of Nonlinear Inequalities (M78/80)
E. Polak and D.Q. Mayne

Division of Labor and the Distribution of Income (M78/79)
P. Varaiya, R. Artle and C. Humes Jr.

Annual Report 1978 on Multiple Mirror Plasma Confinement (M78/78)
A.J. Lichtenberg and M.A. Lieberman

Foundations of Feedback Theory for Nonlinear Dynamical Systems (M78/77)
C.A. Desoer and Y.T. Wang

Foundations of Nonlinear Network Theory: Part I Passivity (M78/76)
J.L. Wyatt Jr., L.O. Chua, J.W. Gannett, I.C. Goknar and D.N. Green

A Derivative-Free Algorithm for a Class of Infinitely Constrained Problems (M78/75)
R. Trahan and E. Polak

Bipartite Graphs and an Optimal Bordered Triangular Form of a Matrix (M78/74)
A. Sangiovanni-Vincentelli and T.A. Bickart

Specifications for a Proposed Standard for Floating Point Arithmetic (M78/72)
J.T. Coonen

Locking Granularity Revisited (M78/71)
D.R. Ries and M.R. Stonebraker

MOS Switched -Capacitor Filters (M78/70)
R.W. Brodersen, P.R. Gray and D.A. Hodges

A Method for Computing Functions of a Matrix Based on Newton's Divided Difference Formula (M78/69)
A.C. McCurdy

High-Order Continuous-Time Monolithic Analog Filters (M78/68)
Khen-Sang Tan

An Algorithm to Solve the mxn Assignment Problem in Expected Time O (mn log n) (M78/67)
R.M. Karp

Geometric Properties of Resistive Nonlinear n-Ports: Transversality, Structural Stability, Reciprocity, and Anti-Reciprocity (M78/66)
L.O. Chua, T. Matsumoto and S. Ichiraku

X-Tree: A Tree Structured LSI Modular Computer System (M78/65)
A.M. Despain

On the Power of the Compass (or why Mazes are Easier to Search than Graphs) (M78/64)
M. Blum and W. Kozen

On Self-learning Pattern Classification (M78/63)
R.L. De Mantaras

Discriminate Effect of Information: The Third Measure of Information (M78/62)
Y. Enta

MOS Switched-Capacitor Analog Sampled-Data Recursive Filters (M78/61)
Ian A. Young

The Outputs of Jacksonian Networks are Poissonian (M78/60)
Jean Walrand and Pravin Varaiya

When is a Flow in a Queing Network Poissonian? (M78/59)
Jean Walrand and Pravin Varaiya

Vector Lyapunov Functions: Stability and Stabilizability Problems for Interconnected Systems (M78/58)
J. Bernussou

A Pattern Recognition Approach to the Problem of Linguistic Approximation in System Analysis (M78/57)
Piero P. Bonissone

Research of Microwave Scattering Properties of Snow Fields (M78/55)
D.J. Angelakos

Programming Languages for Relational Database Systems (M78/54)
C.J. Prenner and L.A. Rowe

Fully Integrated Analog Filters Using Bipolar/JFET Technology (M78/53)
Khen-Sang Tan and Paul R. Gray

The Simulation of Large Scale Integrated Circuits (M78/52)
Arthur R. Newton

Learning and Self Learning Procedures for Automatic Classification (M78/51)
J. Aguilar-Martin

An Interactive Rectangle Elimination Method for Bi-Objective Decision-Making (M78/50)
A.N. Payne and E. Polak

MOS Switched Capacitor Ladder Filters (M78/49)
D.J. Allstot, R.W. Brodersen and P.R. Gray

How Far Should You Go with the Lanczos Process? (M78/48)
W. Kahan and B.N. Parlett

Relational Decomposition Preserving Functional Dependence (M78/47)
W. Chang

Implementing Capability-Based Protection Using Encryption (M78/46)
D.L. Chaum and R.S. Fabry

A Unified Theory of Symmetry for Nonlinear Resistive Networks (M78/45)
Joos Vandewalle and Leon O. Chua

Software Requirements and Specifications: Status and Perspectives (M78/44)
C.V. Ramamoorthey and H.H. So

Frequency Domain Analysis of Nonlinear Systems (M78/43)
L.O. Chua and C.-Y. Ng

On the Dynamics of Josephson Junction Circuits (M78/42)
A.A. Dabidi and L.O. Chua

A Nonlinear Lumped Circuit Model for SCR (M78/41)
L.O. Chua and Y.W. Sing

Analysis of the Symmetric Lanczos Process (M78/40)
David St. Clair Scott

Velocity-Space Ring-Plasma Instability, Magnetized Part II: Simulation (M78/39)
J.K. Lee and C.K. Birdsall

Velocity-Space Ring-Plasma Instability, Magnetized Part I: Theory (M78/38)
J.K. Lee and C.K. Birdsall

Computer Science: Covert Communication Channels in Timesharing Systems (M78/37)
Jeffrey Craig Huskamp

An Algorithm for Minimum Partitioning of a Transversal Matroid (M78/36)
Susumu Sasabe

On the Capability of Finite Automata in 2 and 3 Dimensional Space (M78/35)
Manuel Blum and William J. Sakoda

Nondeterminism and the Size of Two Way Finite Automata (M78/34)
William J. Sakoda and Michael Sipser

Applications of Automata Theory to the Design of Intelligent Machines (M78/33)
William J. Sakoda

Self-heating of 1d Thermal Plasmal; Comparison of Weightings; Optimal Parameter Choices (M78/32)
A. Peiravi and C.K. Birdsall

Two New Algorithms for Obtaining Periodic Solutions of Nonlinear Systems (M78/31)
L.O. Chua and A. Ushida

Interactibility Proofs and the Computational Complexity of Binary Quadratics (M78/30)
L. Adleman and K. Manders

High-Performance NMOS Operational Amplifier (M78/29)
D. Senderowicz, D.A. Hodges and P.R. Gray

Nonlinear Circuit Theory (M78/28)
L.O. Chua

Nonlinear Converters for Pulse-Code-Modulation Systems (M78/27)
Gheorghe Smarandoiu

On Optimum Single-Row Routing (M78/26)
E.S. Kuh, T. Kashiwabara and T. Fujisawa

New Convergence Theorems For a Class of Feasible Directions Algorithms (M78/25)
E. Polak and S. Tishyadhigama

Concurrency Control and Consistency of Multiple Copies of Data in Distributed Ingres (M78/24)
Michael Stonebraker

A Distributed Data Base Machine (M78/23)
M. Stonebraker

Evaluation of Distributed Criteria for Distributed Data Base Systems (M78/22)
D. Ries and R. Epstein

Frequency Domain Passivity Conditions for Linear Time-Invariant Lumped Networks (M78/21)
J.W. Gannett and L.O. Chua

An Intrinsic Calculus for Weak Martingales in the Plane (M78/20)
Eugene Wong and Moshe Zakai

Distributed Query Processing in a Relational Data Base System (M78/18)
R. Epstein, M. Stonebraker and E. Wong

The Construction and Evaluation of Fuzzy Models (M79/18)
R.M. Tong

Query Processing in a Relational Database Management System (M78/17)
Karel Youssefi and Eugene Wong

GO is a P space Hard (M78/16)
D. Lichtenstein and M. Sipser

Report on the Design of a Simulator Program (SAMPLE) for IC Fabrication (M79/16)
Sharad Narayan Nandgaonkar

Computer Science: Iteration Theorems for Families of Strict Deterministic Languages (M78/15)
K.N. King

On Partitioning a Graph: A Theoretical and Empirical Study (M78/14)
Robert M. MacGregor

Simulation of Integrated Injection Logic (M78/13)
Graeme R. Boyle

A Unified Theory of Symmetry for Nonlinear Multiport and Multiterminal Resistors (M78/12)
L.O. Chua and J. Vandewalle

The Robust Nonlinear Servomechanism Problem (M78/11)
C.A. Desoer and Y.T. Wang

A New Model for the Recognition of Strings of Symbols (M78/10)
K. Abe

Computer Science: A Machine Independent Algorithm for Code Generation and Its Use in Retargetable Compilers (M78/9)
Robert Steven Glanville

Synthesis of Piecewise-Linear Networks (M78/8)
L.O. Chua and S. Wong

Stability of Multidimensional Scalar and Matrix Polynomials (M78/7)
E.I. Jury

How to make the Lanczos Algorithm Converge Slowly (M78/6)
D.S. Scott

Query Processing for a Relational Database System (M78/3)
Karel A. A. Youssefi

A Robust Secant Method for Optimization Problems with Inequality Constraints (M79/2)
E. Polak and D.Q. Mayne

A Patching Algorithm For the Nonsymmetric Traveling-Salesman Problem (M78/2)
R.M. Karp

Arithmetic Tests for A-Stability. A[alpha]-Stability, and Stiff-Stability (M78/1)
T.A. Bickart and E.I. Jury