Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

PDF

1988

Institution
Keyword
Publication
Publication Type

Articles 1 - 30 of 190

Full-Text Articles in Physical Sciences and Mathematics

Symbolic Automation And Numerical Synthesis For Robot Kinematics, Jen Sriwattanathamma, Chung You Ho Dec 1988

Symbolic Automation And Numerical Synthesis For Robot Kinematics, Jen Sriwattanathamma, Chung You Ho

Computer Science Technical Reports

This research analyzes three topics in robot arm kinematics. First, the direct kinematics which determines the Cartesian position and orientation of the end effector for the specified values of joint parameters is analyzed. Second, the differential motions concerning the differential relationships between the command variables in position and orientation of the end effector and the joint-controlled variables are studied. Finally, the inverse kinematics which determines the joint variables for a specified Cartesian position and orientation of the end effector is considered.

This dissertation presents a methodology for incorporating the artificial intelligence types of knowledge into automating solutions for the direct …


A Band And Bound Technique For Simple Random Algorithms, Vernon J. Rego Dec 1988

A Band And Bound Technique For Simple Random Algorithms, Vernon J. Rego

Department of Computer Science Technical Reports

No abstract provided.


Machine Knowledge Maniputation Issues In Parallel Compilers, Ko-Yang Wang, Dennis Gannon, Piyush Mehrotra Dec 1988

Machine Knowledge Maniputation Issues In Parallel Compilers, Ko-Yang Wang, Dennis Gannon, Piyush Mehrotra

Department of Computer Science Technical Reports

No abstract provided.


On The Bottleneck And Capacity Assignment Problems, Wojciech Szpankowski Dec 1988

On The Bottleneck And Capacity Assignment Problems, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.


Elliptic Expert: The Design Of An Expert System For Elliptic Partial Differential Equations, Wayne R. Dyksen, Carl R. Gritter Dec 1988

Elliptic Expert: The Design Of An Expert System For Elliptic Partial Differential Equations, Wayne R. Dyksen, Carl R. Gritter

Department of Computer Science Technical Reports

No abstract provided.


Hermite Interpolation Of Rational Space Curves Using Real Algebraic Surfaces, Chanderjit Bajaj, Insung Ihm Dec 1988

Hermite Interpolation Of Rational Space Curves Using Real Algebraic Surfaces, Chanderjit Bajaj, Insung Ihm

Department of Computer Science Technical Reports

No abstract provided.


Xellpack: An Interactive Problem Solving Environment For Elliptic Partial Differential Equations, Jophn P. Bonomo, Wayne R. Dyksen Dec 1988

Xellpack: An Interactive Problem Solving Environment For Elliptic Partial Differential Equations, Jophn P. Bonomo, Wayne R. Dyksen

Department of Computer Science Technical Reports

No abstract provided.


Effects Of Autonomy On Maintaining Global Serializability In Heterogeneous Database Systems, W. Du, Ahmed K. Elmagarmid, Y. Leu, S. F. Ostermann Dec 1988

Effects Of Autonomy On Maintaining Global Serializability In Heterogeneous Database Systems, W. Du, Ahmed K. Elmagarmid, Y. Leu, S. F. Ostermann

Department of Computer Science Technical Reports

No abstract provided.


Quasi Serializability: A Correctness Criterion For Interbase, Ahmed K. Elmagarmid Dec 1988

Quasi Serializability: A Correctness Criterion For Interbase, Ahmed K. Elmagarmid

Department of Computer Science Technical Reports

No abstract provided.


A Dimensionality Paradigm For Surface Interrogations, Christoph M. Hoffmann Dec 1988

A Dimensionality Paradigm For Surface Interrogations, Christoph M. Hoffmann

Department of Computer Science Technical Reports

No abstract provided.


Distributed Operation Language For Specification And Processing Of Multidatabase Applications, Marek Rusinkiewicz, Kanchei Loa, Ahmed K. Elmagarmid Dec 1988

Distributed Operation Language For Specification And Processing Of Multidatabase Applications, Marek Rusinkiewicz, Kanchei Loa, Ahmed K. Elmagarmid

Department of Computer Science Technical Reports

No abstract provided.


Convex Decompositions Of Simple Polyhedra, Chanderjit Bajaj, Tamal K. Dey Dec 1988

Convex Decompositions Of Simple Polyhedra, Chanderjit Bajaj, Tamal K. Dey

Department of Computer Science Technical Reports

No abstract provided.


Non-Algorithmic Load Imbalance Effects For Domain Decomposition Methods On A Hypercube, Dan C. Marinescu, John R. Rice Dec 1988

Non-Algorithmic Load Imbalance Effects For Domain Decomposition Methods On A Hypercube, Dan C. Marinescu, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.


A Parallel Implementation Of Stickel's Ac Unification Algorithm In A Message-Passing Environment, David John Kleikamp, Ralph W. Wilkerson Dec 1988

A Parallel Implementation Of Stickel's Ac Unification Algorithm In A Message-Passing Environment, David John Kleikamp, Ralph W. Wilkerson

Computer Science Technical Reports

Unification algorithms are an essential component of automated reasoning and term rewriting systems. Unification finds a set of substitutions or unifiers that, when applied to variables in two or more terms, make those terms identical or equivalent. Most systems use Robinson's unification algorithm or some variant of it. However, terms containing functions exhibiting properties such as associativity and commutativity may be made equivalent without appearing identical. Systems employing Robinson's unification algorithm must use some mechanism separate from the unification algorithm to reason with such functions. Often this is done by incorporating the properties into a rule base and generating equivalent …


A System For The Diagnosis Of Faults Using A First Principles Approach, Barbara A. Smith, Ralph W. Wilkerson Dec 1988

