Submissions from 1996
Asymptotic Analysis of Oseen Equations for Small Viscosity, R. Temam and X. Wang
Submissions from 1995
Expectations of the Maximum of Sums and the Sum of Maxima for Correlated Normal Variables, Lee J. Bain and Gaoxiong Gan
Transformational Design and Implementation of a New Efficient Solution to the Ready Simulation Problem, Bard Bloom and Robert Paige L.
Inhomogeneous Discrete Variational Problems, Martin Bohner
Zur Positivität Diskreter Quadratischer Funktionale English Edition: on Positivity of Discrete Quadratic Functionals, Martin Bohner
CR Mappings of Circular CR Manifolds, André Boivin and Roman Dwilewicz
Analysis of Rule Sets Generated by the CN2, ID3, and Multiple Convergence Symbolic Learning Methods, Elizabeth M. Boll and Daniel C. St. Clair
Geometric Constraint Solver, W. Bouma, I. Fudos, C. Hoffmann, Jiazhen Cai, and Robert Paige L.
Using Multiset Discrimination to Solve Language Processing Problems Without Hashing, Jiazhen Cai and Robert Paige L.
Continuous Images of Ar-spaces, W. J. Charatonik
Right Angle Electrical Connector and Insertion Tool Therefor, Stephen L. Clark and Glenn J. Pontius
Macrophage Foam Cells from Experimental Atheroma Constitutively Produce Matrix-degrading Proteinases, Zorina S. Galis, Galina K. Sukhova, Roger Kranzhöfer, Stephen L. Clark, and Peter Libby
Distribution of Order Statistics for Discrete Parents with Applications to Censored Sampling, Gaoxiong Gan and Lee J. Bain
Convergence and the Fourier Character of Trigonometric Transforms with Slowly Varying Convergence Moduli, David E. Grow and Caslav V. Stanojevic
Mona: Monadic Second-order Logic in Practice, Jesper G. Henriksen, Jakob Jensen, Michael Jørgensen, Nils Klarlund, Robert Paige L., Theis Rauhe, and Anders Sandholm
Brain State in a Convex Body, S. Hui and Martin Bohner
Periodicity And Indecomposability, William Thomas Ingram
Point-Valued Mappings of Sets, Matt Insall
Minimization Problems for Noncoercive Functionals Subject to Constraints, Vy Khoi Le and Klaus Schmitt
Regulation of G-protein αi2 Subunit Expression by Oxidized Low-Density Lipoprotein, James K. Liao and Stephen L. Clark
Oxidized Low-density Lipoprotein Decreases the Expression of Endothelial Nitric Oxide Synthase, James K. Liao, Wee Soo Shin, Wen Yee Lee, and Stephen L. Clark
Fertility Rates and the Socio-Economic Environment in Missouri, Linda M. Manning and V. A. Samarayanake
An Inferencing Language for Automated Spatial Reasoning About Graphic Entities, Paul Scarponcini, Daniel C. St. Clair, and George W. Zobrist
Asymptotic Analysis Of The Linearized Navier-stokes Equations In A Channel, Roger Temam and Xiaoming Wang
Constructing an Interval Temporal Logic for Real-time Systems, Grace Tsai, Matt Insall, and Bruce M. McMillin
Ensuring the Satisfaction of a Temporal Specification at Run-Time, Grace Tsai, Matt Insall, and Bruce M. McMillin
An Energy Equation for the Weakly Damped Driven Nonlinear Schrödinger Equations and its Application to their Attractors, Xiaoming Wang
Submissions from 1994
A Discrete Interpretation of Reid's Roundabout Theorem for Generalized Differential Systems, Calvin D. Ahlbrandt, Stephen L. Clark, J. W. Hooker, and W. D. Patula
Classification Characteristics of SOM and ART2, J. J. Aleshunas, Daniel C. St. Clair, and William E. Bond
Controllability and Disconjugacy For Linear Hamiltonian Difference Systems, Martin Bohner
Mapping Hierarchy for Dendrites, J. J. Charatonik, W. J. Charatonik, and J. R. Prajs
On the Absolutely Continuous Spectrum of a Vector-Matrix Dirac System, Stephen L. Clark
Elimination of Supply Harmonics: An Evolution of Current Compensation and Active Filtering Methods, Stephen L. Clark, P. Famouri, and W. L. Cooley
Computing Χ² Values, John F. Dooley, Daniel C. St Clair, and William E. Bond
Using the ID3 Symbolic Classification Algorithm to Reduce Data Density, Barry Fiachsbart, Daniel C. St. Clair, and Jeff Holland
Regular Variation and Solutions of Second Order Differential Equations, Leon M. Hall and L. J. Grimm
Fixed Point Theorems for Non-Self Maps I, Troy L. Hicks and Unda Marie Sauga
Inverse Limits Associated with the Forced Van Der Pol Equation, Sarah E. Holte and Robert Paul Roe
Corrigendum to Some Finiteness Conditions in Lattices - Using Nonstandard Proof Methods, Matt Insall
Conjugating Polynomials on Finite Rings, Matt Insall, Lenore Mullin, and Ralph W. Wilkerson
Primitive Normal Polynomials Over Finite Fields, Ilene H. Morgan and Gary L. Mullen
Efficient Translation of External Input in a Dynamically Typed Language, Robert Paige L.
Viewing a Program Transformation System at Work, Robert Paige L.
Estimates On The Lowest Dimension Of Inertial Manifolds For The Kuramoto-Sivasbinsky Equation In The General Case, Roger Temam and Xiaoming Wang
Generating Indexing Functions of Regularly Sparse Arrays for Array Compilers, Scott Thibault, Lenore Mullin, and Matt Insall
Submissions from 1993
Comparison Of Expectations Of The Extreme Of Sums And The Sum Of Extremes From Gamma Distributions, Lee J. Bain and Gaoxiong Gan
Prediction Intervals Based On Partial Observations For Some Discrete Distributions, Lee J. Bain and Jagdish K. Patel
Inferences On The Difference Of Failure Intensities From Two Exponential Distributions, Lee J. Bain, Wei Kei Shiue, and Max Engelhardt
Computing Ready Simulations Efficiently, Bard Bloom and Robert Paige L.
Ein Oszillationssatz Fuer Sturm-Liouvillesche Eigenwertprobleme, Martin Bohner
The Effect of Military Service on the Subsequent Civilian Wage of the Post-Vietnam Veteran, Richard Ralph Bryant, V. A. Samaranayake, and Allen Wilhite
The Influence of Current and Past Alcohol Use on Earnings: Three Approaches to Estimation, Richard Ralph Bryant, V. A. Samaranayake, and Allen Wilhite
Towards Increased Productivity of Algorithm Implementation, Jiazhen Cai and Robert Paige L.
A Characterization of Harmonic Functions and Points of Finite and Infinite Type, Roman Dwilewicz and C. Denson Hill
Dynamic ID3: A Symbolic Learning Algorithm For Many-valued Attribute Domains, Roger Gallion, Chaman Sabharwal, Daniel C. St. Clair, and William E. Bond
An Extremal Set of Uniqueness, David E. Grow and Matt Insall
Self Adjoint Differential Equations and Karamata Functions, Leon M. Hall and L. J. Grimm
Uniform Asymptotic Stability In Infinite Delay Systems, Roger H. Hering
Fixed Points For Pairs Of Mappings In D-Complete Topological Spaces, Troy L. Hicks and B. E. Rhoades
Feasibility Test Verification Method For Nonsymmetric Release Time Task Scheduling, R. G. Karl, T. L. Lo, and Daniel C. St. Clair
Parallel Algorithm Derivation and Program Transformation, Robert Paige L., John H. Reif, and Ralph Wachter
Dynamics and Indecomposable Inverse Limit Spaces of Maps on Finite Graphs, Robert Paul Roe
The Next Linear Collider Test Accelerator, R. D. Ruth, C. Adolphsen, K. Bane, R. F. Boyce, D. L. Burke, R. Calin, G. Caryotakis, R. Cassel, Stephen L. Clark, H. Deruyter, K. Fant, R. Fuller, S. Heifets, H. Hoag, R. Humphrey, S. Kheifets, R. Koontz, N. M. Kroll, R. T. Lavine, G. A. Loew, A. Menegat, R. H. Miller, C. Nantista, J. M. Patterson, C. Pearson, R. Phillips, J. Rifkin, J. Spencer, S. Tantawi, K. A. Thompson, A. Vlieks, V. Vylet, J. W. Wang, P. B. Wilson, A. Yeremian, and B. Youngman
Design Techniques For The Control Of Errors In Backpropagation Neural Networks, Daniel C. St Clair, Gerald Peterson, Stephen Aylward, and William E. Bond
Ensuring Value Liveness of Distributed Software Through Changeling, Grace Tsai, Matt Insall, and Bruce M. McMillin
A Remark on the Characterization of the Gradient of a Distribution, Xiaoming Wang
Submissions from 1992
The Brain State in a Convex Body Neural Model, Martin Bohner
More Efficient Bottom-up Multi-pattern Matching in Trees, Jiazhen Cai, Robert Paige L., and Robert Endre Tarjan
Prediction Intervals, Based On Ranges And Waiting Times, For An Exponential Distribution, Laura Colangelo and Jagdish K. Patel
An Analytic Disc Approach to the Notion of Type of Points, Roman Dwilewicz and C. Denson Hill
Trochoids, Roses and Thorns: Beyond the Spirograph, Leon M. Hall
Roads and Wheels, Leon M. Hall and S. Wagon
Boundedness And Periodic Solutions In Infinite Delay Systems, Roger H. Hering
Fixed Point Theorems For D-Complete Topological Spaces I, Troy L. Hicks
Some Finiteness Conditions in Lattices Using Nonstandard Proof Methods, Matt Insall
Reference Materials for Pcb Analysis: Production and Certification of Ten Polychlorinated Biphenyls in an Iso-octane Reference Solution, T. Rymen, Stephen L. Clark, A. Boenke, P. J. Wagstaffe, and A. S. Lindsey
Formation Of Clusters And Resolution Of Ordinal Attributes In ID3 Classification Trees, Chaman Sabharwal, Keith R. Hacke, and Daniel C. St. Clair
Evaluation Of Learning Performance In Backpropagation Neural Networks And Decision-tree Classifier Systems, Daniel C. St. Clair, William E. Bond, A. K. Rigler, and Steve Aylward
Submissions from 1991
Type Analysis and Data Structure Selection, Jiazhen Cai, Phillipe Facon, Fritz Henglein, Robert Paige L., and Edmond Schonberg
Language Polynomial in the Input Plus Output, Jiazhen Cai and Robert Paige L.
Look Ma, No Hashing, and No Arrays Neither, Jiazhen Cai and Robert Paige L.
New Theoretical and Computational Results for Regular Languages, Chia-Hsiang Chang and Robert Paige L.
Convex Structure on the Space of Order Arcs, W. J. Charatonik
Differentiation in Topological Fields, W. J. Charatonik and Matt Insall
Cognitive Addition: A Short Longitudinal Study of Strategy Choice and Speed-of-Processing Differences in Normal and Mathematically Disabled Children, David C. Geary, Sam C. Brown, and V. A. Samaranayake
Representations of Fourier Coefficients in Tauberian L1-convergence Classes, David E. Grow and Vera B. Stanojević
Third Semester Calculus and Mathematica, Leon M. Hall
Nonstandard Methods and Finitness Conditions in Algebra, Matt Insall
Machine Learning For Nondestructive Evaluation, Paul O'Rorke, Steven Morris, Michael Amirfathi, William E. Bond, and Daniel C. St Clair
Prediction Intervals for Some Discrete Distributions, Jagdish Patel and V. A. Samaranayake
Rescaling Of Variables In Back Propagation Learning, A. K. Rigler, J. M. Irvine, and T. P. Vogl
Submissions from 1990
Pattern-recognition By An Artificial Network Derived From Biologic Neuronal Systems, D. L. Alkon, K. T. Blackwell, G. S. Barbour, A. K. Rigler, and T. P. Vogl
Confidence Bounds For The Binomial N Parameter: A Classical Approach, Lee J. Bain, Max Engelhardt, and David H. Williams
Circle Maps and Inverse Limits, Marcy Barge and Robert Paul Roe
Holomorphic Approximation of CR Functions on Tubular Submanifolds of C₂, André Boivin and Roman Dwilewicz
Job Search And Information Processing In The Presence Of Nonrational Behavior, Richard Ralph Bryant
Military Experience And Training Effects On Civilian Wages, Richard Ralph Bryant and A. Al Wilhite
Surface Strain Variation in Human Patellar Tendon and Knee Cruciate Ligaments, D. L. Butler, M. Y. Sheh, D. C. Stouffer, V. A. Samaranayake, and Martin S. Levy
Connected Subsets of Dendrites and Separators of the Plane, J. J. Charatonik and W. J. Charatonik
Confluent Mappings of Fans, J. J. Charatonik, W. J. Charatonik, and Stanislaw Miklos