A System For The Diagnosis Of Faults Using A First Principles Approach, Barbara A. Smith, Ralph W. Wilkerson

Computer Science Technical Reports

One of the primary areas of application of Artificial Intelligence is diagnosis. Diagnosis from first principles is a diagnostic technique which uses knowledge of the designed structure and function of a device to determine the possible causes of the malfunction.

This work builds on the foundation of a theory of diagnosis by implementing and extending the theory. A correction to the algorithm which defines the theory is presented. The theory is extended for multiple sets of observations of the system and measurement data.

A fundamental problem in diagnosis is selecting the measurement which will be of the most benefit in …


Multilevel Asynchronous Iteration For Pdes, Dan C. Marinescu, John R. Rice Dec 1988

Multilevel Asynchronous Iteration For Pdes, Dan C. Marinescu, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.


Programmer And End User Communication In Computer System Development, Theresa J. Hart Dec 1988

Programmer And End User Communication In Computer System Development, Theresa J. Hart

Masters Theses

Many computer professionals agree that good communication between computer programmers or analysts and the people for whom a system is being created is essential for system success. This study researches possible reasons behind the communication problems that exist between programmers and end users and suggests ways to narrow the communication gap.

Many theories, including the theories of hemispheric brain dominance, thinking styles, and motivational factors may help explain the differences in communication styles between programmers and users. To further explore the communication problem, an exploratory survey was given to programmers and users to evaluate their perception of the communication that …


The Development Of A Personalized Computer Assisted School Psychology (Casp) System, Patricia Lou Steinert Dec 1988

The Development Of A Personalized Computer Assisted School Psychology (Casp) System, Patricia Lou Steinert

Dissertations

The purpose of this project was to develop a model computer system to assist school psychologists in managing and manipulating data accumulated in the course of accomplishing their professional responsibilities. School psychologists have traditionally generated large amounts of data, but rarely have they looked across these data to obtain information and/or feedback about their own functioning relative to their professional role. The system described is intended as a model from which an individual psychologist might construct a system to meet individual needs. Data across students were accumulated in four broad areas: (1) personal effectiveness/accountability, (2) diagnosis, (3) local test norms, …


Parallel (//) Ellpack: An Expert System For Parallel Processing Of Partial Differential Equations, Elias N. Houstis, John R. Rice, T. S. Papatheodorou Nov 1988

Parallel (//) Ellpack: An Expert System For Parallel Processing Of Partial Differential Equations, Elias N. Houstis, John R. Rice, T. S. Papatheodorou

Department of Computer Science Technical Reports

No abstract provided.


The Young-Eidson Algorithm: Applications And Extensions, A. Hadjidimos, D. Noutsos Nov 1988

The Young-Eidson Algorithm: Applications And Extensions, A. Hadjidimos, D. Noutsos

Department of Computer Science Technical Reports

No abstract provided.


A White Paper On High-Speed Network Architecture, Douglas E. Comer, John M. Steele, Raj Yavatkar Nov 1988

A White Paper On High-Speed Network Architecture, Douglas E. Comer, John M. Steele, Raj Yavatkar

Department of Computer Science Technical Reports

No abstract provided.


Imacs Conference On Expert Systems For Numerical Computing, Elias N. Houstis Nov 1988

Imacs Conference On Expert Systems For Numerical Computing, Elias N. Houstis

Department of Computer Science Technical Reports

No abstract provided.


On The Sorting Of Points Along An Algebraic Curve, John K. Johnstone, Chanderjit Bajaj Nov 1988

On The Sorting Of Points Along An Algebraic Curve, John K. Johnstone, Chanderjit Bajaj

Department of Computer Science Technical Reports

No abstract provided.


On The Applications Of Multi-Equational Resultants, Chanderjit Bajaj, Thomas Garrity, Joe Warren Nov 1988

On The Applications Of Multi-Equational Resultants, Chanderjit Bajaj, Thomas Garrity, Joe Warren

Department of Computer Science Technical Reports

No abstract provided.


Geometric Modeling With Algebraic Surfaces, Chanderjit L. Bajaj Nov 1988

Geometric Modeling With Algebraic Surfaces, Chanderjit L. Bajaj

Department of Computer Science Technical Reports

No abstract provided.


The Internet Worm Program: An Analysis, Eugene H. Spafford Nov 1988

The Internet Worm Program: An Analysis, Eugene H. Spafford

Department of Computer Science Technical Reports

No abstract provided.


Approximation Methods For Algebraic Curves And Surfaces, Chandrajit L. Bajaj Nov 1988

Approximation Methods For Algebraic Curves And Surfaces, Chandrajit L. Bajaj

Department of Computer Science Technical Reports

No abstract provided.


Embedding Complete Binary Trees Into Butterfly Networks, Ajay K. Gupta, Susanne E. Hambrusch Nov 1988

Embedding Complete Binary Trees Into Butterfly Networks, Ajay K. Gupta, Susanne E. Hambrusch

Department of Computer Science Technical Reports

No abstract provided.


On Computing Longest Common Subsequences In Linear Space, A. Apostolico, S. Browne, C. Guerra Nov 1988

On Computing Longest Common Subsequences In Linear Space, A. Apostolico, S. Browne, C. Guerra

Department of Computer Science Technical Reports

No abstract provided.


On The Geometry Of Dupin Cyclides, V. Chandru, D. Dutta, Christoph M. Hoffmann Nov 1988

On The Geometry Of Dupin Cyclides, V. Chandru, D. Dutta, Christoph M. Hoffmann

Department of Computer Science Technical Reports

No abstract provided.